Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 43 | 1798.01 | 1798.48 |
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: Generic Pseudo-Boolean 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-1879893-1245240059.opb 0.00/0.00 c File size is 598740 bytes. 0.07/0.08 c Highest Coefficient sum: 1108 0.07/0.08 c Parsing was ok!! 0.07/0.08 c Total parsing time: 0.084 s 0.07/0.08 c Var: 1108 Constr: 2313 2313/0/0 Lit: 73571 Watch. Lit: 4610 0.07/0.08 c Obj. Vars: 1108 (100 % of total variables) 0.49/0.53 c Formula reductions applied at preprocessing 0.49/0.53 c Pre-processing Time: 0.533 s 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 0 966 1799 67169 37 3598 599 0 0 0.53 0.69/0.79 c Initial Lower Bound: 35 0.69/0.79 c Initial Path Cost: 13 0.69/0.79 o 53 7.78/7.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.78/7.87 c 0 966 1800 68135 37 4526 1599 1 0 0.79 7.78/7.87 o 51 26.98/27.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.98/27.05 c 0 966 1801 69101 38 5456 2599 2 0 7.87 26.98/27.05 c 100 966 2090 236294 113 6034 2859 291 5 17.50 26.98/27.05 o 50 239.33/239.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 239.33/239.42 c 140 966 2198 287308 130 7179 2599 399 5 27.04 239.33/239.42 c 246 966 2514 483824 192 7811 2859 715 6 37.99 239.33/239.42 c 496 966 3231 910275 281 9245 3145 1432 9 53.29 239.33/239.42 c 971 966 4589 1761410 383 11961 3460 2790 11 85.72 239.33/239.42 c 1784 966 4221 1283011 303 9371 3807 2422 15 111.79 239.33/239.42 c 3115 966 4675 1509784 322 10279 4188 2876 20 149.82 239.33/239.42 c 5198 966 4835 1578770 326 10599 4607 3036 22 230.65 239.33/239.42 o 49 255.72/255.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 255.72/255.89 c 5287 966 5095 1730392 339 12049 1599 3296 22 239.36 255.72/255.89 c 5387 966 2870 634888 221 6670 1759 1071 21 248.46 255.72/255.89 o 48 263.12/263.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 263.12/263.21 c 5399 966 2902 654384 225 7665 1599 1103 21 255.82 263.12/263.21 o 47 270.72/270.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 270.72/270.80 c 5401 966 2909 658992 226 8611 1599 1110 20 263.14 270.72/270.80 o 46 299.91/300.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 299.91/300.06 c 5406 966 2925 669228 228 9576 1599 1126 19 270.73 299.91/300.06 c 5514 966 3241 860106 265 10208 1759 1442 19 280.15 299.91/300.06 c 5766 966 2680 562840 210 6293 1935 881 19 293.04 299.91/300.06 o 45 364.19/364.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 364.19/364.34 c 5769 966 2690 569563 211 7247 1599 891 19 299.98 364.19/364.34 c 5869 966 2958 727374 245 7783 1759 1159 18 312.68 364.19/364.34 c 6119 966 2680 579990 216 6294 1935 881 18 331.94 364.19/364.34 c 6594 966 2768 634974 229 6470 2129 969 18 350.21 364.19/364.34 o 44 767.39/767.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 767.39/767.60 c 6891 966 3584 1089095 303 9037 1599 1785 18 364.25 767.39/767.60 c 6993 966 2868 680574 237 6671 1759 1069 18 372.97 767.39/767.60 c 7243 966 3617 1065264 294 8169 1935 1818 18 395.07 767.39/767.60 c 7758 966 3358 918104 273 7651 2129 1559 18 414.00 767.39/767.60 c 8584 966 2865 594419 207 6665 2342 1066 18 476.24 767.39/767.60 c 9904 966 3228 758414 234 7391 2577 1429 17 557.08 767.39/767.60 c 11986 966 3734 996250 266 8403 2835 1935 17 669.08 767.39/767.60 c 15209 966 3218 724878 225 7371 3119 1419 20 747.99 767.39/767.60 o 43 1797.93/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.47 c 15610 966 4405 1333591 302 10681 1599 2606 20 767.40 1797.93/1798.47 c 15719 966 2926 605439 206 6788 1759 1127 20 775.35 1797.93/1798.47 c 15971 966 3676 962704 261 8288 1935 1877 20 789.40 1797.93/1798.47 c 16453 966 3529 887740 251 7994 2129 1730 20 808.33 1797.93/1798.47 c 17295 966 2865 549887 191 6666 2342 1066 20 838.13 1797.93/1798.47 c 18623 966 3312 653806 197 7560 2577 1513 21 871.55 1797.93/1798.47 c 20708 966 3693 955986 258 8322 2835 1894 22 922.81 1797.93/1798.47 c 23936 966 3294 715245 217 7524 3119 1495 23 1014.25 1797.93/1798.47 c 28880 966 3360 687943 204 7656 3431 1561 25 1153.73 1797.93/1798.47 c 36390 966 4889 1387535 283 10714 3775 3090 26 1348.67 1797.93/1798.47 c 47751 966 3688 848909 230 8312 4153 1889 29 1643.27 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 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 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 40 53765 7231 111418 5333 1522330 3534 29 1798.00 1797.93/1798.47 c Objective: 43 1797.93/1798.47 s SATISFIABLE 1797.93/1798.47 c Total time: 1798 s
OK 43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879893-1245240059/watcher-1879893-1245240059 -o /tmp/evaluation-result-1879893-1245240059/solver-1879893-1245240059 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879893-1245240059.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.91 3/64 13168 /proc/meminfo: memFree=1842008/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=19124 CPUtime=0 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 191603152 19582976 235 1992294400 134512640 137136520 4294956256 18446744073709551615 136394370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 4781 235 174 640 0 3990 0 [startup+0.0776549 s] /proc/loadavg: 0.99 0.98 0.91 3/64 13168 /proc/meminfo: memFree=1842008/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=12220 CPUtime=0.07 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 618 0 0 0 7 0 0 0 18 0 1 0 191603152 12513280 602 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 3055 602 302 640 0 2264 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12220 [startup+0.101658 s] /proc/loadavg: 0.99 0.98 0.91 3/64 13168 /proc/meminfo: memFree=1842008/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=13080 CPUtime=0.09 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 1013 0 0 0 9 0 0 0 18 0 1 0 191603152 13393920 850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 3270 850 190 640 0 2626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13080 [startup+0.301679 s] /proc/loadavg: 0.99 0.98 0.91 3/64 13168 /proc/meminfo: memFree=1842008/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=13080 CPUtime=0.29 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 1013 0 0 0 29 0 0 0 19 0 1 0 191603152 13393920 850 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 3270 850 190 640 0 2626 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13080 [startup+0.701722 s] /proc/loadavg: 0.99 0.98 0.91 3/64 13168 /proc/meminfo: memFree=1842008/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=15820 CPUtime=0.69 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 12339 0 0 0 65 4 0 0 22 0 1 0 191603152 16199680 1415 1992294400 134512640 137136520 4294956256 18446744073709551615 135356602 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 3955 1415 282 640 0 3311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15820 [startup+1.50181 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13169 /proc/meminfo: memFree=1838096/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=15904 CPUtime=1.49 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 28789 0 0 0 137 12 0 0 25 0 1 0 191603152 16285696 1303 1992294400 134512640 137136520 4294956256 18446744073709551615 135410687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 3976 1303 290 640 0 3332 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15904 [startup+3.10198 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1837960/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=16652 CPUtime=3.09 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 62737 0 0 0 283 26 0 0 25 0 1 0 191603152 17051648 1414 1992294400 134512640 137136520 4294956256 18446744073709551615 135468641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 4163 1414 290 640 0 3519 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16652 [startup+6.30133 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1837640/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=17164 CPUtime=6.29 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 151373 0 0 0 567 62 0 0 25 0 1 0 191603152 17575936 1332 1992294400 134512640 137136520 4294956256 18446744073709551615 135471110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 4291 1332 290 640 0 3647 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17164 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1837392/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=16076 CPUtime=12.69 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 311784 0 0 0 1141 128 0 0 25 0 1 0 191603152 16461824 1310 1992294400 134512640 137136520 4294956256 18446744073709551615 135379322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 4019 1310 291 640 0 3375 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16076 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1836048/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=16752 CPUtime=25.48 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 757144 0 0 0 2241 307 0 0 25 0 1 0 191603152 17154048 1850 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 4188 1850 293 640 0 3544 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16752 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1829136/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=26148 CPUtime=51.08 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 1678778 0 0 0 4420 688 0 0 25 0 1 0 191603152 26775552 3708 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 6537 3709 293 640 0 5893 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26148 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1810960/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=44208 CPUtime=102.26 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 3615962 0 0 0 8748 1478 0 0 25 0 1 0 191603152 45268992 8261 1992294400 134512640 137136520 4294956256 18446744073709551615 134728828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 11052 8267 293 640 0 10408 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44208 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1804880/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=47068 CPUtime=162.24 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 4960782 0 0 0 14165 2059 0 0 25 0 1 0 191603152 48197632 9430 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 11767 9430 293 640 0 11123 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 47068 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1801488/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=52336 CPUtime=222.23 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 6572236 0 0 0 19496 2727 0 0 25 0 1 0 191603152 53592064 10292 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 13084 10292 293 640 0 12440 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 52336 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802192/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=52048 CPUtime=282.21 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 7767618 0 0 0 24983 3238 0 0 25 0 1 0 191603152 53297152 10262 1992294400 134512640 137136520 4294956256 18446744073709551615 134838661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 13012 10262 293 640 0 12368 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 52048 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802192/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=50116 CPUtime=342.2 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8782806 0 0 0 30546 3674 0 0 25 0 1 0 191603152 51318784 10094 1992294400 134512640 137136520 4294956256 18446744073709551615 134847325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12529 10094 293 640 0 11885 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 50116 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802960/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49288 CPUtime=402.18 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783232 0 0 0 36542 3676 0 0 25 0 1 0 191603152 50470912 9882 1992294400 134512640 137136520 4294956256 18446744073709551615 134598481 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12322 9882 293 640 0 11678 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49288 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1803024/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=462.17 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 42538 3679 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134849533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 49280 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1803088/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=522.15 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 48534 3681 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134743056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 49280 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1803024/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=582.14 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 54531 3683 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134742979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 49280 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1803024/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=642.12 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 60527 3685 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135438647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 49280 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1802768/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1122 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 108504 3696 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135781746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49280 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802704/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1181.98 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 114501 3697 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135781755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 49280 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802640/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1241.96 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 120498 3698 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135407461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49280 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802640/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1301.95 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 126495 3700 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134849158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 49280 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802576/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1361.93 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 132492 3701 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 49280 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802512/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1421.92 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 138489 3703 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134728824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 49280 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802512/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1481.9 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 144486 3704 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 49280 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802512/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1541.89 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 150484 3705 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135320904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 49280 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802448/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1601.87 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 156481 3706 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135454684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49280 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802384/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1661.86 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 162479 3707 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135781789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 49280 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802384/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1721.84 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 168476 3708 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135249404 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 49280 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1781.83 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 174473 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135386534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 49280 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1791.43 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 175433 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 49280 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1794.63 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 175753 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134748915 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 49280 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1796.22 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 175912 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135248961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 49280 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1797.02 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 175992 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134728818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 49280 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1797.42 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 176032 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 135781789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 49280 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1797.82 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 176072 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134826744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 49280 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.91 2/65 13175 /proc/meminfo: memFree=1802320/2055920 swapFree=4181928/4192956 [pid=13168] ppid=13166 vsize=49280 CPUtime=1797.93 /proc/13168/stat : 13168 (bsolo) R 13166 13168 12930 0 -1 4194304 8783354 0 0 0 176083 3710 0 0 25 0 1 0 191603152 50462720 9872 1992294400 134512640 137136520 4294956256 18446744073709551615 134748148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13168/statm: 12320 9872 293 640 0 11676 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 49280 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798.01 CPU user time (s): 1760.9 CPU system time (s): 37.1094 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 52636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1760.9 system time used= 37.1094 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8783356 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= 2414 runsolver used 1.35579 second user time and 3.89041 second system time The end
Begin job on node37 at 2009-06-17 14:01:00 IDJOB=1879893 IDBENCH=2883 IDSOLVER=701 FILE ID=node37/1879893-1245240059 PBS_JOBID= 9372302 Free space on /tmp= 66164 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879893-1245240059/watcher-1879893-1245240059 -o /tmp/evaluation-result-1879893-1245240059/solver-1879893-1245240059 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879893-1245240059.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED=1782849429 node37.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.232 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.232 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: 1842424 kB Buffers: 21048 kB Cached: 109500 kB SwapCached: 5044 kB Active: 24088 kB Inactive: 114556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842424 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 4712 kB Writeback: 0 kB Mapped: 14380 kB Slab: 60944 kB Committed_AS: 187204 kB PageTables: 1376 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-1879893-1245240059.opb Free space on /tmp at the end= 66160 MiB End job on node37 at 2009-06-17 14:30:58