Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -47 | 1798 | 1798.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb |
MD5SUM | 2be9d345a101e171c9ff93c0b5b2195d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2482 |
Sum of products size (including duplicates) | 4964 |
Number of different products | 1241 |
Sum of products size | 2482 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876798-1245202854.opb 0.00/0.00 c File size is 102316 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 1441 Constr: 2882 1441/200/1241 Lit: 12410 Watch. Lit: 8687 0.00/0.01 c Obj. Vars: 200 (13.8793 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 200 1241 3723 3 2482 413 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 0.00/0.02 o -44 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 200 1242 3923 3 2528 1413 1 0 0.03 0.00/0.03 o -45 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 31 200 1274 8879 6 2637 1413 33 911 0.03 2.19/2.22 c 131 200 1374 24027 17 2837 1555 133 2112 0.06 2.19/2.22 c 382 200 1625 62138 38 3339 1711 384 2850 0.13 2.19/2.22 c 858 200 2101 134583 64 4291 1883 860 3000 0.29 2.19/2.22 c 1671 200 2917 258237 88 5923 2072 1676 2837 0.59 2.19/2.22 c 2991 200 4240 458455 108 8612 2280 2999 2687 1.11 2.19/2.22 c 5073 200 3772 386713 102 7589 2509 2531 2551 1.99 2.19/2.22 o -46 696.40/696.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 696.40/696.71 c 5629 200 4330 471323 108 8794 1413 3089 2536 2.22 696.40/696.71 c 5730 200 2050 126032 61 4146 1555 809 2526 2.27 696.40/696.71 c 5981 200 2302 164003 71 4650 1711 1061 2542 2.35 696.40/696.71 c 6456 200 2777 235617 84 5600 1883 1536 2569 2.51 696.40/696.71 c 7271 200 3596 359208 99 7238 2072 2355 2585 2.81 696.40/696.71 c 8591 200 2478 189826 76 5002 2280 1237 2578 3.33 696.40/696.71 c 10672 200 4565 499740 109 9259 2509 3324 2533 4.21 696.40/696.71 c 13895 200 2497 190768 76 5040 2760 1256 2350 5.91 696.40/696.71 c 18831 200 4651 517070 111 9348 3037 3410 2261 8.32 696.40/696.71 c 26338 200 3405 325163 95 6856 3341 2164 2227 11.82 696.40/696.71 c 37700 200 5577 653997 117 11200 3676 4336 2007 18.78 696.40/696.71 c 54845 200 3346 316347 94 6738 4044 2105 1975 27.77 696.40/696.71 c 80664 200 5228 597317 114 10545 4449 3987 1946 41.44 696.40/696.71 c 119496 200 4288 462366 107 8622 4894 3047 1763 67.77 696.40/696.71 c 177848 200 5071 580334 114 10188 5384 3830 1663 106.94 696.40/696.71 c 265481 200 7114 877365 123 14359 5923 5873 1576 168.38 696.40/696.71 c 397034 200 8276 1059060 127 16598 6516 7035 1472 269.60 696.40/696.71 c 594467 200 6028 718974 119 12188 7168 4787 1356 438.33 696.40/696.71 c 890720 200 9577 1242647 129 19200 7885 8336 1329 669.79 696.40/696.71 o -47 1797.95/1798.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.73 c 918196 200 5185 581838 112 10534 1413 3944 1317 696.66 1797.95/1798.73 c 918296 200 2049 121994 59 4145 1555 808 1317 696.74 1797.95/1798.73 c 918546 200 2300 159628 69 4647 1711 1059 1318 696.83 1797.95/1798.73 c 919022 200 2777 230933 83 5601 1883 1536 1318 696.98 1797.95/1798.73 c 919835 200 3593 352918 98 7233 2072 2352 1319 697.27 1797.95/1798.73 c 921155 200 2472 187824 75 4991 2280 1231 1320 697.82 1797.95/1798.73 c 923236 200 4556 499777 109 9159 2509 3315 1321 698.64 1797.95/1798.73 c 926459 200 2497 191284 76 5041 2760 1256 1323 700.25 1797.95/1798.73 c 931395 200 4669 515590 110 9385 3037 3428 1325 702.61 1797.95/1798.73 c 938901 200 3417 325424 95 6881 3341 2176 1328 706.55 1797.95/1798.73 c 950262 200 5568 646518 116 11228 3676 4327 1333 712.73 1797.95/1798.73 c 967406 200 3286 309406 94 6619 4044 2045 1338 722.91 1797.95/1798.74 c 993225 200 5206 593762 114 10459 4449 3965 1347 737.14 1797.95/1798.74 c 1032058 200 4356 453966 104 8759 4894 3115 1355 761.38 1797.95/1798.74 c 1090410 200 5205 595831 114 10457 5384 3964 1362 800.55 1797.95/1798.74 c 1178042 200 7227 873122 120 14542 5923 5986 1363 864.21 1797.95/1798.74 c 1309594 200 8397 1067739 127 16886 6516 7156 1362 961.13 1797.95/1798.74 c 1507026 200 6466 770042 119 12979 7168 5225 1342 1122.40 1797.95/1798.74 c 1803278 200 4826 538515 111 9699 7885 3585 1317 1369.12 1797.95/1798.74 c 2247761 200 7680 953080 124 15452 8674 6439 1294 1736.55 1797.95/1798.74 c Resources Exceeded 1797.95/1798.74 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x150 x151 -x152 -x153 -x154 -x155 x156 x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 -x168 x169 -x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1797.95/1798.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.74 c 47 2303577 257393 2654134 6329 740530 5088 1281 1798.00 1797.95/1798.74 c Objective: -47 1797.95/1798.74 s SATISFIABLE 1797.95/1798.74 c Total time: 1798 s
OK -47
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876798-1245202854/watcher-1876798-1245202854 -o /tmp/evaluation-result-1876798-1245202854/solver-1876798-1245202854 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876798-1245202854.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7372 /proc/meminfo: memFree=1860648/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=10812 CPUtime=0 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 187886385 11071488 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 2703 249 175 640 0 2034 0 [startup+0.0576631 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7372 /proc/meminfo: memFree=1860648/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=11520 CPUtime=0.05 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 506 0 0 0 5 0 0 0 18 0 1 0 187886385 11796480 465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 2880 465 197 640 0 2236 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11520 [startup+0.101667 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7372 /proc/meminfo: memFree=1860648/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=11752 CPUtime=0.09 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 575 0 0 0 9 0 0 0 18 0 1 0 187886385 12034048 534 1992294400 134512640 137136520 4294956256 18446744073709551615 134544338 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 2938 534 197 640 0 2294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11752 [startup+0.301685 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7372 /proc/meminfo: memFree=1860648/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=13104 CPUtime=0.29 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 882 0 0 0 29 0 0 0 19 0 1 0 187886385 13418496 841 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 3272 841 197 640 0 2628 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13104 [startup+0.701721 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7372 /proc/meminfo: memFree=1860648/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=15184 CPUtime=0.7 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 1410 0 0 0 69 1 0 0 23 0 1 0 187886385 15548416 1369 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 3796 1369 197 640 0 3152 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 15184 [startup+1.5018 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1854432/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=18588 CPUtime=1.49 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 2271 0 0 0 148 1 0 0 25 0 1 0 187886385 19034112 2230 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 4647 2230 197 640 0 4003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18588 [startup+3.10194 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1852320/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=18588 CPUtime=3.09 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 2271 0 0 0 308 1 0 0 25 0 1 0 187886385 19034112 2230 1992294400 134512640 137136520 4294956256 18446744073709551615 134551221 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 4647 2230 197 640 0 4003 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18588 [startup+6.30124 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1851872/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=18952 CPUtime=6.29 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 2357 0 0 0 627 2 0 0 25 0 1 0 187886385 19406848 2316 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 4738 2316 197 640 0 4094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18952 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1850664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=20080 CPUtime=12.69 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 2644 0 0 0 1266 3 0 0 25 0 1 0 187886385 20561920 2603 1992294400 134512640 137136520 4294956256 18446744073709551615 135982529 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 5020 2603 198 640 0 4376 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20080 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1849576/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=21320 CPUtime=25.48 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 2967 0 0 0 2543 5 0 0 25 0 1 0 187886385 21831680 2926 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 5330 2926 198 640 0 4686 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21320 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1848040/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=22976 CPUtime=51.07 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 3361 0 0 0 5095 12 0 0 25 0 1 0 187886385 23527424 3320 1992294400 134512640 137136520 4294956256 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 5744 3320 198 640 0 5100 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22976 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1847016/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=23880 CPUtime=102.26 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 3593 0 0 0 10204 22 0 0 25 0 1 0 187886385 24453120 3548 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 5970 3548 198 640 0 5326 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23880 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1845992/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=24800 CPUtime=162.23 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 3839 0 0 0 16191 32 0 0 25 0 1 0 187886385 25395200 3790 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6200 3790 198 640 0 5556 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 24800 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1844904/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=25920 CPUtime=222.21 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4117 0 0 0 22181 40 0 0 25 0 1 0 187886385 26542080 4068 1992294400 134512640 137136520 4294956256 18446744073709551615 136502442 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6480 4068 198 640 0 5836 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 25920 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7373 /proc/meminfo: memFree=1843752/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=27144 CPUtime=282.18 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4414 0 0 0 28166 52 0 0 25 0 1 0 187886385 27795456 4365 1992294400 134512640 137136520 4294956256 18446744073709551615 134598609 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6786 4365 198 640 0 6142 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 27144 [startup+342.301 s] /proc/loadavg: 1.06 1.00 1.00 2/65 7373 /proc/meminfo: memFree=1843688/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=27120 CPUtime=342.14 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4420 0 0 0 34152 62 0 0 25 0 1 0 187886385 27770880 4371 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6780 4371 198 640 0 6136 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 27120 [startup+402.302 s] /proc/loadavg: 1.08 1.01 1.00 2/65 7373 /proc/meminfo: memFree=1843688/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=27172 CPUtime=402.12 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4425 0 0 0 40140 72 0 0 25 0 1 0 187886385 27824128 4372 1992294400 134512640 137136520 4294956256 18446744073709551615 134616827 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6793 4372 198 640 0 6149 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 27172 [startup+462.302 s] /proc/loadavg: 1.08 1.03 1.00 2/65 7373 /proc/meminfo: memFree=1842408/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28504 CPUtime=462.1 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4754 0 0 0 46130 80 0 0 25 0 1 0 187886385 29188096 4701 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7126 4701 198 640 0 6482 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 28504 [startup+522.301 s] /proc/loadavg: 1.03 1.02 1.00 2/65 7373 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28468 CPUtime=522.07 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4757 0 0 0 52118 89 0 0 25 0 1 0 187886385 29151232 4704 1992294400 134512640 137136520 4294956256 18446744073709551615 136295569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7117 4704 198 640 0 6473 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 28468 [startup+582.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 7373 /proc/meminfo: memFree=1842344/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28460 CPUtime=582.05 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4757 0 0 0 58108 97 0 0 25 0 1 0 187886385 29143040 4704 1992294400 134512640 137136520 4294956256 18446744073709551615 134616725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7372/statm: 7115 4704 198 640 0 6471 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 28460 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7375 /proc/meminfo: memFree=1842152/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28460 CPUtime=642.02 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 4757 0 0 0 64095 107 0 0 25 0 1 0 187886385 29143040 4704 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7115 4704 198 640 0 6471 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 28460 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1842920/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=27668 CPUtime=1061.85 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5121 0 0 0 106009 176 0 0 25 0 1 0 187886385 28332032 4514 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6917 4514 198 640 0 6273 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 27668 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7375 /proc/meminfo: memFree=1842920/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=27668 CPUtime=1121.84 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5121 0 0 0 111997 187 0 0 25 0 1 0 187886385 28332032 4514 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 6917 4514 198 640 0 6273 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 27668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7375 /proc/meminfo: memFree=1842472/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28260 CPUtime=1181.81 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5277 0 0 0 117984 197 0 0 25 0 1 0 187886385 28938240 4662 1992294400 134512640 137136520 4294956256 18446744073709551615 136518979 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7065 4662 198 640 0 6421 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 28260 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7381 /proc/meminfo: memFree=1842216/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28372 CPUtime=1241.79 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5287 0 0 0 123973 206 0 0 25 0 1 0 187886385 29052928 4672 1992294400 134512640 137136520 4294956256 18446744073709551615 136500598 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7093 4672 198 640 0 6449 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 28372 [startup+1302.3 s] /proc/loadavg: 1.14 1.04 1.01 2/65 7857 /proc/meminfo: memFree=1813352/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28364 CPUtime=1301.77 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5287 0 0 0 129956 221 0 0 25 0 1 0 187886385 29044736 4672 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7091 4672 198 640 0 6447 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 28364 [startup+1362.3 s] /proc/loadavg: 1.05 1.03 1.01 2/65 7857 /proc/meminfo: memFree=1813480/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=28364 CPUtime=1361.74 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5287 0 0 0 135943 231 0 0 25 0 1 0 187886385 29044736 4672 1992294400 134512640 137136520 4294956256 18446744073709551615 134598818 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7091 4672 198 640 0 6447 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 28364 [startup+1422.31 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7857 /proc/meminfo: memFree=1812264/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=29744 CPUtime=1421.72 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5647 0 0 0 141931 241 0 0 25 0 1 0 187886385 30457856 5032 1992294400 134512640 137136520 4294956256 18446744073709551615 134544597 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7436 5032 198 640 0 6792 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 29744 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7857 /proc/meminfo: memFree=1812136/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=29744 CPUtime=1481.69 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5647 0 0 0 147921 248 0 0 25 0 1 0 187886385 30457856 5032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7436 5032 198 640 0 6792 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 29744 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7857 /proc/meminfo: memFree=1812136/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=29744 CPUtime=1541.65 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5647 0 0 0 153909 256 0 0 25 0 1 0 187886385 30457856 5032 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7436 5032 198 640 0 6792 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 29744 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7857 /proc/meminfo: memFree=1812136/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=29732 CPUtime=1601.63 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5647 0 0 0 159898 265 0 0 25 0 1 0 187886385 30445568 5030 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7433 5030 198 640 0 6789 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 29732 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1812136/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=29832 CPUtime=1661.61 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5653 0 0 0 165886 275 0 0 25 0 1 0 187886385 30547968 5035 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7458 5035 198 640 0 6814 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 29832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1812136/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=29728 CPUtime=1721.58 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 5653 0 0 0 171874 284 0 0 25 0 1 0 187886385 30441472 5029 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7432 5029 198 640 0 6788 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 29728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1781.57 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 177865 292 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 31252 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1791.16 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 178823 293 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 31252 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1794.36 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 179142 294 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 136509091 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 31252 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1795.95 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 179301 294 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 31252 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1796.75 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 179381 294 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 136502046 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 31252 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1797.55 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 179461 294 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 134617013 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 31252 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7857 /proc/meminfo: memFree=1810664/2055920 swapFree=4191900/4192956 [pid=7372] ppid=7370 vsize=31252 CPUtime=1797.95 /proc/7372/stat : 7372 (bsolo) R 7370 7372 6591 0 -1 4194304 6020 0 0 0 179501 294 0 0 25 0 1 0 187886385 32002048 5396 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7372/statm: 7813 5396 198 640 0 7169 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 31252 Child status: 0 Real time (s): 1798.74 CPU time (s): 1798 CPU user time (s): 1795.05 CPU system time (s): 2.95255 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 31288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.05 system time used= 2.95255 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6022 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= 5 involuntary context switches= 7101 runsolver used 1.40179 second user time and 5.15122 second system time The end
Begin job on node14 at 2009-06-17 03:40:55 IDJOB=1876798 IDBENCH=48208 IDSOLVER=699 FILE ID=node14/1876798-1245202854 PBS_JOBID= 9368307 Free space on /tmp= 66376 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876798-1245202854/watcher-1876798-1245202854 -o /tmp/evaluation-result-1876798-1245202854/solver-1876798-1245202854 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876798-1245202854.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d RANDOM SEED=1188875781 node14.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.234 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1861192 kB Buffers: 50296 kB Cached: 89192 kB SwapCached: 388 kB Active: 74440 kB Inactive: 78476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861192 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3964 kB Writeback: 0 kB Mapped: 21800 kB Slab: 27728 kB Committed_AS: 193624 kB PageTables: 1452 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-1876798-1245202854.opb Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-17 04:10:53