Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -41 | 1798.11 | 1798.58 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1790.11 |
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 | 1272 |
Total number of constraints | 94227 |
Number of constraints which are clauses | 94227 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657409-1276504653.opb 0.00/0.00 c File size is 2298943 bytes. 0.28/0.37 c Highest Coefficient sum: 1272 0.28/0.37 c Parsing was ok!! 0.28/0.37 c Total parsing time: 0.367 s 0.39/0.40 c Var: 1272 Constr: 94227 94227/0/0 Lit: 188454 Watch. Lit: 188454 0.39/0.40 c Obj. Vars: 1272 (100 % of total variables) 3.20/3.23 c Pre-processing Time: 3.234 s 3.20/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.24 c 0 1272 94227 188454 2 188454 31409 0 0 3.23 3.20/3.24 c Switching off lower bounding mode. 3.20/3.25 o -36 3.29/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.33 c 0 1272 94228 189726 2 188492 32409 1 0 3.25 3.29/3.33 c 100 1272 94328 313031 3 188692 35650 101 30 3.33 3.29/3.33 o -37 3.29/3.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.34 c 100 1272 94329 314303 3 188731 32409 102 29 3.33 3.29/3.34 o -38 3.39/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.43 c 100 1272 94330 315575 3 188771 32409 103 29 3.34 3.39/3.43 c 200 1272 94430 438661 4 188971 35650 203 58 3.42 3.39/3.43 o -41 1797.92/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.47 c 200 1272 94431 439933 4 189014 32409 204 58 3.43 1797.92/1798.47 c 301 1272 94532 563851 5 189216 35650 305 85 3.52 1797.92/1798.47 c 551 1272 94782 870682 9 189716 39216 555 147 3.74 1797.92/1798.47 c 1028 1272 95259 1456250 15 190670 43138 1032 244 4.20 1797.92/1798.47 c 1843 1272 96074 2456363 25 192300 47452 1847 351 5.24 1797.92/1798.47 c 3164 1272 97395 4077226 41 194942 52198 3168 458 6.90 1797.92/1798.47 c 5246 1272 99477 6632428 66 199106 57418 5250 541 9.68 1797.92/1798.47 c 8469 1272 102700 10587985 103 205552 63160 8473 541 15.65 1797.92/1798.47 c 13405 1272 107636 16648218 154 215424 69477 13409 502 26.67 1797.92/1798.47 c 20911 1272 115142 25858478 224 230436 76425 20915 441 47.32 1797.92/1798.47 c 32272 1272 126503 39802833 314 253158 84068 32276 316 101.90 1797.92/1798.47 c 49416 1272 143647 60842212 423 287446 92475 49420 263 187.19 1797.92/1798.47 c Reducing formula size due to memory constraints 1797.92/1798.47 c Memory Limit: 1000.00 MB Used: 1009.79 MB 1797.92/1798.47 c 75235 1272 116325 27306244 234 232691 128397 22098 203 369.16 1797.92/1798.47 c 114067 1272 155157 74947690 483 310355 141237 60930 189 601.62 1797.92/1798.47 c Reducing formula size due to memory constraints 1797.92/1798.47 c Memory Limit: 1000.00 MB Used: 1007.64 MB 1797.92/1798.47 c Reducing formula size due to memory constraints 1797.92/1798.47 c Memory Limit: 1000.00 MB Used: 1008.03 MB 1797.92/1798.47 c 172420 1272 107590 16591335 154 215221 128542 13363 141 1215.46 1797.92/1798.47 c Reducing formula size due to memory constraints 1797.92/1798.47 c Memory Limit: 1000.00 MB Used: 1010.20 MB 1797.92/1798.47 c Resources Exceeded 1797.92/1798.47 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -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.92/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.47 c 20 244810 28923 285722 126797 40183643 32570 136 1798.00 1797.92/1798.47 c Objective: -41 1797.92/1798.47 s SATISFIABLE 1797.92/1798.47 c Total time: 1798 s
OK -41
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657409-1276504653/watcher-2657409-1276504653 -o /tmp/evaluation-result-2657409-1276504653/solver-2657409-1276504653 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657409-1276504653.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28104 /proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=13044 CPUtime=0 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 331 0 0 0 0 0 0 0 19 0 1 0 24120680 13357056 250 1992294400 134512640 137138936 4292793472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 3261 250 172 642 0 2055 0 [startup+0.0993071 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28104 /proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=15380 CPUtime=0.09 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 1031 0 0 0 9 0 0 0 19 0 1 0 24120680 15749120 950 1992294400 134512640 137138936 4292793472 18446744073709551615 134520806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 3845 950 306 642 0 2639 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15380 [startup+0.101308 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28104 /proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=15384 CPUtime=0.09 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 1049 0 0 0 9 0 0 0 19 0 1 0 24120680 15753216 968 1992294400 134512640 137138936 4292793472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 3846 968 309 642 0 2640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15384 [startup+0.300322 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28104 /proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=20468 CPUtime=0.28 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 2615 0 0 0 28 0 0 0 20 0 1 0 24120680 20959232 2534 1992294400 134512640 137138936 4292793472 18446744073709551615 136737097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 5117 2534 616 642 0 3911 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 20468 [startup+0.700354 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28104 /proc/meminfo: memFree=1800680/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=27540 CPUtime=0.68 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 5079 0 0 0 66 2 0 0 20 0 1 0 24120680 28200960 4436 1992294400 134512640 137138936 4292793472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 6885 4436 185 642 0 6241 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 27540 [startup+1.50042 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28105 /proc/meminfo: memFree=1783436/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=27540 CPUtime=1.49 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 5079 0 0 0 144 5 0 0 22 0 1 0 24120680 28200960 4436 1992294400 134512640 137138936 4292793472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 6885 4436 185 642 0 6241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27540 [startup+3.10154 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28105 /proc/meminfo: memFree=1783188/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=27540 CPUtime=3.09 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 5079 0 0 0 299 10 0 0 25 0 1 0 24120680 28200960 4436 1992294400 134512640 137138936 4292793472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 6885 4436 185 642 0 6241 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27540 [startup+6.3018 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28105 /proc/meminfo: memFree=1754296/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=67868 CPUtime=6.29 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 16604 0 0 0 612 17 0 0 25 0 1 0 24120680 69496832 14540 1992294400 134512640 137138936 4292793472 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 16967 14540 191 642 0 16323 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67868 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28107 /proc/meminfo: memFree=1679028/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=135872 CPUtime=12.68 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 33600 0 0 0 1245 23 0 0 25 0 1 0 24120680 139132928 31536 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 33968 31536 191 642 0 33324 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 135872 [startup+25.5003 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28107 /proc/meminfo: memFree=1582184/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=229864 CPUtime=25.48 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 57081 0 0 0 2512 36 0 0 25 0 1 0 24120680 235380736 55017 1992294400 134512640 137138936 4292793472 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 57466 55017 191 642 0 56822 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 229864 [startup+51.1004 s] /proc/loadavg: 1.07 1.00 1.00 2/107 28110 /proc/meminfo: memFree=1432144/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=380464 CPUtime=51.08 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 94742 0 0 0 5050 58 0 0 25 0 1 0 24120680 389595136 92678 1992294400 134512640 137138936 4292793472 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 95116 92678 191 642 0 94472 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 380464 [startup+102.308 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28112 /proc/meminfo: memFree=1277268/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=532152 CPUtime=102.27 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 132671 0 0 0 10146 81 0 0 25 0 1 0 24120680 544923648 130607 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 133038 130607 191 642 0 132394 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 532152 [startup+162.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 28114 /proc/meminfo: memFree=1074404/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=735524 CPUtime=162.25 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 183518 0 0 0 16112 113 0 0 25 0 1 0 24120680 753176576 181454 1992294400 134512640 137138936 4292793472 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 183881 181454 191 642 0 183237 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 735524 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28114 /proc/meminfo: memFree=924984/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=884560 CPUtime=222.23 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 220766 0 0 0 22089 134 0 0 25 0 1 0 24120680 905789440 218702 1992294400 134512640 137138936 4292793472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 221140 218702 191 642 0 220496 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 884560 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28116 /proc/meminfo: memFree=793048/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1017128 CPUtime=282.2 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 253899 0 0 0 28068 152 0 0 25 0 1 0 24120680 1041539072 251835 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 254282 251835 191 642 0 253638 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1017128 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28118 /proc/meminfo: memFree=762916/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1045356 CPUtime=342.19 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 34060 159 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261339 258893 191 642 0 260695 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1045356 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28120 /proc/meminfo: memFree=762916/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1045356 CPUtime=402.17 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 40050 167 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261339 258893 191 642 0 260695 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1045356 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=762792/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1045356 CPUtime=462.16 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 46044 172 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261339 258893 191 642 0 260695 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1045356 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=762792/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1045356 CPUtime=522.14 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 52037 177 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261339 258893 191 642 0 260695 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1045356 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28124 /proc/meminfo: memFree=762668/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1045356 CPUtime=582.12 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 58031 181 0 0 25 0 1 0 24120680 1070444544 258893 1992294400 134512640 137138936 4292793472 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261339 258893 191 642 0 260695 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1045356 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28126 /proc/meminfo: memFree=762668/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=642.11 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 64027 184 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1044972 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=762420/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1061.99 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 105988 211 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1044972 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28138 /proc/meminfo: memFree=762420/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1121.98 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 111985 213 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1044972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28140 /proc/meminfo: memFree=762420/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1181.97 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 117983 214 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1044972 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 28142 /proc/meminfo: memFree=762172/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1241.95 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 123976 219 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1044972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28144 /proc/meminfo: memFree=762048/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1301.94 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 129969 225 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1044972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28146 /proc/meminfo: memFree=762048/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1361.93 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 135964 229 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1044972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28155 /proc/meminfo: memFree=762296/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1421.91 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 141959 232 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1044972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28157 /proc/meminfo: memFree=762296/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1481.89 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 147953 236 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1044972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28159 /proc/meminfo: memFree=762296/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1044972 CPUtime=1541.88 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261021 0 0 0 153949 239 0 0 25 0 1 0 24120680 1070051328 258818 1992294400 134512640 137138936 4292793472 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261243 258818 191 642 0 260599 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1044972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28161 /proc/meminfo: memFree=761428/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1601.86 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 159944 242 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1046084 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 28163 /proc/meminfo: memFree=761428/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1661.84 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 165940 244 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1046084 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28163 /proc/meminfo: memFree=761428/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1721.83 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 171933 250 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1046084 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1781.82 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 177928 254 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1046084 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 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1791.42 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 178888 254 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 1046084 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1794.63 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179208 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 1046084 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1796.22 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179367 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 1046084 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1797.02 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179447 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 1046084 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=1046084 CPUtime=1797.82 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202496 261267 0 0 0 179527 255 0 0 25 0 1 0 24120680 1071190016 259064 1992294400 134512640 137138936 4292793472 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28104/statm: 261521 259064 191 642 0 260877 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 1046084 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=761304/2059040 swapFree=4136648/4192956 [pid=28104] ppid=28102 vsize=0 CPUtime=1798.02 /proc/28104/stat : 28104 (bsolo_pb10) R 28102 28104 27456 0 -1 4202500 261268 0 0 0 179544 258 0 0 25 0 1 0 24120680 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28104/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.11 CPU user time (s): 1795.45 CPU system time (s): 2.65859 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1046084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.45 system time used= 2.6586 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 261268 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= 4761 runsolver used 2.93955 second user time and 8.5177 second system time The end
Begin job on node026 at 2010-06-14 10:37:33 IDJOB=2657409 IDBENCH=2259 IDSOLVER=1163 FILE ID=node026/2657409-1276504653 PBS_JOBID= 11173403 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657409-1276504653/watcher-2657409-1276504653 -o /tmp/evaluation-result-2657409-1276504653/solver-2657409-1276504653 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657409-1276504653.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED=723082607 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1801084 kB Buffers: 71988 kB Cached: 107200 kB SwapCached: 9576 kB Active: 107892 kB Inactive: 83884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1801084 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 6116 kB Writeback: 12 kB AnonPages: 10784 kB Mapped: 9216 kB Slab: 44436 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181424 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= 62512 MiB End job on node026 at 2010-06-14 11:07:31