Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 665.784 | 666.161 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb |
MD5SUM | 3f50fdda997abfe5e5c5cddf7b7c1313 |
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.172973 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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/452841-1177984718/instance-452841-1177984718.opb 0.00/0.00 c File size is 8048 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off LPR mode. 107.36/107.40 c 100 616 1018 9734 9 3477 5691 100 5555 0.02 107.36/107.40 c 251 616 1169 18988 16 3781 6261 251 9296 0.03 107.36/107.40 c 477 616 1395 32977 23 4200 6888 477 10840 0.04 107.36/107.40 c 817 616 1735 54263 31 4851 7577 817 11507 0.07 107.36/107.40 c 1325 616 2243 85988 38 5791 8335 1325 10114 0.13 107.36/107.40 c 2089 616 3007 132098 43 7316 9169 2089 8389 0.25 107.36/107.40 c 3236 616 4154 201523 48 9630 10086 3236 6855 0.47 107.36/107.40 c 4957 616 5875 304115 51 13035 11095 4957 5042 0.98 107.36/107.40 c 7541 616 8459 491590 58 18198 12205 7541 4954 1.52 107.36/107.40 c 11420 616 12338 745869 60 26060 13426 11420 4307 2.65 107.36/107.40 c 17242 616 11323 657463 58 23988 14769 10405 3014 5.72 107.36/107.40 c 25980 616 12279 736092 59 25853 16246 11361 2864 9.07 107.36/107.40 c 39090 616 16905 1064402 62 35123 17871 15987 2557 15.29 107.36/107.40 c 58760 616 17934 1038411 57 37243 19659 17016 2135 27.52 107.36/107.40 c 88271 616 16518 1092244 66 34291 21625 15600 1954 45.16 107.36/107.40 c 132542 616 15664 876488 55 32597 23788 14746 1706 77.68 107.36/107.40 o 97 107.364 378.60/378.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 378.60/378.90 c 167765 616 24488 1831375 74 50219 5189 23570 1562 107.36 378.60/378.90 c 167865 616 3614 205584 56 8635 5708 2696 1557 107.79 378.60/378.90 c 168115 616 3864 223198 57 9151 6279 2946 1559 107.81 378.60/378.90 c 168591 616 4340 254087 58 9940 6907 3422 1562 107.87 378.60/378.90 c 169404 616 5153 307639 59 11572 7598 4235 1569 107.96 378.60/378.90 c 170725 616 6474 401476 62 14226 8358 5556 1578 108.18 378.60/378.90 c 172806 616 8555 549301 64 18375 9194 7637 1590 108.64 378.60/378.90 c 176030 616 7070 412750 58 15390 10114 6152 1607 109.48 378.60/378.90 c 180966 616 6889 359080 52 14982 11126 5971 1626 111.29 378.60/378.90 c 188472 616 8354 494007 59 17978 12239 7436 1671 112.79 378.60/378.90 c 199833 616 7039 380939 54 15303 13463 6121 1686 118.51 378.60/378.90 c 216977 616 9844 610892 62 20977 14810 8926 1694 128.05 378.60/378.90 c 242796 616 12392 745685 60 26131 16292 11474 1737 139.71 378.60/378.90 c 281629 615 9066 546217 60 19470 17922 8148 1765 159.48 378.60/378.90 c 339982 605 10663 618365 57 22670 19715 9745 1662 204.46 378.60/378.90 c 427614 605 16202 1077623 66 33731 21687 15284 1542 277.20 378.60/378.90 o 57 378.619 434.88/435.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 434.88/435.21 c 537294 602 13395 918311 68 28160 5187 12477 1419 378.62 434.88/435.21 c 537394 602 3618 191506 52 8657 5706 2700 1418 378.84 434.88/435.21 c 537647 602 3871 208856 53 9147 6277 2953 1419 378.87 434.88/435.21 c 538123 602 4347 240569 55 10099 6905 3429 1420 378.92 434.88/435.21 c 538936 602 5160 294034 56 11718 7596 4242 1421 379.06 434.88/435.21 c 540256 602 6480 380019 58 14343 8356 5562 1423 379.44 434.88/435.21 c 542337 602 8561 518260 60 18519 9192 7643 1426 380.19 434.88/435.21 c 545560 602 7108 405158 57 15598 10112 6190 1428 381.88 434.88/435.21 c 550497 602 6598 383358 58 14565 11124 5680 1436 383.19 434.88/435.21 c 558004 602 8422 491803 58 18170 12237 7504 1443 386.43 434.88/435.21 c 569366 592 7043 398783 56 15518 13461 6125 1461 389.65 434.88/435.21 c 586510 592 10289 615805 59 21943 14808 9371 1474 397.77 434.88/435.21 c 612329 591 13604 798451 58 28610 16289 12686 1477 414.48 434.88/435.21 o 25 434.904 645.62/646.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 645.62/646.05 c 641412 591 9088 532109 58 19544 5185 8170 1474 434.90 645.62/646.05 c 641513 591 3620 172546 47 8622 5704 2702 1474 434.99 645.62/646.05 c 641764 591 3871 189026 48 9037 6275 2953 1475 435.02 645.62/646.05 c 642240 591 4347 220350 50 10002 6903 3429 1476 435.08 645.62/646.05 c 643055 591 5162 272879 52 11626 7594 4244 1477 435.23 645.62/646.05 c 644376 591 6483 355983 54 14285 8354 5565 1479 435.55 645.62/646.05 c 646459 591 8566 483408 56 18439 9190 7648 1481 436.29 645.62/646.05 c 649682 591 7104 387820 54 15510 10110 6186 1484 437.57 645.62/646.05 c 654619 581 6907 363822 52 15205 11122 5989 1486 440.50 645.62/646.05 c 662127 581 8287 463311 55 17905 12235 7369 1489 444.42 645.62/646.05 c 673488 581 7256 403017 55 15871 13459 6338 1489 452.01 645.62/646.05 c 690632 581 10049 620575 61 21363 14805 9131 1498 460.99 645.62/646.06 c 716452 581 13342 759697 56 28008 16286 12424 1489 481.04 645.62/646.06 c 755285 581 9697 453464 46 20726 17915 8779 1483 509.19 645.62/646.06 c 813637 580 13429 787018 58 28217 19707 12511 1431 568.40 645.62/646.06 o 3 645.687 665.72/666.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 665.72/666.15 c 889991 580 18695 1305414 69 38788 5183 17777 1378 645.69 665.72/666.15 c 890091 560 3623 217047 59 8629 5702 2705 1378 645.83 665.72/666.15 c 890342 538 3874 233004 60 9117 6273 2956 1378 645.86 665.72/666.15 c 890817 538 4349 263995 60 10063 6901 3431 1379 645.92 665.72/666.15 c 891631 538 5163 312047 60 11711 7592 4245 1380 646.09 665.72/666.15 c 892952 538 6484 391327 60 14374 8352 5566 1381 646.48 665.72/666.15 c 895033 538 8565 523343 61 18463 9188 7647 1382 647.29 665.72/666.15 c 898257 538 7060 389833 55 15513 10107 6142 1384 648.75 665.72/666.15 c 903194 529 6808 360818 52 15025 11118 5890 1385 651.82 665.72/666.15 c 910701 529 8654 424907 49 18719 12230 7736 1386 656.62 665.72/666.15 c 922062 526 7571 359459 47 16535 13454 6653 1388 664.26 665.72/666.15 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 -x31 665.72/666.15 v -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 665.72/666.15 v x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 665.72/666.15 v -x77 -x78 -x79 -x80 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132 665.72/666.15 v -x133 -x134 -x135 -x136 x89 x90 -x91 -x92 -x93 -x94 x95 x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 -x99 -x100 665.72/666.15 v -x101 -x102 x103 x104 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x153 -x154 665.72/666.15 v -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 665.72/666.15 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 665.72/666.15 c 71 924624 8779 960690 10133 477143 9215 1388 665.78 665.72/666.15 c Objective: 3 665.72/666.15 s OPTIMUM FOUND 665.72/666.15 c Total time: 665.776 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-452841-1177984718 -o ROOT/results/node71/solver-452841-1177984718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452841-1177984718/instance-452841-1177984718.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: 0.92 0.98 0.98 3/64 32764 /proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=19556 CPUtime=0 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 274461159 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 983 344 289 324 0 51 0 [startup+0.012742 s] /proc/loadavg: 0.92 0.98 0.98 3/64 32764 /proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=4324 CPUtime=0 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 477 0 0 0 0 0 0 0 18 0 1 0 274461159 4427776 445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 1081 445 307 324 0 151 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4324 [startup+0.101754 s] /proc/loadavg: 0.92 0.98 0.98 3/64 32764 /proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=5232 CPUtime=0.09 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 274461159 5357568 670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 1308 670 310 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.301781 s] /proc/loadavg: 0.92 0.98 0.98 3/64 32764 /proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=6264 CPUtime=0.29 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 985 0 0 0 29 0 0 0 19 0 1 0 274461159 6414336 953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 1566 953 310 324 0 636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6264 [startup+0.701835 s] /proc/loadavg: 0.92 0.98 0.98 3/64 32764 /proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=7816 CPUtime=0.69 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 1369 0 0 0 69 0 0 0 22 0 1 0 274461159 8003584 1337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 1954 1337 310 324 0 1024 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7816 [startup+1.50294 s] /proc/loadavg: 0.92 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1786752/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=11052 CPUtime=1.49 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 2173 0 0 0 149 0 0 0 25 0 1 0 274461159 11317248 2141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 2763 2141 310 324 0 1833 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11052 [startup+3.10116 s] /proc/loadavg: 0.92 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1782016/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=15572 CPUtime=3.09 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 3302 0 0 0 308 1 0 0 25 0 1 0 274461159 15945728 3270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 3893 3270 310 324 0 2963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15572 [startup+6.3016 s] /proc/loadavg: 0.93 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1778112/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=16868 CPUtime=6.29 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 3627 0 0 0 628 1 0 0 25 0 1 0 274461159 17272832 3595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 4217 3595 310 324 0 3287 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16868 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1775040/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=20036 CPUtime=12.69 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 4417 0 0 0 1267 2 0 0 25 0 1 0 274461159 20516864 4385 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 5009 4385 310 324 0 4079 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20036 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1772928/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=22100 CPUtime=25.48 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 4949 0 0 0 2546 2 0 0 25 0 1 0 274461159 22630400 4917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 5525 4917 310 324 0 4595 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22100 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1769088/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=26036 CPUtime=51.08 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 5933 0 0 0 5105 3 0 0 25 0 1 0 274461159 26660864 5901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 6509 5901 310 324 0 5579 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26036 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/65 32765 /proc/meminfo: memFree=1766272/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=28776 CPUtime=102.26 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6612 0 0 0 10223 3 0 0 25 0 1 0 274461159 29466624 6580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7194 6580 310 324 0 6264 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28776 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/71 413 /proc/meminfo: memFree=1763272/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30252 CPUtime=162.18 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 16214 4 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7563 6947 311 324 0 6633 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 30252 [startup+222.301 s] /proc/loadavg: 1.13 1.02 0.99 2/65 972 /proc/meminfo: memFree=1763840/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30252 CPUtime=222.06 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 22200 6 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7563 6947 311 324 0 6633 0 Current children cumulated CPU time (s) 222.06 Current children cumulated vsize (KiB) 30252 [startup+282.301 s] /proc/loadavg: 1.05 1.01 0.99 2/65 972 /proc/meminfo: memFree=1764032/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30252 CPUtime=282.03 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 28197 6 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7563 6947 311 324 0 6633 0 Current children cumulated CPU time (s) 282.03 Current children cumulated vsize (KiB) 30252 [startup+342.301 s] /proc/loadavg: 1.02 1.00 0.99 2/65 972 /proc/meminfo: memFree=1764032/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30252 CPUtime=342.01 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 34195 6 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7563 6947 311 324 0 6633 0 Current children cumulated CPU time (s) 342.01 Current children cumulated vsize (KiB) 30252 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 972 /proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=401.99 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 40193 6 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 401.99 Current children cumulated vsize (KiB) 30204 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 972 /proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=461.98 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 46191 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 30204 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 972 /proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=521.96 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 52189 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 30204 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 972 /proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=581.94 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 58187 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 30204 [startup+642.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=641.93 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 64186 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 30204 Solver just ended. Dumping a history of the last processes samples [startup+652.702 s] /proc/loadavg: 1.03 1.01 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=652.32 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 65225 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 652.32 Current children cumulated vsize (KiB) 30204 [startup+659.102 s] /proc/loadavg: 1.10 1.03 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=658.72 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 65865 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 658.72 Current children cumulated vsize (KiB) 30204 [startup+662.301 s] /proc/loadavg: 1.10 1.03 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=661.92 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66185 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 661.92 Current children cumulated vsize (KiB) 30204 [startup+663.901 s] /proc/loadavg: 1.09 1.03 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=663.52 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66345 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 663.52 Current children cumulated vsize (KiB) 30204 [startup+665.505 s] /proc/loadavg: 1.09 1.03 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=665.12 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66505 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 665.12 Current children cumulated vsize (KiB) 30204 [startup+665.902 s] /proc/loadavg: 1.09 1.03 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=665.52 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66545 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 665.52 Current children cumulated vsize (KiB) 30204 [startup+666.102 s] /proc/loadavg: 1.09 1.03 1.00 2/65 972 /proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956 [pid=32764] ppid=32762 vsize=30204 CPUtime=665.72 /proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66565 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646946 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32764/statm: 7551 6944 311 324 0 6621 0 Current children cumulated CPU time (s) 665.72 Current children cumulated vsize (KiB) 30204 Child status: 0 Real time (s): 666.161 CPU time (s): 665.784 CPU user time (s): 665.705 CPU system time (s): 0.078987 CPU usage (%): 99.9434 Max. virtual memory (cumulated for all children) (KiB): 30252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 665.705 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6983 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= 12 involuntary context switches= 1469 runsolver used 0.487925 second user time and 1.39179 second system time The end
Begin job on node71 on Tue May 1 01:58:38 UTC 2007 IDJOB= 452841 IDBENCH= 47908 IDSOLVER= 199 FILE ID= node71/452841-1177984718 PBS_JOBID= 4727928 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=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452841-1177984718/instance-452841-1177984718.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-452841-1177984718 -o ROOT/results/node71/solver-452841-1177984718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452841-1177984718/instance-452841-1177984718.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3f50fdda997abfe5e5c5cddf7b7c1313 RANDOM SEED= 952158487 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.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: 1792096 kB Buffers: 36832 kB Cached: 146524 kB SwapCached: 2692 kB Active: 81020 kB Inactive: 116492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792096 kB SwapTotal: 4192956 kB SwapFree: 4184188 kB Dirty: 6580 kB Writeback: 0 kB Mapped: 19600 kB Slab: 52280 kB Committed_AS: 4465580 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= 66558 MiB End job on node71 on Tue May 1 02:09:45 UTC 2007