Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1271.6 | 1272.06 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.133979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452837-1177984253/instance-452837-1177984253.opb 0.00/0.00 c File size is 5689 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1.29/1.31 c 105 432 766 10449 13 2500 4058 105 6562 0.02 1.29/1.31 c 256 432 917 22549 24 2787 4464 256 8258 0.03 1.29/1.31 c 481 432 1142 39766 34 3236 4911 481 9250 0.05 1.29/1.31 c 820 432 1481 67819 45 3944 5403 820 9318 0.09 1.29/1.31 c 1328 432 1989 115929 58 4956 5944 1328 8352 0.16 1.29/1.31 c 2091 432 2752 176267 64 6453 6539 2091 8232 0.25 1.29/1.31 c 3237 432 3898 262920 67 8713 7193 3237 6757 0.48 1.29/1.31 c 4960 432 5621 391034 69 12147 7913 4960 4666 1.06 1.29/1.31 o 257 1.313 203.44/203.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 203.44/203.52 c 6511 432 7173 525982 73 15289 3707 6512 4958 1.31 203.44/203.52 c 6612 432 2617 168202 64 6169 4078 1956 4886 1.35 203.44/203.52 c 6863 432 2868 189281 65 6679 4486 2207 4984 1.38 203.44/203.52 c 7339 432 3344 224829 67 7672 4935 2683 5114 1.44 203.44/203.52 c 8153 432 4158 288136 69 9259 5429 3497 5229 1.56 203.44/203.52 c 9474 432 5479 397768 72 11932 5972 4818 5413 1.75 203.44/203.52 c 11556 432 4233 306680 72 9452 6570 3572 5585 2.07 203.44/203.52 c 14780 432 3947 284579 72 8830 7228 3286 5151 2.87 203.44/203.52 c 19717 432 4877 333304 68 10767 7951 4216 5019 3.93 203.44/203.52 c 27223 432 8209 620584 75 17371 8747 7548 4183 6.51 203.44/203.52 c 38585 432 6012 407909 67 12942 9622 5351 3531 10.93 203.44/203.52 c 55730 432 8189 664261 81 17377 10585 7528 2916 19.11 203.44/203.52 c 81551 432 6874 472135 68 14738 11644 6213 2527 32.26 203.44/203.52 c 120383 432 9693 742533 76 20328 12809 9032 2113 56.97 203.44/203.52 c 178735 432 8573 675458 78 18021 14090 7912 1989 89.84 203.44/203.52 c 266367 432 8472 587189 69 17843 15500 7811 1682 158.32 203.44/203.52 o 67 203.467 255.02/255.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 255.02/255.12 c 325312 432 12095 1109116 91 25184 3707 11434 1598 203.47 255.02/255.12 c 325413 432 2618 186901 71 6245 4078 1957 1597 203.64 255.02/255.12 c 325664 432 2869 207250 72 6666 4486 2208 1599 203.67 255.02/255.12 c 326139 432 3344 250082 74 7641 4935 2683 1600 203.72 255.02/255.12 c 326952 432 4157 320518 77 9332 5429 3496 1603 203.85 255.02/255.12 c 328272 422 5477 432526 78 11868 5972 4816 1608 204.10 255.02/255.12 c 330353 422 4200 295328 70 9285 6570 3539 1615 204.49 255.02/255.12 c 333576 422 4033 259423 64 8893 7228 3372 1625 205.20 255.02/255.12 c 338512 422 5258 346782 65 11350 7951 4597 1631 207.48 255.02/255.12 c 346019 422 4658 300267 64 10157 8747 3997 1643 210.59 255.02/255.12 c 357380 422 6770 512788 75 14393 9622 6109 1664 214.74 255.02/255.12 c 374524 422 9100 628152 69 19033 10585 8439 1687 221.94 255.02/255.12 c 400343 422 7510 612586 81 15921 11644 6849 1700 235.38 255.02/255.12 c 439176 410 9478 699761 73 19898 12809 8817 1723 254.84 255.02/255.12 o 9 255.052 344.80/344.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 344.80/344.96 c 440523 410 10826 808777 74 22554 3703 10165 1727 255.05 344.80/344.96 c 440623 409 2616 160485 61 6219 4074 1955 1726 255.18 344.80/344.96 c 440875 409 2868 181527 63 6742 4482 2207 1727 255.22 344.80/344.96 c 441351 409 3344 220617 65 7681 4931 2683 1728 255.29 344.80/344.96 c 442165 409 4158 290476 69 9237 5425 3497 1731 255.41 344.80/344.96 c 443487 409 5480 401051 73 11888 5968 4819 1734 255.65 344.80/344.96 c 445569 409 4466 304258 68 9849 6565 3805 1739 256.18 344.80/344.96 c 448792 409 4177 281061 67 9261 7222 3516 1745 257.06 344.80/344.96 c 453729 389 5128 390945 76 11256 7945 4467 1758 257.98 344.80/344.96 c 461235 389 8429 617743 73 17774 8740 7768 1769 260.63 344.80/344.96 c 472597 389 6222 413883 66 13316 9615 5561 1783 264.98 344.80/344.96 c 489742 389 8585 593224 69 18076 10577 7924 1793 273.05 344.80/344.96 c 515561 389 7117 576979 81 15229 11635 6456 1805 285.48 344.80/344.96 c 554393 389 9221 630894 68 19439 12799 8560 1825 303.69 344.80/344.96 c 612746 377 8420 715807 85 17828 14079 7759 1806 339.23 344.80/344.96 o 3 344.869 1271.53/1272.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1271.53/1272.05 c 626638 377 7783 567367 72 16570 3697 7122 1817 344.87 1271.53/1272.05 c 626740 367 2621 168357 64 6253 4067 1960 1817 344.91 1271.53/1272.05 c 626991 367 2872 188357 65 6709 4474 2211 1817 344.94 1271.53/1272.05 c 627466 367 3347 227142 67 7665 4922 2686 1818 345.01 1271.53/1272.05 c 628279 367 4160 300240 72 9295 5415 3499 1820 345.11 1271.53/1272.05 c 629600 367 5481 402995 73 11888 5957 4820 1823 345.29 1271.53/1272.05 c 631682 367 4453 289983 65 9835 6553 3792 1826 345.85 1271.53/1272.05 c 634905 367 4277 272635 63 9512 7209 3616 1829 347.00 1271.53/1272.05 c 639842 367 5468 368175 67 11899 7930 4807 1835 348.61 1271.53/1272.05 c 647349 367 4634 313691 67 10246 8724 3973 1840 351.70 1271.53/1272.05 c 658710 343 6553 426397 65 14049 9597 5892 1846 356.64 1271.53/1272.05 c 675856 343 8815 601428 68 18584 10557 8154 1848 365.64 1271.53/1272.05 c 701675 343 6704 509112 75 14396 11613 6043 1852 378.87 1271.53/1272.05 c 740508 343 9088 669908 73 19146 12775 8427 1841 402.08 1271.53/1272.05 c 798861 343 7111 521327 73 15179 14053 6450 1803 443.02 1271.53/1272.05 c 886494 343 14464 1143936 79 29817 15459 13803 1746 507.57 1271.53/1272.05 c 1018046 343 9546 734330 76 20037 17005 8885 1667 610.39 1271.53/1272.05 c 1215479 340 14121 1133509 80 29185 18706 13460 1560 779.08 1271.53/1272.05 c 1511731 339 13104 972631 74 27204 20577 12443 1364 1108.28 1271.53/1272.05 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 x29 -x30 1271.53/1272.05 v x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 x47 x48 x49 -x50 -x51 -x52 -x53 x54 x73 -x74 -x75 -x76 1271.53/1272.05 v -x77 -x78 -x79 -x80 -x81 x55 x56 x57 x58 -x59 -x60 -x61 x62 -x63 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 x64 -x65 x66 -x67 -x68 1271.53/1272.05 v x69 -x70 -x71 -x72 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 1271.53/1272.05 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1271.53/1272.05 c 72 1651264 7194 1678593 16824 1020483 16163 1298 1271.59 1271.53/1272.05 c Objective: 3 1271.53/1272.05 s OPTIMUM FOUND 1271.53/1272.05 c Total time: 1271.59 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-452837-1177984253 -o ROOT/results/node60/solver-452837-1177984253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452837-1177984253/instance-452837-1177984253.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/64 28758 /proc/meminfo: memFree=1776408/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=11744 CPUtime=0 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 246335289 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 983 344 289 324 0 51 0 [startup+0.00976706 s] /proc/loadavg: 1.00 1.01 1.00 3/64 28758 /proc/meminfo: memFree=1776408/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=4192 CPUtime=0 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 246335289 4292608 421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 1048 421 307 324 0 118 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4192 [startup+0.101777 s] /proc/loadavg: 1.00 1.01 1.00 3/64 28758 /proc/meminfo: memFree=1776408/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=5228 CPUtime=0.09 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 703 0 0 0 9 0 0 0 18 0 1 0 246335289 5353472 671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 1307 671 310 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5228 [startup+0.301795 s] /proc/loadavg: 1.00 1.01 1.00 3/64 28758 /proc/meminfo: memFree=1776408/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=6776 CPUtime=0.29 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 1104 0 0 0 29 0 0 0 19 0 1 0 246335289 6938624 1072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 1694 1072 310 324 0 764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6776 [startup+0.701835 s] /proc/loadavg: 1.00 1.01 1.00 3/64 28758 /proc/meminfo: memFree=1776408/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=8584 CPUtime=0.69 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 1549 0 0 0 69 0 0 0 22 0 1 0 246335289 8790016 1517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 2146 1517 310 324 0 1216 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8584 [startup+1.50192 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28759 /proc/meminfo: memFree=1770576/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=11564 CPUtime=1.49 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 2300 0 0 0 148 1 0 0 25 0 1 0 246335289 11841536 2268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 2891 2268 311 324 0 1961 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11564 [startup+3.10107 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28759 /proc/meminfo: memFree=1768336/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=12336 CPUtime=3.09 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 2493 0 0 0 308 1 0 0 25 0 1 0 246335289 12632064 2461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 3084 2461 311 324 0 2154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12336 [startup+6.30138 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28759 /proc/meminfo: memFree=1766416/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=13468 CPUtime=6.28 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 2768 0 0 0 627 1 0 0 25 0 1 0 246335289 13791232 2736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 3367 2736 311 324 0 2437 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13468 [startup+12.702 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28759 /proc/meminfo: memFree=1765392/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=14504 CPUtime=12.69 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 3031 0 0 0 1267 2 0 0 25 0 1 0 246335289 14852096 2999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 3626 2999 311 324 0 2696 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14504 [startup+25.5013 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28759 /proc/meminfo: memFree=1762896/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=16952 CPUtime=25.48 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 3650 0 0 0 2546 2 0 0 25 0 1 0 246335289 17358848 3618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 4238 3618 311 324 0 3308 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16952 [startup+51.1018 s] /proc/loadavg: 1.00 1.01 1.00 2/65 28759 /proc/meminfo: memFree=1761680/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=18120 CPUtime=51.07 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 3953 0 0 0 5105 2 0 0 25 0 1 0 246335289 18554880 3921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 4530 3921 311 324 0 3600 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18120 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1758608/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=21256 CPUtime=102.26 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 4726 0 0 0 10224 2 0 0 25 0 1 0 246335289 21766144 4694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5314 4694 311 324 0 4384 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21256 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1757968/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=21708 CPUtime=162.25 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 4895 0 0 0 16222 3 0 0 25 0 1 0 246335289 22228992 4820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5427 4820 311 324 0 4497 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21708 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756176/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23624 CPUtime=222.23 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 22220 3 0 0 25 0 1 0 246335289 24190976 5299 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5906 5299 311 324 0 4976 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 23624 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756176/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23400 CPUtime=282.21 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 28218 3 0 0 25 0 1 0 246335289 23961600 5243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5850 5243 311 324 0 4920 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 23400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756304/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23024 CPUtime=342.2 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 34217 3 0 0 25 0 1 0 246335289 23576576 5149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5965683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5756 5149 311 324 0 4826 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23024 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756560/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23024 CPUtime=402.19 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 40215 4 0 0 25 0 1 0 246335289 23576576 5149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5756 5149 311 324 0 4826 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 23024 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756560/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23024 CPUtime=462.17 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 46213 4 0 0 25 0 1 0 246335289 23576576 5149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5756 5149 311 324 0 4826 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 23024 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756560/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23024 CPUtime=522.16 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 52212 4 0 0 25 0 1 0 246335289 23576576 5149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5756 5149 311 324 0 4826 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 23024 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28759 /proc/meminfo: memFree=1756560/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23024 CPUtime=582.14 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5494 0 0 0 58210 4 0 0 25 0 1 0 246335289 23576576 5149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5756 5149 311 324 0 4826 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 23024 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 28925 /proc/meminfo: memFree=1754456/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=23888 CPUtime=642.04 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5703 0 0 0 64199 5 0 0 25 0 1 0 246335289 24461312 5358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 5972 5358 311 324 0 5042 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 23888 [startup+702.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 29433 /proc/meminfo: memFree=1753032/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=24620 CPUtime=701.97 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5893 0 0 0 70191 6 0 0 25 0 1 0 246335289 25210880 5546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6155 5546 311 324 0 5225 0 Current children cumulated CPU time (s) 701.97 Current children cumulated vsize (KiB) 24620 [startup+762.306 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29433 /proc/meminfo: memFree=1753160/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=24620 CPUtime=761.96 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 5893 0 0 0 76189 7 0 0 25 0 1 0 246335289 25210880 5546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6155 5546 311 324 0 5225 0 Current children cumulated CPU time (s) 761.96 Current children cumulated vsize (KiB) 24620 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750920/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=26792 CPUtime=821.94 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6432 0 0 0 82187 7 0 0 25 0 1 0 246335289 27435008 6085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6698 6085 311 324 0 5768 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 26792 [startup+882.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750920/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=26740 CPUtime=881.93 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6432 0 0 0 88185 8 0 0 25 0 1 0 246335289 27381760 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6685 6078 311 324 0 5755 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 26740 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1751048/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=26740 CPUtime=941.92 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6432 0 0 0 94184 8 0 0 25 0 1 0 246335289 27381760 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6685 6078 311 324 0 5755 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 26740 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1751056/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=26736 CPUtime=1001.9 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6432 0 0 0 100182 8 0 0 25 0 1 0 246335289 27377664 6077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6684 6077 311 324 0 5754 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 26736 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750992/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=26724 CPUtime=1061.89 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6432 0 0 0 106181 8 0 0 25 0 1 0 246335289 27365376 6074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6681 6074 311 324 0 5751 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 26724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750352/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27492 CPUtime=1121.87 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 112179 8 0 0 25 0 1 0 246335289 28151808 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6873 6255 311 324 0 5943 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 27492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27492 CPUtime=1181.85 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 118177 8 0 0 25 0 1 0 246335289 28151808 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6873 6255 311 324 0 5943 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 27492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1241.84 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 124176 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 27488 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1253.83 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 125375 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1253.83 Current children cumulated vsize (KiB) 27488 [startup+1260.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1260.23 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 126015 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1260.23 Current children cumulated vsize (KiB) 27488 [startup+1267.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1266.63 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 126655 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1266.63 Current children cumulated vsize (KiB) 27488 [startup+1270.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1269.83 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 126975 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1269.83 Current children cumulated vsize (KiB) 27488 [startup+1271.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1270.63 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 127055 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1270.63 Current children cumulated vsize (KiB) 27488 [startup+1271.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1271.03 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 127095 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1271.03 Current children cumulated vsize (KiB) 27488 [startup+1271.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1271.43 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 127135 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5963928 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1271.43 Current children cumulated vsize (KiB) 27488 [startup+1272 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29433 /proc/meminfo: memFree=1750288/2055920 swapFree=4183296/4192956 [pid=28758] ppid=28756 vsize=27488 CPUtime=1271.53 /proc/28758/stat : 28758 (bsolo3.0.17) R 28756 28758 3067 0 -1 4194304 6614 0 0 0 127145 8 0 0 25 0 1 0 246335289 28147712 6255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28758/statm: 6872 6255 311 324 0 5942 0 Current children cumulated CPU time (s) 1271.53 Current children cumulated vsize (KiB) 27488 Child status: 0 Real time (s): 1272.06 CPU time (s): 1271.6 CPU user time (s): 1271.5 CPU system time (s): 0.091986 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 27492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1271.5 system time used= 0.091986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6618 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= 11 involuntary context switches= 2184 runsolver used 1.03484 second user time and 2.49862 second system time The end
Begin job on node60 on Tue May 1 01:50:53 UTC 2007 IDJOB= 452837 IDBENCH= 47904 IDSOLVER= 199 FILE ID= node60/452837-1177984253 PBS_JOBID= 4728071 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452837-1177984253/instance-452837-1177984253.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-452837-1177984253 -o ROOT/results/node60/solver-452837-1177984253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452837-1177984253/instance-452837-1177984253.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED= 645906029 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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 : 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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1776816 kB Buffers: 26968 kB Cached: 173316 kB SwapCached: 3580 kB Active: 66944 kB Inactive: 147784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776816 kB SwapTotal: 4192956 kB SwapFree: 4183296 kB Dirty: 6580 kB Writeback: 0 kB Mapped: 20432 kB Slab: 50352 kB Committed_AS: 2916720 kB PageTables: 1476 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= 66558 MiB End job on node60 on Tue May 1 02:12:05 UTC 2007