Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 58 | 1798.03 | 1802.87 |
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 | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 1375.97 |
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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1877053-1245170772.opb 0.00/0.00 c File size is 322808 bytes. 0.00/0.04 c Highest Coefficient sum: 707 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.043 s 0.00/0.04 c Var: 895 Constr: 1659 0/0/1659 Lit: 41676 Watch. Lit: 7956 0.00/0.04 c Obj. Vars: 7 (0.782123 % of total variables) 0.09/0.10 c Pre-processing Time: 0.101 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 895 1659 41676 25 14753 83352 0 0 0.10 0.09/0.10 c Switching off lower bounding mode. 0.39/0.48 c 100 895 1805 44572 24 28103 91688 146 448 0.22 0.39/0.48 c 250 895 2003 49454 24 25626 100857 344 753 0.33 0.39/0.48 c 476 895 2291 57836 25 21899 110943 632 1122 0.42 0.39/0.48 o 93 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 638 895 2509 64274 25 24119 83366 850 1323 0.48 0.49/0.55 c 738 895 2642 67793 25 25471 91703 983 1376 0.54 0.49/0.55 o 91 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 777 895 2693 69462 25 25477 83366 1034 1407 0.55 0.49/0.57 o 80 0.59/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.70 c 821 895 2749 71230 25 25390 83366 1090 1440 0.57 0.59/0.70 c 921 895 2874 73958 25 23715 91703 1215 1519 0.61 0.59/0.70 o 78 1.08/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.08/1.19 c 1091 895 3106 81403 26 25800 83366 1447 1569 0.69 1.08/1.19 c 1192 895 3248 85847 26 27536 91703 1589 1576 0.76 1.08/1.19 c 1442 895 3578 94395 26 25991 100874 1919 1665 0.87 1.08/1.19 c 1920 895 4234 115716 27 28685 110962 2575 1725 1.11 1.08/1.19 o 74 1.57/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.57/1.65 c 2039 895 4396 119975 27 28734 83366 2737 1720 1.19 1.57/1.65 c 2139 895 4539 123727 27 27782 91703 2880 1712 1.25 1.57/1.65 c 2389 895 4857 131883 27 27642 100874 3198 1746 1.37 1.57/1.65 c 2864 895 5458 153870 28 31212 110962 3799 1828 1.57 1.57/1.65 o 71 1.67/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.67/1.73 c 2966 895 5595 158921 28 33021 83366 3936 1807 1.64 1.67/1.73 c 3067 895 5741 162359 28 28992 91703 4082 1816 1.69 1.67/1.73 o 70 3.46/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.51 c 3109 895 5800 164094 28 31680 83366 4141 1810 1.72 3.46/3.51 c 3209 895 5933 167587 28 31813 91703 4274 1794 1.79 3.46/3.51 c 3460 895 6249 179139 28 33882 100874 4590 1763 1.96 3.46/3.51 c 3936 895 6912 201289 29 33860 110962 5253 1718 2.29 3.46/3.51 c 4749 895 8029 236933 29 36668 122059 6370 1701 2.79 3.46/3.51 o 64 151.43/151.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 151.43/151.76 c 5834 895 9511 283039 29 40718 83366 7852 1674 3.48 151.43/151.76 c 5934 895 9644 287674 29 39248 91703 7985 1668 3.56 151.43/151.76 c 6184 895 9969 296900 29 38429 100874 8310 1658 3.73 151.43/151.76 c 6659 885 10579 314306 29 44140 110962 8920 1611 4.13 151.43/151.76 c 7473 885 11639 339014 29 45784 122059 9980 1551 4.82 151.43/151.76 c 8793 885 13343 388601 29 51010 134265 11684 1453 6.05 151.43/151.76 c 10876 885 16054 462366 28 56591 147692 14395 1300 8.36 151.43/151.76 c 14099 885 20260 586366 28 64095 162462 18601 1092 12.91 151.43/151.76 c 19035 885 26682 744492 27 78144 178709 25023 929 20.48 151.43/151.76 c 26541 885 36697 1054986 28 101402 196580 35038 743 35.72 151.43/151.76 c 37902 885 51894 1545948 29 135530 216239 50235 589 64.31 151.43/151.76 c 55046 885 74398 2132323 28 185225 237863 72739 420 130.80 151.43/151.76 o 63 221.19/221.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 221.19/221.52 c 60449 885 81463 2339160 28 201053 83352 79804 399 151.48 221.19/221.52 c 60549 885 81607 2342242 28 201139 91688 79948 397 152.36 221.19/221.52 c 60800 885 81961 2353394 28 201994 100857 80302 394 154.07 221.19/221.52 c 61275 885 82603 2369521 28 203520 110943 80944 390 156.82 221.19/221.52 c 62089 885 83664 2405111 28 205618 122038 82005 383 162.00 221.19/221.52 c 63410 885 85510 2451065 28 208570 134242 83851 376 168.56 221.19/221.52 c 65492 885 88244 2532209 28 216472 147667 86585 363 180.09 221.19/221.52 c 68715 885 92637 2645907 28 224688 162434 90978 349 196.82 221.19/221.52 o 61 972.09/976.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 972.09/976.08 c 73266 885 98610 2835589 28 239070 83364 96951 331 221.22 972.09/976.08 c 73366 885 19475 547092 28 63808 91701 17816 294 249.47 972.09/976.08 c 73616 885 19828 555983 28 64207 100872 18169 294 249.90 972.09/976.08 c 74092 885 20489 574108 28 65322 110960 18830 295 250.83 972.09/976.08 c 74906 885 21591 601567 27 67192 122057 19932 296 252.27 972.09/976.08 c 76226 885 23319 652600 27 72458 134263 21660 299 254.80 972.09/976.08 c 78307 885 26002 721360 27 77837 147690 24343 302 258.95 972.09/976.08 c 81530 885 30261 828157 27 87461 162460 28602 304 267.53 972.09/976.08 c 86469 885 36746 996566 27 101058 178707 35087 305 283.33 972.09/976.08 c 93976 885 46616 1308917 28 123701 196578 44957 308 304.24 972.09/976.08 c 105337 885 61637 1775239 28 157439 216236 59978 305 344.74 972.09/976.08 c 122481 885 84398 2472909 29 207610 237860 82739 285 429.73 972.09/976.08 c 148301 885 118409 3428448 28 281109 261647 116750 256 578.60 972.09/976.08 c 187134 885 170657 5008569 29 397822 287812 168998 210 888.75 972.09/976.08 o 59 1379.14/1383.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1379.14/1383.88 c 194758 885 180932 5308026 29 420923 83364 179273 200 972.18 1379.14/1383.88 c 194859 885 21206 614060 28 67170 91701 19547 177 1099.17 1379.14/1383.88 c 195110 885 21546 623785 28 67921 100872 19887 177 1099.72 1379.14/1383.88 c 195586 885 22154 641947 28 69352 110960 20495 177 1100.90 1379.14/1383.88 c 196399 885 23200 672648 28 71271 122057 21541 178 1102.64 1379.14/1383.88 c 197719 885 24893 714620 28 74055 134263 23234 178 1104.99 1379.14/1383.88 c 199802 885 27479 786347 28 80909 147690 25820 180 1109.43 1379.14/1383.88 c 203025 885 31687 896081 28 89728 162460 30028 181 1116.19 1379.14/1383.88 c 207962 885 38152 1106238 28 104484 178707 36493 183 1131.88 1379.14/1383.88 c 215470 885 47709 1360380 28 125030 196578 46050 186 1153.83 1379.14/1383.88 c 226832 885 62706 1833970 29 157904 216236 61047 188 1201.77 1379.14/1383.88 c 243977 882 85196 2409115 28 207461 237860 83537 186 1308.36 1379.14/1383.88 o 58 1797.96/1802.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1802.85 c 257315 882 102540 2909369 28 245742 83381 100881 186 1379.23 1797.96/1802.85 c 257415 882 18319 517820 28 60462 91720 16660 181 1415.09 1797.96/1802.85 c 257665 882 18652 527041 28 60818 100893 16993 182 1415.56 1797.96/1802.85 c 258140 882 19243 544212 28 62787 110983 17584 182 1416.58 1797.96/1802.85 c 258953 882 20242 573388 28 63026 122082 18583 182 1418.19 1797.96/1802.85 c 260273 882 21878 613958 28 68064 134291 20219 183 1419.89 1797.96/1802.85 c 262354 882 24538 688432 28 74093 147721 22879 184 1423.84 1797.96/1802.85 c 265578 882 28701 792133 27 82975 162494 27042 185 1429.55 1797.96/1802.85 c 270515 882 34978 961082 27 97777 178744 33319 187 1441.38 1797.96/1802.85 c 278021 882 44814 1228772 27 119075 196619 43155 190 1462.74 1797.96/1802.85 c 289382 882 59541 1634101 27 151668 216281 57882 192 1500.51 1797.96/1802.85 c 306526 882 81989 2306759 28 200182 237910 80330 194 1576.13 1797.96/1802.85 c 332345 882 116254 3289292 28 276302 261702 114595 189 1750.15 1797.96/1802.85 c Resources Exceeded 1797.96/1802.85 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.96/1802.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1802.85 c 82 338047 34683 385193 123913 3510070 122254 188 1798.01 1797.96/1802.85 c Objective: 58 1797.96/1802.85 s SATISFIABLE 1797.96/1802.85 c Total time: 1798.01 s
OK 58
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877053-1245170772/watcher-1877053-1245170772 -o /tmp/evaluation-result-1877053-1245170772/solver-1877053-1245170772 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877053-1245170772.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.82 1.96 1.95 3/73 15624 /proc/meminfo: memFree=1858112/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=11020 CPUtime=0 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 243 0 0 0 0 0 0 0 20 0 1 0 184676118 11284480 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15624/statm: 2755 227 176 640 0 2032 0 [startup+0.0824789 s] /proc/loadavg: 1.82 1.96 1.95 3/73 15624 /proc/meminfo: memFree=1858112/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=12424 CPUtime=0.07 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 766 0 0 0 7 0 0 0 20 0 1 0 184676118 12722176 671 1992294400 134512640 137136520 4294956256 18446744073709551615 134540464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 3106 671 190 640 0 2462 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12424 [startup+0.102481 s] /proc/loadavg: 1.82 1.96 1.95 3/73 15624 /proc/meminfo: memFree=1858112/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=12424 CPUtime=0.09 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 766 0 0 0 9 0 0 0 20 0 1 0 184676118 12722176 671 1992294400 134512640 137136520 4294956256 18446744073709551615 134549013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 3106 671 190 640 0 2462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12424 [startup+0.301522 s] /proc/loadavg: 1.82 1.96 1.95 3/73 15624 /proc/meminfo: memFree=1858112/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=12424 CPUtime=0.29 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 773 0 0 0 29 0 0 0 22 0 1 0 184676118 12722176 678 1992294400 134512640 137136520 4294956256 18446744073709551615 136293438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 3106 678 196 640 0 2462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12424 [startup+0.701593 s] /proc/loadavg: 1.82 1.96 1.95 3/73 15624 /proc/meminfo: memFree=1858112/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=12692 CPUtime=0.69 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 851 0 0 0 69 0 0 0 25 0 1 0 184676118 12996608 756 1992294400 134512640 137136520 4294956256 18446744073709551615 136498230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 3173 756 197 640 0 2529 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12692 [startup+1.50174 s] /proc/loadavg: 1.82 1.96 1.95 2/74 15625 /proc/meminfo: memFree=1855416/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=13716 CPUtime=1.47 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 1114 0 0 0 147 0 0 0 25 0 1 0 184676118 14045184 1019 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 3429 1019 197 640 0 2785 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 13716 [startup+3.10104 s] /proc/loadavg: 1.82 1.96 1.95 3/74 15625 /proc/meminfo: memFree=1853880/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=15628 CPUtime=3.07 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 1575 0 0 0 306 1 0 0 25 0 1 0 184676118 16003072 1480 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 3907 1480 197 640 0 3263 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 15628 [startup+6.30164 s] /proc/loadavg: 1.75 1.94 1.95 2/74 15625 /proc/meminfo: memFree=1850680/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=18072 CPUtime=6.24 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 2206 0 0 0 623 1 0 0 25 0 1 0 184676118 18505728 2111 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 4518 2111 197 640 0 3874 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 18072 [startup+12.7018 s] /proc/loadavg: 1.77 1.94 1.95 4/74 15625 /proc/meminfo: memFree=1847168/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=21356 CPUtime=12.61 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 3013 0 0 0 1258 3 0 0 25 0 1 0 184676118 21868544 2918 1992294400 134512640 137136520 4294956256 18446744073709551615 134598089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 5339 2918 197 640 0 4695 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 21356 [startup+25.5016 s] /proc/loadavg: 1.90 1.96 1.95 4/74 15625 /proc/meminfo: memFree=1842432/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=26192 CPUtime=25.27 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 4221 0 0 0 2518 9 0 0 25 0 1 0 184676118 26820608 4126 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 6548 4126 197 640 0 5904 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 26192 [startup+51.1029 s] /proc/loadavg: 1.67 1.90 1.93 4/74 15625 /proc/meminfo: memFree=1834752/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=33904 CPUtime=50.87 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 6168 0 0 0 5074 13 0 0 25 0 1 0 184676118 34717696 6073 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 8476 6073 197 640 0 7832 0 Current children cumulated CPU time (s) 50.87 Current children cumulated vsize (KiB) 33904 [startup+102.306 s] /proc/loadavg: 1.62 1.85 1.91 3/74 15625 /proc/meminfo: memFree=1824192/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=44208 CPUtime=102.05 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 8738 0 0 0 10184 21 0 0 25 0 1 0 184676118 45268992 8643 1992294400 134512640 137136520 4294956256 18446744073709551615 134544865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 11052 8643 197 640 0 10408 0 Current children cumulated CPU time (s) 102.05 Current children cumulated vsize (KiB) 44208 [startup+162.31 s] /proc/loadavg: 1.92 1.91 1.93 3/74 15625 /proc/meminfo: memFree=1815232/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=53228 CPUtime=162.02 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 10985 0 0 0 16176 26 0 0 25 0 1 0 184676118 54505472 10890 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 13307 10890 197 640 0 12663 0 Current children cumulated CPU time (s) 162.02 Current children cumulated vsize (KiB) 53228 [startup+222.306 s] /proc/loadavg: 1.87 1.90 1.92 3/74 15625 /proc/meminfo: memFree=1807360/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=60756 CPUtime=222 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 12970 0 0 0 22169 31 0 0 25 0 1 0 184676118 62214144 12780 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 15189 12780 197 640 0 14545 0 Current children cumulated CPU time (s) 222 Current children cumulated vsize (KiB) 60756 [startup+282.301 s] /proc/loadavg: 1.92 1.91 1.92 4/74 15625 /proc/meminfo: memFree=1807360/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=60756 CPUtime=281.95 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 12970 0 0 0 28162 33 0 0 25 0 1 0 184676118 62214144 12780 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 15189 12780 197 640 0 14545 0 Current children cumulated CPU time (s) 281.95 Current children cumulated vsize (KiB) 60756 [startup+342.307 s] /proc/loadavg: 1.88 1.88 1.90 3/74 15625 /proc/meminfo: memFree=1807360/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=60756 CPUtime=341.95 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 12970 0 0 0 34155 40 0 0 25 0 1 0 184676118 62214144 12780 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 15189 12780 197 640 0 14545 0 Current children cumulated CPU time (s) 341.95 Current children cumulated vsize (KiB) 60756 [startup+402.302 s] /proc/loadavg: 1.75 1.85 1.89 3/74 15627 /proc/meminfo: memFree=1807296/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=60756 CPUtime=401.86 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 12970 0 0 0 40141 45 0 0 25 0 1 0 184676118 62214144 12780 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 15189 12780 197 640 0 14545 0 Current children cumulated CPU time (s) 401.86 Current children cumulated vsize (KiB) 60756 [startup+462.303 s] /proc/loadavg: 1.73 1.83 1.88 3/74 15627 /proc/meminfo: memFree=1807360/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=60756 CPUtime=461.77 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 12970 0 0 0 46127 50 0 0 25 0 1 0 184676118 62214144 12780 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 15189 12780 197 640 0 14545 0 Current children cumulated CPU time (s) 461.77 Current children cumulated vsize (KiB) 60756 [startup+522.301 s] /proc/loadavg: 2.10 1.92 1.91 2/74 15627 /proc/meminfo: memFree=1802240/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=66084 CPUtime=521.26 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 14299 0 0 0 52066 60 0 0 25 0 1 0 184676118 67670016 14109 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 16521 14109 197 640 0 15877 0 Current children cumulated CPU time (s) 521.26 Current children cumulated vsize (KiB) 66084 [startup+582.301 s] /proc/loadavg: 2.25 1.99 1.93 3/74 15627 /proc/meminfo: memFree=1795904/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=72388 CPUtime=580.86 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 15864 0 0 0 58018 68 0 0 25 0 1 0 184676118 74125312 15674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 18097 15674 197 640 0 17453 0 Current children cumulated CPU time (s) 580.86 Current children cumulated vsize (KiB) 72388 [startup+642.302 s] /proc/loadavg: 2.29 2.04 1.95 3/74 15627 /proc/meminfo: memFree=1789952/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=78284 CPUtime=640.63 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 17338 0 0 0 63987 76 0 0 25 0 1 0 184676118 80162816 17148 1992294400 134512640 137136520 4294956256 18446744073709551615 136295593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 19571 17148 197 640 0 18927 0 Current children cumulated CPU time (s) 640.63 Current children cumulated vsize (KiB) 78284 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1763448/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1118.2 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24070 0 0 0 111705 115 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1118.2 Current children cumulated vsize (KiB) 104440 [startup+1182.31 s] /proc/loadavg: 2.23 2.17 2.04 4/74 15633 /proc/meminfo: memFree=1763448/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1178.18 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24070 0 0 0 117697 121 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1178.18 Current children cumulated vsize (KiB) 104440 [startup+1242.3 s] /proc/loadavg: 2.14 2.15 2.04 4/74 15633 /proc/meminfo: memFree=1763392/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1238.04 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24070 0 0 0 123678 126 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1238.04 Current children cumulated vsize (KiB) 104440 [startup+1302.3 s] /proc/loadavg: 2.20 2.18 2.05 3/74 15633 /proc/meminfo: memFree=1763264/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1297.68 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24070 0 0 0 129635 133 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1297.68 Current children cumulated vsize (KiB) 104440 [startup+1362.3 s] /proc/loadavg: 2.12 2.16 2.05 3/74 15633 /proc/meminfo: memFree=1763392/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1357.64 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24070 0 0 0 135626 138 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1357.64 Current children cumulated vsize (KiB) 104440 [startup+1422.31 s] /proc/loadavg: 2.49 2.26 2.09 2/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1417.63 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 141623 140 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134544345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1417.63 Current children cumulated vsize (KiB) 104440 [startup+1482.31 s] /proc/loadavg: 2.42 2.27 2.10 3/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1477.6 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 147613 147 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134544475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1477.6 Current children cumulated vsize (KiB) 104440 [startup+1542.3 s] /proc/loadavg: 2.07 2.17 2.07 4/74 15633 /proc/meminfo: memFree=1763264/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1537.57 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 153606 151 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 136295558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1537.57 Current children cumulated vsize (KiB) 104440 [startup+1602.3 s] /proc/loadavg: 2.24 2.18 2.08 3/74 15633 /proc/meminfo: memFree=1763264/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1597.55 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 159599 156 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1597.55 Current children cumulated vsize (KiB) 104440 [startup+1662.3 s] /proc/loadavg: 2.26 2.19 2.09 2/74 15633 /proc/meminfo: memFree=1763264/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1657.52 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 165593 159 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1657.52 Current children cumulated vsize (KiB) 104440 [startup+1722.31 s] /proc/loadavg: 2.33 2.23 2.11 3/74 15633 /proc/meminfo: memFree=1763264/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1717.5 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 171588 162 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1717.5 Current children cumulated vsize (KiB) 104440 [startup+1782.3 s] /proc/loadavg: 2.22 2.23 2.11 4/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1777.46 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 177581 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1777.46 Current children cumulated vsize (KiB) 104440 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.49 2.29 2.13 2/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1787.06 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 178541 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1787.06 Current children cumulated vsize (KiB) 104440 [startup+1798.3 s] /proc/loadavg: 2.45 2.28 2.13 4/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1793.46 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 179181 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (KiB) 104440 [startup+1799.9 s] /proc/loadavg: 2.57 2.31 2.14 3/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1795.05 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 179340 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1795.05 Current children cumulated vsize (KiB) 104440 [startup+1801.51 s] /proc/loadavg: 2.57 2.31 2.14 3/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1796.66 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 179501 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (KiB) 104440 [startup+1802.3 s] /proc/loadavg: 2.57 2.31 2.14 3/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1797.45 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 179580 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 104440 [startup+1802.71 s] /proc/loadavg: 2.57 2.31 2.14 3/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1797.86 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 179621 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 104440 [startup+1802.8 s] /proc/loadavg: 2.57 2.31 2.14 3/74 15633 /proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956 [pid=15624] ppid=15622 vsize=104440 CPUtime=1797.96 /proc/15624/stat : 15624 (bsolo) R 15622 15624 15304 0 -1 4194304 24169 0 0 0 179631 165 0 0 25 0 1 0 184676118 106946560 23704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15624/statm: 26110 23704 197 640 0 25466 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 104440 Child status: 0 Real time (s): 1802.87 CPU time (s): 1798.03 CPU user time (s): 1796.36 CPU system time (s): 1.67474 CPU usage (%): 99.7316 Max. virtual memory (cumulated for all children) (KiB): 105144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.36 system time used= 1.67474 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24171 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= 14062 runsolver used 2.6126 second user time and 6.43902 second system time The end
Begin job on node81 at 2009-06-16 18:46:12 IDJOB=1877053 IDBENCH=2637 IDSOLVER=699 FILE ID=node81/1877053-1245170772 PBS_JOBID= 9363864 Free space on /tmp= 126776 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877053-1245170772/watcher-1877053-1245170772 -o /tmp/evaluation-result-1877053-1245170772/solver-1877053-1245170772 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877053-1245170772.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611 RANDOM SEED=957405564 node81.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.268 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.268 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858600 kB Buffers: 25092 kB Cached: 79424 kB SwapCached: 0 kB Active: 55128 kB Inactive: 81060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858600 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4252 kB Writeback: 0 kB Mapped: 43084 kB Slab: 45828 kB Committed_AS: 607236 kB PageTables: 2124 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877053-1245170772.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-16 19:16:15