Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.54 | 1801.12 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb |
MD5SUM | fe1a2bbeb11180a9cf7bf3ad481e98b1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 43740 |
Total number of constraints | 348 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 348 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1980 |
Number of terms in the objective function | 43740 |
Biggest coefficient in the objective function | 3749 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 560502 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 560502 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node29/41358-1149333188/instance-41358-1149333188.opb ...... 269.04 c done parsing opb. 269.04 o 2333
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/node29/watcher-41358-1149333188 -o ROOT/results/node29/solver-41358-1149333188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41358-1149333188/instance-41358-1149333188.opb 730491411 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/64 20555 /proc/meminfo: memFree=1826216/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=5504 CPUtime=0 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 198982418 5636096 126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 1376 128 90 232 0 1141 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.97 2/64 20555 /proc/meminfo: memFree=1817016/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=10912 CPUtime=9.99 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 2549 0 0 0 998 1 0 0 25 0 1 0 198982418 11173888 2402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614264 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 2728 2402 99 232 0 2493 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10912 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1810680/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=21280 CPUtime=19.99 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 7335 0 0 0 1989 10 0 0 25 0 1 0 198982418 21790720 4048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 5320 4048 105 232 0 5085 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 21280 [startup+30.0153 s] /proc/loadavg: 0.95 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1808760/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=24352 CPUtime=29.99 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 7801 0 0 0 2989 10 0 0 25 0 1 0 198982418 24936448 4514 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 6088 4514 105 232 0 5853 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 24352 [startup+40.0208 s] /proc/loadavg: 0.95 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1806904/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=28448 CPUtime=39.99 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 8266 0 0 0 3988 11 0 0 25 0 1 0 198982418 29130752 4979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549285 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 7112 4979 105 232 0 6877 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 28448 [startup+50.0272 s] /proc/loadavg: 0.96 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1805048/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=28448 CPUtime=50 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 8732 0 0 0 4988 12 0 0 25 0 1 0 198982418 29130752 5445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 7112 5445 105 232 0 6877 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 28448 [startup+60.0326 s] /proc/loadavg: 0.97 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1803192/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=28448 CPUtime=60 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 9198 0 0 0 5988 12 0 0 25 0 1 0 198982418 29130752 5911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 7112 5911 105 232 0 6877 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 28448 [startup+70.039 s] /proc/loadavg: 0.97 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1801336/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=36640 CPUtime=70.01 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 9663 0 0 0 6988 13 0 0 25 0 1 0 198982418 37519360 6376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 9160 6376 105 232 0 8925 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 36640 [startup+80.0454 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1799480/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=36640 CPUtime=80.01 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 10127 0 0 0 7988 13 0 0 25 0 1 0 198982418 37519360 6840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 9160 6840 105 232 0 8925 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 36640 [startup+90.0509 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1797560/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=36844 CPUtime=90.01 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 10602 0 0 0 8988 13 0 0 25 0 1 0 198982418 37728256 7315 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 9211 7315 105 232 0 8976 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 36844 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1795704/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=36844 CPUtime=100.01 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 11067 0 0 0 9987 14 0 0 25 0 1 0 198982418 37728256 7780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 9211 7780 105 232 0 8976 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 36844 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20555 /proc/meminfo: memFree=1793784/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53228 CPUtime=110.01 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 11534 0 0 0 10987 14 0 0 25 0 1 0 198982418 54505472 8247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13307 8247 105 232 0 13072 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 53228 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1791928/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53228 CPUtime=120.02 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 12000 0 0 0 11987 15 0 0 25 0 1 0 198982418 54505472 8713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13307 8713 105 232 0 13072 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 53228 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1790072/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53228 CPUtime=130.02 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 12467 0 0 0 12987 15 0 0 25 0 1 0 198982418 54505472 9180 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13307 9180 105 232 0 13072 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 53228 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1788152/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53228 CPUtime=140.02 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 12936 0 0 0 13986 16 0 0 25 0 1 0 198982418 54505472 9649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13307 9649 105 232 0 13072 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 53228 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1786296/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53228 CPUtime=150.02 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 13401 0 0 0 14986 16 0 0 25 0 1 0 198982418 54505472 10114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13307 10114 105 232 0 13072 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 53228 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1784440/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53228 CPUtime=160.03 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 13867 0 0 0 15986 17 0 0 25 0 1 0 198982418 54505472 10580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13307 10580 105 232 0 13072 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 53228 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1782456/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53424 CPUtime=170.02 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 14363 0 0 0 16985 17 0 0 25 0 1 0 198982418 54706176 11076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13356 11076 105 232 0 13121 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 53424 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1780600/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53424 CPUtime=180.03 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 14827 0 0 0 17985 18 0 0 25 0 1 0 198982418 54706176 11540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13356 11540 105 232 0 13121 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 53424 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1778744/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=53424 CPUtime=190.03 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 15292 0 0 0 18985 18 0 0 25 0 1 0 198982418 54706176 12005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 13356 12005 105 232 0 13121 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 53424 [startup+200.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1776824/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86192 CPUtime=200.04 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 15758 0 0 0 19985 19 0 0 25 0 1 0 198982418 88260608 12471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21548 12471 105 232 0 21313 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 86192 [startup+210.116 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20555 /proc/meminfo: memFree=1774968/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178117 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 86768 [startup+1783.01 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1782.42 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178217 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 86768 [startup+1784.01 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1783.43 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178318 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 86768 [startup+1785.02 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1784.43 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178418 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 86768 [startup+1786.02 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1785.44 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178519 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 86768 [startup+1787.03 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1786.44 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178619 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 86768 [startup+1788.03 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1787.45 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178720 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 86768 [startup+1789.04 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1788.45 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178820 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 86768 [startup+1790.04 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1789.46 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 178921 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 86768 [startup+1791.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1790.46 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179021 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 86768 [startup+1792.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1791.47 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179122 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 86768 [startup+1793.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1792.47 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179222 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 86768 [startup+1794.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1793.47 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179322 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 86768 [startup+1795.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1794.48 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179423 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 86768 [startup+1796.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1795.48 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179523 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 86768 [startup+1797.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1796.49 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179624 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 86768 [startup+1798.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1797.49 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179724 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 86768 [startup+1799.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1798.5 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179825 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 86768 [startup+1800.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1799.5 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 179925 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 86768 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1800.51 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 180026 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 86768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 20557 /proc/meminfo: memFree=1763328/2055920 swapFree=4181376/4192956 [pid=20555] ppid=20553 vsize=86768 CPUtime=1800.51 /proc/20555/stat : 20555 (PBS4L) R 20553 20555 20509 0 -1 4194304 19205 0 0 0 180026 25 0 0 25 0 1 0 198982418 88850432 15767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20555/statm: 21692 15767 108 232 0 21457 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 86768 Sending SIGTERM to -20555 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.12 CPU time (s): 1800.54 CPU user time (s): 1800.27 CPU system time (s): 0.270958 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (Kb): 86768 The end
Begin job on node29 on Sat Jun 3 11:13:08 UTC 2006 FILE ID= 41358-1149333188 PBS_JOBID= 310011 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41358-1149333188/instance-41358-1149333188.opb 730491411 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-41358-1149333188 -o ROOT/results/node29/solver-41358-1149333188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41358-1149333188/instance-41358-1149333188.opb 730491411 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= fe1a2bbeb11180a9cf7bf3ad481e98b1 RANDOM SEED= 730491411 /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.259 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.259 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: 1826488 kB Buffers: 21076 kB Cached: 145416 kB SwapCached: 3236 kB Active: 25828 kB Inactive: 149296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826488 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14716 kB Slab: 40280 kB Committed_AS: 343164 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Sat Jun 3 11:43:10 UTC 2006