Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.63 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 425 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 425 |
Optimality of the best value was proved | NO |
Number of variables | 1372 |
Total number of constraints | 4944 |
Number of constraints which are clauses | 4944 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 1372 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.12 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.12 c Solving ROOT/tmp/node86/41551-1149370685/instance-41551-1149370685.opb ...... 0.12 c done parsing opb. 0.12 o 1308 0.12 o 1307 0.13 o 1065 0.13 o 1062 0.14 o 1061 0.15 o 1060 0.16 o 1059 0.18 o 1058 0.18 o 784 0.19 o 783 0.19 o 782 0.86 o 781 0.87 o 680 0.87 o 675 0.88 o 674 0.88 o 673 0.89 o 672 0.90 o 593 0.90 o 592 0.90 o 585 0.91 o 584 0.91 o 583 0.91 o 582 0.92 o 581 0.94 o 580 231.16 o 579 231.17 o 563 231.18 o 562 231.18 o 561 231.18 o 560 231.19 o 559 231.19 o 558 231.19 o 557 231.20 o 556 231.20 o 555 231.21 o 554 231.21 o 553 231.21 o 552 231.22 o 551 231.22 o 550 231.22 o 549 231.23 o 548 231.23 o 547 231.23 o 546 231.24 o 545 231.24 o 544 231.24 o 543 231.25 o 542 231.25 o 541 231.25 o 540 231.26 o 539 231.26 o 538 231.26 o 537 231.27 o 536 231.27 o 535 231.27 o 534 231.28 o 533 231.28 o 532 231.28 o 531 231.29 o 530 231.29 o 529 231.30 o 528 231.30 o 527 231.30 o 526 231.31 o 525 231.31 o 524 231.31 o 523 231.32 o 522 231.32 o 521 231.32 o 520 231.33 o 519 231.62 o 518 397.56 o 517 397.58 o 516 397.59 o 515 397.60 o 514 397.60 o 513 397.60 o 512 397.60 o 511 397.61 o 510 397.61 o 509 397.62 o 508 397.62 o 507 397.62 o 506 397.63 o 505 397.66 o 504
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/node86/watcher-41551-1149370685 -o ROOT/results/node86/solver-41551-1149370685 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41551-1149370685/instance-41551-1149370685.opb 972011569 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/68 18335 /proc/meminfo: memFree=1724696/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=2192 CPUtime=0.12 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 394 0 0 0 12 0 0 0 20 0 1 0 202707691 2244608 363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 548 363 108 232 0 313 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.97 2/68 18335 /proc/meminfo: memFree=1690400/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=67940 CPUtime=9.99 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 8728 0 0 0 991 8 0 0 25 0 1 0 202707691 69570560 8648 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 16985 8648 108 232 0 16750 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 67940 [startup+20.0086 s] /proc/loadavg: 0.94 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1689760/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68344 CPUtime=19.99 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 8886 0 0 0 1987 12 0 0 25 0 1 0 202707691 69984256 8806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17086 8806 108 232 0 16851 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 68344 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1685920/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68344 CPUtime=30 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 9859 0 0 0 2983 17 0 0 25 0 1 0 202707691 69984256 9779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17086 9779 108 232 0 16851 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 68344 [startup+40.0209 s] /proc/loadavg: 0.95 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1681824/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68468 CPUtime=40 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 10896 0 0 0 3980 20 0 0 25 0 1 0 202707691 70111232 10816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17117 10816 108 232 0 16882 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 68468 [startup+50.0271 s] /proc/loadavg: 0.96 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1678048/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68468 CPUtime=50 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 11850 0 0 0 4976 24 0 0 25 0 1 0 202707691 70111232 11770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17117 11770 108 232 0 16882 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 68468 [startup+60.0332 s] /proc/loadavg: 0.97 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1677856/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68608 CPUtime=60.01 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 11890 0 0 0 5969 32 0 0 25 0 1 0 202707691 70254592 11810 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17152 11810 108 232 0 16917 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 68608 [startup+70.0384 s] /proc/loadavg: 0.97 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1677664/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68992 CPUtime=70.01 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 11999 0 0 0 6967 34 0 0 25 0 1 0 202707691 70647808 11822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17248 11822 108 232 0 17013 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 68992 [startup+80.0445 s] /proc/loadavg: 0.98 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1677664/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=68992 CPUtime=80.02 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12011 0 0 0 7965 37 0 0 25 0 1 0 202707691 70647808 11834 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594195 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17248 11834 108 232 0 17013 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 68992 [startup+90.0507 s] /proc/loadavg: 0.98 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1677664/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69116 CPUtime=90.02 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12034 0 0 0 8960 42 0 0 25 0 1 0 202707691 70774784 11857 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17279 11857 108 232 0 17044 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 69116 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1677600/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69116 CPUtime=100.02 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12050 0 0 0 9956 46 0 0 25 0 1 0 202707691 70774784 11873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549432 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17279 11873 108 232 0 17044 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 69116 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.97 2/68 18335 /proc/meminfo: memFree=1677600/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69116 CPUtime=110.02 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12058 0 0 0 10956 46 0 0 25 0 1 0 202707691 70774784 11881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17279 11881 108 232 0 17044 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 69116 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1677408/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69248 CPUtime=120.03 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12095 0 0 0 11956 47 0 0 25 0 1 0 202707691 70909952 11918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17312 11918 108 232 0 17077 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 69248 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1677280/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69408 CPUtime=130.03 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12134 0 0 0 12955 48 0 0 25 0 1 0 202707691 71073792 11957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17352 11957 108 232 0 17117 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 69408 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1677216/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69408 CPUtime=140.04 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12153 0 0 0 13956 48 0 0 25 0 1 0 202707691 71073792 11976 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17352 11976 108 232 0 17117 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 69408 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1677088/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69532 CPUtime=150.04 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12181 0 0 0 14954 50 0 0 25 0 1 0 202707691 71200768 12004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17383 12004 108 232 0 17148 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 69532 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1676960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69532 CPUtime=160.04 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12203 0 0 0 15954 50 0 0 25 0 1 0 202707691 71200768 12026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549231 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17383 12026 108 232 0 17148 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 69532 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1676768/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69664 CPUtime=170.04 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12254 0 0 0 16953 51 0 0 25 0 1 0 202707691 71335936 12077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563477 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17416 12077 108 232 0 17181 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 69664 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1676640/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=69796 CPUtime=180.05 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12287 0 0 0 17953 52 0 0 25 0 1 0 202707691 71471104 12110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17449 12110 108 232 0 17214 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 69796 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1676320/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=70712 CPUtime=190.05 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12520 0 0 0 18953 52 0 0 25 0 1 0 202707691 72409088 12150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17678 12150 108 232 0 17443 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 70712 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1676320/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=70712 CPUtime=200.05 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 12530 0 0 0 19953 52 0 0 25 0 1 0 202707691 72409088 12160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 17678 12160 108 232 0 17443 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 70712 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18335 /proc/meminfo: memFree=1676320/2055892 swapFree=4084792/4096564 ################ # More data... # ################ /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15430 0 0 0 178062 90 0 0 25 0 1 0 202707691 81506304 13906 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13906 108 232 0 19664 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 79596 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1782.52 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15431 0 0 0 178162 90 0 0 25 0 1 0 202707691 81506304 13907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13907 108 232 0 19664 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 79596 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1783.53 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15432 0 0 0 178263 90 0 0 25 0 1 0 202707691 81506304 13908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13908 108 232 0 19664 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 79596 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1784.53 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15432 0 0 0 178363 90 0 0 25 0 1 0 202707691 81506304 13908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13908 108 232 0 19664 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 79596 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1785.54 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15433 0 0 0 178464 90 0 0 25 0 1 0 202707691 81506304 13909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13909 108 232 0 19664 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 79596 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1786.54 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15433 0 0 0 178564 90 0 0 25 0 1 0 202707691 81506304 13909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13909 108 232 0 19664 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 79596 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1787.54 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15433 0 0 0 178664 90 0 0 25 0 1 0 202707691 81506304 13909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13909 108 232 0 19664 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 79596 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1788.56 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15434 0 0 0 178765 91 0 0 25 0 1 0 202707691 81506304 13910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13910 108 232 0 19664 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 79596 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1789.56 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15434 0 0 0 178865 91 0 0 25 0 1 0 202707691 81506304 13910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13910 108 232 0 19664 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 79596 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1669024/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1790.57 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15434 0 0 0 178966 91 0 0 25 0 1 0 202707691 81506304 13910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13910 108 232 0 19664 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 79596 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1791.57 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15435 0 0 0 179066 91 0 0 25 0 1 0 202707691 81506304 13911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13911 108 232 0 19664 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 79596 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1792.57 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15435 0 0 0 179166 91 0 0 25 0 1 0 202707691 81506304 13911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13911 108 232 0 19664 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 79596 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1793.58 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15435 0 0 0 179267 91 0 0 25 0 1 0 202707691 81506304 13911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13911 108 232 0 19664 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 79596 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1794.58 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15436 0 0 0 179367 91 0 0 25 0 1 0 202707691 81506304 13912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13912 108 232 0 19664 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 79596 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1795.59 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15436 0 0 0 179468 91 0 0 25 0 1 0 202707691 81506304 13912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13912 108 232 0 19664 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 79596 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1796.59 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15442 0 0 0 179568 91 0 0 25 0 1 0 202707691 81506304 13918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13918 108 232 0 19664 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 79596 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1797.6 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15443 0 0 0 179669 91 0 0 25 0 1 0 202707691 81506304 13919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13919 108 232 0 19664 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 79596 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1798.6 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15444 0 0 0 179769 91 0 0 25 0 1 0 202707691 81506304 13920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13920 108 232 0 19664 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 79596 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1799.6 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15445 0 0 0 179869 91 0 0 25 0 1 0 202707691 81506304 13921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549082 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13921 108 232 0 19664 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 79596 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1800.61 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15446 0 0 0 179970 91 0 0 25 0 1 0 202707691 81506304 13922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13922 108 232 0 19664 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 79596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.97 2/68 18532 /proc/meminfo: memFree=1668960/2055892 swapFree=4084792/4096564 [pid=18335] ppid=18333 vsize=79596 CPUtime=1800.61 /proc/18335/stat : 18335 (PBS4L) R 18333 18335 18289 0 -1 4194304 15446 0 0 0 179970 91 0 0 25 0 1 0 202707691 81506304 13922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549449 0 0 4096 0 0 0 0 17 1 0 0 /proc/18335/statm: 19899 13922 108 232 0 19664 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 79596 Sending SIGTERM to -18335 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.63 CPU user time (s): 1799.71 CPU system time (s): 0.923859 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (Kb): 79596 The end
Begin job on node86 on Sat Jun 3 21:38:05 UTC 2006 FILE ID= 41551-1149370685 PBS_JOBID= 312183 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41551-1149370685/instance-41551-1149370685.opb 972011569 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node86/watcher-41551-1149370685 -o ROOT/results/node86/solver-41551-1149370685 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41551-1149370685/instance-41551-1149370685.opb 972011569 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED= 972011569 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1724904 kB Buffers: 17380 kB Cached: 252440 kB SwapCached: 2928 kB Active: 31744 kB Inactive: 246752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1724904 kB SwapTotal: 4096564 kB SwapFree: 4084792 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15148 kB Slab: 39104 kB Committed_AS: 374152 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node86 on Sat Jun 3 22:08:06 UTC 2006