Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.12 | 1787.39 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb |
MD5SUM | dfddd97e7752f713f95f506cbe2ca323 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 47130 |
Total number of constraints | 820 |
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 | 820 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 10200 |
Number of terms in the objective function | 19170 |
Biggest coefficient in the objective function | 26496 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 540242 |
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 | 540242 |
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.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.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/node15/43916-1149327898/instance-43916-1149327898.opb 0.20 c reading problem ... 5.05 c ... done. Time 4.847 ms. 5.05 c #vars 47130 5.05 c #constraints 1331 1787.32 c starts : 7 1787.32 c conflicts : 2132 1787.32 c decisions : 163139 1787.32 c propagations : 681097 1787.32 c inspects : 4834407 1787.32 c learnt literals : 0 1787.32 c learnt binary clauses : 0 1787.32 c learnt ternary clauses : 0 1787.32 c learnt clauses : 2131 1787.32 c root simplifications : 0 1787.32 c removed literals (reason simplification) : 0 1787.32 c reason swapping (by a shorter reason) : 0 1787.32 c Calls to reduceDB : 0 1787.32 c speed (decisions/second) : 91.53757586095449 1787.32 c non guided choices 5319 1787.32 s UNKNOWN 1787.32 c Total wall clock time (ms): 1787.116
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/node15/watcher-43916-1149327898 -o ROOT/results/node15/solver-43916-1149327898 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node15/43916-1149327898/instance-43916-1149327898.opb 421876927 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 6709 /proc/meminfo: memFree=1172496/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1500 CPUtime=0 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 75 0 0 0 0 0 0 0 18 0 1 0 198452564 1536000 58 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 7476390 0 0 4096 0 0 0 0 17 1 0 0 /proc/6709/statm: 375 68 55 14 0 8 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.99 2/76 6721 /proc/meminfo: memFree=957112/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1714708 CPUtime=11.56 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 59059 0 1 0 1129 27 0 0 20 0 13 0 198452564 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428677 55611 1905 14 0 415424 0 [pid=6709/tid=6710] ppid=6707 vsize=1714708 CPUtime=0.54 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 10578 0 0 0 49 5 0 0 16 0 13 0 198452567 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1714708 CPUtime=0.53 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 9051 0 0 0 50 3 0 0 16 0 13 0 198452567 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 198452570 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1714708 CPUtime=0.88 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1855 0 0 0 87 1 0 0 17 0 13 0 198452574 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1714708 CPUtime=0.55 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1008 0 0 0 55 0 0 0 16 0 13 0 198452574 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1714708 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 198453096 1755860992 55611 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.56 Current children cumulated vsize (Kb) 1714708 [startup+20.0107 s] /proc/loadavg: 0.94 0.98 0.99 2/76 6721 /proc/meminfo: memFree=942968/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=21.87 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 64233 0 1 0 2157 30 0 0 25 0 13 0 198452564 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071585201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 59154 1907 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=0.7 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 12813 0 0 0 64 6 0 0 16 0 13 0 198452567 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=0.7 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 11444 0 0 0 65 5 0 0 16 0 13 0 198452567 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198452574 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=0.92 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1856 0 0 0 91 1 0 0 15 0 13 0 198452574 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.69 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1544 0 0 0 68 1 0 0 17 0 13 0 198452574 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 198453096 1754484736 59154 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.87 Current children cumulated vsize (Kb) 1713364 [startup+30.0174 s] /proc/loadavg: 0.95 0.98 0.99 2/76 6721 /proc/meminfo: memFree=961144/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=31.94 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 64992 0 1 0 3163 31 0 0 25 0 13 0 198452564 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071444540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 54618 1907 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=0.73 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 13184 0 0 0 67 6 0 0 16 0 13 0 198452567 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=0.73 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 11819 0 0 0 68 5 0 0 16 0 13 0 198452567 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 198452574 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=0.94 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1856 0 0 0 93 1 0 0 16 0 13 0 198452574 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.72 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1545 0 0 0 71 1 0 0 16 0 13 0 198452574 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 21 0 13 0 198453096 1754484736 54618 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.94 Current children cumulated vsize (Kb) 1713364 [startup+40.0241 s] /proc/loadavg: 0.96 0.98 0.99 2/76 6721 /proc/meminfo: memFree=975288/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=41.99 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 65427 0 1 0 4168 31 0 0 21 0 13 0 198452564 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071568392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 51079 1907 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=0.76 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 13309 0 0 0 70 6 0 0 16 0 13 0 198452567 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=0.76 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 12121 0 0 0 71 5 0 0 16 0 13 0 198452567 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=0.95 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1856 0 0 0 94 1 0 0 16 0 13 0 198452574 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.75 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1546 0 0 0 74 1 0 0 17 0 13 0 198452574 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 51079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.99 Current children cumulated vsize (Kb) 1713364 [startup+50.0308 s] /proc/loadavg: 0.96 0.98 0.99 2/76 6721 /proc/meminfo: memFree=986232/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=52.02 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 65842 0 1 0 5170 32 0 0 21 0 13 0 198452564 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071434240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 48331 1907 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=0.78 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 13491 0 0 0 72 6 0 0 16 0 13 0 198452567 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=0.79 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 12349 0 0 0 74 5 0 0 16 0 13 0 198452567 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.01 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 13 0 0 0 1 0 0 0 16 0 13 0 198452570 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=0.95 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1856 0 0 0 94 1 0 0 16 0 13 0 198452574 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.75 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1546 0 0 0 74 1 0 0 17 0 13 0 198452574 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 48331 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.02 Current children cumulated vsize (Kb) 1713364 [startup+60.0376 s] /proc/loadavg: 0.97 0.98 0.99 2/76 6721 /proc/meminfo: memFree=994552/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=62.05 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 66295 0 1 0 6173 32 0 0 25 0 13 0 198452564 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 46252 1907 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=0.81 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 13660 0 0 0 75 6 0 0 17 0 13 0 198452567 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=0.82 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 12628 0 0 0 77 5 0 0 16 0 13 0 198452567 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.02 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 13 0 0 0 1 1 0 0 16 0 13 0 198452570 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 46252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=1.02 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1982 0 0 0 101 1 0 0 16 0 13 0 198452574 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.8 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1550 0 0 0 79 1 0 0 17 0 13 0 198452574 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 91041 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (Kb) 1713364 [startup+1784.29 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6916 /proc/meminfo: memFree=814336/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=1797 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 183061 0 1 0 179521 179 0 0 20 0 13 0 198452564 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 91042 1909 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=12.41 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 41764 0 0 0 1199 42 0 0 16 0 13 0 198452567 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=12.51 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 40650 0 0 0 1200 51 0 0 17 0 13 0 198452567 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.58 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 217 0 0 0 33 25 0 0 16 0 13 0 198452570 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=1.02 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1982 0 0 0 101 1 0 0 16 0 13 0 198452574 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.8 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1550 0 0 0 79 1 0 0 17 0 13 0 198452574 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 91042 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (Kb) 1713364 [startup+1785.3 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6916 /proc/meminfo: memFree=814336/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=1798.01 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 183067 0 1 0 179622 179 0 0 22 0 13 0 198452564 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 91047 1909 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=12.41 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 41767 0 0 0 1199 42 0 0 16 0 13 0 198452567 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=12.52 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 40652 0 0 0 1201 51 0 0 16 0 13 0 198452567 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.58 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 217 0 0 0 33 25 0 0 16 0 13 0 198452570 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=1.02 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1982 0 0 0 101 1 0 0 16 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.8 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1550 0 0 0 79 1 0 0 17 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (Kb) 1713364 [startup+1786.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6916 /proc/meminfo: memFree=814208/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=1799.03 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 183072 0 1 0 179724 179 0 0 25 0 13 0 198452564 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071624011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 91047 1909 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=12.42 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 41768 0 0 0 1200 42 0 0 16 0 13 0 198452567 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=12.52 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 40655 0 0 0 1201 51 0 0 16 0 13 0 198452567 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.58 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 217 0 0 0 33 25 0 0 16 0 13 0 198452570 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=1.02 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1982 0 0 0 101 1 0 0 16 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.8 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1550 0 0 0 79 1 0 0 17 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 91047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.03 Current children cumulated vsize (Kb) 1713364 [startup+1787.31 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6916 /proc/meminfo: memFree=814208/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=1800.04 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 183079 0 1 0 179825 179 0 0 25 0 13 0 198452564 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071610505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 91053 1909 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=12.42 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 41772 0 0 0 1200 42 0 0 16 0 13 0 198452567 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=12.53 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 40657 0 0 0 1202 51 0 0 16 0 13 0 198452567 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.58 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 217 0 0 0 33 25 0 0 16 0 13 0 198452570 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=1.02 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1982 0 0 0 101 1 0 0 16 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.8 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1550 0 0 0 79 1 0 0 17 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (Kb) 1713364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6916 /proc/meminfo: memFree=814208/2055920 swapFree=4181408/4192956 [pid=6709] ppid=6707 vsize=1713364 CPUtime=1800.04 /proc/6709/stat : 6709 (java) R 6707 6709 6663 0 -1 0 183079 0 1 0 179825 179 0 0 25 0 13 0 198452564 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071611077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6709/statm: 428341 91053 1909 14 0 415088 0 [pid=6709/tid=6710] ppid=6707 vsize=1713364 CPUtime=12.42 /proc/6709/task/6710/stat : 6710 (java) S 6707 6709 6663 0 -1 64 41772 0 0 0 1200 42 0 0 16 0 13 0 198452567 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6711] ppid=6707 vsize=1713364 CPUtime=12.53 /proc/6709/task/6711/stat : 6711 (java) S 6707 6709 6663 0 -1 64 40657 0 0 0 1202 51 0 0 16 0 13 0 198452567 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6712] ppid=6707 vsize=1713364 CPUtime=0.58 /proc/6709/task/6712/stat : 6712 (java) S 6707 6709 6663 0 -1 64 217 0 0 0 33 25 0 0 16 0 13 0 198452570 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6713] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6713/stat : 6713 (java) S 6707 6709 6663 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6714] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6714/stat : 6714 (java) S 6707 6709 6663 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198452570 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6715] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6715/stat : 6715 (java) S 6707 6709 6663 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6716] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6716/stat : 6716 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6717] ppid=6707 vsize=1713364 CPUtime=1.02 /proc/6709/task/6717/stat : 6717 (java) S 6707 6709 6663 0 -1 64 1982 0 0 0 101 1 0 0 16 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6718] ppid=6707 vsize=1713364 CPUtime=0.8 /proc/6709/task/6718/stat : 6718 (java) S 6707 6709 6663 0 -1 64 1550 0 0 0 79 1 0 0 17 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6719] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6719/stat : 6719 (java) S 6707 6709 6663 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6709/tid=6720] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6720/stat : 6720 (java) S 6707 6709 6663 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198452574 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6709/tid=6721] ppid=6707 vsize=1713364 CPUtime=0 /proc/6709/task/6721/stat : 6721 (java) S 6707 6709 6663 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 198453096 1754484736 91053 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (Kb) 1713364 Sending SIGTERM to -6709 Sleeping 2 seconds Child status: 143 Real time (s): 1787.39 CPU time (s): 1800.12 CPU user time (s): 1798.27 CPU system time (s): 1.84672 CPU usage (%): 100.712 Max. virtual memory (cumulated for all children) (Kb): 1714708
Begin job on node15 on Sat Jun 3 09:44:58 UTC 2006 FILE ID= 43916-1149327898 PBS_JOBID= 309731 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node15/43916-1149327898/instance-43916-1149327898.opb 421876927 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-43916-1149327898 -o ROOT/results/node15/solver-43916-1149327898 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node15/43916-1149327898/instance-43916-1149327898.opb 421876927 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= dfddd97e7752f713f95f506cbe2ca323 RANDOM SEED= 421876927 /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.285 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.285 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: 1172704 kB Buffers: 41156 kB Cached: 767388 kB SwapCached: 3308 kB Active: 128136 kB Inactive: 689188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1172704 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14692 kB Slab: 51920 kB Committed_AS: 323504 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jun 3 10:14:45 UTC 2006