Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 330.664 | 330.803 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb |
MD5SUM | 931666055852afe6f909d62fafedf38c |
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.146977 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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/453007-1178010089/instance-453007-1178010089.opb 0.00/0.00 c File size is 6827 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: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off LPR mode. 124.32/124.44 c 100 528 887 9701 10 2982 4875 100 5882 0.02 124.32/124.44 c 251 528 1038 20522 19 3251 5363 251 8366 0.03 124.32/124.44 c 476 528 1263 35878 28 3668 5900 476 9520 0.05 124.32/124.44 c 815 528 1602 58194 36 4342 6491 815 10187 0.08 124.32/124.44 c 1323 528 2110 90674 42 5369 7141 1323 9800 0.14 124.32/124.44 c 2087 528 2874 136596 47 6905 7856 2087 8805 0.24 124.32/124.44 c 3235 528 4022 212770 52 9214 8642 3235 8316 0.39 124.32/124.44 c 4957 528 5744 316296 55 12602 9507 4957 6735 0.74 124.32/124.44 c 7542 528 8329 466934 56 17769 10458 7542 4470 1.69 124.32/124.44 c 11421 528 6913 362280 52 14962 11504 6126 3111 3.67 124.32/124.44 c 17248 528 6948 359467 51 15009 12655 6161 2583 6.67 124.32/124.44 c 25985 528 9034 566006 62 19112 13921 8247 2584 10.06 124.32/124.44 c 39096 528 8094 430319 53 17277 15314 7307 2475 15.79 124.32/124.44 c 58767 528 11722 847962 72 24550 16846 10935 2333 25.18 124.32/124.44 c 88278 528 15348 1040427 67 31776 18531 14561 1774 49.74 124.32/124.44 c 132549 528 11884 939348 79 24892 20385 11097 1601 82.79 124.32/124.44 o 135 124.37 177.70/177.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.70/177.80 c 190683 525 17320 1111604 64 35721 4447 16533 1533 124.37 177.70/177.80 c 190787 525 3118 160709 51 7366 4892 2331 1531 124.56 177.70/177.80 c 191038 525 3369 178189 52 7836 5382 2582 1533 124.59 177.70/177.80 c 191513 525 3844 209868 54 8775 5921 3057 1536 124.65 177.70/177.80 c 192326 525 4657 263875 56 10414 6514 3870 1541 124.80 177.70/177.80 c 193647 525 5978 351124 58 13072 7166 5191 1547 125.11 177.70/177.80 c 195728 525 4373 239678 54 9884 7883 3586 1557 125.69 177.70/177.80 c 198952 525 7597 455225 59 16304 8672 6810 1571 126.62 177.70/177.80 c 203888 525 7983 508571 63 17183 9540 7196 1596 127.72 177.70/177.80 c 211394 525 5560 310845 55 12375 10495 4773 1617 130.66 177.70/177.80 c 222755 525 6337 365286 57 13870 11545 5550 1606 138.66 177.70/177.80 c 239900 525 11807 694992 58 24789 12700 11020 1609 149.06 177.70/177.80 c 265719 525 10858 632269 58 22850 13971 10071 1602 165.87 177.70/177.80 o 17 177.716 223.70/223.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 223.70/223.84 c 290478 524 13884 877278 63 28936 4447 13097 1634 177.72 223.70/223.84 c 290579 515 3118 164502 52 7412 4892 2331 1634 177.81 223.70/223.84 c 290829 515 3368 181788 53 7908 5382 2581 1635 177.84 223.70/223.84 c 291304 515 3843 213057 55 8824 5921 3056 1637 177.90 223.70/223.84 c 292118 515 4657 266891 57 10442 6514 3870 1640 178.05 223.70/223.84 c 293439 515 5978 351326 58 13089 7166 5191 1645 178.35 223.70/223.84 c 295520 515 4411 234994 53 9991 7883 3624 1650 179.10 223.70/223.84 c 298744 515 7635 439588 57 16425 8672 6848 1655 180.41 223.70/223.84 c 303682 515 8156 472855 57 17462 9540 7369 1660 182.86 223.70/223.84 c 311188 515 5993 332172 55 13124 10495 5206 1664 186.91 223.70/223.84 c 322549 515 6711 370228 55 14563 11545 5924 1669 193.20 223.70/223.84 c 339694 515 12181 693961 56 25509 12700 11394 1671 203.18 223.70/223.84 c 365514 506 11506 702894 61 24167 13971 10719 1688 216.51 223.70/223.84 o 11 223.751 227.00/227.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 227.00/227.13 c 381648 491 13133 780122 59 27431 4441 12346 1705 223.75 227.00/227.13 c 381748 491 3120 138678 44 7440 4886 2333 1704 223.97 227.00/227.13 c 381999 491 3371 156397 46 7928 5375 2584 1705 224.00 227.00/227.13 c 382476 491 3848 189359 49 8867 5913 3061 1706 224.08 227.00/227.13 c 383290 481 4662 247488 53 10538 6505 3875 1709 224.24 227.00/227.13 c 384611 481 5983 339084 56 13141 7156 5196 1713 224.45 227.00/227.13 c 386693 481 4378 238106 54 9896 7872 3591 1717 225.19 227.00/227.13 c 389917 481 7602 448289 58 16323 8660 6815 1722 226.35 227.00/227.13 o 9 227.041 227.80/227.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 227.80/227.94 c 391656 481 9342 561720 60 19807 4439 8555 1725 227.04 227.80/227.94 c 391756 481 3118 154005 49 7355 4883 2331 1724 227.12 227.80/227.94 c 392008 481 3370 168321 49 7961 5372 2583 1725 227.15 227.80/227.94 c 392484 481 3846 196642 51 8893 5910 3059 1727 227.19 227.80/227.94 c 393297 481 4659 252237 54 10493 6502 3872 1730 227.32 227.80/227.94 c 394618 481 5980 340550 56 13115 7153 5193 1733 227.64 227.80/227.94 o 5 227.849 234.60/234.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 234.60/234.72 c 395472 481 6835 393757 57 14843 4439 6048 1735 227.85 234.60/234.72 c 395572 481 3120 152457 48 7399 4883 2333 1735 227.88 234.60/234.72 c 395823 481 3371 168435 49 7925 5372 2584 1736 227.91 234.60/234.72 c 396299 471 3847 200013 51 8890 5910 3060 1738 228.01 234.60/234.72 c 397113 471 4661 255524 54 10501 6502 3874 1740 228.19 234.60/234.72 c 398434 471 5982 344008 57 13145 7153 5195 1743 228.56 234.60/234.72 c 400516 471 4378 239537 54 9939 7869 3591 1745 229.48 234.60/234.72 c 403739 471 7601 446586 58 16360 8656 6814 1747 231.05 234.60/234.72 c 408675 471 8095 465644 57 17325 9522 7308 1747 233.86 234.60/234.72 o 3 234.621 330.57/330.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 330.57/330.77 c 411505 471 5905 329849 55 12967 4437 5118 1753 234.62 330.57/330.77 c 411605 450 3120 154214 49 7394 4881 2333 1754 234.65 330.57/330.77 c 411856 450 3371 170649 50 7898 5370 2584 1754 234.68 330.57/330.77 c 412331 450 3846 205249 53 8891 5908 3059 1756 234.73 330.57/330.77 c 413144 450 4659 258386 55 10447 6499 3872 1758 234.88 330.57/330.77 c 414464 450 5979 344542 57 13095 7149 5192 1761 235.23 330.57/330.77 c 416545 450 4378 233695 53 9920 7864 3591 1765 235.91 330.57/330.77 c 419769 450 7602 438082 57 16358 8651 6815 1769 237.18 330.57/330.77 c 424706 450 7943 458220 57 17054 9517 7156 1780 238.56 330.57/330.77 c 432212 450 5608 309056 55 12369 10469 4821 1791 241.27 330.57/330.77 c 443573 450 6038 338384 56 13216 11516 5251 1808 245.24 330.57/330.77 c 460717 450 11330 672424 59 23814 12668 10543 1816 253.67 330.57/330.77 c 486536 450 10874 665802 61 22922 13935 10087 1811 268.57 330.57/330.77 c 525369 447 13972 836794 59 29094 15329 13185 1797 292.22 330.57/330.77 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 330.57/330.77 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 -x55 x56 x57 -x58 -x59 330.57/330.77 v -x60 -x61 x62 x63 x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x105 -x106 x107 x108 330.57/330.77 v x109 -x110 -x111 -x112 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x81 -x82 -x83 -x84 330.57/330.77 v -x85 -x86 -x87 -x88 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x129 -x130 -x131 -x132 330.57/330.77 v -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 -x144 330.57/330.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 330.57/330.77 c 79 570825 3828 592138 12658 715012 11871 1726 330.65 330.57/330.77 c Objective: 3 330.57/330.77 s OPTIMUM FOUND 330.57/330.77 c Total time: 330.655 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-453007-1178010089 -o ROOT/results/node48/solver-453007-1178010089 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453007-1178010089/instance-453007-1178010089.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.95 1.01 0.99 3/70 31234 /proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=3932 CPUtime=0 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 155854240 4026368 348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 983 349 290 324 0 51 0 [startup+0.093503 s] /proc/loadavg: 0.95 1.01 0.99 3/70 31234 /proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=4972 CPUtime=0.08 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 667 0 0 0 8 0 0 0 18 0 1 0 155854240 5091328 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 1243 635 310 324 0 313 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4972 [startup+0.101502 s] /proc/loadavg: 0.95 1.01 0.99 3/70 31234 /proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=5104 CPUtime=0.09 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 677 0 0 0 9 0 0 0 18 0 1 0 155854240 5226496 645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 1276 645 310 324 0 346 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301521 s] /proc/loadavg: 0.95 1.01 0.99 3/70 31234 /proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=6652 CPUtime=0.29 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 1056 0 0 0 29 0 0 0 19 0 1 0 155854240 6811648 1024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 1663 1024 310 324 0 733 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6652 [startup+0.701558 s] /proc/loadavg: 0.95 1.01 0.99 3/70 31234 /proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=8596 CPUtime=0.69 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 1563 0 0 0 68 1 0 0 23 0 1 0 155854240 8802304 1531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 2149 1531 310 324 0 1219 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8596 [startup+1.50163 s] /proc/loadavg: 0.95 1.01 0.99 2/71 31235 /proc/meminfo: memFree=1785736/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=10396 CPUtime=1.49 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 2023 0 0 0 148 1 0 0 25 0 1 0 155854240 10645504 1991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3962161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 2599 1991 310 324 0 1669 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10396 [startup+3.10279 s] /proc/loadavg: 0.95 1.01 0.99 2/71 31235 /proc/meminfo: memFree=1783112/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=13376 CPUtime=3.09 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 2752 0 0 0 307 2 0 0 25 0 1 0 155854240 13697024 2720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 3344 2720 310 324 0 2414 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13376 [startup+6.30108 s] /proc/loadavg: 0.95 1.01 0.99 2/71 31243 /proc/meminfo: memFree=1781192/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=13764 CPUtime=6.29 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 2849 0 0 0 626 3 0 0 25 0 1 0 155854240 14094336 2817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 3441 2817 310 324 0 2511 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13764 [startup+12.7017 s] /proc/loadavg: 0.95 1.01 0.99 2/71 31249 /proc/meminfo: memFree=1777424/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=17352 CPUtime=12.68 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 3753 0 0 0 1265 3 0 0 25 0 1 0 155854240 17768448 3721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 4338 3721 310 324 0 3408 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17352 [startup+25.5019 s] /proc/loadavg: 0.96 1.01 0.99 2/71 31257 /proc/meminfo: memFree=1774424/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=20572 CPUtime=25.47 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 4550 0 0 0 2543 4 0 0 25 0 1 0 155854240 21065728 4518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 5143 4518 310 324 0 4213 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 20572 [startup+51.1012 s] /proc/loadavg: 0.97 1.00 0.99 2/65 31277 /proc/meminfo: memFree=1773712/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=23024 CPUtime=51.04 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5167 0 0 0 5100 4 0 0 25 0 1 0 155854240 23576576 5135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 5756 5135 310 324 0 4826 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 23024 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.99 2/65 31277 /proc/meminfo: memFree=1770384/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25748 CPUtime=102.23 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5849 0 0 0 10219 4 0 0 25 0 1 0 155854240 26365952 5817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6437 5817 310 324 0 5507 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 25748 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 31277 /proc/meminfo: memFree=1770384/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25716 CPUtime=162.21 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 16217 4 0 0 25 0 1 0 155854240 26333184 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6429 5819 311 324 0 5499 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 25716 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 31277 /proc/meminfo: memFree=1770384/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25708 CPUtime=222.2 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 22215 5 0 0 25 0 1 0 155854240 26324992 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6427 5819 311 324 0 5497 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 25708 [startup+282.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=282.19 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 28214 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 25704 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 1.03 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=306.98 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 30693 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 306.98 Current children cumulated vsize (KiB) 25704 [startup+319.901 s] /proc/loadavg: 1.03 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=319.78 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 31973 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 319.78 Current children cumulated vsize (KiB) 25704 [startup+326.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=326.18 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 32613 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 326.18 Current children cumulated vsize (KiB) 25704 [startup+327.903 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=327.78 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 32773 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 327.78 Current children cumulated vsize (KiB) 25704 [startup+329.502 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=329.37 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 32932 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 329.37 Current children cumulated vsize (KiB) 25704 [startup+330.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=330.17 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 33012 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 330.17 Current children cumulated vsize (KiB) 25704 [startup+330.701 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=25704 CPUtime=330.57 /proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 33052 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3965411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31234/statm: 6426 5819 311 324 0 5496 0 Current children cumulated CPU time (s) 330.57 Current children cumulated vsize (KiB) 25704 [startup+330.801 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31277 /proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956 [pid=31234] ppid=31232 vsize=0 CPUtime=330.65 /proc/31234/stat : 31234 (bsolo3.0.17) D 31232 31234 30375 0 -1 4194308 5855 0 0 0 33060 5 0 0 24 0 1 0 155854240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 0 0 0 /proc/31234/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 330.65 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 330.803 CPU time (s): 330.664 CPU user time (s): 330.608 CPU system time (s): 0.055991 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 25748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 330.608 system time used= 0.055991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5855 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= 346 runsolver used 0.285956 second user time and 0.648901 second system time The end
Begin job on node48 on Tue May 1 09:01:29 UTC 2007 IDJOB= 453007 IDBENCH= 48074 IDSOLVER= 199 FILE ID= node48/453007-1178010089 PBS_JOBID= 4728312 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=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453007-1178010089/instance-453007-1178010089.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-453007-1178010089 -o ROOT/results/node48/solver-453007-1178010089 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453007-1178010089/instance-453007-1178010089.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 931666055852afe6f909d62fafedf38c RANDOM SEED= 123270646 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1791848 kB Buffers: 24820 kB Cached: 164232 kB SwapCached: 3116 kB Active: 55024 kB Inactive: 145056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1791848 kB SwapTotal: 4192956 kB SwapFree: 4183896 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 17432 kB Slab: 49616 kB Committed_AS: 1392184 kB PageTables: 1612 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 node48 on Tue May 1 09:07:00 UTC 2007