Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.62 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc05.opb |
MD5SUM | bada111af8c03eca9b9736a7d2e9e703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.159974 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1940 |
Total number of constraints | 300 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 8 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 451 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
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 | 524652 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.05 c starting to Solve 0.05 c #variables read: 1940 - #constraints read: 330
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-36527-1149345584 -o ROOT/results/node40/solver-36527-1149345584 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node40/36527-1149345584/instance-36527-1149345584.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1749312/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=916 CPUtime=0 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 200224935 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 6910756 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 229 28 20 16 0 8 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1747976/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=3924 CPUtime=9.99 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 631 0 0 0 999 0 0 0 25 0 1 0 200224935 4018176 602 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 981 602 205 16 0 422 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3924 [startup+20.0091 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1747784/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=4312 CPUtime=19.99 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 706 0 0 0 1999 0 0 0 25 0 1 0 200224935 4415488 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1078 677 205 16 0 519 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4312 [startup+30.0155 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1747656/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=4436 CPUtime=30 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 750 0 0 0 3000 0 0 0 25 0 1 0 200224935 4542464 721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1109 721 205 16 0 550 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 4436 [startup+40.0208 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1747592/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=4436 CPUtime=40 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 750 0 0 0 4000 0 0 0 25 0 1 0 200224935 4542464 721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1109 721 205 16 0 550 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 4436 [startup+50.0271 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1747592/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=4436 CPUtime=50 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 750 0 0 0 5000 0 0 0 25 0 1 0 200224935 4542464 721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1109 721 205 16 0 550 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 4436 [startup+60.0334 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1745544/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=6512 CPUtime=60 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1276 0 0 0 6000 0 0 0 25 0 1 0 200224935 6668288 1247 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517841 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1628 1247 205 16 0 1069 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 6512 [startup+70.0397 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1745288/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=6556 CPUtime=70.01 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1379 0 0 0 7001 0 0 0 25 0 1 0 200224935 6713344 1267 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1639 1267 205 16 0 1080 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6556 [startup+80.046 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1744840/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=7324 CPUtime=80.01 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1547 0 0 0 8001 0 0 0 25 0 1 0 200224935 7499776 1435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528252 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1831 1435 205 16 0 1272 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 7324 [startup+90.0523 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1744776/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=7304 CPUtime=90.01 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1547 0 0 0 9001 0 0 0 25 0 1 0 200224935 7479296 1435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1826 1435 205 16 0 1267 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7304 [startup+100.059 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1744776/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=7304 CPUtime=100.02 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1547 0 0 0 10002 0 0 0 25 0 1 0 200224935 7479296 1435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1826 1435 205 16 0 1267 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 7304 [startup+110.065 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1744776/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=7304 CPUtime=110.02 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1547 0 0 0 11002 0 0 0 25 0 1 0 200224935 7479296 1435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557408 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1826 1435 205 16 0 1267 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 7304 [startup+120.071 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1744072/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=7924 CPUtime=120.02 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1721 0 0 0 12002 0 0 0 25 0 1 0 200224935 8114176 1609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 1981 1609 205 16 0 1422 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 7924 [startup+130.078 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1743944/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=8140 CPUtime=130.03 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1762 0 0 0 13003 0 0 0 25 0 1 0 200224935 8335360 1643 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2035 1643 205 16 0 1476 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 8140 [startup+140.084 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1743752/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=8160 CPUtime=140.03 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1810 0 0 0 14003 0 0 0 25 0 1 0 200224935 8355840 1668 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2040 1668 205 16 0 1481 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 8160 [startup+150.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1743752/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=8160 CPUtime=150.03 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1810 0 0 0 15003 0 0 0 25 0 1 0 200224935 8355840 1668 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2040 1668 205 16 0 1481 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 8160 [startup+160.096 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1743752/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=8160 CPUtime=160.04 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 1810 0 0 0 16004 0 0 0 25 0 1 0 200224935 8355840 1668 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7343860 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2040 1668 205 16 0 1481 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 8160 [startup+170.103 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1742728/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=9364 CPUtime=170.04 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 2133 0 0 0 17004 0 0 0 25 0 1 0 200224935 9588736 1943 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2341 1943 205 16 0 1782 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 9364 [startup+180.109 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1742728/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=9212 CPUtime=180.04 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 2133 0 0 0 18004 0 0 0 25 0 1 0 200224935 9433088 1931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2303 1931 205 16 0 1744 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 9212 [startup+190.115 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1742728/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=9212 CPUtime=190.05 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 2133 0 0 0 19005 0 0 0 25 0 1 0 200224935 9433088 1931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2303 1931 205 16 0 1744 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 9212 [startup+200.122 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1742344/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=9612 CPUtime=200.05 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 2234 0 0 0 20005 0 0 0 25 0 1 0 200224935 9842688 2031 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 2403 2031 205 16 0 1844 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 9612 [startup+210.128 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23654 /proc/meminfo: memFree=1741896/2055920 swapFree=4181324/4192956 ################ # More data... # ################ /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178145 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557413 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 16828 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1782.53 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178246 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519910 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 16828 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1783.53 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178346 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 16828 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1784.54 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178447 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 16828 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1785.54 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178547 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 16828 [startup+1787.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1786.55 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178648 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 16828 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1787.55 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178748 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 16828 [startup+1789.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1788.56 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178849 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528245 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 16828 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1789.56 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 178949 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 16828 [startup+1791.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1790.56 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179049 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134565351 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 16828 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1791.57 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179150 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 16828 [startup+1793.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1792.57 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179250 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 16828 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1793.58 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179351 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 16828 [startup+1795.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1794.58 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179451 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 16828 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1795.59 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179552 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 16828 [startup+1797.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1796.59 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179652 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 16828 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1797.6 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179753 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 16828 [startup+1799.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1798.6 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179853 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 16828 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1799.61 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 179954 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 16828 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1800.61 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 180054 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 16828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.00 1.00 0.93 2/64 23849 /proc/meminfo: memFree=1734664/2055920 swapFree=4181324/4192956 [pid=23654] ppid=23652 vsize=16828 CPUtime=1800.62 /proc/23654/stat : 23654 (Pueblo) R 23652 23654 23608 0 -1 4194304 6047 0 0 0 180055 7 0 0 25 0 1 0 200224935 17231872 3835 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7341511 0 0 4096 0 0 0 0 17 1 0 0 /proc/23654/statm: 4207 3835 205 16 0 3648 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 16828 Sending SIGTERM to -23654 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.62 CPU user time (s): 1800.55 CPU system time (s): 0.073988 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 17912 The end
Begin job on node40 on Sat Jun 3 14:39:44 UTC 2006 FILE ID= 36527-1149345584 PBS_JOBID= 310646 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node40/36527-1149345584/instance-36527-1149345584.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-36527-1149345584 -o ROOT/results/node40/solver-36527-1149345584 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node40/36527-1149345584/instance-36527-1149345584.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= bada111af8c03eca9b9736a7d2e9e703 RANDOM SEED= 472482660 /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: 1749720 kB Buffers: 16368 kB Cached: 219184 kB SwapCached: 3400 kB Active: 49056 kB Inactive: 195348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749720 kB SwapTotal: 4192956 kB SwapFree: 4181324 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14972 kB Slab: 47772 kB Committed_AS: 385036 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 15:09:46 UTC 2006