Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb |
MD5SUM | 485ca531ffda98d59a839bf46c37d61d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 262412 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262412 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
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 | 525077 |
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/node31/41462-1149358417/instance-41462-1149358417.opb ...... 0.22 c done parsing opb. 0.22 o 262734 0.51 o 262724
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/node31/watcher-41462-1149358417 -o ROOT/results/node31/solver-41462-1149358417 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/41462-1149358417/instance-41462-1149358417.opb 314947098 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 1/64 10377 /proc/meminfo: memFree=1788296/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=2112 CPUtime=0 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 201505383 2162688 165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 528 167 90 232 0 293 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1781064/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=12848 CPUtime=9.99 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 2107 0 0 0 998 1 0 0 25 0 1 0 201505383 13156352 1905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546837 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 3212 1905 108 232 0 2977 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12848 [startup+20.0079 s] /proc/loadavg: 0.94 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1779272/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=13372 CPUtime=19.99 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 2595 0 0 0 1998 1 0 0 25 0 1 0 201505383 13692928 2393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 3343 2393 108 232 0 3108 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13372 [startup+30.0138 s] /proc/loadavg: 0.95 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1776328/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=13832 CPUtime=30 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 3324 0 0 0 2997 3 0 0 25 0 1 0 201505383 14163968 3122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 3458 3122 108 232 0 3223 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13832 [startup+40.0196 s] /proc/loadavg: 0.96 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1776136/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=14056 CPUtime=40 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 3372 0 0 0 3996 4 0 0 25 0 1 0 201505383 14393344 3170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551347 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 3514 3170 108 232 0 3279 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14056 [startup+50.0264 s] /proc/loadavg: 0.96 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1775880/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=22248 CPUtime=50.01 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 3454 0 0 0 4996 5 0 0 25 0 1 0 201505383 22781952 3252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5562 3252 108 232 0 5327 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 22248 [startup+60.0322 s] /proc/loadavg: 0.97 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1773320/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=22536 CPUtime=60 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 4131 0 0 0 5995 5 0 0 25 0 1 0 201505383 23076864 3880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5634 3880 108 232 0 5399 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 22536 [startup+70.0381 s] /proc/loadavg: 0.97 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1771208/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=22664 CPUtime=70.01 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 4664 0 0 0 6995 6 0 0 25 0 1 0 201505383 23207936 4413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5666 4413 108 232 0 5431 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 22664 [startup+80.0439 s] /proc/loadavg: 0.98 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1769672/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=22764 CPUtime=80.01 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5046 0 0 0 7994 7 0 0 25 0 1 0 201505383 23310336 4795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5691 4795 108 232 0 5456 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 22764 [startup+90.0497 s] /proc/loadavg: 0.98 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1769032/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=22988 CPUtime=90.01 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5193 0 0 0 8993 8 0 0 25 0 1 0 201505383 23539712 4942 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5747 4942 108 232 0 5512 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 22988 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1768968/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=23076 CPUtime=100.01 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5223 0 0 0 9992 9 0 0 25 0 1 0 201505383 23629824 4972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551297 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5769 4972 108 232 0 5534 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 23076 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1768776/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=23264 CPUtime=110.02 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5266 0 0 0 10992 10 0 0 25 0 1 0 201505383 23822336 5015 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5816 5015 108 232 0 5581 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 23264 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1768648/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=23376 CPUtime=120.03 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5305 0 0 0 11992 11 0 0 25 0 1 0 201505383 23937024 5054 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5844 5054 108 232 0 5609 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 23376 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1768520/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=23460 CPUtime=130.03 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5347 0 0 0 12991 12 0 0 25 0 1 0 201505383 24023040 5096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5865 5096 108 232 0 5630 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 23460 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1768392/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=23584 CPUtime=140.04 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5370 0 0 0 13991 13 0 0 25 0 1 0 201505383 24150016 5119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 5896 5119 108 232 0 5661 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 23584 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1768136/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=24044 CPUtime=150.04 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5495 0 0 0 14990 14 0 0 25 0 1 0 201505383 24621056 5147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551331 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 6011 5147 108 232 0 5776 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 24044 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1766472/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=24044 CPUtime=160.04 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5952 0 0 0 15989 15 0 0 25 0 1 0 201505383 24621056 5604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 6011 5604 108 232 0 5776 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 24044 [startup+170.095 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1766344/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=24168 CPUtime=170.04 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5979 0 0 0 16988 16 0 0 25 0 1 0 201505383 24748032 5631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 6042 5631 108 232 0 5807 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 24168 [startup+180.101 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1766216/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=24168 CPUtime=180.04 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 5999 0 0 0 17988 16 0 0 25 0 1 0 201505383 24748032 5651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 6042 5651 108 232 0 5807 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 24168 [startup+190.107 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1766024/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=24428 CPUtime=190.05 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 6049 0 0 0 18988 17 0 0 25 0 1 0 201505383 25014272 5701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 6107 5701 108 232 0 5872 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 24428 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1765960/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=24428 CPUtime=200.05 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 6067 0 0 0 19987 18 0 0 25 0 1 0 201505383 25014272 5719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 6107 5719 108 232 0 5872 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 24428 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10377 /proc/meminfo: memFree=1765832/2055920 swapFree=4181480/4192956 ################ # More data... # ################ /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18453 0 0 0 178020 135 0 0 25 0 1 0 201505383 89624576 16758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21881 16758 108 232 0 21646 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 87524 [startup+1783.04 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1782.56 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18470 0 0 0 178121 135 0 0 25 0 1 0 201505383 89710592 16775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16775 108 232 0 21667 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 87608 [startup+1784.04 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1783.56 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18471 0 0 0 178221 135 0 0 25 0 1 0 201505383 89710592 16776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16776 108 232 0 21667 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 87608 [startup+1785.05 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1784.56 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18471 0 0 0 178321 135 0 0 25 0 1 0 201505383 89710592 16776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16776 108 232 0 21667 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 87608 [startup+1786.05 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1785.57 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18471 0 0 0 178422 135 0 0 25 0 1 0 201505383 89710592 16776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16776 108 232 0 21667 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 87608 [startup+1787.06 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1786.57 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18472 0 0 0 178522 135 0 0 25 0 1 0 201505383 89710592 16777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546730 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16777 108 232 0 21667 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 87608 [startup+1788.06 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1787.58 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18472 0 0 0 178623 135 0 0 25 0 1 0 201505383 89710592 16777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16777 108 232 0 21667 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 87608 [startup+1789.07 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1788.58 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18472 0 0 0 178723 135 0 0 25 0 1 0 201505383 89710592 16777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16777 108 232 0 21667 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 87608 [startup+1790.07 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1789.58 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18473 0 0 0 178823 135 0 0 25 0 1 0 201505383 89710592 16778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16778 108 232 0 21667 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 87608 [startup+1791.08 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1790.59 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18473 0 0 0 178924 135 0 0 25 0 1 0 201505383 89710592 16778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16778 108 232 0 21667 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 87608 [startup+1792.08 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1791.59 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18474 0 0 0 179024 135 0 0 25 0 1 0 201505383 89710592 16779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16779 108 232 0 21667 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 87608 [startup+1793.09 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721288/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87608 CPUtime=1792.6 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18474 0 0 0 179125 135 0 0 25 0 1 0 201505383 89710592 16779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21902 16779 108 232 0 21667 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 87608 [startup+1794.09 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1793.6 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18497 0 0 0 179225 135 0 0 25 0 1 0 201505383 89952256 16802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16802 108 232 0 21726 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 87844 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1794.61 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18497 0 0 0 179326 135 0 0 25 0 1 0 201505383 89952256 16802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551334 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16802 108 232 0 21726 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 87844 [startup+1796.1 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1795.61 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18497 0 0 0 179426 135 0 0 25 0 1 0 201505383 89952256 16802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16802 108 232 0 21726 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 87844 [startup+1797.11 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1796.62 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18497 0 0 0 179526 136 0 0 25 0 1 0 201505383 89952256 16802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551267 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16802 108 232 0 21726 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 87844 [startup+1798.11 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1797.63 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18498 0 0 0 179627 136 0 0 25 0 1 0 201505383 89952256 16803 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551252 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16803 108 232 0 21726 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 87844 [startup+1799.12 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1798.63 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18501 0 0 0 179727 136 0 0 25 0 1 0 201505383 89952256 16806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16806 108 232 0 21726 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 87844 [startup+1800.12 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1799.63 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18502 0 0 0 179827 136 0 0 25 0 1 0 201505383 89952256 16807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16807 108 232 0 21726 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 87844 [startup+1801.13 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1800.64 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18503 0 0 0 179928 136 0 0 25 0 1 0 201505383 89952256 16808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16808 108 232 0 21726 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 87844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.98 0.98 2/64 10379 /proc/meminfo: memFree=1721160/2055920 swapFree=4181480/4192956 [pid=10377] ppid=10375 vsize=87844 CPUtime=1800.64 /proc/10377/stat : 10377 (PBS4L) R 10375 10377 10331 0 -1 4194304 18503 0 0 0 179928 136 0 0 25 0 1 0 201505383 89952256 16808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/10377/statm: 21961 16808 108 232 0 21726 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 87844 Sending SIGTERM to -10377 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.66 CPU user time (s): 1799.29 CPU system time (s): 1.37479 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (Kb): 87844 The end
Begin job on node31 on Sat Jun 3 18:13:37 UTC 2006 FILE ID= 41462-1149358417 PBS_JOBID= 311372 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/41462-1149358417/instance-41462-1149358417.opb 314947098 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-41462-1149358417 -o ROOT/results/node31/solver-41462-1149358417 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/41462-1149358417/instance-41462-1149358417.opb 314947098 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d RANDOM SEED= 314947098 /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.234 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.234 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: 1788504 kB Buffers: 19816 kB Cached: 175916 kB SwapCached: 3304 kB Active: 43032 kB Inactive: 161604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788504 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14964 kB Slab: 48724 kB Committed_AS: 391360 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sat Jun 3 18:43:38 UTC 2006