Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.8 | 1788.47 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_3.opb |
MD5SUM | 1c7fb7925778882f8c8001dcd3838f28 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 404796 |
Total number of constraints | 3709 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 3706 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 134217728000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.18 c no version file found!!! 0.18 c sun.arch.data.model 32 0.18 c java.version 1.5.0_06 0.18 c os.name Linux 0.18 c os.version 2.6.9-22.EL.rootsmp 0.18 c os.arch i386 0.18 c Free memory 1548419056 0.18 c Max memory 1551040512 0.18 c Total memory 1551040512 0.18 c Number of processors 2 0.23 c Cutting planes based inference 0.23 c --- Begin Solver configuration --- 0.23 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.23 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.23 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.23 c VSIDS like heuristics from MiniSAT using a heap 0.23 c No reason simplification 0.23 c --- End Solver configuration --- 0.23 c solving ROOT/tmp/node14/44587-1149305795/instance-44587-1149305795.opb 0.23 c reading problem ... 70.22 c ... done. Time 69.99 ms. 70.22 c #vars 404796 70.22 c #constraints 4933 1788.34 c starts : 2 1788.34 c conflicts : 194 1788.34 c decisions : 14486 1788.34 c propagations : 475035 1788.34 c inspects : 2241535 1788.34 c learnt literals : 0 1788.34 c learnt binary clauses : 0 1788.34 c learnt ternary clauses : 0 1788.34 c learnt clauses : 193 1788.34 c root simplifications : 0 1788.34 c removed literals (reason simplification) : 0 1788.34 c reason swapping (by a shorter reason) : 0 1788.34 c Calls to reduceDB : 0 1788.34 c speed (decisions/second) : 8.431745410880247 1788.34 c non guided choices 4266 1788.34 s UNKNOWN 1788.34 c Total wall clock time (ms): 1788.11
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/node14/watcher-44587-1149305795 -o ROOT/results/node14/solver-44587-1149305795 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node14/44587-1149305795/instance-44587-1149305795.opb 617501274 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 31643 /proc/meminfo: memFree=1495632/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1784 CPUtime=0 /proc/31643/stat : 31643 (java) D 31641 31643 31597 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 196242358 1826816 146 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/31643/statm: 446 146 111 14 0 91 0 [startup+10.0025 s] /proc/loadavg: 1.08 1.00 1.00 2/75 31654 /proc/meminfo: memFree=1283704/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1712976 CPUtime=11 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 58069 0 1 0 1073 27 0 0 20 0 12 0 196242358 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071428775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 428244 54815 1880 14 0 414991 0 [pid=31643/tid=31644] ppid=31641 vsize=1712976 CPUtime=0.44 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 9556 0 0 0 38 6 0 0 16 0 12 0 196242364 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1712976 CPUtime=0.44 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 9701 0 0 0 39 5 0 0 16 0 12 0 196242364 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 196242367 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 196242367 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196242367 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196242371 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 196242371 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1712976 CPUtime=0.41 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1318 0 0 0 41 0 0 0 16 0 12 0 196242371 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1712976 CPUtime=0.46 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 995 0 0 0 46 0 0 0 17 0 12 0 196242371 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196242371 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1712976 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196242371 1754087424 54815 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11 Current children cumulated vsize (Kb) 1712976 [startup+20.0224 s] /proc/loadavg: 1.15 1.02 1.01 3/75 31654 /proc/meminfo: memFree=1193088/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1712300 CPUtime=21.75 /proc/31643/stat : 31643 (java) S 31641 31643 31597 0 -1 0 83861 0 1 0 2135 40 0 0 21 0 12 0 196242358 1753395200 77550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 428075 77551 1880 14 0 414822 0 [pid=31643/tid=31644] ppid=31641 vsize=1712300 CPUtime=1.17 /proc/31643/task/31644/stat : 31644 (java) R 31641 31643 31597 0 -1 64 23349 0 0 0 105 12 0 0 17 0 12 0 196242364 1753395200 77554 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154976005 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1712300 CPUtime=1.17 /proc/31643/task/31645/stat : 31645 (java) R 31641 31643 31597 0 -1 64 21689 0 0 0 106 11 0 0 16 0 12 0 196242364 1753395200 77555 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975950 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 196242367 1753395200 77557 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 196242367 1753395200 77558 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196242367 1753395200 77560 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196242371 1753395200 77561 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 196242371 1753395200 77562 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1712300 CPUtime=0.41 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1318 0 0 0 41 0 0 0 16 0 12 0 196242371 1753395200 77563 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1712300 CPUtime=0.46 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 995 0 0 0 46 0 0 0 17 0 12 0 196242371 1753395200 77565 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196242371 1753395200 77566 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196242371 1753395200 77568 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.75 Current children cumulated vsize (Kb) 1712300 [startup+30.0304 s] /proc/loadavg: 1.12 1.02 1.00 2/75 31654 /proc/meminfo: memFree=1145984/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1712300 CPUtime=32.19 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 97103 0 1 0 3172 47 0 0 17 0 12 0 196242358 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071430349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 428075 89252 1880 14 0 414822 0 [pid=31643/tid=31644] ppid=31641 vsize=1712300 CPUtime=1.62 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 30316 0 0 0 147 15 0 0 16 0 12 0 196242364 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1712300 CPUtime=1.61 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 27941 0 0 0 147 14 0 0 16 0 12 0 196242364 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 25 0 0 0 0 0 0 0 15 0 12 0 196242367 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 196242367 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196242367 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196242371 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 196242371 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1712300 CPUtime=0.41 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1318 0 0 0 41 0 0 0 16 0 12 0 196242371 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1712300 CPUtime=0.46 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 995 0 0 0 46 0 0 0 17 0 12 0 196242371 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196242371 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196242371 1753395200 89252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.19 Current children cumulated vsize (Kb) 1712300 [startup+40.0373 s] /proc/loadavg: 1.10 1.01 1.00 2/75 31654 /proc/meminfo: memFree=1131712/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1712300 CPUtime=42.54 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 101010 0 1 0 4204 50 0 0 25 0 12 0 196242358 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 428075 92825 1884 14 0 414822 0 [pid=31643/tid=31644] ppid=31641 vsize=1712300 CPUtime=1.83 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 32372 0 0 0 167 16 0 0 16 0 12 0 196242364 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1712300 CPUtime=1.83 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 29761 0 0 0 168 15 0 0 16 0 12 0 196242364 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1712300 CPUtime=0.01 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 26 0 0 0 1 0 0 0 16 0 12 0 196242367 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 196242367 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196242367 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196242371 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 196242371 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1712300 CPUtime=0.5 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1324 0 0 0 50 0 0 0 17 0 12 0 196242371 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1712300 CPUtime=0.51 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 997 0 0 0 51 0 0 0 17 0 12 0 196242371 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196242371 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196242371 1753395200 92825 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.54 Current children cumulated vsize (Kb) 1712300 [startup+50.0453 s] /proc/loadavg: 1.09 1.01 1.00 2/75 31654 /proc/meminfo: memFree=1096896/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1712300 CPUtime=52.91 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 110709 0 1 0 5236 55 0 0 25 0 12 0 196242358 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071430337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 428075 101501 1884 14 0 414822 0 [pid=31643/tid=31644] ppid=31641 vsize=1712300 CPUtime=2.21 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 37132 0 0 0 202 19 0 0 16 0 12 0 196242364 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1712300 CPUtime=2.21 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 34683 0 0 0 204 17 0 0 16 0 12 0 196242364 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1712300 CPUtime=0.01 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 26 0 0 0 1 0 0 0 16 0 12 0 196242367 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 196242367 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196242367 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196242371 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 196242371 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1712300 CPUtime=0.5 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1324 0 0 0 50 0 0 0 17 0 12 0 196242371 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1712300 CPUtime=0.51 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 997 0 0 0 51 0 0 0 17 0 12 0 196242371 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196242371 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196242371 1753395200 101501 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.91 Current children cumulated vsize (Kb) 1712300 [startup+60.0522 s] /proc/loadavg: 1.07 1.01 1.00 2/75 31654 /proc/meminfo: memFree=1028480/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1712300 CPUtime=63.71 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 130940 0 1 0 6307 64 0 0 19 0 12 0 196242358 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071453917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 428075 118587 1885 14 0 414822 0 [pid=31643/tid=31644] ppid=31641 vsize=1712300 CPUtime=3 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 48125 0 0 0 277 23 0 0 16 0 12 0 196242364 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1712300 CPUtime=3 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 43902 0 0 0 280 20 0 0 16 0 12 0 196242364 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1712300 CPUtime=0.01 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 28 0 0 0 1 0 0 0 15 0 12 0 196242367 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 196242367 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 196242367 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 196242371 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 196242371 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1712300 CPUtime=0.5 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1324 0 0 0 50 0 0 0 17 0 12 0 196242371 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1712300 CPUtime=0.51 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 997 0 0 0 51 0 0 0 17 0 12 0 196242371 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 196242371 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1712300 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 196242371 1753395200 118587 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=31643/tid=31647] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1716912 CPUtime=0.87 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1356 0 0 0 87 0 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1716912 CPUtime=1.15 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 4299 0 0 0 113 2 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31655] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31655/stat : 31655 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196249464 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 1716912 [startup+1785.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31850 /proc/meminfo: memFree=775160/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1716912 CPUtime=1797.65 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 224347 0 1 0 179411 354 0 0 25 0 13 0 196242358 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071648055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 429228 181456 1908 14 0 415975 0 [pid=31643/tid=31644] ppid=31641 vsize=1716912 CPUtime=11.58 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 75078 0 0 0 997 161 0 0 16 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1716912 CPUtime=11.56 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 85888 0 0 0 1008 148 0 0 17 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1716912 CPUtime=0.12 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 97 0 0 0 6 6 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1716912 CPUtime=0.87 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1356 0 0 0 87 0 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1716912 CPUtime=1.15 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 4299 0 0 0 113 2 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31655] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31655/stat : 31655 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196249464 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 1716912 [startup+1786.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31850 /proc/meminfo: memFree=775160/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1716912 CPUtime=1798.65 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 224347 0 1 0 179511 354 0 0 25 0 13 0 196242358 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071595762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 429228 181456 1908 14 0 415975 0 [pid=31643/tid=31644] ppid=31641 vsize=1716912 CPUtime=11.58 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 75078 0 0 0 997 161 0 0 16 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1716912 CPUtime=11.56 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 85888 0 0 0 1008 148 0 0 17 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1716912 CPUtime=0.12 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 97 0 0 0 6 6 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1716912 CPUtime=0.87 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1356 0 0 0 87 0 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1716912 CPUtime=1.15 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 4299 0 0 0 113 2 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31655] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31655/stat : 31655 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196249464 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 1716912 [startup+1787.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31850 /proc/meminfo: memFree=775160/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1716912 CPUtime=1799.66 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 224347 0 1 0 179612 354 0 0 25 0 13 0 196242358 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071595755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 429228 181456 1908 14 0 415975 0 [pid=31643/tid=31644] ppid=31641 vsize=1716912 CPUtime=11.58 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 75078 0 0 0 997 161 0 0 16 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1716912 CPUtime=11.56 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 85888 0 0 0 1008 148 0 0 17 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1716912 CPUtime=0.12 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 97 0 0 0 6 6 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1716912 CPUtime=0.87 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1356 0 0 0 87 0 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1716912 CPUtime=1.15 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 4299 0 0 0 113 2 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31655] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31655/stat : 31655 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196249464 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 1716912 [startup+1788.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31850 /proc/meminfo: memFree=775160/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1716912 CPUtime=1800.66 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 224347 0 1 0 179712 354 0 0 25 0 13 0 196242358 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071595762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 429228 181456 1908 14 0 415975 0 [pid=31643/tid=31644] ppid=31641 vsize=1716912 CPUtime=11.58 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 75078 0 0 0 997 161 0 0 16 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1716912 CPUtime=11.56 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 85888 0 0 0 1008 148 0 0 17 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1716912 CPUtime=0.12 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 97 0 0 0 6 6 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1716912 CPUtime=0.87 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1356 0 0 0 87 0 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1716912 CPUtime=1.15 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 4299 0 0 0 113 2 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31655] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31655/stat : 31655 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196249464 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 1716912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31850 /proc/meminfo: memFree=775160/2055920 swapFree=4181448/4192956 [pid=31643] ppid=31641 vsize=1716912 CPUtime=1800.67 /proc/31643/stat : 31643 (java) R 31641 31643 31597 0 -1 0 224347 0 1 0 179713 354 0 0 25 0 13 0 196242358 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071595815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31643/statm: 429228 181456 1908 14 0 415975 0 [pid=31643/tid=31644] ppid=31641 vsize=1716912 CPUtime=11.58 /proc/31643/task/31644/stat : 31644 (java) S 31641 31643 31597 0 -1 64 75078 0 0 0 997 161 0 0 16 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31645] ppid=31641 vsize=1716912 CPUtime=11.56 /proc/31643/task/31645/stat : 31645 (java) S 31641 31643 31597 0 -1 64 85888 0 0 0 1008 148 0 0 17 0 13 0 196242364 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31646] ppid=31641 vsize=1716912 CPUtime=0.12 /proc/31643/task/31646/stat : 31646 (java) S 31641 31643 31597 0 -1 64 97 0 0 0 6 6 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31647] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31647/stat : 31647 (java) S 31641 31643 31597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31648] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31648/stat : 31648 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 196242367 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31649] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31649/stat : 31649 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31650] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31650/stat : 31650 (java) S 31641 31643 31597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31643/tid=31651] ppid=31641 vsize=1716912 CPUtime=0.87 /proc/31643/task/31651/stat : 31651 (java) S 31641 31643 31597 0 -1 64 1356 0 0 0 87 0 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31652] ppid=31641 vsize=1716912 CPUtime=1.15 /proc/31643/task/31652/stat : 31652 (java) S 31641 31643 31597 0 -1 64 4299 0 0 0 113 2 0 0 16 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31653] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31653/stat : 31653 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31654] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31654/stat : 31654 (java) S 31641 31643 31597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196242371 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31643/tid=31655] ppid=31641 vsize=1716912 CPUtime=0 /proc/31643/task/31655/stat : 31655 (java) S 31641 31643 31597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196249464 1758117888 181456 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 1716912 Sending SIGTERM to -31643 Sleeping 2 seconds Child status: 143 Real time (s): 1788.47 CPU time (s): 1800.8 CPU user time (s): 1797.14 CPU system time (s): 3.66344 CPU usage (%): 100.689 Max. virtual memory (cumulated for all children) (Kb): 1716912
Begin job on node14 on Sat Jun 3 03:36:36 UTC 2006 FILE ID= 44587-1149305795 PBS_JOBID= 307623 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node14/44587-1149305795/instance-44587-1149305795.opb 617501274 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-44587-1149305795 -o ROOT/results/node14/solver-44587-1149305795 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node14/44587-1149305795/instance-44587-1149305795.opb 617501274 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 1c7fb7925778882f8c8001dcd3838f28 RANDOM SEED= 617501274 /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.241 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.241 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: 1495968 kB Buffers: 29724 kB Cached: 459272 kB SwapCached: 3188 kB Active: 65900 kB Inactive: 431824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1495968 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14740 kB Slab: 48224 kB Committed_AS: 315484 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 04:06:25 UTC 2006