Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 332.236 | 332.473 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/431752-1178010008/instance-431752-1178010008.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.004 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.84/125.03 c 100 528 887 9701 10 2982 4875 100 5555 0.02 124.84/125.03 c 251 528 1038 20522 19 3251 5363 251 8096 0.03 124.84/125.03 c 476 528 1263 35878 28 3668 5900 476 9333 0.05 124.84/125.03 c 815 528 1602 58194 36 4342 6491 815 9939 0.08 124.84/125.03 c 1323 528 2110 90674 42 5369 7141 1323 9656 0.14 124.84/125.03 c 2087 528 2874 136596 47 6905 7856 2087 8695 0.24 124.84/125.03 c 3235 528 4022 212770 52 9214 8642 3235 8231 0.39 124.84/125.03 c 4957 528 5744 316296 55 12602 9507 4957 6707 0.74 124.84/125.03 c 7542 528 8329 466934 56 17769 10458 7542 4457 1.69 124.84/125.03 c 11421 528 6913 362280 52 14962 11504 6126 3101 3.68 124.84/125.03 c 17248 528 6948 359467 51 15009 12655 6161 2568 6.71 124.84/125.03 c 25985 528 9034 566006 62 19112 13921 8247 2580 10.07 124.84/125.03 c 39096 528 8094 430319 53 17277 15314 7307 2469 15.83 124.84/125.03 c 58767 528 11722 847962 72 24550 16846 10935 2322 25.30 124.84/125.03 c 88278 528 15348 1040427 67 31776 18531 14561 1767 49.94 124.84/125.03 c 132549 528 11884 939348 79 24892 20385 11097 1595 83.10 124.84/125.03 o 135 124.879 178.31/178.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.31/178.58 c 190683 525 17320 1111604 64 35721 4447 16533 1526 124.88 178.31/178.58 c 190787 525 3118 160709 51 7366 4892 2331 1525 125.07 178.31/178.58 c 191038 525 3369 178189 52 7836 5382 2582 1527 125.10 178.31/178.58 c 191513 525 3844 209868 54 8775 5921 3057 1530 125.16 178.31/178.58 c 192326 525 4657 263875 56 10414 6514 3870 1534 125.31 178.31/178.58 c 193647 525 5978 351124 58 13072 7166 5191 1541 125.62 178.31/178.58 c 195728 525 4373 239678 54 9884 7883 3586 1550 126.20 178.31/178.58 c 198952 525 7597 455225 59 16304 8672 6810 1565 127.12 178.31/178.58 c 203888 525 7983 508571 63 17183 9540 7196 1590 128.22 178.31/178.58 c 211394 525 5560 310845 55 12375 10495 4773 1611 131.16 178.31/178.58 c 222755 525 6337 365286 57 13870 11545 5550 1600 139.18 178.31/178.58 c 239900 525 11807 694992 58 24789 12700 11020 1604 149.54 178.31/178.58 c 265719 525 10858 632269 58 22850 13971 10071 1596 166.46 178.31/178.58 o 17 178.402 224.70/224.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 224.70/224.94 c 290478 524 13884 877278 63 28936 4447 13097 1628 178.40 224.70/224.94 c 290579 515 3118 164502 52 7412 4892 2331 1627 178.50 224.70/224.94 c 290829 515 3368 181788 53 7908 5382 2581 1629 178.53 224.70/224.94 c 291304 515 3843 213057 55 8824 5921 3056 1631 178.59 224.70/224.94 c 292118 515 4657 266891 57 10442 6514 3870 1634 178.74 224.70/224.94 c 293439 515 5978 351326 58 13089 7166 5191 1638 179.05 224.70/224.94 c 295520 515 4411 234994 53 9991 7883 3624 1643 179.81 224.70/224.94 c 298744 515 7635 439588 57 16425 8672 6848 1649 181.13 224.70/224.94 c 303682 515 8156 472855 57 17462 9540 7369 1654 183.59 224.70/224.94 c 311188 515 5993 332172 55 13124 10495 5206 1658 187.66 224.70/224.94 c 322549 515 6711 370228 55 14563 11545 5924 1662 193.98 224.70/224.94 c 339694 515 12181 693961 56 25509 12700 11394 1664 204.05 224.70/224.94 c 365514 506 11506 702894 61 24167 13971 10719 1680 217.45 224.70/224.94 o 11 224.746 228.00/228.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 228.00/228.24 c 381648 491 13133 780122 59 27431 4441 12346 1698 224.75 228.00/228.24 c 381748 491 3120 138678 44 7440 4886 2333 1696 224.97 228.00/228.24 c 381999 491 3371 156397 46 7928 5375 2584 1697 225.00 228.00/228.24 c 382476 491 3848 189359 49 8867 5913 3061 1699 225.07 228.00/228.24 c 383290 481 4662 247488 53 10538 6505 3875 1701 225.24 228.00/228.24 c 384611 481 5983 339084 56 13141 7156 5196 1705 225.45 228.00/228.24 c 386693 481 4378 238106 54 9896 7872 3591 1709 226.19 228.00/228.24 c 389917 481 7602 448289 58 16323 8660 6815 1715 227.36 228.00/228.24 o 9 228.044 228.79/229.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 228.79/229.05 c 391656 481 9342 561720 60 19807 4439 8555 1717 228.04 228.79/229.05 c 391756 481 3118 154005 49 7355 4883 2331 1717 228.12 228.79/229.05 c 392008 481 3370 168321 49 7961 5372 2583 1718 228.15 228.79/229.05 c 392484 481 3846 196642 51 8893 5910 3059 1719 228.19 228.79/229.05 c 393297 481 4659 252237 54 10493 6502 3872 1722 228.33 228.79/229.05 c 394618 481 5980 340550 56 13115 7153 5193 1725 228.64 228.79/229.05 o 5 228.852 235.60/235.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 235.60/235.84 c 395472 481 6835 393757 57 14843 4439 6048 1728 228.85 235.60/235.84 c 395572 481 3120 152457 48 7399 4883 2333 1728 228.88 235.60/235.84 c 395823 481 3371 168435 49 7925 5372 2584 1729 228.92 235.60/235.84 c 396299 471 3847 200013 51 8890 5910 3060 1730 229.01 235.60/235.84 c 397113 471 4661 255524 54 10501 6502 3874 1732 229.19 235.60/235.84 c 398434 471 5982 344008 57 13145 7153 5195 1735 229.57 235.60/235.84 c 400516 471 4378 239537 54 9939 7869 3591 1737 230.49 235.60/235.84 c 403739 471 7601 446586 58 16360 8656 6814 1739 232.08 235.60/235.84 c 408675 471 8095 465644 57 17325 9522 7308 1739 234.88 235.60/235.84 o 3 235.645 332.15/332.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 332.15/332.46 c 411505 471 5905 329849 55 12967 4437 5118 1746 235.65 332.15/332.46 c 411605 450 3120 154214 49 7394 4881 2333 1746 235.68 332.15/332.46 c 411856 450 3371 170649 50 7898 5370 2584 1747 235.70 332.15/332.46 c 412331 450 3846 205249 53 8891 5908 3059 1749 235.75 332.15/332.46 c 413144 450 4659 258386 55 10447 6499 3872 1751 235.91 332.15/332.46 c 414464 450 5979 344542 57 13095 7149 5192 1754 236.25 332.15/332.46 c 416545 450 4378 233695 53 9920 7864 3591 1758 236.94 332.15/332.46 c 419769 450 7602 438082 57 16358 8651 6815 1762 238.22 332.15/332.46 c 424706 450 7943 458220 57 17054 9517 7156 1772 239.63 332.15/332.46 c 432212 450 5608 309056 55 12369 10469 4821 1783 242.36 332.15/332.46 c 443573 450 6038 338384 56 13216 11516 5251 1800 246.36 332.15/332.46 c 460717 450 11330 672424 59 23814 12668 10543 1808 254.79 332.15/332.46 c 486536 450 10874 665802 61 22922 13935 10087 1803 269.78 332.15/332.46 c 525369 447 13972 836794 59 29094 15329 13185 1789 293.51 332.15/332.46 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 332.15/332.46 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 332.15/332.46 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 332.15/332.46 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 332.15/332.46 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 332.15/332.46 v -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 -x144 332.15/332.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 332.15/332.46 c 79 570825 3828 592138 12658 715012 11871 1718 332.23 332.15/332.46 c Objective: 3 332.15/332.46 s OPTIMUM FOUND 332.15/332.46 c Total time: 332.23 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-431752-1178010008 -o ROOT/results/node20/solver-431752-1178010008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431752-1178010008/instance-431752-1178010008.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.85 0.95 0.97 3/77 10970 /proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=11744 CPUtime=0 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 248918110 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 983 346 291 324 0 50 0 [startup+0.0608079 s] /proc/loadavg: 0.85 0.95 0.97 3/77 10970 /proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=4712 CPUtime=0.05 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 587 0 0 0 5 0 0 0 18 0 1 0 248918110 4825088 554 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 1178 554 312 324 0 247 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4712 [startup+0.102816 s] /proc/loadavg: 0.85 0.95 0.97 3/77 10970 /proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=5104 CPUtime=0.09 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 248918110 5226496 645 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 1276 645 312 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5104 [startup+0.301863 s] /proc/loadavg: 0.85 0.95 0.97 3/77 10970 /proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=6524 CPUtime=0.28 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 1054 0 0 0 28 0 0 0 19 0 1 0 248918110 6680576 1021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 1631 1021 312 324 0 700 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6524 [startup+0.701937 s] /proc/loadavg: 0.85 0.95 0.97 3/77 10970 /proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=8596 CPUtime=0.69 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 1564 0 0 0 68 1 0 0 23 0 1 0 248918110 8802304 1531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 2149 1531 312 324 0 1218 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8596 [startup+1.5011 s] /proc/loadavg: 0.85 0.95 0.97 2/78 10971 /proc/meminfo: memFree=1788872/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=10396 CPUtime=1.49 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 2025 0 0 0 147 2 0 0 25 0 1 0 248918110 10645504 1992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 2599 1992 312 324 0 1668 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10396 [startup+3.10142 s] /proc/loadavg: 0.85 0.95 0.97 2/78 10971 /proc/meminfo: memFree=1786312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=13376 CPUtime=3.09 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 2751 0 0 0 306 3 0 0 25 0 1 0 248918110 13697024 2718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 3344 2718 312 324 0 2413 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13376 [startup+6.30106 s] /proc/loadavg: 0.86 0.95 0.97 2/78 10971 /proc/meminfo: memFree=1784328/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=13636 CPUtime=6.28 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 2834 0 0 0 624 4 0 0 25 0 1 0 248918110 13963264 2801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 3409 2801 312 324 0 2478 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13636 [startup+12.7013 s] /proc/loadavg: 0.87 0.95 0.97 2/78 10971 /proc/meminfo: memFree=1780760/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=17352 CPUtime=12.68 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 3756 0 0 0 1262 6 0 0 25 0 1 0 248918110 17768448 3723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 4338 3723 312 324 0 3407 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17352 [startup+25.5029 s] /proc/loadavg: 0.90 0.96 0.97 2/78 10971 /proc/meminfo: memFree=1777624/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=20572 CPUtime=25.48 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 4553 0 0 0 2539 9 0 0 25 0 1 0 248918110 21065728 4520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 5143 4520 312 324 0 4212 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20572 [startup+51.1021 s] /proc/loadavg: 0.93 0.96 0.97 2/78 10971 /proc/meminfo: memFree=1775768/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=22764 CPUtime=51.07 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5097 0 0 0 5094 13 0 0 25 0 1 0 248918110 23310336 5064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 5691 5065 312 324 0 4760 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22764 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.97 2/84 11145 /proc/meminfo: memFree=1770984/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25748 CPUtime=102.16 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5852 0 0 0 10194 22 0 0 25 0 1 0 248918110 26365952 5819 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6437 5819 312 324 0 5506 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 25748 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1771992/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25716 CPUtime=162.12 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 16179 33 0 0 25 0 1 0 248918110 26333184 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6429 5821 313 324 0 5498 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 25716 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772120/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25708 CPUtime=222.1 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 22164 46 0 0 25 0 1 0 248918110 26324992 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6427 5821 313 324 0 5496 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 25708 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772120/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=282.07 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 28148 59 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 25704 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772184/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=306.86 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 30622 64 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 306.86 Current children cumulated vsize (KiB) 25704 [startup+319.901 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=319.66 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 31900 66 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 319.66 Current children cumulated vsize (KiB) 25704 [startup+326.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=326.06 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 32539 67 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 326.06 Current children cumulated vsize (KiB) 25704 [startup+329.501 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=329.25 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 32858 67 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 329.25 Current children cumulated vsize (KiB) 25704 [startup+331.105 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=330.86 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33018 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 330.86 Current children cumulated vsize (KiB) 25704 [startup+331.902 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=331.65 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33097 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 331.65 Current children cumulated vsize (KiB) 25704 [startup+332.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=332.05 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33137 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 332.05 Current children cumulated vsize (KiB) 25704 [startup+332.402 s] /proc/loadavg: 0.99 0.97 0.97 2/78 11169 /proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956 [pid=10970] ppid=10968 vsize=25704 CPUtime=332.15 /proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33147 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10970/statm: 6426 5821 313 324 0 5495 0 Current children cumulated CPU time (s) 332.15 Current children cumulated vsize (KiB) 25704 Child status: 0 Real time (s): 332.473 CPU time (s): 332.236 CPU user time (s): 331.541 CPU system time (s): 0.695894 CPU usage (%): 99.9288 Max. virtual memory (cumulated for all children) (KiB): 25748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 331.541 system time used= 0.695894 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= 10 involuntary context switches= 6844 runsolver used 0.25796 second user time and 0.760884 second system time The end
Begin job on node20 on Tue May 1 09:00:08 UTC 2007 IDJOB= 431752 IDBENCH= 48074 IDSOLVER= 163 FILE ID= node20/431752-1178010008 PBS_JOBID= 4728299 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/431752-1178010008/instance-431752-1178010008.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-431752-1178010008 -o ROOT/results/node20/solver-431752-1178010008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431752-1178010008/instance-431752-1178010008.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 931666055852afe6f909d62fafedf38c RANDOM SEED= 80571004 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1795048 kB Buffers: 47440 kB Cached: 125016 kB SwapCached: 16448 kB Active: 115520 kB Inactive: 80056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795048 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 29956 kB Slab: 50876 kB Committed_AS: 2360108 kB PageTables: 1744 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 node20 on Tue May 1 09:05:40 UTC 2007