Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1801.02 | 1789.48 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3704.opb |
MD5SUM | 79102a590238a8abf70853775a775dcb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 64527856424 |
Best CPU time to get the best result obtained on this benchmark | 1800.68 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5001200569 |
Optimality of the best value was proved | NO |
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 | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29675972066390 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29675972066390 |
Number of bits of the biggest sum of numbers | 45 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
2.78 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 2.78 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 2.78 c no version file found!!! 2.78 c sun.arch.data.model 32 2.78 c java.version 1.5.0_06 2.78 c os.name Linux 2.78 c os.version 2.6.9-22.EL.rootsmp 2.78 c os.arch i386 2.78 c Free memory 1548419056 2.78 c Max memory 1551040512 2.78 c Total memory 1551040512 2.78 c Number of processors 2 2.95 c Cutting planes based inference 2.95 c --- Begin Solver configuration --- 2.95 c org.sat4j.minisat.uip.FirstUIP@1037c71 2.95 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 2.95 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 2.95 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 2.95 c VSIDS like heuristics from MiniSAT using a heap 2.95 c No reason simplification 2.95 c --- End Solver configuration --- 2.95 c solving ROOT/tmp/node17/44544-1149302485/instance-44544-1149302485.opb 2.95 c reading problem ... 39.26 c ... done. Time 36.307 ms. 39.26 c #vars 155000 39.26 c #constraints 5300 1789.40 c starts : 1 1789.40 c conflicts : 55 1789.40 c decisions : 11395 1789.40 c propagations : 92889 1789.40 c inspects : 79974 1789.40 c learnt literals : 0 1789.40 c learnt binary clauses : 0 1789.40 c learnt ternary clauses : 0 1789.40 c learnt clauses : 54 1789.40 c root simplifications : 0 1789.40 c removed literals (reason simplification) : 0 1789.40 c reason swapping (by a shorter reason) : 0 1789.40 c Calls to reduceDB : 0 1789.40 c speed (decisions/second) : 6.511209050666292 1789.40 c non guided choices 6470 1789.40 s UNKNOWN 1789.40 c Total wall clock time (ms): 1786.451
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/node17/watcher-44544-1149302485 -o ROOT/results/node17/solver-44544-1149302485 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node17/44544-1149302485/instance-44544-1149302485.opb 144826711 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 3/64 30778 /proc/meminfo: memFree=1896712/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=18540 CPUtime=0 /proc/30778/stat : 30778 (runsolver) D 30776 30778 30732 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 195911902 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 245482712359 0 0 4096 24578 18446744071563479169 0 0 17 1 0 0 /proc/30778/statm: 4635 279 243 16 0 2626 0 [startup+10.0023 s] /proc/loadavg: 0.94 0.97 0.91 2/75 30789 /proc/meminfo: memFree=1646128/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1713048 CPUtime=8.8 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 63677 0 73 0 842 38 0 0 18 0 12 0 195911902 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071455060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 428262 60600 1885 14 0 415009 0 [pid=30778/tid=30779] ppid=30776 vsize=1713048 CPUtime=0.94 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 12078 0 0 0 83 11 0 0 16 0 12 0 195912117 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1713048 CPUtime=0.95 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 14100 0 0 0 88 7 0 0 17 0 12 0 195912117 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 195912120 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 195912125 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 195912125 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 195912142 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 195912142 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1713048 CPUtime=0.36 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 454 0 0 0 36 0 0 0 17 0 12 0 195912142 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1713048 CPUtime=0.45 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 616 0 0 0 45 0 0 0 15 0 12 0 195912142 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 195912142 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1713048 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 195912142 1754161152 60600 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.8 Current children cumulated vsize (Kb) 1713048 [startup+20.0101 s] /proc/loadavg: 0.94 0.97 0.91 2/75 30789 /proc/meminfo: memFree=1629936/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1714968 CPUtime=19.08 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 70943 0 73 0 1864 44 0 0 19 0 12 0 195911902 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071439195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 428742 64654 1885 14 0 415489 0 [pid=30778/tid=30779] ppid=30776 vsize=1714968 CPUtime=1.2 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 17745 0 0 0 106 14 0 0 16 0 12 0 195912117 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1714968 CPUtime=1.2 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 15674 0 0 0 111 9 0 0 17 0 12 0 195912117 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 10 0 0 0 0 0 0 0 15 0 12 0 195912120 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 195912125 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 195912125 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 195912142 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 195912142 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1714968 CPUtime=0.36 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 454 0 0 0 36 0 0 0 16 0 12 0 195912142 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1714968 CPUtime=0.45 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 617 0 0 0 45 0 0 0 16 0 12 0 195912142 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 195912142 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 195912142 1756127232 64654 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 19.08 Current children cumulated vsize (Kb) 1714968 [startup+30.018 s] /proc/loadavg: 0.95 0.97 0.91 2/75 30789 /proc/meminfo: memFree=1649712/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1714968 CPUtime=29.16 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 74632 0 73 0 2870 46 0 0 25 0 12 0 195911902 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071338095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 428742 59790 1885 14 0 415489 0 [pid=30778/tid=30779] ppid=30776 vsize=1714968 CPUtime=1.29 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 18357 0 0 0 115 14 0 0 16 0 12 0 195912117 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1714968 CPUtime=1.28 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 16213 0 0 0 119 9 0 0 16 0 12 0 195912117 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1714968 CPUtime=0.01 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 32 0 0 0 0 1 0 0 16 0 12 0 195912120 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 195912125 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 195912125 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 195912142 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 195912142 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1714968 CPUtime=0.36 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 454 0 0 0 36 0 0 0 16 0 12 0 195912142 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1714968 CPUtime=0.45 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 617 0 0 0 45 0 0 0 16 0 12 0 195912142 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 195912142 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1714968 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 195912142 1756127232 59790 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 29.16 Current children cumulated vsize (Kb) 1714968 [startup+40.0248 s] /proc/loadavg: 0.96 0.97 0.91 2/76 30790 /proc/meminfo: memFree=1644008/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1716508 CPUtime=39.5 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 76833 0 73 0 3902 48 0 0 20 0 13 0 195911902 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071577807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429127 61241 1902 14 0 415874 0 [pid=30778/tid=30779] ppid=30776 vsize=1716508 CPUtime=1.38 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 19699 0 0 0 123 15 0 0 16 0 13 0 195912117 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1716508 CPUtime=1.37 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 16913 0 0 0 127 10 0 0 16 0 13 0 195912117 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1716508 CPUtime=0.01 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 32 0 0 0 0 1 0 0 16 0 13 0 195912120 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 195912142 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1716508 CPUtime=0.55 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 483 0 0 0 55 0 0 0 16 0 13 0 195912142 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1716508 CPUtime=0.56 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 687 0 0 0 56 0 0 0 16 0 13 0 195912142 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1716508 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 195915846 1757704192 61241 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 39.5 Current children cumulated vsize (Kb) 1716508 [startup+50.0327 s] /proc/loadavg: 0.97 0.97 0.91 2/76 30790 /proc/meminfo: memFree=1632680/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1714976 CPUtime=49.76 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 80178 0 73 0 4927 49 0 0 20 0 13 0 195911902 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071549912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 428744 64031 1906 14 0 415491 0 [pid=30778/tid=30779] ppid=30776 vsize=1714976 CPUtime=1.43 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 21417 0 0 0 128 15 0 0 16 0 13 0 195912117 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1714976 CPUtime=1.42 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 18042 0 0 0 132 10 0 0 16 0 13 0 195912117 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1714976 CPUtime=0.02 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 40 0 0 0 1 1 0 0 15 0 13 0 195912120 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1714976 CPUtime=0.69 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 504 0 0 0 69 0 0 0 17 0 13 0 195912142 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1714976 CPUtime=0.67 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 716 0 0 0 67 0 0 0 17 0 13 0 195912142 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1714976 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 195915846 1756135424 64031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 49.76 Current children cumulated vsize (Kb) 1714976 [startup+60.0395 s] /proc/loadavg: 0.97 0.97 0.91 2/76 30790 /proc/meminfo: memFree=1630440/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1719264 CPUtime=60.08 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 82800 0 73 0 5957 51 0 0 18 0 13 0 195911902 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429816 64546 1906 14 0 416563 0 [pid=30778/tid=30779] ppid=30776 vsize=1719264 CPUtime=1.47 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 21831 0 0 0 131 16 0 0 16 0 13 0 195912117 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1719264 CPUtime=1.45 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 18177 0 0 0 135 10 0 0 16 0 13 0 195912117 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1719264 CPUtime=0.02 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 40 0 0 0 1 1 0 0 16 0 13 0 195912120 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=0.97 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2571 0 0 0 96 1 0 0 16 0 13 0 195912142 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.68 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 716 0 0 0 68 0 0 0 17 0 13 0 195912142 1760526336 64546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=1.08 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2592 0 0 0 107 1 0 0 15 0 13 0 195912142 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.79 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 719 0 0 0 79 0 0 0 15 0 13 0 195912142 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195915846 1760526336 67671 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (Kb) 1719264 [startup+1786.35 s] /proc/loadavg: 0.99 0.97 0.91 2/76 30985 /proc/meminfo: memFree=1616488/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1719264 CPUtime=1797.85 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 117574 0 73 0 179558 227 0 0 25 0 13 0 195911902 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429816 67672 1907 14 0 416563 0 [pid=30778/tid=30779] ppid=30776 vsize=1719264 CPUtime=13.65 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 34954 0 0 0 1251 114 0 0 16 0 13 0 195912117 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1719264 CPUtime=13.53 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 27017 0 0 0 1289 64 0 0 16 0 13 0 195912117 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1719264 CPUtime=0.29 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 92 0 0 0 14 15 0 0 16 0 13 0 195912120 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=1.08 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2592 0 0 0 107 1 0 0 15 0 13 0 195912142 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.79 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 719 0 0 0 79 0 0 0 15 0 13 0 195912142 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195915846 1760526336 67672 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (Kb) 1719264 [startup+1787.35 s] /proc/loadavg: 0.99 0.97 0.91 2/76 30985 /proc/meminfo: memFree=1616488/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1719264 CPUtime=1798.87 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 117578 0 73 0 179660 227 0 0 25 0 13 0 195911902 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429816 67675 1907 14 0 416563 0 [pid=30778/tid=30779] ppid=30776 vsize=1719264 CPUtime=13.66 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 34954 0 0 0 1252 114 0 0 17 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1719264 CPUtime=13.54 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 27020 0 0 0 1290 64 0 0 16 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1719264 CPUtime=0.29 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 92 0 0 0 14 15 0 0 16 0 13 0 195912120 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=1.08 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2592 0 0 0 107 1 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.79 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 719 0 0 0 79 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195915846 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.87 Current children cumulated vsize (Kb) 1719264 [startup+1788.36 s] /proc/loadavg: 0.99 0.97 0.91 2/76 30985 /proc/meminfo: memFree=1616488/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1719264 CPUtime=1799.88 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 117578 0 73 0 179761 227 0 0 25 0 13 0 195911902 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429816 67675 1907 14 0 416563 0 [pid=30778/tid=30779] ppid=30776 vsize=1719264 CPUtime=13.66 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 34954 0 0 0 1252 114 0 0 17 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1719264 CPUtime=13.54 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 27020 0 0 0 1290 64 0 0 16 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1719264 CPUtime=0.29 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 92 0 0 0 14 15 0 0 16 0 13 0 195912120 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=1.08 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2592 0 0 0 107 1 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.79 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 719 0 0 0 79 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195915846 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.88 Current children cumulated vsize (Kb) 1719264 [startup+1789.36 s] /proc/loadavg: 0.99 0.97 0.91 2/76 30985 /proc/meminfo: memFree=1616488/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1719264 CPUtime=1800.89 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 117579 0 73 0 179862 227 0 0 25 0 13 0 195911902 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698373 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429816 67675 1907 14 0 416563 0 [pid=30778/tid=30779] ppid=30776 vsize=1719264 CPUtime=13.67 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 34954 0 0 0 1253 114 0 0 17 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1719264 CPUtime=13.55 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 27020 0 0 0 1291 64 0 0 16 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1719264 CPUtime=0.29 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 92 0 0 0 14 15 0 0 16 0 13 0 195912120 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=1.08 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2592 0 0 0 107 1 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.79 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 719 0 0 0 79 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195915846 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (Kb) 1719264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.37 s] /proc/loadavg: 0.99 0.97 0.91 2/76 30985 /proc/meminfo: memFree=1616488/2055920 swapFree=4180996/4192956 [pid=30778] ppid=30776 vsize=1719264 CPUtime=1800.9 /proc/30778/stat : 30778 (java) R 30776 30778 30732 0 -1 0 117579 0 73 0 179863 227 0 0 25 0 13 0 195911902 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071698016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30778/statm: 429816 67675 1907 14 0 416563 0 [pid=30778/tid=30779] ppid=30776 vsize=1719264 CPUtime=13.67 /proc/30778/task/30779/stat : 30779 (java) S 30776 30778 30732 0 -1 64 34954 0 0 0 1253 114 0 0 17 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30780] ppid=30776 vsize=1719264 CPUtime=13.55 /proc/30778/task/30780/stat : 30780 (java) S 30776 30778 30732 0 -1 64 27020 0 0 0 1291 64 0 0 16 0 13 0 195912117 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30781] ppid=30776 vsize=1719264 CPUtime=0.29 /proc/30778/task/30781/stat : 30781 (java) S 30776 30778 30732 0 -1 64 92 0 0 0 14 15 0 0 16 0 13 0 195912120 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30782] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30782/stat : 30782 (java) S 30776 30778 30732 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30783] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30783/stat : 30783 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195912125 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30778/tid=30784] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30784/stat : 30784 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30785] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30785/stat : 30785 (java) S 30776 30778 30732 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30786] ppid=30776 vsize=1719264 CPUtime=1.08 /proc/30778/task/30786/stat : 30786 (java) S 30776 30778 30732 0 -1 64 2592 0 0 0 107 1 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30787] ppid=30776 vsize=1719264 CPUtime=0.79 /proc/30778/task/30787/stat : 30787 (java) S 30776 30778 30732 0 -1 64 719 0 0 0 79 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30788] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30788/stat : 30788 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30789] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30789/stat : 30789 (java) S 30776 30778 30732 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 195912142 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30778/tid=30790] ppid=30776 vsize=1719264 CPUtime=0 /proc/30778/task/30790/stat : 30790 (java) S 30776 30778 30732 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195915846 1760526336 67675 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 1719264 Sending SIGTERM to -30778 Sleeping 2 seconds Child status: 143 Real time (s): 1789.48 CPU time (s): 1801.02 CPU user time (s): 1798.7 CPU system time (s): 2.32065 CPU usage (%): 100.645 Max. virtual memory (cumulated for all children) (Kb): 1719264
Begin job on node17 on Sat Jun 3 02:41:26 UTC 2006 FILE ID= 44544-1149302485 PBS_JOBID= 307450 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node17/44544-1149302485/instance-44544-1149302485.opb 144826711 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-44544-1149302485 -o ROOT/results/node17/solver-44544-1149302485 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node17/44544-1149302485/instance-44544-1149302485.opb 144826711 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 79102a590238a8abf70853775a775dcb RANDOM SEED= 144826711 /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.278 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.278 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: 1897112 kB Buffers: 14948 kB Cached: 72688 kB SwapCached: 3620 kB Active: 28816 kB Inactive: 67520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1897112 kB SwapTotal: 4192956 kB SwapFree: 4180996 kB Dirty: 144 kB Writeback: 0 kB Mapped: 14716 kB Slab: 48452 kB Committed_AS: 298284 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Sat Jun 3 03:11:15 UTC 2006