Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -40 | 1798.1 | 1798.72 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
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 | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -50 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
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-2656488-1276507718.opb 0.00/0.00 c File size is 1941373 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.314 s 0.29/0.34 c Var: 1150 Constr: 80258 80258/0/0 Lit: 160516 Watch. Lit: 160516 0.29/0.34 c Obj. Vars: 1150 (100 % of total variables) 2.39/2.41 c Pre-processing Time: 2.408 s 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 0 1150 80258 160516 2 160516 26752 0 0 2.41 2.39/2.41 c Switching off lower bounding mode. 2.39/2.42 o -36 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 0 1150 80259 161666 2 160554 27752 1 0 2.43 2.39/2.43 o -37 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 3 1150 80263 166151 2 160599 27752 5 1 2.44 2.59/2.68 c 105 1150 80377 292503 3 160827 30528 119 39 2.64 2.59/2.68 o -38 195.82/195.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 195.82/195.92 c 130 1150 80405 323598 4 160921 27752 147 48 2.69 195.82/195.92 c 230 1150 80514 444368 5 161139 30528 256 79 2.90 195.82/195.92 c 480 1150 80787 746845 9 161685 33581 529 139 3.45 195.82/195.92 c 955 1150 81300 1315179 16 162711 36940 1042 210 4.53 195.82/195.92 c 1769 1150 82211 2323769 28 164533 40635 1953 270 6.54 195.82/195.92 c 3089 1150 83667 3936852 47 167445 44699 3409 305 10.10 195.82/195.92 c 5170 1150 85942 6457363 75 171995 49169 5684 308 16.75 195.82/195.92 c 8393 1150 89547 10449332 116 179205 54086 9289 306 27.37 195.82/195.92 c 13330 1150 95015 16505018 173 190141 59495 14757 297 44.84 195.82/195.92 c 20837 1150 103428 25818002 249 206967 65445 23170 241 86.28 195.82/195.92 c 32198 1150 115906 39639515 341 231959 71990 35648 201 159.84 195.82/195.92 o -39 433.84/434.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 433.84/434.10 c 37472 1150 121729 46090309 378 243644 27752 41471 191 195.85 433.84/434.10 c 37572 1150 92881 14141455 152 185801 30528 12623 186 201.99 433.84/434.10 c 37822 1150 93156 14445818 155 186351 33581 12898 186 202.84 433.84/434.10 c 38297 1150 93681 15026978 160 187401 36940 13423 187 204.41 433.84/434.10 c 39110 1150 94585 16027386 169 189209 40635 14327 188 207.56 433.84/434.10 c 40430 1150 96052 17650872 183 192143 44699 15794 190 211.85 433.84/434.10 c 42512 1150 98344 20187476 205 196727 49169 18086 194 218.70 433.84/434.10 c 45735 1150 102030 24264709 237 204099 54086 21772 198 230.26 433.84/434.10 c 50671 1150 107644 30469743 283 215327 59495 27386 199 254.30 433.84/434.10 c 58177 1150 116107 39827033 343 232289 65445 35849 194 299.32 433.84/434.10 c 69538 1150 128730 53788760 417 257535 71990 48472 182 380.97 433.84/434.10 o -40 1797.97/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.61 c 78013 1150 138045 64100110 464 276205 27752 57787 179 433.95 1797.97/1798.61 c 78113 1150 93227 14512840 155 186494 30528 12969 173 449.72 1797.97/1798.61 c 78363 1150 93506 14821203 158 187052 33581 13248 173 450.50 1797.97/1798.61 c 78838 1150 94026 15396443 163 188092 36940 13768 174 452.15 1797.97/1798.61 c 79653 1150 94947 16414286 172 189934 40635 14689 175 454.62 1797.97/1798.61 c 80973 1150 96412 18032606 187 192902 44699 16154 175 461.01 1797.97/1798.61 c 83055 1150 98759 20625928 208 197596 49169 18501 177 468.56 1797.97/1798.61 c 86281 1150 102416 24665969 240 204910 54086 22158 179 480.64 1797.97/1798.61 c 91218 1150 107853 30669714 284 215855 59495 27595 178 509.62 1797.97/1798.61 c 98724 1150 116178 39873617 343 232543 65445 35920 175 562.59 1797.97/1798.61 c 110086 1150 129048 54093662 419 258283 71990 48790 168 653.72 1797.97/1798.61 c 127232 1150 148323 75383534 508 296997 79190 68065 155 815.72 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1010.78 MB 1797.97/1798.62 c 153052 1150 118414 42304248 357 236998 113286 38156 131 1161.60 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1002.28 MB 1797.97/1798.62 c 191886 1150 103533 25841038 249 207137 113247 23275 121 1578.89 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 39 222457 22107 251855 137961 63871763 57703 123 1798.00 1797.97/1798.62 c Objective: -40 1797.97/1798.62 s SATISFIABLE 1797.97/1798.62 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-2656488-1276507718/watcher-2656488-1276507718 -o /tmp/evaluation-result-2656488-1276507718/solver-2656488-1276507718 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656488-1276507718.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 30536 /proc/meminfo: memFree=1763672/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=12828 CPUtime=0 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 24428114 13135872 271 1992294400 134512640 137138936 4291535936 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 3207 272 176 642 0 2089 0 [startup+0.083336 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30536 /proc/meminfo: memFree=1763672/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=14620 CPUtime=0.08 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 928 0 0 0 8 0 0 0 20 0 1 0 24428114 14970880 846 1992294400 134512640 137138936 4291535936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 3655 846 285 642 0 2537 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14620 [startup+0.101338 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30536 /proc/meminfo: memFree=1763672/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=15164 CPUtime=0.09 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 1068 0 0 0 9 0 0 0 20 0 1 0 24428114 15527936 986 1992294400 134512640 137138936 4291535936 18446744073709551615 136658830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 3791 986 312 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15164 [startup+0.301376 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30536 /proc/meminfo: memFree=1763672/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=20116 CPUtime=0.29 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 2619 0 0 0 29 0 0 0 20 0 1 0 24428114 20598784 2537 1992294400 134512640 137138936 4291535936 18446744073709551615 136297153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 5029 2537 615 642 0 3911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20116 [startup+0.70145 s] /proc/loadavg: 1.00 1.00 1.06 3/106 30536 /proc/meminfo: memFree=1763672/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=24980 CPUtime=0.7 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 4370 0 0 0 67 3 0 0 20 0 1 0 24428114 25579520 3814 1992294400 134512640 137138936 4291535936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 6245 3814 185 642 0 5601 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 24980 [startup+1.5016 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30537 /proc/meminfo: memFree=1749032/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=24980 CPUtime=1.49 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 4370 0 0 0 144 5 0 0 23 0 1 0 24428114 25579520 3814 1992294400 134512640 137138936 4291535936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 6245 3814 185 642 0 5601 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24980 [startup+3.1009 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30537 /proc/meminfo: memFree=1748908/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=27600 CPUtime=3.09 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 6241 0 0 0 300 9 0 0 25 0 1 0 24428114 28262400 4473 1992294400 134512640 137138936 4291535936 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 6933 4475 192 642 0 6289 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27600 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30537 /proc/meminfo: memFree=1730308/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=48904 CPUtime=6.29 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 11570 0 0 0 618 11 0 0 25 0 1 0 24428114 50077696 9802 1992294400 134512640 137138936 4291535936 18446744073709551615 134598910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 12226 9802 192 642 0 11582 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48904 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30537 /proc/meminfo: memFree=1691992/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=85348 CPUtime=12.69 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 20677 0 0 0 1254 15 0 0 25 0 1 0 24428114 87396352 18909 1992294400 134512640 137138936 4291535936 18446744073709551615 134551866 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 21337 18909 192 642 0 20693 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85348 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30537 /proc/meminfo: memFree=1629372/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=145456 CPUtime=25.48 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 35698 0 0 0 2526 22 0 0 25 0 1 0 24428114 148946944 33930 1992294400 134512640 137138936 4291535936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 36364 33930 192 642 0 35720 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145456 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.06 2/107 30539 /proc/meminfo: memFree=1516904/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=258608 CPUtime=51.06 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 63994 0 0 0 5071 35 0 0 25 0 1 0 24428114 264814592 62226 1992294400 134512640 137138936 4291535936 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 64652 62226 192 642 0 64008 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 258608 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.05 2/107 30539 /proc/meminfo: memFree=1374552/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=398592 CPUtime=102.25 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 98986 0 0 0 10169 56 0 0 25 0 1 0 24428114 408158208 97218 1992294400 134512640 137138936 4291535936 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 99648 97218 192 642 0 99004 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 398592 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 30541 /proc/meminfo: memFree=1239764/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=534984 CPUtime=162.23 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 133088 0 0 0 16146 77 0 0 25 0 1 0 24428114 547823616 131320 1992294400 134512640 137138936 4291535936 18446744073709551615 136297105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 133746 131320 192 642 0 133102 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 534984 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 30543 /proc/meminfo: memFree=1161644/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=610564 CPUtime=222.21 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 152010 0 0 0 22131 90 0 0 25 0 1 0 24428114 625217536 150201 1992294400 134512640 137138936 4291535936 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 152641 150201 192 642 0 151997 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 610564 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 30545 /proc/meminfo: memFree=1161644/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=610564 CPUtime=282.19 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 152010 0 0 0 28125 94 0 0 25 0 1 0 24428114 625217536 150201 1992294400 134512640 137138936 4291535936 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 152641 150201 192 642 0 151997 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 610564 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 30545 /proc/meminfo: memFree=1133620/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=639380 CPUtime=342.17 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 159201 0 0 0 34115 102 0 0 25 0 1 0 24428114 654725120 157392 1992294400 134512640 137138936 4291535936 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 159845 157392 192 642 0 159201 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 639380 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 30547 /proc/meminfo: memFree=1004908/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=769296 CPUtime=402.15 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 191682 0 0 0 40093 122 0 0 25 0 1 0 24428114 787759104 189873 1992294400 134512640 137138936 4291535936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 192324 189873 192 642 0 191680 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 769296 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.02 2/107 30549 /proc/meminfo: memFree=930136/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=841544 CPUtime=462.12 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 209806 0 0 0 46078 134 0 0 25 0 1 0 24428114 861741056 207940 1992294400 134512640 137138936 4291535936 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 210386 207940 192 642 0 209742 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 841544 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 30551 /proc/meminfo: memFree=930012/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=841544 CPUtime=522.11 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 209806 0 0 0 52072 139 0 0 25 0 1 0 24428114 861741056 207940 1992294400 134512640 137138936 4291535936 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 210386 207940 192 642 0 209742 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 841544 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 30556 /proc/meminfo: memFree=929392/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=841544 CPUtime=582.08 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 209806 0 0 0 58065 143 0 0 25 0 1 0 24428114 861741056 207940 1992294400 134512640 137138936 4291535936 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 210386 207940 192 642 0 209742 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 841544 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30556 /proc/meminfo: memFree=929516/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=841544 CPUtime=642.07 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 209806 0 0 0 64060 147 0 0 25 0 1 0 24428114 861741056 207940 1992294400 134512640 137138936 4291535936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 210386 207940 192 642 0 209742 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 841544 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1061.92 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 106000 192 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1046444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30570 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1121.9 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 111994 196 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1046444 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30572 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1181.88 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 117989 199 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1046444 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30572 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1241.86 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 123983 203 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1046444 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30574 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1301.85 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 129978 207 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1046444 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30576 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1361.82 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 135973 209 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1046444 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30578 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1421.81 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 141969 212 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1046444 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30580 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1481.78 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 147963 215 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1046444 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30580 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1541.76 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 153959 217 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1046444 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30582 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1601.74 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 159953 221 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1046444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30584 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1661.72 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 165947 225 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134606636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1046444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30586 /proc/meminfo: memFree=723924/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1721.69 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 171940 229 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1046444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1781.68 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 177934 234 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1046444 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 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1791.28 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 178894 234 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134607262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 1046444 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1794.48 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 179213 235 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 1046444 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1796.07 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 179372 235 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 1046444 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1796.87 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 179452 235 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 1046444 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=1046444 CPUtime=1797.67 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202496 261103 0 0 0 179532 235 0 0 25 0 1 0 24428114 1071558656 259166 1992294400 134512640 137138936 4291535936 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30536/statm: 261611 259166 192 642 0 260967 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 1046444 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30588 /proc/meminfo: memFree=723800/2059040 swapFree=4142408/4192956 [pid=30536] ppid=30534 vsize=0 CPUtime=1798.07 /proc/30536/stat : 30536 (bsolo_pb10) R 30534 30536 30341 0 -1 4202500 261104 0 0 0 179564 243 0 0 25 0 1 0 24428114 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/30536/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.72 CPU time (s): 1798.1 CPU user time (s): 1795.65 CPU system time (s): 2.45563 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 1046728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.65 system time used= 2.45563 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 261104 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= 6511 runsolver used 3.04554 second user time and 8.41172 second system time The end
Begin job on node019 at 2010-06-14 11:28:38 IDJOB=2656488 IDBENCH=2263 IDSOLVER=1162 FILE ID=node019/2656488-1276507718 PBS_JOBID= 11173420 Free space on /tmp= 62376 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-4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656488-1276507718/watcher-2656488-1276507718 -o /tmp/evaluation-result-2656488-1276507718/solver-2656488-1276507718 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656488-1276507718.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED=1772804618 node019.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.264 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.52 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.264 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: 1764200 kB Buffers: 92764 kB Cached: 109892 kB SwapCached: 4636 kB Active: 104412 kB Inactive: 111644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1764200 kB SwapTotal: 4192956 kB SwapFree: 4142408 kB Dirty: 5884 kB Writeback: 0 kB AnonPages: 11592 kB Mapped: 13704 kB Slab: 57028 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180456 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= 62372 MiB End job on node019 at 2010-06-14 11:58:37