Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | OPT | 157 | 98.1241 | 96.6778 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=163.opb |
MD5SUM | df757e5b179708f35d0de82dba4f58fd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 157 |
Best CPU time to get the best result obtained on this benchmark | 0.015996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 157 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 244 |
Number of constraints which are clauses | 243 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 65536 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 286712 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node72/48704-1149851329/instance-48704-1149851329.opb 0.21 c reading problem ... 0.31 c ... done. Time 0.105 ms. 0.31 c #vars 99 0.31 c #constraints 245 33.40 c SATISFIABLE 33.40 c OPTIMIZING... 33.40 c Got one! Ellapsed CPU time (in seconds):33.192 33.40 o 157 96.62 c starts : 15 96.62 c conflicts : 6564 96.62 c decisions : 7556 96.62 c propagations : 111376 96.62 c inspects : 37670454 96.62 c learnt literals : 0 96.62 c learnt binary clauses : 0 96.62 c learnt ternary clauses : 0 96.62 c learnt clauses : 6563 96.62 c root simplifications : 0 96.62 c removed literals (reason simplification) : 0 96.62 c reason swapping (by a shorter reason) : 0 96.62 c Calls to reduceDB : 0 96.62 c speed (decisions/second) : 119.50968762356662 96.62 c non guided choices 0 96.62 s OPTIMUM FOUND 96.62 v x1 -x2 x3 x4 x5 -x6 -x7 x8 -x9 x10 x11 -x12 -x13 -x14 x15 -x16 x17 -x18 x19 x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 96.62 v -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 -x40 -x41 x42 -x43 x44 -x45 x46 x47 -x48 -x49 -x50 x51 -x52 x53 -x54 x55 x56 -x57 -x58 -x59 96.62 v x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 96.62 v x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 96.62 c objective function=157 96.62 c Total wall clock time (ms): 96.419
OK 157
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node72/watcher-48704-1149851329 -o ROOT/results/node72/solver-48704-1149851329 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node72/48704-1149851329/instance-48704-1149851329.opb 98338671 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.88 0.88 3/64 14425 /proc/meminfo: memFree=1340056/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=164 CPUtime=0 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 30 0 0 0 0 0 0 0 19 0 1 0 250797310 167936 14 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 2502944 0 0 4096 0 0 0 0 17 1 0 0 /proc/14425/statm: 42 22 17 14 0 2 0 [startup+10.002 s] /proc/loadavg: 0.80 0.89 0.88 2/76 14437 /proc/meminfo: memFree=1154504/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1713008 CPUtime=11.08 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 52008 0 1 0 1085 23 0 0 20 0 13 0 250797310 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071440425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428252 48206 1903 14 0 414999 0 [pid=14425/tid=14426] ppid=14423 vsize=1713008 CPUtime=0.14 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 4481 0 0 0 13 1 0 0 16 0 13 0 250797314 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1713008 CPUtime=0.14 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 4197 0 0 0 13 1 0 0 16 0 13 0 250797314 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 250797317 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1713008 CPUtime=0.66 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2276 0 0 0 65 1 0 0 17 0 13 0 250797320 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1713008 CPUtime=0.77 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1356 0 0 0 77 0 0 0 17 0 13 0 250797320 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14437] ppid=14423 vsize=1713008 CPUtime=0 /proc/14425/task/14437/stat : 14437 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797342 1754120192 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.08 Current children cumulated vsize (Kb) 1713008 [startup+20.0091 s] /proc/loadavg: 0.83 0.89 0.88 2/76 14437 /proc/meminfo: memFree=1148880/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=21.21 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 54134 0 1 0 2096 25 0 0 25 0 13 0 250797310 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 49562 1904 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.2 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 5732 0 0 0 18 2 0 0 16 0 13 0 250797314 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.19 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 5057 0 0 0 17 2 0 0 16 0 13 0 250797314 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.72 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2280 0 0 0 71 1 0 0 17 0 13 0 250797320 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.79 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1358 0 0 0 79 0 0 0 17 0 13 0 250797320 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14437] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14437/stat : 14437 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797342 1753235456 49562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.21 Current children cumulated vsize (Kb) 1712144 [startup+30.0162 s] /proc/loadavg: 0.86 0.89 0.89 2/76 14437 /proc/meminfo: memFree=1151056/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=31.26 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 55279 0 1 0 3100 26 0 0 16 0 13 0 250797310 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 49027 1905 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.23 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 6277 0 0 0 21 2 0 0 16 0 13 0 250797314 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.23 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 5642 0 0 0 21 2 0 0 16 0 13 0 250797314 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.73 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 72 1 0 0 17 0 13 0 250797320 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.79 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1358 0 0 0 79 0 0 0 16 0 13 0 250797320 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14437] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14437/stat : 14437 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797342 1753235456 49027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.26 Current children cumulated vsize (Kb) 1712144 [startup+40.0232 s] /proc/loadavg: 0.88 0.89 0.89 2/76 14438 /proc/meminfo: memFree=1155208/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=41.3 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 56116 0 1 0 4104 26 0 0 25 0 13 0 250797310 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 47986 1906 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.27 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 6724 0 0 0 25 2 0 0 16 0 13 0 250797314 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.26 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 6021 0 0 0 24 2 0 0 17 0 13 0 250797314 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.73 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 72 1 0 0 17 0 13 0 250797320 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.8 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1359 0 0 0 80 0 0 0 16 0 13 0 250797320 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14438] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14438/stat : 14438 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 250800651 1753235456 47986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.3 Current children cumulated vsize (Kb) 1712144 [startup+50.0313 s] /proc/loadavg: 0.90 0.90 0.89 2/76 14438 /proc/meminfo: memFree=1158536/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=51.34 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 56964 0 1 0 5107 27 0 0 25 0 13 0 250797310 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154158900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 47152 1906 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.3 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 7060 0 0 0 28 2 0 0 16 0 13 0 250797314 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.3 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 6526 0 0 0 28 2 0 0 16 0 13 0 250797314 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.73 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 72 1 0 0 17 0 13 0 250797320 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.8 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1359 0 0 0 80 0 0 0 16 0 13 0 250797320 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14438] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14438/stat : 14438 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 250800651 1753235456 47152 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.34 Current children cumulated vsize (Kb) 1712144 [startup+60.0374 s] /proc/loadavg: 0.91 0.90 0.89 2/76 14438 /proc/meminfo: memFree=1161096/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=61.44 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 57670 0 1 0 6117 27 0 0 18 0 13 0 250797310 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 46512 1906 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.34 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 7439 0 0 0 31 3 0 0 16 0 13 0 250797314 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.34 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 6845 0 0 0 31 3 0 0 16 0 13 0 250797314 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0.01 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 1 0 0 15 0 13 0 250797317 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.74 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 73 1 0 0 17 0 13 0 250797320 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.81 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1359 0 0 0 81 0 0 0 16 0 13 0 250797320 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14438] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14438/stat : 14438 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 250800651 1753235456 46512 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 61.44 Current children cumulated vsize (Kb) 1712144 [startup+70.1094 s] /proc/loadavg: 1.01 0.92 0.89 2/76 14438 /proc/meminfo: memFree=1162952/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=71.49 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 58391 0 1 0 7121 28 0 0 25 0 13 0 250797310 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071408904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 46063 1906 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.38 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 7811 0 0 0 35 3 0 0 16 0 13 0 250797314 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.37 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 7186 0 0 0 34 3 0 0 16 0 13 0 250797314 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0.01 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 250797317 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.74 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 73 1 0 0 17 0 13 0 250797320 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.81 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1359 0 0 0 81 0 0 0 16 0 13 0 250797320 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14438] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14438/stat : 14438 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250800651 1753235456 46063 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 71.49 Current children cumulated vsize (Kb) 1712144 [startup+80.1165 s] /proc/loadavg: 1.00 0.92 0.90 2/76 14438 /proc/meminfo: memFree=1163912/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=81.52 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 59026 0 1 0 8124 28 0 0 16 0 13 0 250797310 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071359637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 45813 1906 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.42 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 8176 0 0 0 39 3 0 0 16 0 13 0 250797314 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.41 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 7449 0 0 0 38 3 0 0 16 0 13 0 250797314 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0.01 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 1 0 0 15 0 13 0 250797317 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.74 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 73 1 0 0 17 0 13 0 250797320 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.81 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1359 0 0 0 81 0 0 0 16 0 13 0 250797320 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14438] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14438/stat : 14438 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250800651 1753235456 45813 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 81.52 Current children cumulated vsize (Kb) 1712144 [startup+90.1235 s] /proc/loadavg: 1.00 0.92 0.90 2/76 14438 /proc/meminfo: memFree=1163528/2055920 swapFree=4182312/4192956 [pid=14425] ppid=14423 vsize=1712144 CPUtime=91.57 /proc/14425/stat : 14425 (java) R 14423 14425 14379 0 -1 0 59731 0 1 0 9128 29 0 0 18 0 13 0 250797310 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071553554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/14425/statm: 428036 45949 1906 14 0 414783 0 [pid=14425/tid=14426] ppid=14423 vsize=1712144 CPUtime=0.46 /proc/14425/task/14426/stat : 14426 (java) S 14423 14425 14379 0 -1 64 8559 0 0 0 43 3 0 0 16 0 13 0 250797314 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14427] ppid=14423 vsize=1712144 CPUtime=0.45 /proc/14425/task/14427/stat : 14427 (java) S 14423 14425 14379 0 -1 64 7764 0 0 0 41 4 0 0 16 0 13 0 250797314 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14428] ppid=14423 vsize=1712144 CPUtime=0.01 /proc/14425/task/14428/stat : 14428 (java) S 14423 14425 14379 0 -1 64 31 0 0 0 0 1 0 0 16 0 13 0 250797317 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14429] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14429/stat : 14429 (java) S 14423 14425 14379 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 250797317 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14430] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14430/stat : 14430 (java) S 14423 14425 14379 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 250797317 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14431] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14431/stat : 14431 (java) S 14423 14425 14379 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 250797320 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14432] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14432/stat : 14432 (java) S 14423 14425 14379 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 250797320 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14433] ppid=14423 vsize=1712144 CPUtime=0.74 /proc/14425/task/14433/stat : 14433 (java) S 14423 14425 14379 0 -1 64 2281 0 0 0 73 1 0 0 17 0 13 0 250797320 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=14425/tid=14434] ppid=14423 vsize=1712144 CPUtime=0.81 /proc/14425/task/14434/stat : 14434 (java) S 14423 14425 14379 0 -1 64 1359 0 0 0 81 0 0 0 16 0 13 0 250797320 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14435] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14435/stat : 14435 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 250797320 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14436] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14436/stat : 14436 (java) S 14423 14425 14379 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 250797321 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=14425/tid=14438] ppid=14423 vsize=1712144 CPUtime=0 /proc/14425/task/14438/stat : 14438 (java) S 14423 14425 14379 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 250800651 1753235456 45949 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 91.57 Current children cumulated vsize (Kb) 1712144 Child status: 30 Real time (s): 96.6778 CPU time (s): 98.1241 CPU user time (s): 97.8001 CPU system time (s): 0.32395 CPU usage (%): 101.496 Max. virtual memory (cumulated for all children) (Kb): 1713008 The end
Begin job on node72 on Fri Jun 9 11:08:49 UTC 2006 FILE ID= 48704-1149851329 PBS_JOBID= 383150 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=157-Q=163.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node72/48704-1149851329/instance-48704-1149851329.opb 98338671 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-48704-1149851329 -o ROOT/results/node72/solver-48704-1149851329 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node72/48704-1149851329/instance-48704-1149851329.opb 98338671 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= df757e5b179708f35d0de82dba4f58fd RANDOM SEED= 98338671 /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.227 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.227 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: 1340328 kB Buffers: 41088 kB Cached: 595644 kB SwapCached: 2400 kB Active: 96024 kB Inactive: 549476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1340328 kB SwapTotal: 4192956 kB SwapFree: 4182312 kB Dirty: 324 kB Writeback: 0 kB Mapped: 15864 kB Slab: 56080 kB Committed_AS: 532024 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Fri Jun 9 11:10:26 UTC 2006