Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.19 | 1786.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
MD5SUM | 671dfb6ede3c120af748dc40a7daef68 |
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 | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2123511627775 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.24 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.24 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.25 c no version file found!!! 0.25 c sun.arch.data.model 32 0.25 c java.version 1.5.0_06 0.25 c os.name Linux 0.25 c os.version 2.6.9-22.EL.rootsmp 0.25 c os.arch i386 0.25 c Free memory 1548419056 0.25 c Max memory 1551040512 0.25 c Total memory 1551040512 0.25 c Number of processors 2 0.30 c Cutting planes based inference 0.30 c --- Begin Solver configuration --- 0.30 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.30 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.30 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.30 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.30 c VSIDS like heuristics from MiniSAT using a heap 0.30 c No reason simplification 0.30 c --- End Solver configuration --- 0.30 c solving ROOT/tmp/node71/44607-1149307417/instance-44607-1149307417.opb 0.30 c reading problem ... 2.41 c ... done. Time 2.105 ms. 2.41 c #vars 8902 2.41 c #constraints 3038 1786.48 c starts : 4 1786.48 c conflicts : 484 1786.48 c decisions : 7389 1786.48 c propagations : 18057 1786.48 c inspects : 245867 1786.48 c learnt literals : 0 1786.48 c learnt binary clauses : 0 1786.48 c learnt ternary clauses : 0 1786.48 c learnt clauses : 483 1786.48 c root simplifications : 0 1786.48 c removed literals (reason simplification) : 0 1786.48 c reason swapping (by a shorter reason) : 0 1786.48 c Calls to reduceDB : 0 1786.48 c speed (decisions/second) : 4.141669884976035 1786.48 c non guided choices 2 1786.48 s UNKNOWN 1786.48 c Total wall clock time (ms): 1786.184
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/node71/watcher-44607-1149307417 -o ROOT/results/node71/solver-44607-1149307417 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node71/44607-1149307417/instance-44607-1149307417.opb 250528577 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.89 0.99 0.99 3/64 15225 /proc/meminfo: memFree=1563088/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1460 CPUtime=0 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 124 0 0 0 0 0 0 0 19 0 1 0 196411389 1495040 96 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0 /proc/15225/statm: 398 103 82 14 0 43 0 [startup+10.0025 s] /proc/loadavg: 0.90 0.99 0.99 2/76 15237 /proc/meminfo: memFree=1375088/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=12 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 54517 0 1 0 1175 25 0 0 25 0 13 0 196411389 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071635310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15225/statm: 429620 48801 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=0.26 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 5323 0 0 0 24 2 0 0 16 0 13 0 196411402 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=0.29 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 5655 0 0 0 26 3 0 0 16 0 13 0 196411402 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.91 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 91 0 0 0 17 0 13 0 196411408 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.31 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5138 0 0 0 129 2 0 0 17 0 13 0 196411408 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 196411636 1759723520 48801 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12 Current children cumulated vsize (Kb) 1718480 [startup+20.0099 s] /proc/loadavg: 0.92 0.99 0.99 2/76 15237 /proc/meminfo: memFree=1386544/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=22.02 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 55140 0 1 0 2176 26 0 0 21 0 13 0 196411389 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071645195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15225/statm: 429620 45926 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=0.27 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 5549 0 0 0 25 2 0 0 16 0 13 0 196411402 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=0.33 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 6037 0 0 0 29 4 0 0 16 0 13 0 196411402 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 25 0 0 0 0 0 0 0 15 0 13 0 196411405 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.91 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 91 0 0 0 17 0 13 0 196411408 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.31 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5138 0 0 0 129 2 0 0 17 0 13 0 196411408 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 196411636 1759723520 45926 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.02 Current children cumulated vsize (Kb) 1718480 [startup+30.0172 s] /proc/loadavg: 0.93 0.99 0.99 2/76 15237 /proc/meminfo: memFree=1400560/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=32.05 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 55743 0 1 0 3178 27 0 0 19 0 13 0 196411389 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071647483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15225/statm: 429620 42414 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=0.3 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 5742 0 0 0 28 2 0 0 16 0 13 0 196411402 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=0.36 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 6430 0 0 0 32 4 0 0 16 0 13 0 196411402 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.01 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 25 0 0 0 0 1 0 0 15 0 13 0 196411405 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.91 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 91 0 0 0 17 0 13 0 196411408 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.31 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5138 0 0 0 129 2 0 0 17 0 13 0 196411408 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 196411636 1759723520 42414 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.05 Current children cumulated vsize (Kb) 1718480 [startup+40.0246 s] /proc/loadavg: 0.94 0.99 0.99 2/76 15237 /proc/meminfo: memFree=1409072/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=42.09 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 56275 0 1 0 4181 28 0 0 19 0 13 0 196411389 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15225/statm: 429620 40284 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=0.33 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 5998 0 0 0 31 2 0 0 16 0 13 0 196411402 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=0.39 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 6688 0 0 0 35 4 0 0 16 0 13 0 196411402 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.02 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 25 0 0 0 1 1 0 0 15 0 13 0 196411405 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.91 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 91 0 0 0 17 0 13 0 196411408 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.31 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5138 0 0 0 129 2 0 0 17 0 13 0 196411408 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 40284 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.09 Current children cumulated vsize (Kb) 1718480 [startup+50.032 s] /proc/loadavg: 0.95 0.99 0.99 2/76 15237 /proc/meminfo: memFree=1413296/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=52.17 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 56926 0 1 0 5188 29 0 0 23 0 13 0 196411389 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071635247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15225/statm: 429620 39218 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=0.37 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 6302 0 0 0 35 2 0 0 16 0 13 0 196411402 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=0.42 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 7015 0 0 0 38 4 0 0 15 0 13 0 196411402 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.03 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 25 0 0 0 1 2 0 0 16 0 13 0 196411405 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.92 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 92 0 0 0 16 0 13 0 196411408 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.35 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 133 2 0 0 17 0 13 0 196411408 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 39218 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.17 Current children cumulated vsize (Kb) 1718480 [startup+60.0394 s] /proc/loadavg: 0.96 0.99 0.99 2/76 15237 /proc/meminfo: memFree=1416368/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=62.23 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 57691 0 1 0 6193 30 0 0 25 0 13 0 196411389 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071683554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/15225/statm: 429620 38468 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=0.43 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 6807 0 0 0 40 3 0 0 16 0 13 0 196411402 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=0.47 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 7252 0 0 0 43 4 0 0 16 0 13 0 196411402 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.03 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 25 0 0 0 1 2 0 0 16 0 13 0 196411405 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 38468 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.93 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 93 0 0 0 16 0 13 0 196411408 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.36 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 134 2 0 0 17 0 13 0 196411408 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 104707 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.01 Current children cumulated vsize (Kb) 1718480 [startup+1783.46 s] /proc/loadavg: 1.01 1.01 1.00 2/76 15237 /proc/meminfo: memFree=1150000/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=1797.03 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 217648 0 1 0 179501 202 0 0 17 0 13 0 196411389 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071436870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15225/statm: 429620 104695 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=13.04 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 45166 0 0 0 1257 47 0 0 15 0 13 0 196411402 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=13.07 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 44202 0 0 0 1257 50 0 0 16 0 13 0 196411402 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.75 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 333 0 0 0 42 33 0 0 15 0 13 0 196411405 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.93 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 93 0 0 0 16 0 13 0 196411408 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.36 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 134 2 0 0 17 0 13 0 196411408 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 104695 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (Kb) 1718480 [startup+1784.46 s] /proc/loadavg: 1.01 1.01 1.00 2/76 15237 /proc/meminfo: memFree=1150000/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=1798.04 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 217650 0 1 0 179602 202 0 0 19 0 13 0 196411389 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071437063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15225/statm: 429620 104696 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=13.05 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 45166 0 0 0 1258 47 0 0 16 0 13 0 196411402 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=13.08 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 44203 0 0 0 1258 50 0 0 16 0 13 0 196411402 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.75 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 333 0 0 0 42 33 0 0 16 0 13 0 196411405 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.93 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 93 0 0 0 16 0 13 0 196411408 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.36 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 134 2 0 0 17 0 13 0 196411408 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 104696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (Kb) 1718480 [startup+1785.47 s] /proc/loadavg: 1.01 1.01 1.00 2/76 15237 /proc/meminfo: memFree=1150064/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=1799.05 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 217652 0 1 0 179703 202 0 0 25 0 13 0 196411389 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594285 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15225/statm: 429620 104681 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=13.05 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 45166 0 0 0 1258 47 0 0 16 0 13 0 196411402 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=13.08 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 44204 0 0 0 1258 50 0 0 16 0 13 0 196411402 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.75 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 333 0 0 0 42 33 0 0 16 0 13 0 196411405 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.93 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 93 0 0 0 16 0 13 0 196411408 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.36 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 134 2 0 0 17 0 13 0 196411408 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 104681 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.05 Current children cumulated vsize (Kb) 1718480 [startup+1786.48 s] /proc/loadavg: 1.01 1.01 1.00 2/76 15237 /proc/meminfo: memFree=1150128/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=1800.06 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 217656 0 1 0 179804 202 0 0 25 0 13 0 196411389 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071635316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15225/statm: 429620 104667 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=13.06 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 45166 0 0 0 1259 47 0 0 16 0 13 0 196411402 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=13.09 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 44206 0 0 0 1259 50 0 0 16 0 13 0 196411402 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.75 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 333 0 0 0 42 33 0 0 16 0 13 0 196411405 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.93 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 93 0 0 0 16 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.36 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 134 2 0 0 17 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (Kb) 1718480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.48 s] /proc/loadavg: 1.01 1.01 1.00 2/76 15237 /proc/meminfo: memFree=1150128/2055920 swapFree=4182212/4192956 [pid=15225] ppid=15223 vsize=1718480 CPUtime=1800.07 /proc/15225/stat : 15225 (java) R 15223 15225 15179 0 -1 0 217656 0 1 0 179805 202 0 0 25 0 13 0 196411389 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/15225/statm: 429620 104667 1908 14 0 416367 0 [pid=15225/tid=15226] ppid=15223 vsize=1718480 CPUtime=13.06 /proc/15225/task/15226/stat : 15226 (java) S 15223 15225 15179 0 -1 64 45166 0 0 0 1259 47 0 0 16 0 13 0 196411402 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15227] ppid=15223 vsize=1718480 CPUtime=13.09 /proc/15225/task/15227/stat : 15227 (java) S 15223 15225 15179 0 -1 64 44206 0 0 0 1259 50 0 0 16 0 13 0 196411402 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15228] ppid=15223 vsize=1718480 CPUtime=0.75 /proc/15225/task/15228/stat : 15228 (java) S 15223 15225 15179 0 -1 64 333 0 0 0 42 33 0 0 16 0 13 0 196411405 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15229] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15229/stat : 15229 (java) S 15223 15225 15179 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15230] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15230/stat : 15230 (java) S 15223 15225 15179 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196411405 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15231] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15231/stat : 15231 (java) S 15223 15225 15179 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15232] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15232/stat : 15232 (java) S 15223 15225 15179 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15233] ppid=15223 vsize=1718480 CPUtime=0.93 /proc/15225/task/15233/stat : 15233 (java) S 15223 15225 15179 0 -1 64 1777 0 0 0 93 0 0 0 16 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15234] ppid=15223 vsize=1718480 CPUtime=1.36 /proc/15225/task/15234/stat : 15234 (java) S 15223 15225 15179 0 -1 64 5139 0 0 0 134 2 0 0 17 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=15225/tid=15235] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15235/stat : 15235 (java) S 15223 15225 15179 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15236] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15236/stat : 15236 (java) S 15223 15225 15179 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196411408 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=15225/tid=15237] ppid=15223 vsize=1718480 CPUtime=0 /proc/15225/task/15237/stat : 15237 (java) S 15223 15225 15179 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 196411636 1759723520 104667 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (Kb) 1718480 Sending SIGTERM to -15225 Sleeping 2 seconds Child status: 143 Real time (s): 1786.6 CPU time (s): 1800.19 CPU user time (s): 1798.1 CPU system time (s): 2.09068 CPU usage (%): 100.761 Max. virtual memory (cumulated for all children) (Kb): 1718480
Begin job on node71 on Sat Jun 3 04:03:37 UTC 2006 FILE ID= 44607-1149307417 PBS_JOBID= 307702 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node71/44607-1149307417/instance-44607-1149307417.opb 250528577 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-44607-1149307417 -o ROOT/results/node71/solver-44607-1149307417 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node71/44607-1149307417/instance-44607-1149307417.opb 250528577 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 671dfb6ede3c120af748dc40a7daef68 RANDOM SEED= 250528577 /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.236 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.236 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: 1563296 kB Buffers: 27372 kB Cached: 391788 kB SwapCached: 2372 kB Active: 59160 kB Inactive: 368640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1563296 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 220 kB Writeback: 0 kB Mapped: 15092 kB Slab: 50820 kB Committed_AS: 299200 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node71 on Sat Jun 3 04:33:24 UTC 2006