Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -40 | 1798.21 | 1798.76 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb |
MD5SUM | 29f577041bedcbf69a98210424b233be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -42 |
Best CPU time to get the best result obtained on this benchmark | 1794.81 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 81068 |
Number of constraints which are clauses | 81068 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
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 | 1150 |
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 | 1150 |
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: Clause 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-1878471-1245167474.opb 0.00/0.00 c File size is 1960073 bytes. 0.19/0.24 c Highest Coefficient sum: 1150 0.19/0.24 c Parsing was ok!! 0.19/0.24 c Total parsing time: 0.24 s 0.19/0.26 c Var: 1150 Constr: 81068 81068/0/0 Lit: 162136 Watch. Lit: 162136 0.19/0.26 c Obj. Vars: 1150 (100 % of total variables) 2.29/2.34 c Pre-processing Time: 2.339 s 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 1150 81068 162136 2 162136 27022 0 0 2.34 2.29/2.34 c Switching off lower bounding mode. 2.29/2.35 o -34 2.29/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.36 c 0 1150 81069 163286 2 162172 28022 1 0 2.36 2.29/2.36 o -35 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 6 1150 81076 171118 2 162221 28022 8 2 2.37 2.29/2.37 o -37 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 6 1150 81077 172268 2 162260 28022 9 2 2.37 2.29/2.37 o -38 244.11/244.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 244.11/244.25 c 6 1150 81078 173418 2 162300 28022 10 2 2.38 244.11/244.25 c 108 1150 81180 286483 3 162504 30825 112 43 2.46 244.11/244.25 c 359 1150 81431 564660 6 163006 33908 363 136 2.64 244.11/244.25 c 834 1150 81906 1090457 13 163956 37299 838 273 3.05 244.11/244.25 c 1648 1150 82720 1992612 24 165584 41029 1652 432 3.81 244.11/244.25 c 2969 1150 84041 3456354 41 168226 45132 2973 579 5.12 244.11/244.25 c 5051 1150 86123 5763205 66 172390 49646 5055 619 8.15 244.11/244.25 c 8276 1150 89348 9335595 104 178840 54611 8280 657 12.60 244.11/244.25 c 13214 1150 94286 14807596 157 188716 60073 13218 631 20.91 244.11/244.25 c 20722 1150 101794 23128129 227 203732 66081 20726 536 38.60 244.11/244.25 c 32083 1150 113155 35720196 315 226454 72690 32087 480 66.80 244.11/244.25 c 49227 1150 130299 54707476 419 260742 79960 49231 337 145.86 244.11/244.25 o -39 1233.21/1233.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1233.21/1233.63 c 68453 1150 149526 76014283 508 299235 28022 68458 280 244.18 1233.21/1233.63 c 68555 1150 93074 13467446 144 186187 30825 12006 251 272.92 1233.21/1233.63 c 68806 1150 93325 13745429 147 186689 33908 12257 251 273.27 1233.21/1233.63 c 69282 1150 93801 14272387 152 187641 37299 12733 253 273.84 1233.21/1233.63 c 70095 1150 94614 15171876 160 189267 41029 13546 255 274.77 1233.21/1233.63 c 71415 1150 95934 16633191 173 191907 45132 14866 257 277.82 1233.21/1233.63 c 73496 1150 98015 18936646 193 196069 49646 16947 262 280.31 1233.21/1233.63 c 76719 1150 101238 22504754 222 202515 54611 20170 265 288.80 1233.21/1233.63 c 81655 1150 106174 27970981 263 212387 60073 25106 274 297.53 1233.21/1233.63 c 89162 1150 113681 36279243 319 227401 66081 32613 275 323.52 1233.21/1233.63 c 100523 1150 125042 48851742 390 250123 72690 43974 271 370.76 1233.21/1233.63 c 117667 1150 142186 67831893 477 284411 79960 61118 256 458.73 1233.21/1233.63 c 143487 1150 99055 20073536 202 198149 87957 17987 243 590.24 1233.21/1233.63 c 182319 1150 137887 63060899 457 275813 96753 56819 230 791.33 1233.21/1233.63 c 240671 1150 110630 32877997 297 221299 106429 29562 202 1187.40 1233.21/1233.63 o -40 1797.94/1798.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.55 c 248263 1150 118223 41287244 349 236525 28022 37155 201 1233.25 1797.94/1798.55 c 248365 1150 92497 12815686 138 185034 30825 11429 199 1246.89 1797.94/1798.55 c 248615 1150 92747 13092236 141 185534 33908 11679 199 1247.17 1797.94/1798.55 c 249091 1150 93223 13618853 146 186486 37299 12155 199 1247.77 1797.94/1798.55 c 249904 1150 94036 14517959 154 188112 41029 12968 200 1248.80 1797.94/1798.55 c 251224 1150 95356 15977364 167 190752 45132 14288 200 1250.50 1797.94/1798.55 c 253305 1150 97437 18278232 187 194914 49646 16369 202 1253.23 1797.94/1798.55 c 256528 1150 100660 21843602 217 201360 54611 19592 203 1258.71 1797.94/1798.55 c 261465 1150 105597 27303196 258 211234 60073 24529 206 1268.46 1797.94/1798.55 c 268972 1150 113104 35602428 314 226248 66081 32036 207 1294.31 1797.94/1798.55 c 280333 1150 124465 48162492 386 248970 72690 43397 212 1322.10 1797.94/1798.55 c 297477 1150 141609 67123436 474 283258 79960 60541 215 1379.91 1797.94/1798.55 c 323297 1150 98464 19401479 197 196968 87957 17396 207 1560.52 1797.94/1798.55 c 362129 1150 137296 62340089 454 274632 96753 56228 202 1791.43 1797.94/1798.55 c Resources Exceeded 1797.94/1798.55 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -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 -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 -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 -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 -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 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 1797.94/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.55 c 44 363271 30657 403107 138438 63603339 57370 202 1798.00 1797.94/1798.55 c Objective: -40 1797.94/1798.55 s SATISFIABLE 1797.94/1798.55 c Total time: 1798 s
OK -40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878471-1245167474/watcher-1878471-1245167474 -o /tmp/evaluation-result-1878471-1245167474/solver-1878471-1245167474 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878471-1245167474.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/65 26664 /proc/meminfo: memFree=950248/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=12640 CPUtime=0 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 96169231 12943360 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 3160 249 175 640 0 2037 0 [startup+0.0687611 s] /proc/loadavg: 1.00 1.00 0.91 3/65 26664 /proc/meminfo: memFree=950248/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=14840 CPUtime=0.06 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 927 0 0 0 6 0 0 0 20 0 1 0 96169231 15196160 911 1992294400 134512640 137136520 4294956256 18446744073709551615 136486003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 3710 911 301 640 0 2587 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14840 [startup+0.101765 s] /proc/loadavg: 1.00 1.00 0.91 3/65 26664 /proc/meminfo: memFree=950248/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=15940 CPUtime=0.09 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 1266 0 0 0 9 0 0 0 20 0 1 0 96169231 16322560 1250 1992294400 134512640 137136520 4294956256 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 3985 1250 367 640 0 2862 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15940 [startup+0.301789 s] /proc/loadavg: 1.00 1.00 0.91 3/65 26664 /proc/meminfo: memFree=950248/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=22524 CPUtime=0.29 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 3691 0 0 0 28 1 0 0 22 0 1 0 96169231 23064576 3196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 5631 3196 188 640 0 4987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22524 [startup+0.70184 s] /proc/loadavg: 1.00 1.00 0.91 3/65 26664 /proc/meminfo: memFree=950248/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=25176 CPUtime=0.69 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 4349 0 0 0 67 2 0 0 25 0 1 0 96169231 25780224 3854 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 6294 3854 190 640 0 5650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25176 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=935520/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=25176 CPUtime=1.49 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 4349 0 0 0 146 3 0 0 25 0 1 0 96169231 25780224 3854 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 6294 3854 190 640 0 5650 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25176 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=935392/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=35344 CPUtime=3.09 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 8128 0 0 0 303 6 0 0 25 0 1 0 96169231 36192256 6420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 8836 6420 196 640 0 8192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35344 [startup+6.30154 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=886624/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=78692 CPUtime=6.28 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 18955 0 0 0 617 11 0 0 25 0 1 0 96169231 80580608 17247 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 19673 17247 196 640 0 19029 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 78692 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=822184/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=141244 CPUtime=12.69 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 34605 0 0 0 1249 20 0 0 25 0 1 0 96169231 144633856 32897 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 35311 32897 196 640 0 34667 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 141244 [startup+25.5029 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=716776/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=249752 CPUtime=25.49 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 61737 0 0 0 2517 32 0 0 25 0 1 0 96169231 255746048 60029 1992294400 134512640 137136520 4294956256 18446744073709551615 134572140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 62438 60029 196 640 0 61794 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 249752 [startup+51.1021 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=551464/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=409416 CPUtime=51.08 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 101643 0 0 0 5054 54 0 0 25 0 1 0 96169231 419241984 99935 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 102354 99935 196 640 0 101710 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 409416 [startup+102.303 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=343272/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=618068 CPUtime=102.26 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 153821 0 0 0 10143 83 0 0 25 0 1 0 96169231 632901632 152113 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 154517 152113 196 640 0 153873 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 618068 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=174312/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=786272 CPUtime=162.24 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 195869 0 0 0 16117 107 0 0 25 0 1 0 96169231 805142528 194161 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 196568 194161 196 640 0 195924 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 786272 [startup+222.303 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=16296/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=951108 CPUtime=222.22 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 237080 0 0 0 22091 131 0 0 25 0 1 0 96169231 973934592 235372 1992294400 134512640 137136520 4294956256 18446744073709551615 134572140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 237777 235372 196 640 0 237133 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 951108 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=993688 CPUtime=282.2 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 247766 0 0 0 28081 139 0 0 25 0 1 0 96169231 1017536512 245991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 248422 245991 196 640 0 247778 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 993688 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=993688 CPUtime=342.18 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 247766 0 0 0 34076 142 0 0 25 0 1 0 96169231 1017536512 245991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 248422 245991 196 640 0 247778 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 993688 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=993688 CPUtime=402.17 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 247766 0 0 0 40071 146 0 0 25 0 1 0 96169231 1017536512 245991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 248422 245991 196 640 0 247778 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 993688 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=15720/2055920 swapFree=4192956/4192956 [pid=26664] ppid=26662 vsize=993688 CPUtime=462.15 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 247766 0 0 0 46067 148 0 0 25 0 1 0 96169231 1017536512 245991 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 248422 245991 196 640 0 247778 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 993688 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=15336/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1112444 CPUtime=522.13 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 277473 0 0 0 52045 168 0 0 25 0 1 0 96169231 1139142656 275698 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 278111 275698 196 640 0 277467 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1112444 [startup+582.306 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26665 /proc/meminfo: memFree=15208/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1171780 CPUtime=582.12 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 292394 0 0 0 58034 178 0 0 25 0 1 0 96169231 1199902720 290539 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 292945 290539 196 640 0 292301 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1171780 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16872/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1171780 CPUtime=642.09 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 292394 0 0 0 64028 181 0 0 25 0 1 0 96169231 1199902720 290539 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 292945 290539 196 640 0 292301 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1171780 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1061.97 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 105969 228 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1409448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1121.95 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 111964 231 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1409448 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1181.93 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 117960 233 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1409448 [startup+1242.31 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1241.91 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 123956 235 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1409448 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1301.89 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 129950 239 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1409448 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1361.87 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 135944 243 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1409448 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16104/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1421.85 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 141937 248 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1409448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16040/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1481.84 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 147933 251 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1409448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=16040/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1541.81 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 153930 251 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1409448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15976/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1601.79 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 159924 255 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1409448 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15976/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1661.78 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 165920 258 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1409448 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1721.76 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 171916 260 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 136295557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1409448 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1781.75 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 177912 263 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1409448 Solver just ended. Dumping a history of the last processes samples [startup+1792.31 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1791.75 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 178912 263 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1791.75 Current children cumulated vsize (KiB) 1409448 [startup+1795.5 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1794.94 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 179231 263 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1794.94 Current children cumulated vsize (KiB) 1409448 [startup+1797.1 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1796.54 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 179391 263 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (KiB) 1409448 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1797.34 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 179471 263 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1797.34 Current children cumulated vsize (KiB) 1409448 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=1409448 CPUtime=1797.74 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194304 351882 0 0 0 179511 263 0 0 25 0 1 0 96169231 1443274752 349931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 352362 349931 196 640 0 351718 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 1409448 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.91 2/66 26671 /proc/meminfo: memFree=15912/2055920 swapFree=4192952/4192956 [pid=26664] ppid=26662 vsize=0 CPUtime=1798.14 /proc/26664/stat : 26664 (bsolo) R 26662 26664 26457 0 -1 4194308 351884 0 0 0 179536 278 0 0 25 0 1 0 96169231 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26664/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.76 CPU time (s): 1798.21 CPU user time (s): 1795.36 CPU system time (s): 2.84657 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 1409448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.36 system time used= 2.84657 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 351884 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= 3742 runsolver used 2.00069 second user time and 4.52031 second system time The end
Begin job on node92 at 2009-06-16 17:51:14 IDJOB=1878471 IDBENCH=2261 IDSOLVER=700 FILE ID=node92/1878471-1245167474 PBS_JOBID= 9363866 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878471-1245167474/watcher-1878471-1245167474 -o /tmp/evaluation-result-1878471-1245167474/solver-1878471-1245167474 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878471-1245167474.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29f577041bedcbf69a98210424b233be RANDOM SEED=391869200 node92.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.233 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.233 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: 950728 kB Buffers: 48896 kB Cached: 971036 kB SwapCached: 0 kB Active: 537776 kB Inactive: 495996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 950728 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5856 kB Writeback: 0 kB Mapped: 23592 kB Slab: 57288 kB Committed_AS: 62840 kB PageTables: 1464 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-1878471-1245167474.opb Free space on /tmp at the end= 66468 MiB End job on node92 at 2009-06-16 18:21:13