Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | No Cert. | 1779.42 | 1767.01 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | b8b0df75c0f0dbb89ae9601b9070a445 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node40/44507-1149294828/instance-44507-1149294828.opb 0.20 c reading problem ... 5.72 c ... done. Time 5.515 ms. 5.72 c #vars 1400 5.72 c #constraints 109676 5.75 c SATISFIABLE 5.75 c OPTIMIZING... 5.75 c Got one! Ellapsed CPU time (in seconds):5.548 5.77 o 0 5.81 c Got one! Ellapsed CPU time (in seconds):5.609 5.81 o -1 6.08 c Got one! Ellapsed CPU time (in seconds):5.874 6.08 o -2 6.98 c Got one! Ellapsed CPU time (in seconds):6.775 6.98 o -38 7.72 c Got one! Ellapsed CPU time (in seconds):7.518 7.72 o -42 353.86 c Got one! Ellapsed CPU time (in seconds):353.653 353.86 o -43 367.62 c Got one! Ellapsed CPU time (in seconds):367.419 367.62 o -44 381.75 c Got one! Ellapsed CPU time (in seconds):381.55 381.76 o -45 1728.47 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 1742.40 c starts : 31 1742.40 c conflicts : 19050 1742.40 c decisions : 35268 1742.40 c propagations : 191470 1742.40 c inspects : 90464584 1742.40 c learnt literals : 0 1742.40 c learnt binary clauses : 0 1742.40 c learnt ternary clauses : 0 1742.40 c learnt clauses : 19049 1742.40 c root simplifications : 0 1742.40 c removed literals (reason simplification) : 0 1742.40 c reason swapping (by a shorter reason) : 0 1742.40 c Calls to reduceDB : 0 1742.40 c speed (decisions/second) : 25.920326671963227 1742.40 c non guided choices 12247 1742.40 s SATISFIABLE 1766.75 Exception in thread "Thread-0" java.lang.OutOfMemoryError: Java heap space
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/node40/watcher-44507-1149294828 -o ROOT/results/node40/solver-44507-1149294828 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node40/44507-1149294828/instance-44507-1149294828.opb 256475569 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 3/64 17423 /proc/meminfo: memFree=1832600/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1592 CPUtime=0 /proc/17423/stat : 17423 (java) R 17421 17423 17377 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 195149274 1630208 103 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/17423/statm: 398 103 82 14 0 43 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.91 2/76 17440 /proc/meminfo: memFree=1623544/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1712408 CPUtime=11.58 /proc/17423/stat : 17423 (java) R 17421 17423 17377 0 -1 0 57306 0 1 0 1131 27 0 0 25 0 13 0 195149274 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071600304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17423/statm: 428102 53974 1911 14 0 414849 0 [pid=17423/tid=17424] ppid=17421 vsize=1712408 CPUtime=0.37 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 8226 0 0 0 33 4 0 0 16 0 13 0 195149277 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1712408 CPUtime=0.36 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 6210 0 0 0 34 2 0 0 16 0 13 0 195149277 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17426/stat : 17426 (java) S 17421 17423 17377 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 195149280 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1712408 CPUtime=0.88 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1390 0 0 0 88 0 0 0 16 0 13 0 195149284 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1712408 CPUtime=0.88 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 676 0 0 0 88 0 0 0 16 0 13 0 195149284 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17440] ppid=17421 vsize=1712408 CPUtime=0 /proc/17423/task/17440/stat : 17440 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 195150047 1753505792 53974 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.58 Current children cumulated vsize (Kb) 1712408 [startup+20.0236 s] /proc/loadavg: 0.94 0.97 0.91 3/76 17440 /proc/meminfo: memFree=1566264/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1711724 CPUtime=22.07 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 74113 0 1 0 2171 36 0 0 18 0 13 0 195149274 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17423/statm: 427931 68394 1911 14 0 414678 0 [pid=17423/tid=17424] ppid=17421 vsize=1711724 CPUtime=0.77 /proc/17423/task/17424/stat : 17424 (java) R 17421 17423 17377 0 -1 64 17123 0 0 0 69 8 0 0 17 0 13 0 195149277 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975327 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1711724 CPUtime=0.77 /proc/17423/task/17425/stat : 17425 (java) R 17421 17423 17377 0 -1 64 14108 0 0 0 71 6 0 0 17 0 13 0 195149277 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649147 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17426/stat : 17426 (java) S 17421 17423 17377 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 195149280 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1711724 CPUtime=0.91 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1392 0 0 0 91 0 0 0 17 0 13 0 195149284 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1711724 CPUtime=0.94 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 679 0 0 0 94 0 0 0 17 0 13 0 195149284 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17440] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17440/stat : 17440 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 195150047 1752805376 68394 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.07 Current children cumulated vsize (Kb) 1711724 [startup+30.0319 s] /proc/loadavg: 0.95 0.97 0.91 2/76 17440 /proc/meminfo: memFree=1501688/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1711724 CPUtime=32.54 /proc/17423/stat : 17423 (java) R 17421 17423 17377 0 -1 0 92588 0 1 0 3208 46 0 0 25 0 13 0 195149274 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071521594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17423/statm: 427931 84463 1911 14 0 414678 0 [pid=17423/tid=17424] ppid=17421 vsize=1711724 CPUtime=1.2 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 27168 0 0 0 107 13 0 0 16 0 13 0 195149277 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1711724 CPUtime=1.19 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 22531 0 0 0 108 11 0 0 16 0 13 0 195149277 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17426/stat : 17426 (java) S 17421 17423 17377 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1711724 CPUtime=0.91 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1392 0 0 0 91 0 0 0 16 0 13 0 195149284 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1711724 CPUtime=0.97 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 97 0 0 0 17 0 13 0 195149284 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17440] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17440/stat : 17440 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 195150047 1752805376 84463 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.54 Current children cumulated vsize (Kb) 1711724 [startup+40.0382 s] /proc/loadavg: 0.95 0.97 0.91 2/76 17440 /proc/meminfo: memFree=1462904/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1711724 CPUtime=42.84 /proc/17423/stat : 17423 (java) R 17421 17423 17377 0 -1 0 104760 0 1 0 4233 51 0 0 25 0 13 0 195149274 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071587514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17423/statm: 427931 94110 1911 14 0 414678 0 [pid=17423/tid=17424] ppid=17421 vsize=1711724 CPUtime=1.5 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 34527 0 0 0 134 16 0 0 16 0 13 0 195149277 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1711724 CPUtime=1.49 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 27341 0 0 0 135 14 0 0 17 0 13 0 195149277 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17426/stat : 17426 (java) S 17421 17423 17377 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1711724 CPUtime=0.91 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1392 0 0 0 91 0 0 0 17 0 13 0 195149284 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1711724 CPUtime=0.97 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 97 0 0 0 17 0 13 0 195149284 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17440] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17440/stat : 17440 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 195150047 1752805376 94110 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.84 Current children cumulated vsize (Kb) 1711724 [startup+50.0475 s] /proc/loadavg: 0.96 0.97 0.91 3/76 17440 /proc/meminfo: memFree=1421112/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1711724 CPUtime=53.15 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 117181 0 1 0 5259 56 0 0 25 0 13 0 195149274 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17423/statm: 427931 104575 1911 14 0 414678 0 [pid=17423/tid=17424] ppid=17421 vsize=1711724 CPUtime=1.81 /proc/17423/task/17424/stat : 17424 (java) R 17421 17423 17377 0 -1 64 40993 0 0 0 162 19 0 0 16 0 13 0 195149277 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975961 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1711724 CPUtime=1.81 /proc/17423/task/17425/stat : 17425 (java) R 17421 17423 17377 0 -1 64 33291 0 0 0 165 16 0 0 17 0 13 0 195149277 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649126 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17426/stat : 17426 (java) S 17421 17423 17377 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 195149280 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1711724 CPUtime=0.91 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1392 0 0 0 91 0 0 0 17 0 13 0 195149284 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1711724 CPUtime=0.97 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 97 0 0 0 17 0 13 0 195149284 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17440] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17440/stat : 17440 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 195150047 1752805376 104575 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 53.15 Current children cumulated vsize (Kb) 1711724 [startup+60.0548 s] /proc/loadavg: 0.97 0.97 0.91 2/76 17440 /proc/meminfo: memFree=1373368/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1711724 CPUtime=63.44 /proc/17423/stat : 17423 (java) R 17421 17423 17377 0 -1 0 130985 0 1 0 6281 63 0 0 25 0 13 0 195149274 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071411955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17423/statm: 427931 116470 1911 14 0 414678 0 [pid=17423/tid=17424] ppid=17421 vsize=1711724 CPUtime=2.1 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 49084 0 0 0 187 23 0 0 16 0 13 0 195149277 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1711724 CPUtime=2.1 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 39001 0 0 0 191 19 0 0 16 0 13 0 195149277 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1711724 CPUtime=0.01 /proc/17423/task/17426/stat : 17426 (java) S 17421 17423 17377 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 195149280 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 116470 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1711724 CPUtime=0.97 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1395 0 0 0 97 0 0 0 17 0 13 0 195149284 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1711724 CPUtime=0.99 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 99 0 0 0 16 0 13 0 195149284 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17445] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17445/stat : 17445 (java) S 17421 17423 17377 0 -1 64 129 0 0 0 0 0 0 0 16 0 13 0 195187451 1752805376 388786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1723.75 Current children cumulated vsize (Kb) 1711724 [startup+1721.31 s] /proc/loadavg: 1.00 1.00 0.93 2/76 17640 /proc/meminfo: memFree=280800/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1711724 CPUtime=1733.75 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 446701 0 1 0 173153 222 0 0 16 0 13 0 195149274 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17423/statm: 427931 388787 1913 14 0 414678 0 [pid=17423/tid=17424] ppid=17421 vsize=1711724 CPUtime=11.93 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 202785 0 0 0 1094 99 0 0 16 0 13 0 195149277 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1711724 CPUtime=11.92 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 195185 0 0 0 1105 87 0 0 16 0 13 0 195149277 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1711724 CPUtime=1034.72 /proc/17423/task/17426/stat : 17426 (java) R 17421 17423 17377 0 -1 64 5599 0 0 0 103459 13 0 0 18 0 13 0 195149280 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152716296 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 195149280 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 195149284 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 195149284 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1711724 CPUtime=0.97 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1395 0 0 0 97 0 0 0 17 0 13 0 195149284 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1711724 CPUtime=0.99 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 99 0 0 0 16 0 13 0 195149284 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 195149284 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 195149284 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17445] ppid=17421 vsize=1711724 CPUtime=0 /proc/17423/task/17445/stat : 17445 (java) S 17421 17423 17377 0 -1 64 130 0 0 0 0 0 0 0 16 0 13 0 195187451 1752805376 388787 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1733.75 Current children cumulated vsize (Kb) 1711724 [startup+1731.32 s] /proc/loadavg: 1.00 1.00 0.93 2/77 17641 /proc/meminfo: memFree=280792/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1712240 CPUtime=1743.75 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 446710 0 1 0 174153 222 0 0 18 0 14 0 195149274 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17423/statm: 428060 388795 1915 14 0 414807 0 [pid=17423/tid=17424] ppid=17421 vsize=1712240 CPUtime=11.93 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 202785 0 0 0 1094 99 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1712240 CPUtime=11.92 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 195185 0 0 0 1105 87 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1712240 CPUtime=1044.72 /proc/17423/task/17426/stat : 17426 (java) R 17421 17423 17377 0 -1 64 5599 0 0 0 104459 13 0 0 25 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154938849 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1712240 CPUtime=0.97 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1395 0 0 0 97 0 0 0 17 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1712240 CPUtime=0.99 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 99 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17445] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17445/stat : 17445 (java) S 17421 17423 17377 0 -1 64 131 0 0 0 0 0 0 0 16 0 14 0 195187451 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17641] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17641/stat : 17641 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 195322121 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1743.75 Current children cumulated vsize (Kb) 1712240 [startup+1741.32 s] /proc/loadavg: 1.00 1.00 0.93 2/77 17641 /proc/meminfo: memFree=280792/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1712240 CPUtime=1753.76 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 446712 0 1 0 175153 223 0 0 18 0 14 0 195149274 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17423/statm: 428060 388795 1915 14 0 414807 0 [pid=17423/tid=17424] ppid=17421 vsize=1712240 CPUtime=11.93 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 202785 0 0 0 1094 99 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1712240 CPUtime=11.92 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 195185 0 0 0 1105 87 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1712240 CPUtime=1054.73 /proc/17423/task/17426/stat : 17426 (java) R 17421 17423 17377 0 -1 64 5599 0 0 0 105459 14 0 0 25 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154940051 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1712240 CPUtime=0.97 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1395 0 0 0 97 0 0 0 17 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1712240 CPUtime=0.99 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 99 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17445] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17445/stat : 17445 (java) S 17421 17423 17377 0 -1 64 132 0 0 0 0 0 0 0 16 0 14 0 195187451 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17641] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17641/stat : 17641 (java) S 17421 17423 17377 0 -1 64 6 0 0 0 0 0 0 0 17 0 14 0 195322121 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1753.76 Current children cumulated vsize (Kb) 1712240 [startup+1751.33 s] /proc/loadavg: 1.00 1.00 0.93 2/77 17641 /proc/meminfo: memFree=280792/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1712240 CPUtime=1763.76 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 446714 0 1 0 176153 223 0 0 18 0 14 0 195149274 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17423/statm: 428060 388795 1915 14 0 414807 0 [pid=17423/tid=17424] ppid=17421 vsize=1712240 CPUtime=11.93 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 202785 0 0 0 1094 99 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1712240 CPUtime=11.92 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 195185 0 0 0 1105 87 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1712240 CPUtime=1064.73 /proc/17423/task/17426/stat : 17426 (java) R 17421 17423 17377 0 -1 64 5599 0 0 0 106459 14 0 0 25 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154472784 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1712240 CPUtime=0.97 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1395 0 0 0 97 0 0 0 17 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1712240 CPUtime=0.99 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 99 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17445] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17445/stat : 17445 (java) S 17421 17423 17377 0 -1 64 133 0 0 0 0 0 0 0 16 0 14 0 195187451 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17641] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17641/stat : 17641 (java) S 17421 17423 17377 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 195322121 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1763.76 Current children cumulated vsize (Kb) 1712240 [startup+1761.34 s] /proc/loadavg: 1.00 1.00 0.93 2/77 17641 /proc/meminfo: memFree=280792/2055920 swapFree=4181324/4192956 [pid=17423] ppid=17421 vsize=1712240 CPUtime=1773.76 /proc/17423/stat : 17423 (java) S 17421 17423 17377 0 -1 0 446714 0 1 0 177153 223 0 0 18 0 14 0 195149274 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17423/statm: 428060 388795 1915 14 0 414807 0 [pid=17423/tid=17424] ppid=17421 vsize=1712240 CPUtime=11.93 /proc/17423/task/17424/stat : 17424 (java) S 17421 17423 17377 0 -1 64 202785 0 0 0 1094 99 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17425] ppid=17421 vsize=1712240 CPUtime=11.92 /proc/17423/task/17425/stat : 17425 (java) S 17421 17423 17377 0 -1 64 195185 0 0 0 1105 87 0 0 16 0 14 0 195149277 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17426] ppid=17421 vsize=1712240 CPUtime=1074.72 /proc/17423/task/17426/stat : 17426 (java) R 17421 17423 17377 0 -1 64 5599 0 0 0 107458 14 0 0 25 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154472577 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17427] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17427/stat : 17427 (java) S 17421 17423 17377 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17428] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17428/stat : 17428 (java) S 17421 17423 17377 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 195149280 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17429] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17429/stat : 17429 (java) S 17421 17423 17377 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17430] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17430/stat : 17430 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17431] ppid=17421 vsize=1712240 CPUtime=0.97 /proc/17423/task/17431/stat : 17431 (java) S 17421 17423 17377 0 -1 64 1395 0 0 0 97 0 0 0 17 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17432] ppid=17421 vsize=1712240 CPUtime=0.99 /proc/17423/task/17432/stat : 17432 (java) S 17421 17423 17377 0 -1 64 681 0 0 0 99 0 0 0 16 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17433] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17433/stat : 17433 (java) S 17421 17423 17377 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17423/tid=17434] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17434/stat : 17434 (java) S 17421 17423 17377 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 195149284 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17445] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17445/stat : 17445 (java) S 17421 17423 17377 0 -1 64 133 0 0 0 0 0 0 0 16 0 14 0 195187451 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17423/tid=17641] ppid=17421 vsize=1712240 CPUtime=0 /proc/17423/task/17641/stat : 17641 (java) S 17421 17423 17377 0 -1 64 7 0 0 0 0 0 0 0 17 0 14 0 195322121 1753333760 388795 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1773.76 Current children cumulated vsize (Kb) 1712240 Child status: 1 Real time (s): 1767.01 CPU time (s): 1779.42 CPU user time (s): 1776.94 CPU system time (s): 2.47562 CPU usage (%): 100.702 Max. virtual memory (cumulated for all children) (Kb): 1712408
Begin job on node40 on Sat Jun 3 00:33:48 UTC 2006 FILE ID= 44507-1149294828 PBS_JOBID= 307078 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node40/44507-1149294828/instance-44507-1149294828.opb 256475569 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-44507-1149294828 -o ROOT/results/node40/solver-44507-1149294828 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node40/44507-1149294828/instance-44507-1149294828.opb 256475569 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445 RANDOM SEED= 256475569 /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.245 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.245 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: 1832808 kB Buffers: 21268 kB Cached: 131708 kB SwapCached: 3492 kB Active: 45740 kB Inactive: 116084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832808 kB SwapTotal: 4192956 kB SwapFree: 4181324 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14972 kB Slab: 47360 kB Committed_AS: 341996 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node40 on Sat Jun 3 01:03:15 UTC 2006