Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -40 | 1798.11 | 1798.73 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
MD5SUM | dc857dc123c51e1f53f981679774fda8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -41 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
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 | 80072 |
Number of constraints which are clauses | 80072 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656660-1276505284.opb 0.00/0.00 c File size is 1930218 bytes. 0.29/0.31 c Highest Coefficient sum: 1150 0.29/0.31 c Parsing was ok!! 0.29/0.31 c Total parsing time: 0.312 s 0.29/0.34 c Var: 1150 Constr: 80072 80072/0/0 Lit: 160144 Watch. Lit: 160144 0.29/0.34 c Obj. Vars: 1150 (100 % of total variables) 2.29/2.38 c Pre-processing Time: 2.379 s 2.29/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.38 c 0 1150 80072 160144 2 160144 26690 0 0 2.38 2.29/2.38 c Switching off lower bounding mode. 2.29/2.39 o -37 2.59/2.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.63 c 0 1150 80073 161294 2 160183 27690 1 0 2.40 2.59/2.63 c 100 1150 80187 287599 3 160411 30460 115 38 2.60 2.59/2.63 o -38 4.29/4.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.40 c 115 1150 80203 305405 3 160481 27690 131 43 2.64 4.29/4.40 c 215 1150 80312 426130 5 160699 30460 240 76 2.83 4.29/4.40 c 466 1150 80599 743919 9 161273 33507 527 139 3.35 4.29/4.40 c 942 1150 81121 1322161 16 162317 36858 1049 215 4.38 4.29/4.40 o -39 84.15/84.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 84.15/84.21 c 949 1150 81129 1331079 16 162372 27690 1057 215 4.40 84.15/84.21 c 1049 1150 81240 1453901 17 162594 30460 1168 227 4.61 84.15/84.21 c 1299 1150 81521 1764708 21 163156 33507 1449 252 5.15 84.15/84.21 c 1774 1150 82049 2348960 28 164212 36858 1977 284 6.25 84.15/84.21 c 2588 1150 82957 3353957 40 166028 40544 2885 311 8.32 84.15/84.21 c 3908 1150 84450 5005961 59 169014 44599 4378 328 11.91 84.15/84.21 c 5989 1150 86782 7586004 87 173678 49059 6710 322 18.59 84.15/84.21 c 9212 1150 90448 11638498 128 181048 53965 10376 310 29.67 84.15/84.21 c 14148 1150 96039 17822315 185 192230 59362 15967 295 47.88 84.15/84.21 c 21655 1150 104452 27125810 259 209056 65299 24380 270 80.17 84.15/84.21 o -40 1797.97/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.62 c 22454 1150 105347 28116435 266 210886 27690 25275 266 84.19 1797.97/1798.62 c 22554 1150 105461 28242464 267 211114 30460 25389 266 84.71 1797.97/1798.62 c 22804 1150 105733 28543441 269 211658 33507 25661 265 85.92 1797.97/1798.62 c 23279 1150 106252 29117295 274 212696 36858 26180 264 88.14 1797.97/1798.62 c 24092 1150 107166 30127316 281 214524 40544 27094 259 92.80 1797.97/1798.62 c 25412 1150 108631 31745479 292 217454 44599 28559 257 98.78 1797.97/1798.62 c 27493 1150 110962 34321124 309 222116 49059 30890 252 109.09 1797.97/1798.62 c 30716 1150 114632 38373634 334 229456 53965 34560 241 127.38 1797.97/1798.62 c 35652 1150 120173 44495465 370 240538 59362 40101 227 156.96 1797.97/1798.62 c 43158 1150 128609 53816434 418 257410 65299 48537 211 204.19 1797.97/1798.62 c 54521 1150 141210 67743333 479 282685 71829 61138 190 285.59 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1006.18 MB 1797.97/1798.62 c 71665 1150 102269 24675477 241 204651 113207 22197 159 449.88 1797.97/1798.62 c 97484 1150 131356 56804898 432 262862 124528 51284 154 632.27 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1008.39 MB 1797.97/1798.62 c 136317 1150 116655 40544202 347 233387 113122 36583 146 932.99 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1009.54 MB 1797.97/1798.62 c 194670 1150 123770 48335515 390 247649 113048 43698 132 1465.44 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1011.72 MB 1797.97/1798.62 c Resources Exceeded 1797.97/1798.62 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.97/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.62 c 31 232736 17638 254318 108051 31009662 27979 129 1798.01 1797.97/1798.62 c Objective: -40 1797.97/1798.62 s SATISFIABLE 1797.97/1798.62 c Total time: 1798.01 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-2656660-1276505284/watcher-2656660-1276505284 -o /tmp/evaluation-result-2656660-1276505284/solver-2656660-1276505284 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656660-1276505284.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 1.06 3/106 28517 /proc/meminfo: memFree=1801296/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=12820 CPUtime=0 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 26129829 13127680 269 1992294400 134512640 137138936 4293597200 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 3205 269 175 642 0 2089 0 [startup+0.0190179 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28517 /proc/meminfo: memFree=1801296/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=13096 CPUtime=0.01 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 438 0 0 0 1 0 0 0 20 0 1 0 26129829 13410304 357 1992294400 134512640 137138936 4293597200 18446744073709551615 134603287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 3274 358 192 642 0 2158 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13096 [startup+0.101031 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28517 /proc/meminfo: memFree=1801296/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=15156 CPUtime=0.09 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 1062 0 0 0 9 0 0 0 20 0 1 0 26129829 15519744 981 1992294400 134512640 137138936 4293597200 18446744073709551615 136670819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 3789 981 310 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15156 [startup+0.301065 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28517 /proc/meminfo: memFree=1801296/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=20108 CPUtime=0.29 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 2622 0 0 0 29 0 0 0 20 0 1 0 26129829 20590592 2541 1992294400 134512640 137138936 4293597200 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 5027 2541 614 642 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20108 [startup+0.701133 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28517 /proc/meminfo: memFree=1801296/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=24972 CPUtime=0.69 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 4360 0 0 0 67 2 0 0 21 0 1 0 26129829 25571328 3807 1992294400 134512640 137138936 4293597200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 6243 3807 185 642 0 5599 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24972 [startup+1.50127 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28518 /proc/meminfo: memFree=1786532/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=24972 CPUtime=1.49 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 4360 0 0 0 143 6 0 0 23 0 1 0 26129829 25571328 3807 1992294400 134512640 137138936 4293597200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 6243 3807 185 642 0 5599 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24972 [startup+3.10155 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28518 /proc/meminfo: memFree=1786408/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=28064 CPUtime=3.09 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 6353 0 0 0 300 9 0 0 25 0 1 0 26129829 28737536 4592 1992294400 134512640 137138936 4293597200 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 7049 4594 192 642 0 6405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28064 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28518 /proc/meminfo: memFree=1766444/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=50912 CPUtime=6.29 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 12049 0 0 0 617 12 0 0 25 0 1 0 26129829 52133888 10288 1992294400 134512640 137138936 4293597200 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 12728 10288 192 642 0 12084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50912 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28518 /proc/meminfo: memFree=1726268/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=89264 CPUtime=12.69 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 21637 0 0 0 1254 15 0 0 25 0 1 0 26129829 91406336 19876 1992294400 134512640 137138936 4293597200 18446744073709551615 134551866 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 22316 19876 192 642 0 21672 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89264 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28520 /proc/meminfo: memFree=1660424/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=152232 CPUtime=25.48 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 37375 0 0 0 2526 22 0 0 25 0 1 0 26129829 155885568 35614 1992294400 134512640 137138936 4293597200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 38058 35614 192 642 0 37414 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 152232 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28520 /proc/meminfo: memFree=1549444/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=264404 CPUtime=51.07 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 65426 0 0 0 5071 36 0 0 25 0 1 0 26129829 270749696 63665 1992294400 134512640 137138936 4293597200 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 66101 63665 192 642 0 65457 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 264404 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28522 /proc/meminfo: memFree=1373240/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=437332 CPUtime=102.25 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 108655 0 0 0 10163 62 0 0 25 0 1 0 26129829 447827968 106894 1992294400 134512640 137138936 4293597200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 109333 106894 192 642 0 108689 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 437332 [startup+162.301 s] /proc/loadavg: 1.11 1.03 1.06 2/107 28522 /proc/meminfo: memFree=1206088/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=606020 CPUtime=162.23 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 150843 0 0 0 16135 88 0 0 25 0 1 0 26129829 620564480 149082 1992294400 134512640 137138936 4293597200 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 151505 149082 192 642 0 150861 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 606020 [startup+222.3 s] /proc/loadavg: 1.10 1.04 1.06 2/107 28524 /proc/meminfo: memFree=1058776/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=751476 CPUtime=222.21 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 187206 0 0 0 22108 113 0 0 25 0 1 0 26129829 769511424 185445 1992294400 134512640 137138936 4293597200 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 187869 185445 192 642 0 187225 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 751476 [startup+282.301 s] /proc/loadavg: 1.10 1.04 1.06 2/107 28526 /proc/meminfo: memFree=929196/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=881728 CPUtime=282.19 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 219769 0 0 0 28082 137 0 0 25 0 1 0 26129829 902889472 218008 1992294400 134512640 137138936 4293597200 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 220432 218008 192 642 0 219788 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 881728 [startup+342.301 s] /proc/loadavg: 1.09 1.05 1.06 2/107 28528 /proc/meminfo: memFree=808916/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1001104 CPUtime=342.17 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 249587 0 0 0 34061 156 0 0 25 0 1 0 26129829 1025130496 247826 1992294400 134512640 137138936 4293597200 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 250276 247830 192 642 0 249632 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1001104 [startup+402.301 s] /proc/loadavg: 1.08 1.05 1.06 2/107 28530 /proc/meminfo: memFree=767004/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1041708 CPUtime=402.15 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 259825 0 0 0 40052 163 0 0 25 0 1 0 26129829 1066708992 257993 1992294400 134512640 137138936 4293597200 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 260427 257993 192 642 0 259783 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1041708 [startup+462.301 s] /proc/loadavg: 1.11 1.07 1.06 2/107 28530 /proc/meminfo: memFree=767004/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1041708 CPUtime=462.13 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 259825 0 0 0 46045 168 0 0 25 0 1 0 26129829 1066708992 257993 1992294400 134512640 137138936 4293597200 18446744073709551615 134573837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 260427 257993 192 642 0 259783 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1041708 [startup+522.301 s] /proc/loadavg: 1.04 1.05 1.06 2/107 28532 /proc/meminfo: memFree=767004/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1041708 CPUtime=522.11 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 259825 0 0 0 52039 172 0 0 25 0 1 0 26129829 1066708992 257993 1992294400 134512640 137138936 4293597200 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 260427 257993 192 642 0 259783 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1041708 [startup+582.302 s] /proc/loadavg: 1.01 1.04 1.05 2/107 28534 /proc/meminfo: memFree=767004/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1041708 CPUtime=582.1 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 259825 0 0 0 58034 176 0 0 25 0 1 0 26129829 1066708992 257993 1992294400 134512640 137138936 4293597200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 260427 257993 192 642 0 259783 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1041708 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.04 2/107 28536 /proc/meminfo: memFree=767004/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1041708 CPUtime=642.08 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 259825 0 0 0 64028 180 0 0 25 0 1 0 26129829 1066708992 257993 1992294400 134512640 137138936 4293597200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 260427 257993 192 642 0 259783 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1041708 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=762416/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1045244 CPUtime=1061.92 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 260688 0 0 0 105983 209 0 0 25 0 1 0 26129829 1070329856 258856 1992294400 134512640 137138936 4293597200 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261311 258856 192 642 0 260667 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1045244 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 28557 /proc/meminfo: memFree=762416/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1045244 CPUtime=1121.9 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 260688 0 0 0 111978 212 0 0 25 0 1 0 26129829 1070329856 258856 1992294400 134512640 137138936 4293597200 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261311 258856 192 642 0 260667 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1045244 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28559 /proc/meminfo: memFree=762416/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1045244 CPUtime=1181.88 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 260688 0 0 0 117972 216 0 0 25 0 1 0 26129829 1070329856 258856 1992294400 134512640 137138936 4293597200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261311 258856 192 642 0 260667 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1045244 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28561 /proc/meminfo: memFree=761300/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1241.86 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 123968 218 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1046756 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28563 /proc/meminfo: memFree=761300/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1301.85 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 129963 222 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1046756 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28563 /proc/meminfo: memFree=761176/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1361.82 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 135957 225 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1046756 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28565 /proc/meminfo: memFree=761176/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1421.81 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 141952 229 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134606985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1046756 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28567 /proc/meminfo: memFree=761176/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1481.78 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 147945 233 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1046756 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28569 /proc/meminfo: memFree=761300/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1541.77 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 153939 238 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134572986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1046756 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 28574 /proc/meminfo: memFree=761176/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1601.74 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 159933 241 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1046756 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28574 /proc/meminfo: memFree=761176/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1046756 CPUtime=1661.72 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261066 0 0 0 165928 244 0 0 25 0 1 0 26129829 1071878144 259234 1992294400 134512640 137138936 4293597200 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 261689 259234 192 642 0 261045 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1046756 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28576 /proc/meminfo: memFree=757952/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1721.7 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 171922 248 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1050008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1781.68 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 177915 253 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1050008 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1791.28 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 178874 254 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 1050008 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1794.48 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 179194 254 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 1050008 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1796.07 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 179353 254 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 1050008 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1796.87 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 179433 254 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 1050008 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=1050008 CPUtime=1797.67 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202496 261879 0 0 0 179513 254 0 0 25 0 1 0 26129829 1075208192 260047 1992294400 134512640 137138936 4293597200 18446744073709551615 136504176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28517/statm: 262502 260047 192 642 0 261858 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 1050008 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28578 /proc/meminfo: memFree=757828/2059040 swapFree=4140084/4192956 [pid=28517] ppid=28515 vsize=0 CPUtime=1798.07 /proc/28517/stat : 28517 (bsolo_pb10) R 28515 28517 27904 0 -1 4202500 261880 0 0 0 179545 262 0 0 25 0 1 0 26129829 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28517/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798.11 CPU user time (s): 1795.46 CPU system time (s): 2.6506 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 1050008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.46 system time used= 2.6506 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 261880 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= 1 involuntary context switches= 25255 runsolver used 3.07753 second user time and 8.37973 second system time The end
Begin job on node014 at 2010-06-14 10:48:04 IDJOB=2656660 IDBENCH=2260 IDSOLVER=1162 FILE ID=node014/2656660-1276505284 PBS_JOBID= 11173405 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656660-1276505284/watcher-2656660-1276505284 -o /tmp/evaluation-result-2656660-1276505284/solver-2656660-1276505284 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656660-1276505284.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED=2062976349 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1801824 kB Buffers: 62712 kB Cached: 103196 kB SwapCached: 6980 kB Active: 100592 kB Inactive: 79424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1801824 kB SwapTotal: 4192956 kB SwapFree: 4140084 kB Dirty: 5748 kB Writeback: 0 kB AnonPages: 11964 kB Mapped: 13036 kB Slab: 55408 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181984 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node014 at 2010-06-14 11:18:03