Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.68 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow7.opb |
MD5SUM | 8d33b9e58f24eb64e3fc155c85c275f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 7994 |
Total number of constraints | 420 |
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 | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 28673 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524874 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524874 |
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/node25/41397-1149342947/instance-41397-1149342947.opb ...... 0.36 c done parsing opb. 0.36 o 524874
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/node25/watcher-41397-1149342947 -o ROOT/results/node25/solver-41397-1149342947 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41397-1149342947/instance-41397-1149342947.opb 952401946 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 3/64 21131 /proc/meminfo: memFree=1800216/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=2152 CPUtime=0 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 199958096 2203648 190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 538 192 90 232 0 303 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1794904/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=7552 CPUtime=9.99 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 1649 0 0 0 998 1 0 0 25 0 1 0 199958096 7733248 1437 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 1888 1437 108 232 0 1653 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7552 [startup+20.0075 s] /proc/loadavg: 0.94 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1794200/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=8576 CPUtime=19.99 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 1815 0 0 0 1998 1 0 0 25 0 1 0 199958096 8781824 1603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551329 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 2144 1603 108 232 0 1909 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 8576 [startup+30.0134 s] /proc/loadavg: 0.95 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1793560/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=8772 CPUtime=30 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 1989 0 0 0 2999 1 0 0 25 0 1 0 199958096 8982528 1777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 2193 1777 108 232 0 1958 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 8772 [startup+40.0193 s] /proc/loadavg: 0.95 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1792984/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=10820 CPUtime=40 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2145 0 0 0 3998 2 0 0 25 0 1 0 199958096 11079680 1933 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 2705 1933 108 232 0 2470 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10820 [startup+50.0263 s] /proc/loadavg: 0.96 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1791768/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=11012 CPUtime=50.01 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2496 0 0 0 4997 4 0 0 25 0 1 0 199958096 11276288 2235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 2753 2235 108 232 0 2518 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 11012 [startup+60.0322 s] /proc/loadavg: 0.97 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1791512/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=11012 CPUtime=60.01 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2554 0 0 0 5997 4 0 0 25 0 1 0 199958096 11276288 2293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 2753 2293 108 232 0 2518 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 11012 [startup+70.0381 s] /proc/loadavg: 0.97 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1790424/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=15564 CPUtime=70.01 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2826 0 0 0 6996 5 0 0 25 0 1 0 199958096 15937536 2565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 3891 2565 108 232 0 3656 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 15564 [startup+80.044 s] /proc/loadavg: 0.98 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1788184/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=16688 CPUtime=80.02 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 3484 0 0 0 7993 9 0 0 25 0 1 0 199958096 17088512 3126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 4172 3126 108 232 0 3937 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 16688 [startup+90.0499 s] /proc/loadavg: 0.98 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1785880/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=18624 CPUtime=90.02 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 4248 0 0 0 8988 14 0 0 25 0 1 0 199958096 19070976 3697 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 4656 3697 108 232 0 4421 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 18624 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1781016/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=27800 CPUtime=100.02 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 5458 0 0 0 9982 20 0 0 25 0 1 0 199958096 28467200 4907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 6950 4907 108 232 0 6715 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 27800 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1776536/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=30472 CPUtime=110.02 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 6960 0 0 0 10977 25 0 0 25 0 1 0 199958096 31203328 6024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 7618 6024 108 232 0 7383 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 30472 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1772376/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=31280 CPUtime=120.03 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8003 0 0 0 11972 31 0 0 25 0 1 0 199958096 32030720 7067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564176 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 7820 7067 108 232 0 7585 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 31280 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1771224/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=32000 CPUtime=130.04 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8280 0 0 0 12969 35 0 0 25 0 1 0 199958096 32768000 7344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 8000 7344 108 232 0 7765 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 32000 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1770264/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=32692 CPUtime=140.04 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8520 0 0 0 13965 39 0 0 25 0 1 0 199958096 33476608 7584 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 8173 7584 108 232 0 7938 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 32692 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1768664/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=49560 CPUtime=150.04 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8924 0 0 0 14959 45 0 0 25 0 1 0 199958096 50749440 7988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 12390 7988 108 232 0 12155 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 49560 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1767064/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=50208 CPUtime=160.05 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 9322 0 0 0 15955 50 0 0 25 0 1 0 199958096 51412992 8386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 12552 8386 108 232 0 12317 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 50208 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1764696/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=53800 CPUtime=170.05 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 10679 0 0 0 16951 54 0 0 25 0 1 0 199958096 55091200 8974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 13450 8974 108 232 0 13215 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 53800 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1762904/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=54480 CPUtime=180.05 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 11128 0 0 0 17947 58 0 0 25 0 1 0 199958096 55787520 9423 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 13620 9423 108 232 0 13385 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 54480 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1761944/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=54948 CPUtime=190.05 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 11368 0 0 0 18943 62 0 0 25 0 1 0 199958096 56266752 9663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 13737 9663 108 232 0 13502 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 54948 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1760920/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=55416 CPUtime=200.06 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 11615 0 0 0 19939 67 0 0 25 0 1 0 199958096 56745984 9910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 13854 9910 108 232 0 13619 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 55416 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21131 /proc/meminfo: memFree=1760024/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32288 0 0 0 177575 581 0 0 25 0 1 0 199958096 139309056 25709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25709 108 232 0 33776 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 136044 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1697048/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1782.57 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32292 0 0 0 177675 582 0 0 25 0 1 0 199958096 139309056 25713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25713 108 232 0 33776 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 136044 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1697048/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1783.57 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32295 0 0 0 177775 582 0 0 25 0 1 0 199958096 139309056 25716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25716 108 232 0 33776 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 136044 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.96 3/64 21327 /proc/meminfo: memFree=1696984/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1784.58 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32300 0 0 0 177875 583 0 0 25 0 1 0 199958096 139309056 25721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25721 108 232 0 33776 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 136044 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696984/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1785.58 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32305 0 0 0 177975 583 0 0 25 0 1 0 199958096 139309056 25726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25726 108 232 0 33776 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 136044 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696984/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1786.59 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32308 0 0 0 178075 584 0 0 25 0 1 0 199958096 139309056 25729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25729 108 232 0 33776 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 136044 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696920/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1787.59 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32315 0 0 0 178175 584 0 0 25 0 1 0 199958096 139309056 25736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25736 108 232 0 33776 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 136044 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696920/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1788.59 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32323 0 0 0 178275 584 0 0 25 0 1 0 199958096 139309056 25744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25744 108 232 0 33776 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 136044 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696920/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1789.6 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32328 0 0 0 178375 585 0 0 25 0 1 0 199958096 139309056 25749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25749 108 232 0 33776 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 136044 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1790.6 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32333 0 0 0 178475 585 0 0 25 0 1 0 199958096 139309056 25754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25754 108 232 0 33776 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 136044 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1791.6 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32336 0 0 0 178575 585 0 0 25 0 1 0 199958096 139309056 25757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25757 108 232 0 33776 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 136044 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1792.61 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32341 0 0 0 178676 585 0 0 25 0 1 0 199958096 139309056 25762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25762 108 232 0 33776 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 136044 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1793.62 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32344 0 0 0 178776 586 0 0 25 0 1 0 199958096 139309056 25765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25765 108 232 0 33776 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 136044 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696792/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1794.62 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32348 0 0 0 178876 586 0 0 25 0 1 0 199958096 139309056 25769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25769 108 232 0 33776 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 136044 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696792/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1795.63 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32351 0 0 0 178976 587 0 0 25 0 1 0 199958096 139309056 25772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25772 108 232 0 33776 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 136044 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696792/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1796.63 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32359 0 0 0 179076 587 0 0 25 0 1 0 199958096 139309056 25780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25780 108 232 0 33776 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 136044 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1797.63 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32364 0 0 0 179176 587 0 0 25 0 1 0 199958096 139309056 25785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25785 108 232 0 33776 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 136044 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1798.64 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32367 0 0 0 179276 588 0 0 25 0 1 0 199958096 139309056 25788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25788 108 232 0 33776 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 136044 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1799.65 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32369 0 0 0 179377 588 0 0 25 0 1 0 199958096 139309056 25790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25790 108 232 0 33776 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 136044 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1800.65 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32372 0 0 0 179477 588 0 0 25 0 1 0 199958096 139309056 25793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25793 108 232 0 33776 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 136044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 21327 /proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956 [pid=21131] ppid=21129 vsize=136044 CPUtime=1800.66 /proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32372 0 0 0 179478 588 0 0 25 0 1 0 199958096 139309056 25793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21131/statm: 34011 25793 108 232 0 33776 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 136044 Sending SIGTERM to -21131 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.68 CPU user time (s): 1794.78 CPU system time (s): 5.9011 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (Kb): 136044 The end
Begin job on node25 on Sat Jun 3 13:55:47 UTC 2006 FILE ID= 41397-1149342947 PBS_JOBID= 310522 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-grow7.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41397-1149342947/instance-41397-1149342947.opb 952401946 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-41397-1149342947 -o ROOT/results/node25/solver-41397-1149342947 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41397-1149342947/instance-41397-1149342947.opb 952401946 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 8d33b9e58f24eb64e3fc155c85c275f1 RANDOM SEED= 952401946 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1800424 kB Buffers: 15196 kB Cached: 184228 kB SwapCached: 3080 kB Active: 43448 kB Inactive: 164564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800424 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14716 kB Slab: 33464 kB Committed_AS: 324436 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 node25 on Sat Jun 3 14:25:48 UTC 2006