Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 60 | 1798.02 | 1798.53 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb |
MD5SUM | 26699ac56f0d58d8261ff4eb58d81611 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 58 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
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 | 1659 |
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 | 1659 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 707 |
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-2656494-1276588080.opb 0.00/0.00 c File size is 322808 bytes. 0.00/0.05 c Highest Coefficient sum: 707 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.054 s 0.00/0.06 c Var: 895 Constr: 1659 0/0/1659 Lit: 41676 Watch. Lit: 7956 0.00/0.06 c Obj. Vars: 7 (0.782123 % of total variables) 0.10/0.11 c Pre-processing Time: 0.114 s 0.10/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.11 c 0 895 1659 41676 25 14753 83352 0 0 0.11 0.10/0.11 c Switching off lower bounding mode. 0.49/0.52 c 100 895 1831 45186 24 28166 91688 172 420 0.24 0.49/0.52 c 250 895 2115 51861 24 25940 100857 456 712 0.35 0.49/0.52 c 476 895 2560 64544 25 22662 110943 901 1048 0.45 0.49/0.52 o 93 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 638 895 2878 74128 25 25137 83366 1219 1224 0.52 0.59/0.60 c 738 895 3070 79275 25 26650 91703 1411 1270 0.58 0.59/0.60 o 91 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 777 895 3148 81902 26 26729 83366 1489 1297 0.60 0.59/0.62 o 80 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 821 895 3234 84603 26 26726 83366 1575 1324 0.62 0.69/0.76 c 921 895 3432 88756 25 25227 91703 1773 1393 0.66 0.69/0.76 o 78 1.28/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.32 c 1091 895 3771 99516 26 27584 83366 2112 1435 0.76 1.28/1.32 c 1192 895 3972 106029 26 29495 91703 2313 1437 0.83 1.28/1.32 c 1442 895 4467 118043 26 28376 100874 2808 1506 0.96 1.28/1.32 c 1920 895 5415 147519 27 31796 110962 3756 1554 1.24 1.28/1.32 o 74 1.79/1.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.88 c 2039 895 5648 153661 27 32087 83366 3989 1544 1.32 1.79/1.88 c 2139 895 5840 158703 27 31258 91703 4181 1534 1.39 1.79/1.88 c 2389 895 6335 170972 26 31576 100874 4676 1552 1.54 1.79/1.88 c 2864 895 7279 206120 28 36081 110962 5620 1607 1.78 1.79/1.88 o 71 1.89/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.97 c 2966 895 7479 213968 28 38031 83366 5820 1581 1.88 1.89/1.97 c 3067 895 7681 218757 28 34136 91703 6022 1585 1.94 1.89/1.97 o 70 5.09/5.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.18 c 3109 895 7764 221499 28 36885 83366 6105 1578 1.97 5.09/5.18 c 3209 895 7962 226383 28 37215 91703 6303 1559 2.06 5.09/5.18 c 3459 895 8447 244899 28 39682 100874 6788 1517 2.28 5.09/5.18 c 3935 895 9366 280207 29 40785 110962 7707 1480 2.66 5.09/5.18 c 4748 895 10975 331264 30 45844 122059 9316 1400 3.39 5.09/5.18 c 6069 895 13576 412295 30 52606 134265 11917 1255 4.83 5.09/5.18 o 69 5.50/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.58 c 6367 895 14170 432202 30 51895 83366 12511 1228 5.18 5.50/5.58 c 6467 895 14365 438349 30 53530 91703 12706 1209 5.35 5.50/5.58 o 68 11.18/11.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.18/11.27 c 6641 895 14703 449626 30 54416 83366 13044 1191 5.58 11.18/11.27 c 6742 889 14866 452883 30 52454 91703 13207 1179 5.72 11.18/11.27 c 6993 889 15273 465717 30 54289 100874 13614 1153 6.06 11.18/11.27 c 7468 889 16018 482485 30 56871 110962 14359 1123 6.65 11.18/11.27 c 8284 889 17364 522470 30 60585 122059 15705 1072 7.72 11.18/11.27 c 9606 889 19529 587217 30 63994 134265 17870 1012 9.49 11.18/11.27 o 66 37.88/37.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.88/37.96 c 10761 889 21302 646221 30 69724 83366 19643 954 11.27 37.88/37.96 c 10862 889 21464 650375 30 70704 91703 19805 941 11.54 37.88/37.96 c 11114 889 21851 663389 30 71551 100874 20192 930 11.94 37.88/37.96 c 11589 889 22569 687451 30 74282 110962 20910 907 12.77 37.88/37.96 c 12402 889 23820 723533 30 74837 122059 22161 878 14.12 37.88/37.96 c 13723 889 25744 791047 30 81398 134265 24085 830 16.53 37.88/37.96 c 15804 889 28918 889459 30 88209 147692 27259 753 20.98 37.88/37.96 c 19027 889 33936 1037108 30 96896 162462 32277 667 28.50 37.88/37.96 o 65 77.57/77.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.57/77.64 c 22714 889 39678 1215811 30 112965 83366 38019 598 37.95 77.57/77.64 c 22814 886 39828 1219299 30 112037 91703 38169 596 38.26 77.57/77.64 c 23064 886 40227 1228500 30 111678 100874 38568 593 38.85 77.57/77.64 c 23539 886 40956 1247478 30 114457 110962 39297 586 40.12 77.57/77.64 c 24354 886 42230 1278227 30 116941 122059 40571 577 42.20 77.57/77.64 c 25674 886 44247 1339899 30 124692 134265 42588 560 45.82 77.57/77.64 c 27757 886 47118 1424675 30 131986 147692 45459 538 51.57 77.57/77.64 c 30980 886 52021 1546325 29 140815 162462 50362 516 59.98 77.57/77.64 o 63 229.04/229.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 229.04/229.11 c 35603 886 59262 1765394 29 159882 83366 57603 458 77.62 229.04/229.11 c 35703 886 59420 1769354 29 158759 91703 57761 457 78.11 229.04/229.11 c 35953 885 59819 1779838 29 160773 100874 58160 454 79.05 229.04/229.11 c 36428 885 60577 1800785 29 164213 110962 58918 450 80.84 229.04/229.11 c 37241 885 61823 1836028 29 166629 122059 60164 444 83.71 229.04/229.11 c 38562 885 63864 1897624 29 171715 134265 62205 435 88.65 229.04/229.11 c 40643 885 67071 1975782 29 179080 147692 65412 418 97.08 229.04/229.11 c 43868 885 71805 2109537 29 190533 162462 70146 395 110.83 229.04/229.11 c 48805 885 79343 2297101 28 207762 178709 77684 367 132.72 229.04/229.11 c 56313 885 90893 2620819 28 235549 196580 89234 334 168.46 229.04/229.11 o 62 317.82/317.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 317.82/317.99 c 67408 885 107610 3134355 29 276530 83364 105951 294 229.07 317.82/317.99 c 67508 885 20810 619153 29 70228 91701 19151 256 263.64 317.82/317.99 c 67758 885 21206 628611 29 70362 100872 19547 256 263.92 317.82/317.99 c 68234 885 21908 651215 29 72396 110960 20249 257 264.90 317.82/317.99 c 69049 885 23083 684720 29 76177 122057 21424 258 266.77 317.82/317.99 c 70371 885 25025 726764 29 76960 134263 23366 262 268.01 317.82/317.99 c 72452 885 28245 821246 29 86927 147690 26586 265 272.64 317.82/317.99 c 75675 885 33253 951764 28 99236 162460 31594 270 279.76 317.82/317.99 c 80617 885 40736 1149740 28 117037 178707 39077 276 291.30 317.82/317.99 c 88123 885 52006 1480567 28 144426 196578 50347 278 316.66 317.82/317.99 o 61 670.20/670.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 670.20/670.44 c 88487 885 52562 1498204 28 144675 83388 50903 278 317.91 670.20/670.44 c 88587 885 52707 1501747 28 145957 91727 51048 278 318.39 670.20/670.44 c 88839 885 53104 1510667 28 144180 100900 51445 278 319.42 670.20/670.44 c 89315 885 53804 1529338 28 147441 110991 52145 277 321.47 670.20/670.44 c 90128 885 54982 1562354 28 150513 122091 53323 277 324.68 670.20/670.44 c 91448 885 56790 1614807 28 154670 134301 55131 277 329.37 670.20/670.44 c 93531 885 59937 1708656 28 162341 147732 58278 276 338.58 670.20/670.44 c 96755 885 64601 1843636 28 172876 162506 62942 275 351.02 670.20/670.44 c 101691 885 71670 2051335 28 190133 178757 70011 273 371.53 670.20/670.44 c 109197 877 83317 2340026 28 217345 196633 81658 269 404.49 670.20/670.44 c 120558 877 99659 2816987 28 257514 216297 98000 253 475.82 670.20/670.44 c 137702 877 124215 3532315 28 314530 237927 122556 239 573.92 670.20/670.44 o 60 1797.99/1798.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.52 c 152414 877 144718 4127200 28 362396 83386 143059 227 670.26 1797.99/1798.52 c 152517 877 20625 584917 28 68117 91725 18966 199 762.90 1797.99/1798.52 c 152768 877 20983 592702 28 69322 100898 19324 200 763.46 1797.99/1798.52 c 153243 877 21691 611844 28 69954 110988 20032 200 764.94 1797.99/1798.52 c 154057 877 22980 644992 28 73199 122087 21321 201 766.26 1797.99/1798.52 c 155378 877 24960 696146 27 78573 134296 23301 202 768.85 1797.99/1798.52 c 157459 877 28079 767145 27 84970 147726 26420 203 773.48 1797.99/1798.52 c 160682 877 32791 896670 27 96334 162499 31132 205 780.79 1797.99/1798.52 c 165619 877 39953 1098856 27 113428 178749 38294 208 794.29 1797.99/1798.52 c 173125 877 50225 1384082 27 137209 196624 48566 212 815.81 1797.99/1798.52 c 184486 877 66099 1817068 27 172519 216287 64440 214 859.87 1797.99/1798.52 c 201630 877 90584 2467701 27 229754 237916 88925 215 935.97 1797.99/1798.52 c 227449 877 126673 3500272 27 315324 261708 125014 210 1081.81 1797.99/1798.52 c 266282 877 182577 5116219 28 444361 287879 180918 191 1391.33 1797.99/1798.52 c Resources Exceeded 1797.99/1798.52 v -x1 -x2 x3 x4 x5 x6 -x7 x57 -x58 x59 x60 -x61 x62 -x63 x64 x65 x66 -x67 x68 x69 -x70 -x895 x50 -x51 -x52 x53 -x54 x55 -x56 -x894 x893 x892 x891 x890 x43 -x44 -x45 -x46 -x47 x48 -x49 -x889 -x888 -x887 -x886 x885 -x884 x883 x882 -x881 x880 x879 x878 x877 -x876 -x36 -x37 x38 -x39 x40 -x41 -x42 -x875 -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 x29 -x30 -x31 x32 -x33 -x34 -x35 -x845 -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 x22 x23 -x24 -x25 -x26 -x27 -x28 -x790 -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 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x699 -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 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x559 -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 1797.99/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.52 c 94 299640 30874 342522 231372 6626496 229713 166 1798.01 1797.99/1798.52 c Objective: 60 1797.99/1798.52 s SATISFIABLE 1797.99/1798.52 c Total time: 1798.01 s
OK 60
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656494-1276588080/watcher-2656494-1276588080 -o /tmp/evaluation-result-2656494-1276588080/solver-2656494-1276588080 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656494-1276588080.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: 0.00 0.00 0.00 3/107 2357 /proc/meminfo: memFree=1698364/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=11104 CPUtime=0 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 306 0 0 0 0 0 0 0 18 0 1 0 100745 11370496 225 1992294400 134512640 137138936 4287411600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 2776 225 172 642 0 2053 0 [startup+0.109265 s] /proc/loadavg: 0.00 0.00 0.00 3/107 2357 /proc/meminfo: memFree=1698364/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=12500 CPUtime=0.1 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 828 0 0 0 10 0 0 0 18 0 1 0 100745 12800000 668 1992294400 134512640 137138936 4287411600 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 3125 668 185 642 0 2481 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12500 [startup+0.20127 s] /proc/loadavg: 0.00 0.00 0.00 3/107 2357 /proc/meminfo: memFree=1698364/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=12500 CPUtime=0.19 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 836 0 0 0 19 0 0 0 19 0 1 0 100745 12800000 676 1992294400 134512640 137138936 4287411600 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 3125 676 192 642 0 2481 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12500 [startup+0.301274 s] /proc/loadavg: 0.00 0.00 0.00 3/107 2357 /proc/meminfo: memFree=1698364/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=12500 CPUtime=0.29 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 836 0 0 0 29 0 0 0 19 0 1 0 100745 12800000 676 1992294400 134512640 137138936 4287411600 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 3125 676 192 642 0 2481 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12500 [startup+0.701296 s] /proc/loadavg: 0.00 0.00 0.00 3/107 2357 /proc/meminfo: memFree=1698364/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=12888 CPUtime=0.69 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 953 0 0 0 69 0 0 0 19 0 1 0 100745 13197312 793 1992294400 134512640 137138936 4287411600 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 3222 793 192 642 0 2578 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12888 [startup+1.50134 s] /proc/loadavg: 0.00 0.00 0.00 2/108 2358 /proc/meminfo: memFree=1695008/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=14172 CPUtime=1.48 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 1255 0 0 0 148 0 0 0 21 0 1 0 100745 14512128 1095 1992294400 134512640 137138936 4287411600 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 3543 1095 192 642 0 2899 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14172 [startup+3.10042 s] /proc/loadavg: 0.00 0.00 0.00 2/108 2358 /proc/meminfo: memFree=1693148/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=16484 CPUtime=3.09 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 1852 0 0 0 307 2 0 0 25 0 1 0 100745 16879616 1692 1992294400 134512640 137138936 4287411600 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 4121 1692 192 642 0 3477 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16484 [startup+6.30059 s] /proc/loadavg: 0.08 0.02 0.01 2/108 2358 /proc/meminfo: memFree=1689428/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=19316 CPUtime=6.29 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 2535 0 0 0 626 3 0 0 25 0 1 0 100745 19779584 2375 1992294400 134512640 137138936 4287411600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 4829 2375 192 642 0 4185 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19316 [startup+12.7009 s] /proc/loadavg: 0.15 0.03 0.01 2/108 2358 /proc/meminfo: memFree=1685708/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=22876 CPUtime=12.68 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 3433 0 0 0 1263 5 0 0 25 0 1 0 100745 23425024 3273 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 5719 3273 192 642 0 5075 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22876 [startup+25.5015 s] /proc/loadavg: 0.34 0.08 0.02 2/108 2358 /proc/meminfo: memFree=1680872/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=27552 CPUtime=25.48 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 4625 0 0 0 2539 9 0 0 25 0 1 0 100745 28213248 4465 1992294400 134512640 137138936 4287411600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 6888 4465 192 642 0 6244 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27552 [startup+51.1016 s] /proc/loadavg: 0.56 0.15 0.05 2/108 2360 /proc/meminfo: memFree=1673308/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=35192 CPUtime=51.08 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 6511 0 0 0 5092 16 0 0 25 0 1 0 100745 36036608 6351 1992294400 134512640 137138936 4287411600 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 8798 6351 192 642 0 8154 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35192 [startup+102.301 s] /proc/loadavg: 0.81 0.28 0.10 2/108 2360 /proc/meminfo: memFree=1662644/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=45604 CPUtime=102.27 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 9126 0 0 0 10200 27 0 0 25 0 1 0 100745 46698496 8966 1992294400 134512640 137138936 4287411600 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 11401 8966 192 642 0 10757 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45604 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/108 2362 /proc/meminfo: memFree=1653344/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=54972 CPUtime=162.26 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 11460 0 0 0 16190 36 0 0 25 0 1 0 100745 56291328 11300 1992294400 134512640 137138936 4287411600 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 13743 11300 192 642 0 13099 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 54972 [startup+222.308 s] /proc/loadavg: 0.97 0.51 0.20 2/108 2364 /proc/meminfo: memFree=1644416/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=63700 CPUtime=222.25 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 13645 0 0 0 22181 44 0 0 25 0 1 0 100745 65228800 13485 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 15925 13485 192 642 0 15281 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 63700 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/108 2366 /proc/meminfo: memFree=1643176/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=64596 CPUtime=282.22 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 13972 0 0 0 28172 50 0 0 25 0 1 0 100745 66146304 13708 1992294400 134512640 137138936 4287411600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 16149 13708 192 642 0 15505 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 64596 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/108 2368 /proc/meminfo: memFree=1643176/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=64596 CPUtime=342.2 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 13972 0 0 0 34163 57 0 0 25 0 1 0 100745 66146304 13708 1992294400 134512640 137138936 4287411600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 16149 13708 192 642 0 15505 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 64596 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/108 2368 /proc/meminfo: memFree=1643052/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=64596 CPUtime=402.18 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 13972 0 0 0 40152 66 0 0 25 0 1 0 100745 66146304 13708 1992294400 134512640 137138936 4287411600 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 16149 13708 192 642 0 15505 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 64596 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/108 2370 /proc/meminfo: memFree=1643052/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=64596 CPUtime=462.16 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 13972 0 0 0 46144 72 0 0 25 0 1 0 100745 66146304 13708 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 16149 13708 192 642 0 15505 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 64596 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/108 2372 /proc/meminfo: memFree=1642804/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=65268 CPUtime=522.15 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 14146 0 0 0 52138 77 0 0 25 0 1 0 100745 66834432 13882 1992294400 134512640 137138936 4287411600 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 16317 13882 192 642 0 15673 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 65268 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/108 2374 /proc/meminfo: memFree=1635488/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=72496 CPUtime=582.13 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 15962 0 0 0 58128 85 0 0 25 0 1 0 100745 74235904 15698 1992294400 134512640 137138936 4287411600 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 18124 15698 192 642 0 17480 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 72496 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.47 2/108 2374 /proc/meminfo: memFree=1629040/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=79064 CPUtime=642.1 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 17584 0 0 0 64118 92 0 0 25 0 1 0 100745 80961536 17320 1992294400 134512640 137138936 4287411600 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 19766 17320 192 642 0 19122 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 79064 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1624584/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=81884 CPUtime=1121.97 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 18422 0 0 0 112058 139 0 0 25 0 1 0 100745 83849216 18018 1992294400 134512640 137138936 4287411600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 20471 18018 192 642 0 19827 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 81884 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/108 2399 /proc/meminfo: memFree=1624708/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=81888 CPUtime=1181.95 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 18422 0 0 0 118051 144 0 0 25 0 1 0 100745 83853312 18018 1992294400 134512640 137138936 4287411600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 20472 18018 192 642 0 19828 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 81888 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/108 2399 /proc/meminfo: memFree=1620616/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=86320 CPUtime=1241.93 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 19547 0 0 0 124044 149 0 0 25 0 1 0 100745 88391680 19143 1992294400 134512640 137138936 4287411600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 21580 19143 192 642 0 20936 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 86320 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.72 2/108 2401 /proc/meminfo: memFree=1615036/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=91948 CPUtime=1301.91 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 20942 0 0 0 130035 156 0 0 25 0 1 0 100745 94154752 20538 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 22987 20538 192 642 0 22343 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 91948 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/108 2403 /proc/meminfo: memFree=1610076/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=96896 CPUtime=1361.9 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 22173 0 0 0 136028 162 0 0 25 0 1 0 100745 99221504 21769 1992294400 134512640 137138936 4287411600 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 24224 21769 192 642 0 23580 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 96896 [startup+1422.3 s] /proc/loadavg: 1.00 0.97 0.75 2/108 2405 /proc/meminfo: memFree=1606108/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=100768 CPUtime=1421.89 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 23141 0 0 0 142023 166 0 0 25 0 1 0 100745 103186432 22737 1992294400 134512640 137138936 4287411600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 25192 22737 192 642 0 24548 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 100768 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/108 2407 /proc/meminfo: memFree=1602388/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=104520 CPUtime=1481.87 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 24098 0 0 0 148017 170 0 0 25 0 1 0 100745 107028480 23694 1992294400 134512640 137138936 4287411600 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 26130 23694 192 642 0 25486 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 104520 [startup+1542.31 s] /proc/loadavg: 1.00 0.97 0.77 2/108 2409 /proc/meminfo: memFree=1598544/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=108260 CPUtime=1541.86 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 25031 0 0 0 154012 174 0 0 25 0 1 0 100745 110858240 24627 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 27065 24627 192 642 0 26421 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 108260 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.78 2/108 2409 /proc/meminfo: memFree=1594576/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=112292 CPUtime=1601.83 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 26025 0 0 0 160006 177 0 0 25 0 1 0 100745 114987008 25621 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 28073 25621 192 642 0 27429 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 112292 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/108 2411 /proc/meminfo: memFree=1590236/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=116584 CPUtime=1661.81 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 27106 0 0 0 166000 181 0 0 25 0 1 0 100745 119382016 26702 1992294400 134512640 137138936 4287411600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 29146 26702 192 642 0 28502 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 116584 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/108 2413 /proc/meminfo: memFree=1586764/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=119948 CPUtime=1721.8 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 27965 0 0 0 171995 185 0 0 25 0 1 0 100745 122826752 27561 1992294400 134512640 137138936 4287411600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 29987 27561 192 642 0 29343 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 119948 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1583168/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=123420 CPUtime=1781.78 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 28808 0 0 0 177989 189 0 0 25 0 1 0 100745 126382080 28404 1992294400 134512640 137138936 4287411600 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 30855 28404 192 642 0 30211 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 123420 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582672/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=123952 CPUtime=1791.49 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 28941 0 0 0 178959 190 0 0 25 0 1 0 100745 126926848 28537 1992294400 134512640 137138936 4287411600 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 30988 28537 192 642 0 30344 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (KiB) 123952 [startup+1795.2 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582424/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=124088 CPUtime=1794.69 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 28980 0 0 0 179279 190 0 0 25 0 1 0 100745 127066112 28576 1992294400 134512640 137138936 4287411600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 31022 28576 192 642 0 30378 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 124088 [startup+1796.8 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582424/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=124220 CPUtime=1796.28 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 29008 0 0 0 179438 190 0 0 25 0 1 0 100745 127201280 28604 1992294400 134512640 137138936 4287411600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 31055 28604 192 642 0 30411 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (KiB) 124220 [startup+1797.6 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582300/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=124220 CPUtime=1797.08 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 29015 0 0 0 179518 190 0 0 25 0 1 0 100745 127201280 28611 1992294400 134512640 137138936 4287411600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 31055 28611 192 642 0 30411 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 124220 [startup+1798 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582300/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=124220 CPUtime=1797.48 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 29023 0 0 0 179558 190 0 0 25 0 1 0 100745 127201280 28619 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 31055 28619 192 642 0 30411 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (KiB) 124220 [startup+1798.4 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582300/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=124220 CPUtime=1797.88 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 29028 0 0 0 179598 190 0 0 25 0 1 0 100745 127201280 28624 1992294400 134512640 137138936 4287411600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 31055 28624 192 642 0 30411 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 124220 [startup+1798.5 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2415 /proc/meminfo: memFree=1582300/2059040 swapFree=4192956/4192956 [pid=2357] ppid=2355 vsize=124220 CPUtime=1797.99 /proc/2357/stat : 2357 (bsolo_pb10) R 2355 2357 2332 0 -1 4202496 29030 0 0 0 179609 190 0 0 25 0 1 0 100745 127201280 28626 1992294400 134512640 137138936 4287411600 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2357/statm: 31055 28626 192 642 0 30411 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 124220 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.02 CPU user time (s): 1796.1 CPU system time (s): 1.91471 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 124220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.1 system time used= 1.91471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29031 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= 2 involuntary context switches= 15232 runsolver used 3.14952 second user time and 8.30774 second system time The end
Begin job on node038 at 2010-06-15 09:48:00 IDJOB=2656494 IDBENCH=2637 IDSOLVER=1162 FILE ID=node038/2656494-1276588080 PBS_JOBID= 11172213 Free space on /tmp= 62276 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656494-1276588080/watcher-2656494-1276588080 -o /tmp/evaluation-result-2656494-1276588080/solver-2656494-1276588080 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656494-1276588080.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611 RANDOM SEED=601542145 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1700396 kB Buffers: 14324 kB Cached: 239540 kB SwapCached: 0 kB Active: 95180 kB Inactive: 217788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1700396 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4496 kB Writeback: 0 kB AnonPages: 59140 kB Mapped: 15268 kB Slab: 23796 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181764 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= 62272 MiB End job on node038 at 2010-06-15 10:17:59