Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 55 | 1798.03 | 1798.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_10.opb |
MD5SUM | dd415565c40b70127defa3137ccd18d3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 55 |
Optimality of the best value was proved | YES |
Number of variables | 895 |
Total number of constraints | 1660 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1659 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 45 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 108 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 144 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 741 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656525-1276620720.opb 0.00/0.00 c File size is 319495 bytes. 0.01/0.05 c Highest Coefficient sum: 741 0.01/0.05 c Parsing was ok!! 0.01/0.05 c Total parsing time: 0.054 s 0.01/0.05 c Var: 895 Constr: 1660 1/0/1659 Lit: 41106 Watch. Lit: 8553 0.01/0.05 c Obj. Vars: 7 (0.782123 % of total variables) 0.09/0.11 c Pre-processing Time: 0.11 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 894 1659 41105 24 13382 82210 0 0 0.11 0.09/0.11 c Switching off lower bounding mode. 0.79/0.89 c 101 894 1853 45247 24 26224 90432 194 480 0.21 0.79/0.89 c 252 894 2148 54210 25 25721 99476 489 868 0.29 0.79/0.89 c 477 894 2592 72386 27 27113 109424 933 1169 0.41 0.79/0.89 c 815 894 3250 94855 29 27460 120367 1591 1412 0.58 0.79/0.89 c 1323 894 4257 120134 28 30356 132404 2598 1518 0.87 0.79/0.89 o 94 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 1357 894 4324 122455 28 30526 82230 2665 1514 0.90 0.89/0.92 o 86 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 1387 894 4381 124090 28 29831 82230 2722 1496 0.93 1.19/1.22 c 1488 894 4583 130303 28 31574 90454 2924 1480 1.00 1.19/1.22 c 1738 894 5079 145024 28 32619 99500 3420 1455 1.19 1.19/1.22 o 82 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 1779 894 5161 148062 28 32046 82230 3502 1458 1.22 1.99/2.04 c 1879 894 5360 154645 28 33042 90454 3701 1434 1.31 1.99/2.04 c 2129 894 5855 172760 29 34080 99500 4196 1444 1.47 1.99/2.04 c 2605 894 6791 207789 30 36949 109451 5132 1327 1.96 1.99/2.04 o 77 2.49/2.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.52 c 2695 894 6969 214399 30 36743 82230 5310 1322 2.04 2.49/2.52 c 2795 894 7167 219991 30 37056 90454 5508 1308 2.14 2.49/2.52 c 3046 891 7632 234732 30 38252 99500 5973 1297 2.35 2.49/2.52 o 72 9.59/9.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.66 c 3270 891 7998 247488 30 39007 82228 6339 1296 2.52 9.59/9.66 c 3370 891 8160 253311 31 39832 90451 6501 1286 2.62 9.59/9.66 c 3620 891 8623 268856 31 40964 99497 6964 1252 2.89 9.59/9.66 c 4096 891 9345 295735 31 42946 109447 7686 1204 3.40 9.59/9.66 c 4909 891 10695 345118 32 45409 120392 9036 1114 4.40 9.59/9.66 c 6229 891 12725 424700 33 50379 132432 11066 992 6.28 9.59/9.66 c 8310 891 16296 553179 33 58870 145676 14637 873 9.52 9.59/9.66 o 68 13.29/13.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.29/13.38 c 8394 891 16450 557967 33 59376 82228 14791 868 9.67 13.29/13.38 c 8495 891 16633 563500 33 60485 90451 14974 860 9.87 13.29/13.38 c 8746 889 17093 577282 33 61454 99497 15434 846 10.33 13.29/13.38 c 9222 889 17935 602029 33 64351 109447 16276 812 11.35 13.29/13.38 c 10036 889 19109 647696 33 66526 120392 17450 787 12.75 13.29/13.38 o 66 18.29/18.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.29/18.32 c 10398 889 19661 667686 33 67406 82228 18002 776 13.38 18.29/18.32 c 10500 889 19828 672410 33 69013 90451 18169 768 13.66 18.29/18.32 c 10750 889 20229 685361 33 69609 99497 18570 757 14.18 18.29/18.32 c 11225 889 20991 711219 33 70669 109447 19332 739 15.17 18.29/18.32 c 12039 889 22224 752297 33 73774 120392 20565 716 16.80 18.29/18.32 o 65 156.24/156.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.24/156.37 c 12794 889 23440 787339 33 76280 82228 21781 698 18.32 156.24/156.37 c 12894 889 23593 792896 33 76523 90451 21934 693 18.59 156.24/156.37 c 13145 889 23970 806957 33 77513 99497 22311 686 19.13 156.24/156.37 c 13622 889 24724 832842 33 79855 109447 23065 668 20.39 156.24/156.37 c 14436 889 26099 871828 33 84144 120392 24440 642 22.46 156.24/156.37 c 15757 889 28183 939575 33 87743 132432 26524 608 25.90 156.24/156.37 c 17838 889 31280 1042740 33 95161 145676 29621 568 31.38 156.24/156.37 c 21062 889 36658 1200302 32 108076 160244 34999 523 40.26 156.24/156.37 c 25998 889 44538 1424375 31 126888 176269 42879 499 52.09 156.24/156.37 c 33504 889 56452 1829936 32 156035 193896 54793 412 81.22 156.24/156.37 c 44865 889 75309 2389554 31 200051 213286 73650 344 130.28 156.24/156.37 o 64 325.39/325.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 325.39/325.54 c 49337 888 81822 2623278 32 215091 82228 80163 315 156.32 325.39/325.54 c 49437 888 81974 2627794 32 215610 90451 80315 314 157.05 325.39/325.54 c 49687 888 82297 2636904 32 216596 99497 80638 313 158.34 325.39/325.54 c 50162 888 83020 2659206 32 217988 109447 81361 310 161.73 325.39/325.54 c 50976 888 84293 2695831 31 222032 120392 82634 304 167.47 325.39/325.54 c 52296 888 86200 2763270 32 225712 132432 84541 295 176.71 325.39/325.54 c 54377 888 89404 2863781 32 232981 145676 87745 285 190.37 325.39/325.54 c 57602 888 94291 3024912 32 244752 160244 92632 270 212.70 325.39/325.54 c 62539 888 102087 3253131 31 263091 176269 100428 252 247.66 325.39/325.54 c 70046 888 113111 3635074 32 288996 193896 111452 231 302.58 325.39/325.54 o 55 1797.96/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.55 c 72830 888 117210 3767478 32 298565 82228 115551 223 325.44 1797.96/1798.55 c 72930 882 21328 687883 32 70021 90451 19669 193 377.77 1797.96/1798.55 c 73180 882 21722 698733 32 70871 99497 20063 193 378.41 1797.96/1798.55 c 73656 882 22388 720891 32 72297 109447 20729 193 379.67 1797.96/1798.55 c 74469 882 23674 755523 31 75920 120392 22015 194 381.98 1797.96/1798.55 c 75790 882 25492 813911 31 78982 132432 23833 196 385.34 1797.96/1798.55 c 77873 882 28606 908835 31 87548 145676 26947 198 392.41 1797.96/1798.55 c 81098 882 33281 1055446 31 97966 160244 31622 201 402.55 1797.96/1798.55 c 86034 882 40524 1270578 31 114645 176269 38865 207 414.76 1797.96/1798.55 c 93541 882 51556 1600680 31 140559 193896 49897 212 441.04 1797.96/1798.55 c 104902 882 68083 2113219 31 179186 213286 66424 211 496.55 1797.96/1798.55 c 122047 882 93208 2872333 30 237153 234615 91549 207 589.15 1797.96/1798.55 c 147867 882 132102 4008219 30 329038 258077 130443 188 784.52 1797.96/1798.55 c 186699 882 188629 5715113 30 461350 283885 186970 161 1155.84 1797.96/1798.55 c Resources Exceeded 1797.96/1798.55 v -x1 x2 -x3 x4 -x5 -x6 x895 x56 -x57 x58 x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x894 x49 -x50 x51 x52 -x53 -x54 -x55 -x893 -x892 -x891 x890 x889 x42 x43 -x44 x45 -x46 -x47 -x48 -x888 -x887 -x886 -x885 -x884 -x883 x882 x881 -x880 x879 x878 x877 x876 -x875 x35 -x36 x37 x38 -x39 -x40 -x41 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 x866 x865 x864 -x863 x862 x861 x860 x859 -x858 x857 x856 x855 -x854 x853 x852 x851 x850 x849 x848 x847 x846 x845 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 x823 -x822 x821 x820 -x819 -x818 -x817 -x816 x815 x814 -x813 x812 x811 -x810 -x809 x808 x807 x806 -x805 -x804 x803 -x802 x801 x800 -x799 x798 x797 x796 -x795 x794 x793 x792 -x791 -x790 x21 x22 -x23 -x24 -x25 -x26 -x27 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 x763 x762 -x761 x760 x759 x758 -x757 -x756 -x755 x754 -x753 -x752 x751 x750 -x749 -x748 x747 x746 -x745 -x744 x743 x742 x741 x740 -x739 -x738 -x737 x736 x735 -x734 x733 x732 -x731 -x730 x729 x728 x727 -x726 -x725 x724 x723 x722 x721 -x720 -x719 x718 x717 x716 x715 x714 x713 x712 x711 x710 x709 x708 x707 x706 -x705 x704 x703 x702 x701 x700 x699 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 x681 x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 x665 -x664 x663 x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 x653 -x652 -x651 x650 x649 -x648 -x647 x646 x645 x644 -x643 x642 x641 x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 x631 -x630 -x629 x628 x627 -x626 -x625 -x624 x623 x622 x621 x620 -x619 x618 x617 x616 x615 -x614 -x613 x612 x611 x610 x609 -x608 x607 x606 x605 -x604 x603 x602 x601 x600 -x599 x598 x597 x596 x595 x594 x593 x592 x591 x590 x589 x588 x587 -x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 -x572 x571 x570 x569 x568 x567 x566 x565 x564 x563 x562 x561 x560 -x559 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 x540 x539 x538 x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 x522 -x521 x520 x519 x518 x517 x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 x507 -x506 -x505 x504 x503 -x502 -x501 x500 x499 x498 -x497 x496 x495 x494 x493 x492 x491 x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 x481 -x480 -x479 x478 x477 -x476 -x475 -x474 x473 x472 x471 x470 -x469 x468 x467 x466 x465 -x464 x463 x462 x461 x460 x459 -x458 x457 x456 x455 x454 -x453 x452 x451 x450 -x449 x448 x447 x446 x445 -x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 x426 -x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 x410 x409 x408 x407 x406 x405 x404 x403 x402 x401 x400 x399 -x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 x335 x334 x333 x332 x331 x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 x315 -x314 x313 x312 x311 x310 x309 x308 x307 x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 x290 x289 x288 -x287 x286 x285 x284 x283 x282 x281 x280 x279 x278 x277 x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 x267 -x266 -x265 x264 x263 -x262 -x261 -x260 x259 x258 x257 x256 -x255 x254 x253 x252 x251 -x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 -x239 x238 x237 x236 x235 -x234 x233 x232 x231 -x230 x229 x228 x227 x226 -x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 -x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 -x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 -x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 1797.96/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.55 c 68 236993 23254 269124 263017 7965101 261358 131 1798.02 1797.96/1798.55 c Objective: 55 1797.96/1798.55 s SATISFIABLE 1797.96/1798.55 c Total time: 1798.02 s
OK 55
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656525-1276620720/watcher-2656525-1276620720 -o /tmp/evaluation-result-2656525-1276620720/solver-2656525-1276620720 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656525-1276620720.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.07 3/106 10981 /proc/meminfo: memFree=1744412/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=11108 CPUtime=0 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 316 0 0 0 0 0 0 0 20 0 1 0 3362811 11374592 234 1992294400 134512640 137138936 4289364240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 2777 234 176 642 0 2054 0 [startup+0.0148289 s] /proc/loadavg: 1.00 1.00 1.07 3/106 10981 /proc/meminfo: memFree=1744412/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=11108 CPUtime=0.01 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 344 0 0 0 1 0 0 0 20 0 1 0 3362811 11374592 262 1992294400 134512640 137138936 4289364240 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 2777 263 185 642 0 2054 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11108 [startup+0.100836 s] /proc/loadavg: 1.00 1.00 1.07 3/106 10981 /proc/meminfo: memFree=1744412/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=12372 CPUtime=0.09 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 815 0 0 0 9 0 0 0 20 0 1 0 3362811 12668928 654 1992294400 134512640 137138936 4289364240 18446744073709551615 134540154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 3093 654 185 642 0 2449 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12372 [startup+0.300853 s] /proc/loadavg: 1.00 1.00 1.07 3/106 10981 /proc/meminfo: memFree=1744412/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=12376 CPUtime=0.29 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 831 0 0 0 28 1 0 0 20 0 1 0 3362811 12673024 670 1992294400 134512640 137138936 4289364240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 3094 670 192 642 0 2450 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12376 [startup+0.700888 s] /proc/loadavg: 1.00 1.00 1.07 3/106 10981 /proc/meminfo: memFree=1744412/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=13152 CPUtime=0.69 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 1003 0 0 0 68 1 0 0 20 0 1 0 3362811 13467648 842 1992294400 134512640 137138936 4289364240 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 3288 842 192 642 0 2644 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13152 [startup+1.50096 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10982 /proc/meminfo: memFree=1741180/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=14316 CPUtime=1.49 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 1292 0 0 0 147 2 0 0 23 0 1 0 3362811 14659584 1131 1992294400 134512640 137138936 4289364240 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 3579 1131 192 642 0 2935 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14316 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10982 /proc/meminfo: memFree=1739692/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=15992 CPUtime=3.09 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 1723 0 0 0 306 3 0 0 25 0 1 0 3362811 16375808 1562 1992294400 134512640 137138936 4289364240 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 3998 1562 192 642 0 3354 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15992 [startup+6.30037 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10982 /proc/meminfo: memFree=1736716/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=18284 CPUtime=6.29 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 2306 0 0 0 625 4 0 0 25 0 1 0 3362811 18722816 2145 1992294400 134512640 137138936 4289364240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 4571 2145 192 642 0 3927 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18284 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10982 /proc/meminfo: memFree=1732872/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=21988 CPUtime=12.69 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 3204 0 0 0 1264 5 0 0 25 0 1 0 3362811 22515712 3043 1992294400 134512640 137138936 4289364240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 5497 3043 192 642 0 4853 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21988 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10982 /proc/meminfo: memFree=1728036/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=26596 CPUtime=25.48 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 4385 0 0 0 2539 9 0 0 25 0 1 0 3362811 27234304 4224 1992294400 134512640 137138936 4289364240 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 6649 4224 192 642 0 6005 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26596 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10982 /proc/meminfo: memFree=1719852/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=34756 CPUtime=51.07 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 6406 0 0 0 5093 14 0 0 25 0 1 0 3362811 35590144 6245 1992294400 134512640 137138936 4289364240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 8689 6245 192 642 0 8045 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34756 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10984 /proc/meminfo: memFree=1708692/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=45616 CPUtime=102.26 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 9113 0 0 0 10201 25 0 0 25 0 1 0 3362811 46710784 8952 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 11404 8952 192 642 0 10760 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45616 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 10986 /proc/meminfo: memFree=1698648/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=55636 CPUtime=162.24 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 11616 0 0 0 16190 34 0 0 25 0 1 0 3362811 56971264 11455 1992294400 134512640 137138936 4289364240 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 13909 11455 192 642 0 13265 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 55636 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 10988 /proc/meminfo: memFree=1691580/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=62628 CPUtime=222.22 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 13364 0 0 0 22181 41 0 0 25 0 1 0 3362811 64131072 13203 1992294400 134512640 137138936 4289364240 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 15657 13203 192 642 0 15013 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 62628 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 10988 /proc/meminfo: memFree=1685008/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=69208 CPUtime=282.21 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 15029 0 0 0 28174 47 0 0 25 0 1 0 3362811 70868992 14868 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 17302 14868 192 642 0 16658 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 69208 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 10990 /proc/meminfo: memFree=1679800/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=73912 CPUtime=342.18 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 16303 0 0 0 34167 51 0 0 25 0 1 0 3362811 75685888 16029 1992294400 134512640 137138936 4289364240 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 18478 16029 192 642 0 17834 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 73912 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10992 /proc/meminfo: memFree=1679800/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=73912 CPUtime=402.17 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 16303 0 0 0 40161 56 0 0 25 0 1 0 3362811 75685888 16029 1992294400 134512640 137138936 4289364240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 18478 16029 192 642 0 17834 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 73912 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 10994 /proc/meminfo: memFree=1679676/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=73912 CPUtime=462.16 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 16303 0 0 0 46151 65 0 0 25 0 1 0 3362811 75685888 16029 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 18478 16029 192 642 0 17834 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 73912 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 10996 /proc/meminfo: memFree=1679676/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=73912 CPUtime=522.13 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 16303 0 0 0 52142 71 0 0 25 0 1 0 3362811 75685888 16029 1992294400 134512640 137138936 4289364240 18446744073709551615 134542506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 18478 16029 192 642 0 17834 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 73912 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11007 /proc/meminfo: memFree=1678808/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=73912 CPUtime=582.11 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 16303 0 0 0 58133 78 0 0 25 0 1 0 3362811 75685888 16029 1992294400 134512640 137138936 4289364240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 18478 16029 192 642 0 17834 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 73912 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11007 /proc/meminfo: memFree=1678808/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=73912 CPUtime=642.1 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 16303 0 0 0 64128 82 0 0 25 0 1 0 3362811 75685888 16029 1992294400 134512640 137138936 4289364240 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 18478 16029 192 642 0 17834 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 73912 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1653140/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=100060 CPUtime=1061.97 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 22849 0 0 0 106077 120 0 0 25 0 1 0 3362811 102461440 22575 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 25015 22575 192 642 0 24371 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 100060 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11021 /proc/meminfo: memFree=1648304/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=104756 CPUtime=1121.95 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 24017 0 0 0 112070 125 0 0 25 0 1 0 3362811 107270144 23743 1992294400 134512640 137138936 4289364240 18446744073709551615 136502624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 26189 23743 192 642 0 25545 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 104756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11021 /proc/meminfo: memFree=1644460/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=108644 CPUtime=1181.94 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 24986 0 0 0 118065 129 0 0 25 0 1 0 3362811 111251456 24712 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 27161 24712 192 642 0 26517 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 108644 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11023 /proc/meminfo: memFree=1641236/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=111716 CPUtime=1241.92 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 25771 0 0 0 124060 132 0 0 25 0 1 0 3362811 114397184 25497 1992294400 134512640 137138936 4289364240 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 27929 25497 192 642 0 27285 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 111716 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11025 /proc/meminfo: memFree=1638012/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=114800 CPUtime=1301.91 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 26544 0 0 0 130056 135 0 0 25 0 1 0 3362811 117555200 26270 1992294400 134512640 137138936 4289364240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 28700 26270 192 642 0 28056 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 114800 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11027 /proc/meminfo: memFree=1634788/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=118008 CPUtime=1361.88 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 27335 0 0 0 136050 138 0 0 25 0 1 0 3362811 120840192 27061 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 29502 27061 192 642 0 28858 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 118008 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11029 /proc/meminfo: memFree=1631564/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=121220 CPUtime=1421.88 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 28140 0 0 0 142046 142 0 0 25 0 1 0 3362811 124129280 27866 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 30305 27866 192 642 0 29661 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 121220 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 11029 /proc/meminfo: memFree=1626604/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=126196 CPUtime=1481.85 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 29387 0 0 0 148037 148 0 0 25 0 1 0 3362811 129224704 29113 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 31549 29113 192 642 0 30905 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 126196 [startup+1542.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 11031 /proc/meminfo: memFree=1621892/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=131292 CPUtime=1541.83 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 30643 0 0 0 154029 154 0 0 25 0 1 0 3362811 134443008 30369 1992294400 134512640 137138936 4289364240 18446744073709551615 136504017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 32823 30369 192 642 0 32179 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 131292 [startup+1602.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 11033 /proc/meminfo: memFree=1617676/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=135320 CPUtime=1601.81 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 31676 0 0 0 160023 158 0 0 25 0 1 0 3362811 138567680 31402 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 33830 31402 192 642 0 33186 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 135320 [startup+1662.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 11035 /proc/meminfo: memFree=1614948/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=137996 CPUtime=1661.8 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 32342 0 0 0 166018 162 0 0 25 0 1 0 3362811 141307904 32068 1992294400 134512640 137138936 4289364240 18446744073709551615 136520964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 34499 32068 192 642 0 33855 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 137996 [startup+1722.3 s] /proc/loadavg: 1.08 1.05 1.01 2/107 11037 /proc/meminfo: memFree=1611848/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=141212 CPUtime=1721.78 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 33139 0 0 0 172013 165 0 0 25 0 1 0 3362811 144601088 32865 1992294400 134512640 137138936 4289364240 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 35303 32865 192 642 0 34659 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 141212 [startup+1782.3 s] /proc/loadavg: 1.03 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1608376/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=144564 CPUtime=1781.75 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 33976 0 0 0 178006 169 0 0 25 0 1 0 3362811 148033536 33702 1992294400 134512640 137138936 4289364240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36141 33702 192 642 0 35497 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 144564 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1607880/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=144964 CPUtime=1791.36 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 34087 0 0 0 178966 170 0 0 25 0 1 0 3362811 148443136 33813 1992294400 134512640 137138936 4289364240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36241 33813 192 642 0 35597 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 144964 [startup+1795.1 s] /proc/loadavg: 1.02 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1607756/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=145096 CPUtime=1794.56 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 34119 0 0 0 179286 170 0 0 25 0 1 0 3362811 148578304 33845 1992294400 134512640 137138936 4289364240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36274 33845 192 642 0 35630 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 145096 [startup+1796.7 s] /proc/loadavg: 1.02 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1607756/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=145228 CPUtime=1796.15 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 34140 0 0 0 179445 170 0 0 25 0 1 0 3362811 148713472 33866 1992294400 134512640 137138936 4289364240 18446744073709551615 134603188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36307 33866 192 642 0 35663 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 145228 [startup+1797.5 s] /proc/loadavg: 1.02 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1607632/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=145228 CPUtime=1796.95 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 34149 0 0 0 179525 170 0 0 25 0 1 0 3362811 148713472 33875 1992294400 134512640 137138936 4289364240 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36307 33875 192 642 0 35663 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 145228 [startup+1798.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1607632/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=145360 CPUtime=1797.75 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 34158 0 0 0 179605 170 0 0 25 0 1 0 3362811 148848640 33884 1992294400 134512640 137138936 4289364240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36340 33884 192 642 0 35696 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 145360 [startup+1798.51 s] /proc/loadavg: 1.02 1.04 1.00 2/107 11039 /proc/meminfo: memFree=1607632/2059040 swapFree=4192956/4192956 [pid=10981] ppid=10979 vsize=145360 CPUtime=1797.96 /proc/10981/stat : 10981 (bsolo_pb10) R 10979 10981 10722 0 -1 4202496 34160 0 0 0 179626 170 0 0 25 0 1 0 3362811 148848640 33886 1992294400 134512640 137138936 4289364240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10981/statm: 36340 33886 192 642 0 35696 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 145360 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.03 CPU user time (s): 1796.31 CPU system time (s): 1.72074 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 145360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.31 system time used= 1.72074 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34161 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= 1 involuntary context switches= 4067 runsolver used 2.87356 second user time and 8.58569 second system time The end
Begin job on node057 at 2010-06-15 18:52:00 IDJOB=2656525 IDBENCH=2944 IDSOLVER=1162 FILE ID=node057/2656525-1276620720 PBS_JOBID= 11172311 Free space on /tmp= 62532 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656525-1276620720/watcher-2656525-1276620720 -o /tmp/evaluation-result-2656525-1276620720/solver-2656525-1276620720 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656525-1276620720.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3 RANDOM SEED=229533734 node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1744816 kB Buffers: 42228 kB Cached: 136796 kB SwapCached: 0 kB Active: 117948 kB Inactive: 120320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1744816 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4240 kB Writeback: 4 kB AnonPages: 59256 kB Mapped: 15412 kB Slab: 54124 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181520 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node057 at 2010-06-15 19:21:59