Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | -43 | 1798.01 | 1798.62 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | b8b0df75c0f0dbb89ae9601b9070a445 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3707952-1338153091.opb 0.00/0.00 c File size is 2689847 bytes. 0.09/0.16 c Highest Coefficient sum: 1400 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.167 s 0.09/0.18 c Var: 1400 Constr: 109676 109676/0/0 Lit: 219352 Watch. Lit: 219352 0.09/0.18 c Obj. Vars: 1400 (100 % of total variables) 1.00/1.09 c Pre-processing Time: 1.09 s 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 1400 109676 219352 2 219352 36558 0 0 1.09 1.00/1.09 c Switching off lower bounding mode. 1.00/1.10 o -39 1.00/1.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.10 c 0 1400 109677 220752 2 219393 37558 1 0 1.10 1.00/1.10 o -40 1.18/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.18/1.29 c 1 1400 109679 223510 2 219437 37558 3 0 1.10 1.18/1.29 c 101 1400 109784 365994 3 219647 41314 108 81 1.25 1.18/1.29 o -41 16.69/16.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.69/16.79 c 136 1400 109822 417579 3 219764 37558 146 104 1.30 16.69/16.79 c 236 1400 109926 558603 5 219972 41314 250 163 1.44 16.69/16.79 c 486 1400 110199 928371 8 220518 45446 523 269 1.80 16.69/16.79 c 961 1400 110722 1636833 14 221564 49991 1046 377 2.55 16.69/16.79 c 1775 1400 111609 2838975 25 223338 54991 1933 456 3.89 16.69/16.79 c 3095 1400 113070 4818203 42 226260 60491 3394 499 6.20 16.69/16.79 c 5176 1400 115391 7959964 68 230902 66541 5715 502 10.31 16.69/16.79 c 8399 1400 118924 12746224 107 237968 73196 9248 500 16.78 16.69/16.79 o -42 75.88/75.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 75.88/75.98 c 8400 1400 118926 12748982 107 238014 37558 9250 500 16.80 75.88/75.98 c 8501 1400 119034 12895249 108 238230 41314 9358 501 16.97 75.88/75.98 c 8752 1400 119303 13259563 111 238768 45446 9627 503 17.39 75.88/75.98 c 9227 1400 119828 13970004 116 239818 49991 10152 504 18.27 75.88/75.98 c 10040 1400 120696 15145757 125 241554 54991 11020 506 19.83 75.88/75.98 c 11361 1400 122172 17143183 140 244506 60491 12496 506 22.45 75.88/75.98 c 13442 1400 124486 20275005 162 249134 66541 14810 497 27.00 75.88/75.98 c 16666 1400 128083 25143653 196 256328 73196 18407 478 34.81 75.88/75.98 c 21602 1400 133475 32445109 243 267112 80516 23799 449 48.02 75.88/75.98 c 29108 1400 141481 43287316 305 283124 88568 31805 416 69.95 75.88/75.98 o -43 1797.97/1798.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.62 c 31132 1400 143709 46301823 322 287700 37558 34033 409 75.97 1797.97/1798.62 c 31232 1400 143818 46449295 322 287918 41314 34142 409 76.27 1797.97/1798.62 c 31483 1400 144105 46837183 325 288492 45446 34429 409 76.89 1797.97/1798.62 c 31958 1400 144628 47544563 328 289538 49991 34952 407 78.42 1797.97/1798.62 c 32771 1400 145545 48783792 335 291372 54991 35869 406 80.55 1797.97/1798.62 c 34091 1400 147031 50793163 345 294344 60491 37355 405 84.15 1797.97/1798.62 c 36172 1400 149358 53939307 361 298998 66541 39682 400 90.26 1797.97/1798.62 c 39395 1400 153021 58891491 384 306324 73196 43345 393 100.18 1797.97/1798.62 c 44331 1400 158623 66465951 419 317528 80516 48947 373 118.58 1797.97/1798.62 c 51838 1400 166991 77768901 465 334343 88568 57315 359 144.38 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1005.55 MB 1797.97/1798.62 c 63201 1400 134308 33497503 249 268817 148527 24632 323 195.55 1797.97/1798.62 c 80345 1400 153682 59654956 388 307644 163380 44006 299 268.21 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1016.45 MB 1797.97/1798.62 c 106164 1400 136422 36339190 266 273042 148628 26746 265 399.25 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1008.12 MB 1797.97/1798.62 c 144996 1400 133697 32667701 244 267556 148449 24021 247 586.89 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1001.62 MB 1797.97/1798.62 c 203348 1400 153092 58865316 384 306600 148380 43416 248 819.66 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1005.88 MB 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1013.47 MB 1797.97/1798.62 c 290980 1400 160038 68189870 426 320382 148704 50362 220 1317.81 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1016.98 MB 1797.97/1798.62 c Reducing formula size due to memory constraints 1797.97/1798.62 c Memory Limit: 1000.00 MB Used: 1011.22 MB 1797.97/1798.62 c Resources Exceeded 1797.97/1798.62 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -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.97/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.62 c 37 348688 32457 389972 132654 31240605 22978 193 1798.00 1797.97/1798.62 c Objective: -43 1797.97/1798.62 s SATISFIABLE 1797.97/1798.62 c Total time: 1798 s
OK -43
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707952-1338153091/watcher-3707952-1338153091 -o /tmp/evaluation-result-3707952-1338153091/solver-3707952-1338153091 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707952-1338153091.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/176 15272 /proc/meminfo: memFree=29951756/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=13700 CPUtime=0 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 281433161 14028800 307 33554432000 134512640 137138936 4291186352 4291184616 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 3425 308 182 642 0 2124 0 [startup+0.00701608 s] /proc/loadavg: 2.02 2.01 2.00 3/176 15272 /proc/meminfo: memFree=29951756/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=13704 CPUtime=0 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 281433161 14032896 325 33554432000 134512640 137138936 4291186352 4291184616 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 3426 325 185 642 0 2125 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13704 [startup+0.100187 s] /proc/loadavg: 2.02 2.01 2.00 3/176 15272 /proc/meminfo: memFree=29951756/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=19616 CPUtime=0.09 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 2225 0 0 0 9 0 0 0 20 0 1 0 281433161 20086784 2178 33554432000 134512640 137138936 4291186352 4291184760 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 4904 2179 546 642 0 3603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19616 [startup+0.300225 s] /proc/loadavg: 2.02 2.01 2.00 3/176 15272 /proc/meminfo: memFree=29951756/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=30248 CPUtime=0.28 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 5829 0 0 0 28 0 0 0 20 0 1 0 281433161 30973952 5125 33554432000 134512640 137138936 4291186352 4291168060 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 7562 5125 185 642 0 6918 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 30248 [startup+0.700249 s] /proc/loadavg: 2.02 2.01 2.00 3/176 15272 /proc/meminfo: memFree=29951756/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=30248 CPUtime=0.68 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 5829 0 0 0 66 2 0 0 20 0 1 0 281433161 30973952 5125 33554432000 134512640 137138936 4291186352 4291168060 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 7562 5125 185 642 0 6918 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 30248 [startup+1.50019 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15273 /proc/meminfo: memFree=29925552/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=32008 CPUtime=1.48 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 7937 0 0 0 144 4 0 0 20 0 1 0 281433161 32776192 5568 33554432000 134512640 137138936 4291186352 4291184944 134539680 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 8002 5568 192 642 0 7358 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32008 [startup+3.10018 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15273 /proc/meminfo: memFree=29902604/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=51348 CPUtime=3.09 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 12775 0 0 0 303 6 0 0 20 0 1 0 281433161 52580352 10406 33554432000 134512640 137138936 4291186352 4291184960 134552486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 12837 10406 192 642 0 12193 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51348 [startup+6.30021 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15273 /proc/meminfo: memFree=29826500/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=86884 CPUtime=6.29 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 21661 0 0 0 621 8 0 0 20 0 1 0 281433161 88969216 19292 33554432000 134512640 137138936 4291186352 4291185468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 21721 19292 192 642 0 21077 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 86884 [startup+12.7002 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15273 /proc/meminfo: memFree=29695024/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=151180 CPUtime=12.68 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 37735 0 0 0 1257 11 0 0 20 0 1 0 281433161 154808320 35366 33554432000 134512640 137138936 4291186352 4291184960 134552384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 37795 35366 192 642 0 37151 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 151180 [startup+25.5002 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15273 /proc/meminfo: memFree=29460040/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=270660 CPUtime=25.48 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 67592 0 0 0 2531 17 0 0 20 0 1 0 281433161 277155840 65223 33554432000 134512640 137138936 4291186352 4291185104 134574740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 67665 65223 192 642 0 67021 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 270660 [startup+51.1002 s] /proc/loadavg: 2.01 2.01 2.00 3/177 15273 /proc/meminfo: memFree=29104748/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=454744 CPUtime=51.09 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 113630 0 0 0 5080 29 0 0 20 0 1 0 281433161 465657856 111261 33554432000 134512640 137138936 4291186352 4291185468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 113686 111261 192 642 0 113042 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 454744 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15273 /proc/meminfo: memFree=28523108/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=788092 CPUtime=102.28 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 196967 0 0 0 10181 47 0 0 20 0 1 0 281433161 807006208 194598 33554432000 134512640 137138936 4291186352 4291185280 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 197023 194598 192 642 0 196379 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 788092 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15273 /proc/meminfo: memFree=27976420/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1041104 CPUtime=162.26 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 260275 0 0 0 16164 62 0 0 20 0 1 0 281433161 1066090496 257848 33554432000 134512640 137138936 4291186352 4291185248 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 260276 257848 192 642 0 259632 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1041104 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15273 /proc/meminfo: memFree=27899444/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1041104 CPUtime=222.26 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 260275 0 0 0 22162 64 0 0 20 0 1 0 281433161 1066090496 257848 33554432000 134512640 137138936 4291186352 4291185248 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 260276 257848 192 642 0 259632 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1041104 [startup+282.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 15274 /proc/meminfo: memFree=27899352/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1041104 CPUtime=282.25 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 260275 0 0 0 28159 66 0 0 20 0 1 0 281433161 1066090496 257848 33554432000 134512640 137138936 4291186352 4291184776 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 260276 257848 192 642 0 259632 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1041104 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15274 /proc/meminfo: memFree=27886612/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1053912 CPUtime=342.23 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263522 0 0 0 34155 68 0 0 20 0 1 0 281433161 1079205888 261036 33554432000 134512640 137138936 4291186352 4291184792 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263478 261036 192 642 0 262834 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1053912 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15274 /proc/meminfo: memFree=27874736/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1053912 CPUtime=402.23 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263522 0 0 0 40152 71 0 0 20 0 1 0 281433161 1079205888 261036 33554432000 134512640 137138936 4291186352 4291184776 134606700 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263478 261036 192 642 0 262834 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1053912 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15274 /proc/meminfo: memFree=27874764/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1053912 CPUtime=462.22 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263522 0 0 0 46150 72 0 0 20 0 1 0 281433161 1079205888 261036 33554432000 134512640 137138936 4291186352 4291185468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263478 261036 192 642 0 262834 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1053912 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15277 /proc/meminfo: memFree=27875288/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1053912 CPUtime=522.21 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263522 0 0 0 52146 75 0 0 20 0 1 0 281433161 1079205888 261036 33554432000 134512640 137138936 4291186352 4291185280 134542342 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263478 261036 192 642 0 262834 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1053912 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15278 /proc/meminfo: memFree=27875804/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1053416 CPUtime=582.2 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263522 0 0 0 58143 77 0 0 20 0 1 0 281433161 1078697984 260931 33554432000 134512640 137138936 4291186352 4291185280 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263354 260931 192 642 0 262710 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 1053416 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27873464/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1052864 CPUtime=1121.86 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263854 0 0 0 112090 96 0 0 20 0 1 0 281433161 1078132736 260794 33554432000 134512640 137138936 4291186352 4291185280 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263216 260794 192 642 0 262572 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 1052864 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15284 /proc/meminfo: memFree=27873984/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1052520 CPUtime=1181.82 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263895 0 0 0 118084 98 0 0 20 0 1 0 281433161 1077780480 260708 33554432000 134512640 137138936 4291186352 4291185468 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263130 260708 192 642 0 262486 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1052520 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15284 /proc/meminfo: memFree=27873888/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1052520 CPUtime=1241.78 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263938 0 0 0 124078 100 0 0 20 0 1 0 281433161 1077780480 260708 33554432000 134512640 137138936 4291186352 4291185280 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263130 260708 192 642 0 262486 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 1052520 [startup+1302.3 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15284 /proc/meminfo: memFree=27873940/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1052520 CPUtime=1301.76 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 263971 0 0 0 130073 103 0 0 20 0 1 0 281433161 1077780480 260708 33554432000 134512640 137138936 4291186352 4291185280 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 263130 260708 192 642 0 262486 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1052520 [startup+1362.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 15284 /proc/meminfo: memFree=27870428/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1361.74 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 136068 106 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185280 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1056660 [startup+1422.31 s] /proc/loadavg: 2.01 2.02 2.00 3/177 15284 /proc/meminfo: memFree=27870552/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1421.74 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 142066 108 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291184776 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1056660 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 15284 /proc/meminfo: memFree=27870428/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1481.72 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 148062 110 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185248 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1056660 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15285 /proc/meminfo: memFree=27870556/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1541.71 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 154059 112 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185280 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1056660 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15285 /proc/meminfo: memFree=27870432/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1601.7 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 160057 113 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185280 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1056660 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15285 /proc/meminfo: memFree=27870432/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1661.7 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 166055 115 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185280 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1056660 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15288 /proc/meminfo: memFree=27870564/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1721.68 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 172052 116 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185248 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1056660 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 15288 /proc/meminfo: memFree=27870196/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1781.67 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 178049 118 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185280 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1056660 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15288 /proc/meminfo: memFree=27870320/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1791.28 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179009 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291184788 136501724 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 1056660 [startup+1795.1 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15288 /proc/meminfo: memFree=27870320/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1794.48 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179329 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185248 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 1056660 [startup+1796.7 s] /proc/loadavg: 2.09 2.03 2.01 3/176 15288 /proc/meminfo: memFree=27870452/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1796.07 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179488 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185248 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 1056660 [startup+1797.5 s] /proc/loadavg: 2.08 2.03 2.01 3/176 15288 /proc/meminfo: memFree=27870452/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1796.87 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179568 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185280 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 1056660 [startup+1798.3 s] /proc/loadavg: 2.08 2.03 2.01 3/176 15288 /proc/meminfo: memFree=27870452/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1797.67 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179648 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185104 134575898 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 1056660 [startup+1798.51 s] /proc/loadavg: 2.08 2.03 2.01 3/173 15295 /proc/meminfo: memFree=28922496/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1797.88 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179669 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291185248 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 1056660 [startup+1798.6 s] /proc/loadavg: 2.08 2.03 2.01 3/173 15295 /proc/meminfo: memFree=28922496/32873648 swapFree=7368/7368 [pid=15272] ppid=15270 vsize=1056660 CPUtime=1797.97 cores=1,3,5,7 /proc/15272/stat : 15272 (bsolo) R 15270 15272 11017 0 -1 4202496 264974 0 0 0 179678 119 0 0 20 0 1 0 281433161 1082019840 261711 33554432000 134512640 137138936 4291186352 4291168456 136504417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15272/statm: 264165 261711 192 642 0 263521 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 1056660 Child status: 0 Real time (s): 1798.62 CPU time (s): 1798.01 CPU user time (s): 1796.81 CPU system time (s): 1.19982 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 1056660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.81 system time used= 1.19982 maximum resident set size= 1046848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264975 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= 452 involuntary context switches= 1835 runsolver used 2.85556 second user time and 8.82766 second system time The end
Begin job on node149 at 2012-05-27 23:11:31 IDJOB=3707952 IDBENCH=2249 IDSOLVER=2286 FILE ID=node149/3707952-1338153091 RUNJOBID= node149-1338139112-13889 PBS_JOBID= 14624479 Free space on /tmp= 71704 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707952-1338153091/watcher-3707952-1338153091 -o /tmp/evaluation-result-3707952-1338153091/solver-3707952-1338153091 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707952-1338153091.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445 RANDOM SEED=1011558135 node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29952400 kB Buffers: 374536 kB Cached: 1699444 kB SwapCached: 2452 kB Active: 835976 kB Inactive: 1268692 kB Active(anon): 22200 kB Inactive(anon): 9340 kB Active(file): 813776 kB Inactive(file): 1259352 kB Unevictable: 7368 kB Mlocked: 7368 kB SwapTotal: 67108856 kB SwapFree: 67104876 kB Dirty: 13176 kB Writeback: 0 kB AnonPages: 36184 kB Mapped: 15144 kB Shmem: 96 kB Slab: 680220 kB SReclaimable: 124352 kB SUnreclaim: 555868 kB KernelStack: 1448 kB PageTables: 3644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 152484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node149 at 2012-05-27 23:41:29