Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 1120 | 49.9604 | 49.9753 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1120 |
Best CPU time to get the best result obtained on this benchmark | 0.623904 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
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/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880424-1245134109.opb 0.00/0.00 c File size is 3601 bytes. 0.00/0.00 c Highest Coefficient sum: 15494 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 89 Constr: 28 4/15/9 Lit: 309 Watch. Lit: 138 0.00/0.00 c Obj. Vars: 85 (95.5056 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 88 28 309 11 138 530 0 -2147483648 0.00 0.00/0.00 c Initial Lower Bound: 945 0.00/0.00 c Initial Path Cost: 0 0.00/0.00 o 2094 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 16 88 60 1683 28 367 698 32 4000 0.00 0.00/0.02 o 2072 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 22 88 71 2242 31 478 698 43 846 0.03 0.00/0.05 o 2066 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 27 88 80 2646 33 570 698 52 551 0.05 0.09/0.11 o 2065 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 97 88 212 8558 40 1209 698 184 898 0.11 0.19/0.22 c 199 88 438 20776 47 3542 768 410 1015 0.20 0.19/0.22 o 2049 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 205 88 452 21664 47 3352 698 424 940 0.22 0.19/0.24 o 2016 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 211 88 468 22431 47 3559 698 440 875 0.24 0.19/0.27 o 1931 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 223 88 501 24323 48 3872 698 473 828 0.27 0.29/0.31 o 1921 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 253 88 587 29055 49 4256 698 559 816 0.31 0.49/0.52 c 353 88 474 23056 48 3264 768 446 869 0.41 0.49/0.52 o 1908 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 463 88 755 38026 50 4256 698 727 893 0.52 0.89/0.90 c 564 88 614 29785 48 3662 768 586 915 0.62 0.89/0.90 c 815 88 413 19396 46 2802 845 385 958 0.85 0.89/0.90 o 1789 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 856 88 497 23861 48 3300 698 469 951 0.90 1.59/1.61 c 960 88 378 18209 48 2869 768 350 956 1.00 1.59/1.61 c 1210 88 488 24233 49 4096 845 460 982 1.23 1.59/1.61 o 1787 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 1646 88 452 20698 45 4439 698 424 1019 1.61 1.59/1.68 o 1760 1.89/1.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.98 c 1711 88 576 27643 47 5460 698 548 1016 1.68 1.89/1.98 c 1811 88 430 21792 50 4882 768 402 1015 1.78 1.89/1.98 o 1693 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 2016 88 444 23070 51 4831 698 416 1018 1.98 2.39/2.42 c 2116 88 669 34894 52 6190 768 641 1014 2.09 2.39/2.42 c 2366 88 790 40084 50 6294 845 762 1028 2.30 2.39/2.42 o 1691 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 2487 88 602 30664 50 5385 698 574 1027 2.42 2.39/2.46 o 1655 2.59/2.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.60 c 2525 88 695 35628 51 5953 698 667 1023 2.47 2.59/2.60 c 2625 88 536 28260 52 5372 768 508 1021 2.57 2.59/2.60 o 1654 2.59/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.66 c 2652 88 605 32054 52 6033 698 577 1017 2.61 2.59/2.66 o 1646 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 2693 88 695 36751 52 6782 698 667 1011 2.66 2.59/2.68 o 1584 3.20/3.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.29 c 2702 88 711 37639 52 6971 698 683 1007 2.68 3.20/3.29 c 2803 88 491 25532 52 6187 768 463 1003 2.79 3.20/3.29 c 3056 88 562 27415 48 6353 845 534 1005 3.04 3.20/3.29 o 1565 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 3313 88 612 29650 48 6346 698 584 1005 3.29 3.79/3.89 c 3413 88 407 20243 49 5714 768 379 1000 3.41 3.79/3.89 c 3663 88 413 21172 51 6069 845 385 1000 3.66 3.79/3.89 o 1491 4.89/4.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.99 c 3875 88 826 43108 52 9618 698 798 996 3.89 4.89/4.99 c 3976 88 618 32335 52 8340 768 590 990 4.01 4.89/4.99 c 4226 88 750 34668 46 9118 845 722 990 4.27 4.89/4.99 c 4701 88 845 38943 46 8857 930 817 991 4.74 4.89/4.99 o 1462 5.29/5.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.38 c 4929 88 771 39076 50 9415 698 743 987 4.99 5.29/5.38 c 5029 88 570 29740 52 8012 768 542 978 5.14 5.29/5.38 o 1459 5.69/5.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.78 c 5208 88 504 26277 52 7389 698 476 967 5.38 5.69/5.78 c 5308 88 698 36351 52 9129 768 670 962 5.51 5.69/5.78 o 1414 5.79/5.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.80 c 5536 88 712 38276 53 9314 698 684 957 5.78 5.79/5.80 o 1410 7.09/7.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.18 c 5546 88 378 20492 54 6407 698 350 955 5.80 7.09/7.18 c 5650 88 619 33095 53 7791 768 591 953 5.92 7.09/7.18 c 5900 88 675 35146 52 8424 845 647 950 6.21 7.09/7.18 c 6376 88 557 24673 44 7178 930 529 951 6.70 7.09/7.18 o 1397 7.29/7.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.35 c 6795 88 842 36819 43 7679 698 814 946 7.18 7.29/7.35 c 6896 88 591 28133 47 7100 768 563 946 7.29 7.29/7.35 o 1387 7.29/7.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.38 c 6944 88 686 32667 47 7464 698 658 944 7.35 7.29/7.38 o 1312 7.59/7.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.61 c 6948 88 695 33132 47 7623 698 667 941 7.38 7.59/7.61 c 7050 88 468 22719 48 6484 768 440 940 7.50 7.59/7.61 o 1292 7.59/7.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.65 c 7141 88 617 29991 48 8133 698 589 938 7.61 7.59/7.65 o 1273 7.99/8.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.02 c 7165 88 663 32540 49 8795 698 635 935 7.66 7.99/8.02 c 7265 88 439 21560 49 7693 768 411 933 7.78 7.99/8.02 o 1271 10.19/10.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.21 c 7479 88 413 20150 48 7471 698 385 931 8.03 10.19/10.21 c 7581 88 611 29339 48 9246 768 583 930 8.15 10.19/10.21 c 7832 88 598 28086 46 9059 845 570 930 8.42 10.19/10.21 c 8307 88 523 24549 46 9043 930 495 926 8.96 10.19/10.21 c 9122 88 494 22947 46 7894 1024 466 923 9.88 10.19/10.21 o 1267 11.79/11.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.80 c 9397 88 979 45386 46 12113 698 951 920 10.21 11.79/11.80 c 9498 88 559 26763 47 9986 768 531 919 10.32 11.79/11.80 c 9748 88 549 26011 47 10096 845 521 917 10.62 11.79/11.80 c 10226 88 452 22123 48 8520 930 424 916 11.15 11.79/11.80 o 1252 18.59/18.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.59/18.68 c 10820 88 938 43356 46 13227 698 910 917 11.80 18.59/18.68 c 10922 88 549 26831 48 10549 768 521 915 11.93 18.59/18.68 c 11174 88 570 26814 47 10780 845 542 915 12.21 18.59/18.68 c 11652 88 507 25038 49 9887 930 479 912 12.77 18.59/18.68 c 12466 88 834 38407 46 11400 1024 806 909 13.71 18.59/18.68 c 13787 88 719 31676 44 11032 1127 691 903 15.25 18.59/18.68 c 15869 88 640 26026 40 9057 1240 612 894 17.75 18.59/18.68 o 1222 21.29/21.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.29/21.30 c 16700 88 976 45681 46 11233 698 948 893 18.68 21.29/21.30 c 16803 88 621 28608 46 9339 768 593 893 18.80 21.29/21.30 c 17055 88 651 28712 44 10134 845 623 892 19.10 21.29/21.30 c 17535 88 596 28361 47 10823 930 568 890 19.70 21.29/21.30 c 18349 88 571 25629 44 11259 1024 543 887 20.67 21.29/21.30 o 1205 22.08/22.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.08/22.10 c 18883 88 1014 46898 46 14632 698 986 886 21.30 22.08/22.10 c 18985 88 581 28364 48 11475 768 553 886 21.43 22.08/22.10 c 19235 88 608 30072 49 12002 845 580 884 21.75 22.08/22.10 o 1193 24.68/24.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.68/24.70 c 19516 88 632 30414 48 12512 698 604 883 22.10 24.68/24.70 c 19616 88 432 20939 48 10531 768 404 882 22.22 24.68/24.70 c 19875 88 453 22161 48 10384 845 425 882 22.52 24.68/24.70 c 20351 88 475 24229 51 10822 930 447 881 23.09 24.68/24.70 c 21165 88 890 41632 46 14568 1024 862 881 24.02 24.68/24.70 o 1182 32.18/32.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.18/32.29 c 21754 88 872 38548 44 12577 698 844 880 24.70 32.18/32.29 c 21854 88 561 26303 46 10663 768 533 880 24.81 32.18/32.29 c 22104 88 589 27748 47 10732 845 561 881 25.08 32.18/32.29 c 22579 88 538 24435 45 9746 930 510 881 25.62 32.18/32.29 c 23392 88 618 27459 44 10518 1024 590 882 26.50 32.18/32.29 c 24714 88 818 35530 43 11868 1127 790 882 28.00 32.18/32.29 c 26795 88 985 46224 46 12578 1240 957 885 30.27 32.18/32.29 o 1172 32.88/32.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.88/32.99 c 28695 88 1155 49627 42 13260 698 1127 888 32.29 32.88/32.99 c 28798 88 563 26606 47 10491 768 535 888 32.41 32.88/32.99 c 29048 88 599 28592 47 11247 845 571 888 32.70 32.88/32.99 o 1157 33.18/33.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.18/33.26 c 29314 88 624 29292 46 10663 698 596 888 32.99 33.18/33.26 c 29415 88 445 21715 48 10065 768 417 888 33.12 33.18/33.26 o 1147 36.58/36.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.58/36.68 c 29516 88 657 31082 47 12088 698 629 887 33.26 36.58/36.68 c 29617 88 499 23918 47 10383 768 471 887 33.39 36.58/36.68 c 29871 88 587 26585 45 11188 845 559 886 33.68 36.58/36.68 c 30348 88 545 23025 42 10452 930 517 886 34.24 36.58/36.68 c 31164 88 574 26731 46 10164 1024 546 885 35.18 36.58/36.68 o 1136 44.68/44.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.68/44.75 c 32442 88 700 33183 47 12792 698 672 884 36.68 44.68/44.75 c 32546 88 542 26003 47 12733 768 514 884 36.80 44.68/44.75 c 32797 88 534 24530 45 11332 845 506 883 37.10 44.68/44.75 c 33272 88 456 22288 48 11514 930 428 883 37.66 44.68/44.75 c 34085 88 851 38227 44 14208 1024 823 882 38.61 44.68/44.75 c 35406 88 805 36730 45 13664 1127 777 882 40.13 44.68/44.75 c 37490 88 786 34722 44 15018 1240 758 877 42.74 44.68/44.75 o 1120 49.88/49.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.88/49.97 c 39145 88 1014 45038 44 15997 698 986 874 44.74 49.88/49.97 c 39245 88 577 27131 47 13022 768 549 874 44.87 49.88/49.97 c 39496 88 621 29620 47 12948 845 593 874 45.17 49.88/49.97 c 39976 88 520 25001 48 11889 930 492 873 45.75 49.88/49.97 c 40789 88 907 39320 43 14613 1024 879 873 46.70 49.88/49.97 c 42109 83 979 43009 43 15050 1127 951 872 48.28 49.88/49.97 v x1 x2 -x3 -x4 -x5 -x8 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x6 x7 -x9 -x10 49.88/49.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 49.88/49.97 c 113 43533 8692 69233 923 31093 895 871 49.96 49.88/49.97 c Objective: 1120 49.88/49.97 s OPTIMUM FOUND 49.88/49.97 c Total time: 49.959 s
OK 1120
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880424-1245134109/watcher-1880424-1245134109 -o /tmp/evaluation-result-1880424-1245134109/solver-1880424-1245134109 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880424-1245134109.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4337 /proc/meminfo: memFree=1908152/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=26328 CPUtime=0 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 181010840 26959872 342 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 6582 342 288 640 0 5938 0 [startup+0.0966761 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4337 /proc/meminfo: memFree=1908152/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19104 CPUtime=0.08 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 4253 0 0 0 7 1 0 0 18 0 1 0 181010840 19562496 383 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4776 383 292 640 0 4132 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19104 [startup+0.101676 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4337 /proc/meminfo: memFree=1908152/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19112 CPUtime=0.09 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 4469 0 0 0 8 1 0 0 18 0 1 0 181010840 19570688 385 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4778 387 292 640 0 4134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19112 [startup+0.301698 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4337 /proc/meminfo: memFree=1908152/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19476 CPUtime=0.29 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 8149 0 0 0 25 4 0 0 19 0 1 0 181010840 19943424 524 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4829 520 293 640 0 4185 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19476 [startup+0.701744 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4337 /proc/meminfo: memFree=1908152/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19676 CPUtime=0.69 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 17995 0 0 0 61 8 0 0 22 0 1 0 181010840 20148224 540 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4800 526 293 640 0 4156 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19676 [startup+1.50183 s] /proc/loadavg: 1.08 1.02 1.01 2/65 4338 /proc/meminfo: memFree=1906992/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19324 CPUtime=1.49 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 36583 0 0 0 132 17 0 0 25 0 1 0 181010840 19787776 548 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4831 548 293 640 0 4187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19324 [startup+3.10202 s] /proc/loadavg: 1.08 1.02 1.01 2/65 4338 /proc/meminfo: memFree=1906800/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19680 CPUtime=3.09 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 72869 0 0 0 275 34 0 0 25 0 1 0 181010840 20152320 562 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4970 563 293 640 0 4326 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19680 [startup+6.30138 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4338 /proc/meminfo: memFree=1906672/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19968 CPUtime=6.29 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 129762 0 0 0 569 60 0 0 25 0 1 0 181010840 20447232 585 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4992 585 293 640 0 4348 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19968 [startup+12.7011 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4338 /proc/meminfo: memFree=1906608/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19856 CPUtime=12.68 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 231085 0 0 0 1166 102 0 0 25 0 1 0 181010840 20332544 606 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 5014 607 293 640 0 4370 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19856 [startup+25.5016 s] /proc/loadavg: 1.06 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906544/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=20236 CPUtime=25.48 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 437995 0 0 0 2355 193 0 0 25 0 1 0 181010840 20721664 653 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 5059 653 295 640 0 4415 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20236 Solver just ended. Dumping a history of the last processes samples [startup+38.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906480/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=20240 CPUtime=38.28 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 629802 0 0 0 3554 274 0 0 25 0 1 0 181010840 20725760 657 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 5060 657 293 640 0 4416 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 20240 [startup+44.7027 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906416/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=20352 CPUtime=44.68 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 712893 0 0 0 4158 310 0 0 25 0 1 0 181010840 20840448 683 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 5088 683 293 640 0 4444 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 20352 [startup+47.9011 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906416/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19832 CPUtime=47.88 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 754710 0 0 0 4460 328 0 0 25 0 1 0 181010840 20307968 675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4958 675 293 640 0 4314 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 19832 [startup+48.7012 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906416/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19828 CPUtime=48.67 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 765154 0 0 0 4535 332 0 0 25 0 1 0 181010840 20303872 675 1992294400 134512640 137136520 4294956256 18446744073709551615 136501958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4957 675 293 640 0 4313 0 Current children cumulated CPU time (s) 48.67 Current children cumulated vsize (KiB) 19828 [startup+49.5053 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906416/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19828 CPUtime=49.48 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 775258 0 0 0 4611 337 0 0 25 0 1 0 181010840 20303872 675 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4957 675 293 640 0 4313 0 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (KiB) 19828 [startup+49.9013 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4338 /proc/meminfo: memFree=1906416/2055920 swapFree=4182468/4192956 [pid=4337] ppid=4335 vsize=19828 CPUtime=49.88 /proc/4337/stat : 4337 (bsolo) R 4335 4337 3949 0 -1 4194304 780736 0 0 0 4649 339 0 0 25 0 1 0 181010840 20303872 675 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4337/statm: 4957 675 293 640 0 4313 0 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (KiB) 19828 Child status: 0 Real time (s): 49.9753 CPU time (s): 49.9604 CPU user time (s): 46.5669 CPU system time (s): 3.39348 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 20356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.5669 system time used= 3.39348 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 781444 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 84 runsolver used 0.044993 second user time and 0.107983 second system time The end
Begin job on node23 at 2009-06-16 08:35:09 IDJOB=1880424 IDBENCH=1868 IDSOLVER=701 FILE ID=node23/1880424-1245134109 PBS_JOBID= 9363705 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880424-1245134109/watcher-1880424-1245134109 -o /tmp/evaluation-result-1880424-1245134109/solver-1880424-1245134109 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880424-1245134109.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED=1471835944 node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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: 1908632 kB Buffers: 13376 kB Cached: 71876 kB SwapCached: 4304 kB Active: 30488 kB Inactive: 62620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1908632 kB SwapTotal: 4192956 kB SwapFree: 4182468 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 14576 kB Slab: 40196 kB Committed_AS: 160560 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-16 08:35:59