Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 41 | 1798.06 | 1798.93 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 56.4654 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1108 |
Total number of constraints | 2313 |
Number of constraints which are clauses | 2313 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 295 |
Number of terms in the objective function | 1108 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1108 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1108 |
Number of bits of the biggest sum of numbers | 11 |
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-1877033-1245172907.opb 0.00/0.00 c File size is 598740 bytes. 0.00/0.07 c Highest Coefficient sum: 1108 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.077 s 0.00/0.08 c Var: 1108 Constr: 2313 2313/0/0 Lit: 73571 Watch. Lit: 4610 0.00/0.08 c Obj. Vars: 1108 (100 % of total variables) 0.39/0.49 c Formula reductions applied at preprocessing 0.39/0.49 c Pre-processing Time: 0.498 s 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 0 966 1799 67169 37 3598 599 0 0 0.50 0.69/0.74 c Initial Lower Bound: 35 0.69/0.74 c Initial Path Cost: 13 0.69/0.74 o 53 7.29/7.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.29/7.32 c 0 966 1800 68135 37 4526 1599 1 0 0.74 7.29/7.32 o 51 25.27/25.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.27/25.32 c 0 966 1801 69101 38 5456 2599 2 0 7.32 25.27/25.32 c 100 966 2090 236294 113 6034 2859 291 6 16.35 25.27/25.32 o 50 223.58/223.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 223.58/223.71 c 140 966 2198 287308 130 7179 2599 399 5 25.31 223.58/223.71 c 246 966 2514 483824 192 7811 2859 715 6 35.55 223.58/223.71 c 496 966 3231 910275 281 9245 3145 1432 9 49.86 223.58/223.71 c 971 966 4589 1761410 383 11961 3460 2790 12 80.20 223.58/223.71 c 1784 966 4221 1283009 303 9371 3807 2422 17 104.54 223.58/223.71 c 3115 966 4675 1510007 322 10279 4188 2876 22 139.89 223.58/223.71 c 5202 966 4895 1604232 327 10719 4607 3096 24 215.56 223.58/223.71 o 49 230.68/230.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 230.68/230.84 c 5266 966 5080 1710923 336 12019 1599 3281 23 223.60 230.68/230.84 o 48 237.08/237.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 237.08/237.29 c 5271 966 2611 478322 183 7083 1599 812 22 230.74 237.08/237.29 o 47 266.26/266.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 266.26/266.45 c 5275 966 2622 485520 185 8037 1599 823 22 237.17 266.26/266.45 c 5375 966 2920 664042 227 8633 1759 1121 21 244.97 266.26/266.45 c 5625 966 3568 1054323 295 9929 1935 1769 21 259.00 266.26/266.45 o 46 543.33/543.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 543.33/543.68 c 5640 966 3608 1077672 298 10942 1599 1809 21 266.32 543.33/543.68 c 5744 966 2890 684000 236 6713 1759 1091 20 275.05 543.33/543.68 c 5994 966 3596 1100119 305 8125 1935 1797 20 286.67 543.33/543.68 c 6476 966 3145 854906 271 7223 2129 1346 21 303.75 543.33/543.68 c 7290 966 3526 1049834 297 7985 2342 1727 22 328.73 543.33/543.68 c 8616 966 3230 901619 279 7393 2577 1431 23 360.89 543.33/543.68 c 10698 966 3319 912626 274 7571 2835 1520 26 411.15 543.33/543.68 c 13921 966 3768 1201438 318 8469 3119 1969 28 485.74 543.33/543.68 o 45 643.09/643.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 643.09/643.46 c 15276 966 3385 860749 254 8637 1599 1586 28 543.42 643.09/643.46 c 15407 966 2600 472372 181 6134 1759 801 27 551.64 643.09/643.46 c 15657 966 3318 850050 256 7570 1935 1519 27 562.37 643.09/643.46 c 16134 966 3069 745464 242 7072 2129 1270 27 578.32 643.09/643.46 c 16948 966 3740 1096325 293 8414 2342 1941 28 601.14 643.09/643.46 c 18269 966 3995 1206569 302 8924 2577 2196 28 635.50 643.09/643.46 o 44 1208.11/1208.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1208.11/1208.71 c 18359 966 4259 1357550 318 10387 1599 2460 28 643.16 1208.11/1208.71 c 18465 966 2911 659728 226 6757 1759 1112 28 650.98 1208.11/1208.71 c 18715 966 3644 1057845 290 8223 1935 1845 28 662.19 1208.11/1208.71 c 19197 966 3428 947069 276 7791 2129 1629 28 678.43 1208.11/1208.71 c 20012 966 2865 634110 221 6665 2342 1066 28 704.08 1208.11/1208.71 c 21333 966 3062 735641 240 7059 2577 1263 28 740.81 1208.11/1208.71 c 23414 966 3300 816700 247 7535 2835 1501 29 802.01 1208.11/1208.71 c 26641 966 4585 1433088 312 10105 3119 2786 29 902.41 1208.11/1208.71 c 31577 966 3953 1019829 257 8841 3431 2154 30 1036.03 1208.11/1208.71 c 39087 966 4517 1351538 299 9969 3775 2718 32 1201.89 1208.11/1208.71 o 43 1214.80/1215.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1214.80/1215.43 c 39097 966 4543 1365597 300 10957 1599 2744 32 1208.14 1214.80/1215.43 o 42 1264.28/1264.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1264.28/1264.95 c 39108 966 2630 466639 177 7133 1599 831 32 1214.85 1264.28/1264.95 c 39210 966 2936 627941 213 7745 1759 1137 32 1222.26 1264.28/1264.95 c 39463 966 3694 1009638 273 9261 1935 1895 31 1234.79 1264.28/1264.95 c 39950 966 3561 919494 258 8059 2129 1762 31 1254.72 1264.28/1264.95 o 41 1798.03/1798.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.03/1798.91 c 40148 966 2865 601785 210 6668 1599 1066 31 1264.35 1798.03/1798.91 c 40252 966 3173 761368 239 7284 1759 1374 31 1271.65 1798.03/1798.91 c 40506 966 2683 512186 190 6304 1935 884 31 1282.58 1798.03/1798.91 c 40981 966 2768 552723 199 6474 2129 969 31 1298.57 1798.03/1798.91 c 41800 966 3505 912780 260 7948 2342 1706 31 1320.95 1798.03/1798.91 c 43120 966 3657 966325 264 8252 2577 1858 31 1358.30 1798.03/1798.91 c 45201 966 3989 1151889 288 8916 2835 2190 31 1413.59 1798.03/1798.91 c 48426 966 3218 710406 220 7374 3119 1419 32 1491.68 1798.03/1798.91 c 53367 966 4612 1395164 302 10162 3431 2813 32 1621.26 1798.03/1798.91 c Resources Exceeded 1798.03/1798.91 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 -x1108 1798.03/1798.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.03/1798.91 c 53 60270 10481 126342 4062 1052482 2263 33 1798.05 1798.03/1798.91 c Objective: 41 1798.03/1798.91 s SATISFIABLE 1798.03/1798.91 c Total time: 1798.05 s
OK 41
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877033-1245172907/watcher-1877033-1245172907 -o /tmp/evaluation-result-1877033-1245172907/solver-1877033-1245172907 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877033-1245172907.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.99 0.98 0.99 3/64 3034 /proc/meminfo: memFree=1850224/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=19124 CPUtime=0 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 184887149 19582976 239 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 4781 239 176 640 0 3990 0 [startup+0.103747 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3034 /proc/meminfo: memFree=1850224/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=13080 CPUtime=0.09 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 1013 0 0 0 9 0 0 0 18 0 1 0 184887149 13393920 850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3270 850 190 640 0 2626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13080 [startup+0.201764 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3034 /proc/meminfo: memFree=1850224/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=13080 CPUtime=0.19 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 1013 0 0 0 19 0 0 0 18 0 1 0 184887149 13393920 850 1992294400 134512640 137136520 4294956256 18446744073709551615 134532610 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3270 850 190 640 0 2626 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13080 [startup+0.301781 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3034 /proc/meminfo: memFree=1850224/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=13080 CPUtime=0.29 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 1013 0 0 0 29 0 0 0 19 0 1 0 184887149 13393920 850 1992294400 134512640 137136520 4294956256 18446744073709551615 136509052 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3270 850 190 640 0 2626 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13080 [startup+0.701856 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3034 /proc/meminfo: memFree=1850224/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=15820 CPUtime=0.69 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 12381 0 0 0 65 4 0 0 23 0 1 0 184887149 16199680 1457 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3955 1457 282 640 0 3311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15820 [startup+1.50201 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1846376/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=16548 CPUtime=1.49 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 29548 0 0 0 139 10 0 0 25 0 1 0 184887149 16945152 1375 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 4137 1375 290 640 0 3493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16548 [startup+3.10131 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1845864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=15864 CPUtime=3.09 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 68545 0 0 0 282 27 0 0 25 0 1 0 184887149 16244736 1314 1992294400 134512640 137136520 4294956256 18446744073709551615 135430351 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3966 1315 290 640 0 3322 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15864 [startup+6.30191 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1845616/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=14220 CPUtime=6.29 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 164719 0 0 0 565 64 0 0 25 0 1 0 184887149 14561280 1247 1992294400 134512640 137136520 4294956256 18446744073709551615 135781746 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3555 1247 290 640 0 2911 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14220 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1845360/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=13692 CPUtime=12.69 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 338933 0 0 0 1139 130 0 0 25 0 1 0 184887149 14020608 1116 1992294400 134512640 137136520 4294956256 18446744073709551615 134748187 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 3423 1116 291 640 0 2779 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13692 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1843760/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=16808 CPUtime=25.48 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 827350 0 0 0 2226 322 0 0 25 0 1 0 184887149 17211392 1874 1992294400 134512640 137136520 4294956256 18446744073709551615 136526053 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 4202 1878 293 640 0 3558 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16808 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1836272/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=26884 CPUtime=51.06 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 1797465 0 0 0 4404 702 0 0 25 0 1 0 184887149 27529216 3930 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 6588 3910 339 640 0 5944 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 26884 [startup+102.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1815280/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=44128 CPUtime=102.24 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 3816256 0 0 0 8717 1507 0 0 25 0 1 0 184887149 45187072 8727 1992294400 134512640 137136520 4294956256 18446744073709551615 134748237 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 11032 8727 293 640 0 10388 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 44128 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1814192/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=46132 CPUtime=162.21 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 5212960 0 0 0 14133 2088 0 0 25 0 1 0 184887149 47239168 9044 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 11533 9056 293 640 0 10889 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 46132 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810224/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49180 CPUtime=222.19 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 6889726 0 0 0 19454 2765 0 0 25 0 1 0 184887149 50360320 9990 1992294400 134512640 137136520 4294956256 18446744073709551615 134748266 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12295 9990 293 640 0 11651 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 49180 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810416/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49128 CPUtime=282.15 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8118404 0 0 0 24946 3269 0 0 25 0 1 0 184887149 50307072 9977 1992294400 134512640 137136520 4294956256 18446744073709551615 134748052 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12282 9977 293 640 0 11638 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 49128 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49412 CPUtime=342.12 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8846539 0 0 0 30624 3588 0 0 25 0 1 0 184887149 50597888 10026 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12353 10026 293 640 0 11709 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 49412 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=402.1 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875846 0 0 0 36608 3602 0 0 25 0 1 0 184887149 50761728 9949 1992294400 134512640 137136520 4294956256 18446744073709551615 135407524 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9949 293 640 0 11749 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 49572 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=462.07 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 42603 3604 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 135387431 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 49572 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=522.04 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 48598 3606 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 135455582 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 49572 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=582.01 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 54593 3608 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 135455844 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 49572 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=641.99 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 60589 3610 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 135378572 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 49572 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1810864/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1121.76 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 108554 3622 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 49572 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810800/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1181.72 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 114549 3623 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 134748146 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 49572 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810672/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1241.7 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 120544 3626 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 134748895 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 49572 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810608/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1301.67 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875847 0 0 0 126539 3628 0 0 25 0 1 0 184887149 50761728 9950 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9950 293 640 0 11749 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 49572 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810672/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1361.64 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 132535 3629 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 49572 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810672/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1421.61 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 138530 3631 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134748140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 49572 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810672/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1481.58 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 144525 3633 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134748929 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 49572 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810672/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1541.55 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 150521 3634 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 135781789 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 49572 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810608/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1601.51 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 156516 3635 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 136504060 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1601.51 Current children cumulated vsize (KiB) 49572 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810608/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1661.49 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 162512 3637 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 135248938 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 49572 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810608/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1721.46 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 168508 3638 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 135249186 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 49572 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1781.43 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 174504 3639 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134748170 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (KiB) 49572 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1791.14 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 175474 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134728828 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 49572 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1794.33 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 175793 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 136498222 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (KiB) 49572 [startup+1796.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1795.93 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 175953 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 135356696 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 49572 [startup+1797.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1796.73 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 176033 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 49572 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1797.53 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 176113 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134742948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 49572 [startup+1798.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1797.93 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 176153 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 135385310 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 49572 [startup+1798.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3035 /proc/meminfo: memFree=1810480/2055920 swapFree=4182544/4192956 [pid=3034] ppid=3032 vsize=49572 CPUtime=1798.03 /proc/3034/stat : 3034 (bsolo) R 3032 3034 2803 0 -1 4194304 8875848 0 0 0 176163 3640 0 0 25 0 1 0 184887149 50761728 9951 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3034/statm: 12393 9951 294 640 0 11749 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 49572 Child status: 0 Real time (s): 1798.93 CPU time (s): 1798.06 CPU user time (s): 1761.65 CPU system time (s): 36.4075 CPU usage (%): 99.9518 Max. virtual memory (cumulated for all children) (KiB): 52348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.65 system time used= 36.4075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8875850 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= 7028 runsolver used 1.57276 second user time and 4.97724 second system time The end
Begin job on node47 at 2009-06-16 19:21:47 IDJOB=1877033 IDBENCH=2883 IDSOLVER=699 FILE ID=node47/1877033-1245172907 PBS_JOBID= 9363882 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877033-1245172907/watcher-1877033-1245172907 -o /tmp/evaluation-result-1877033-1245172907/solver-1877033-1245172907 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877033-1245172907.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED=1847146155 node47.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.261 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850704 kB Buffers: 40316 kB Cached: 98220 kB SwapCached: 4196 kB Active: 35532 kB Inactive: 110888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850704 kB SwapTotal: 4192956 kB SwapFree: 4182544 kB Dirty: 4524 kB Writeback: 0 kB Mapped: 13628 kB Slab: 44704 kB Committed_AS: 178020 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877033-1245172907.opb Free space on /tmp at the end= 65948 MiB End job on node47 at 2009-06-16 19:51:47