Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT (TO) | -45 | 1800.2 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
MD5SUM | 09bf68c118cd38b954800f61edb04c4b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -45 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
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 | 110038 |
Number of constraints which are clauses | 110038 |
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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657404-1276494548.opb 0.00/0.00 c File size is 2701213 bytes. 0.39/0.43 c Highest Coefficient sum: 1400 0.39/0.43 c Parsing was ok!! 0.39/0.43 c Total parsing time: 0.428 s 0.39/0.46 c Var: 1400 Constr: 110038 110038/0/0 Lit: 220076 Watch. Lit: 220076 0.39/0.46 c Obj. Vars: 1400 (100 % of total variables) 3.89/3.98 c Pre-processing Time: 3.981 s 3.89/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.99 c 0 1400 110038 220076 2 220076 36679 0 0 3.98 3.89/3.99 c Switching off lower bounding mode. 3.99/4.00 o -41 3.99/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.02 c 0 1400 110039 221476 2 220119 37679 1 0 4.00 3.99/4.02 o -43 50.17/50.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.17/50.23 c 16 1400 110056 244564 2 220196 37679 18 3 4.03 50.17/50.23 c 117 1400 110157 381171 3 220398 41447 119 28 4.12 50.17/50.23 c 367 1400 110407 719555 6 220898 45592 369 84 4.36 50.17/50.23 c 842 1400 110882 1362042 12 221848 50152 844 173 4.86 50.17/50.23 c 1655 1400 111695 2462337 22 223474 55168 1657 286 5.79 50.17/50.23 c 2975 1400 113015 4248864 37 226114 60685 2977 398 7.46 50.17/50.23 c 5056 1400 115096 7064239 61 230276 66754 5058 473 10.68 50.17/50.23 c 8279 1400 118319 11422465 96 236722 73430 8281 512 16.14 50.17/50.23 c 13215 1400 123255 18100403 146 246594 80774 13217 438 30.13 50.17/50.23 c 20721 1400 130761 28255965 216 261606 88852 20723 420 49.22 50.17/50.23 o -44 381.57/381.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 381.57/381.72 c 21362 1400 131403 29124730 221 262934 37679 21365 425 50.22 381.57/381.72 c 21463 1400 131504 29261343 222 263136 41447 21466 425 50.39 381.57/381.72 c 21713 1400 131754 29599475 224 263636 45592 21716 426 50.91 381.57/381.72 c 22188 1400 132229 30241543 228 264586 50152 22191 427 51.92 381.57/381.72 c 23002 1400 133043 31341761 235 266214 55168 23005 429 53.57 381.57/381.72 c 24323 1400 134364 33127975 246 268856 60685 24326 408 59.56 381.57/381.72 c 26405 1400 136446 35942055 263 273020 66754 26408 415 63.48 381.57/381.72 c 29629 1400 139670 40301011 288 279468 73430 29632 428 69.19 381.57/381.72 c 34565 1400 144606 46974088 324 289340 80774 34568 363 95.20 381.57/381.72 c 42072 1400 152113 57123039 375 304354 88852 42075 360 116.74 381.57/381.72 c 53433 1400 163474 72474673 443 327076 97738 53436 353 151.12 381.57/381.72 c Reducing formula size due to memory constraints 381.57/381.72 c Memory Limit: 1000.00 MB Used: 1011.35 MB 381.57/381.72 c 70578 1400 133359 31746428 238 266762 147384 23321 289 243.81 381.57/381.72 c 96397 1400 159178 66646266 418 318400 162123 49140 257 374.71 381.57/381.72 o -45 1800.08/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.71 c 99851 1400 162633 71318947 438 325355 37679 52595 261 381.59 1800.08/1800.71 c 99953 1400 121789 16107475 132 243623 41447 11751 249 400.12 1800.08/1800.71 c 100203 1400 122039 16445367 134 244123 45592 12001 250 400.46 1800.08/1800.71 c 100678 1400 122514 17086873 139 245073 50152 12476 250 401.30 1800.08/1800.71 c 101491 1400 123327 18185723 147 246699 55168 13289 251 402.86 1800.08/1800.71 c 102811 1400 124647 19967405 160 249339 60685 14609 252 407.21 1800.08/1800.71 c 104893 1400 126729 22779072 179 253503 66754 16691 254 411.64 1800.08/1800.71 c 108116 1400 129952 27131126 208 259949 73430 19914 258 418.30 1800.08/1800.71 c 113052 1400 134888 33799143 250 269821 80774 24850 263 429.67 1800.08/1800.71 c 120559 1400 142395 43941290 308 284835 88852 32357 268 448.28 1800.08/1800.71 c 131920 1400 153756 59292020 385 307557 97738 43718 274 480.52 1800.08/1800.71 c Reducing formula size due to memory constraints 1800.08/1800.71 c Memory Limit: 1000.00 MB Used: 1007.71 MB 1800.08/1800.71 c 149064 1400 123777 18781471 151 247599 147344 13739 266 559.21 1800.08/1800.71 c 174883 1400 149596 53659668 358 299237 162079 39558 249 700.20 1800.08/1800.71 c Reducing formula size due to memory constraints 1800.08/1800.71 c Memory Limit: 1000.00 MB Used: 1005.75 MB 1800.08/1800.71 c 213716 1400 141441 42646145 301 282927 147382 31403 231 922.98 1800.08/1800.71 c Reducing formula size due to memory constraints 1800.08/1800.71 c Memory Limit: 1000.00 MB Used: 1006.41 MB 1800.08/1800.71 c 272069 1400 152795 57982678 379 305635 147412 42757 210 1290.10 1800.08/1800.71 c Reducing formula size due to memory constraints 1800.08/1800.71 c Memory Limit: 1000.00 MB Used: 1006.78 MB 1800.08/1800.71 c Reducing formula size due to memory constraints 1800.08/1800.71 c Memory Limit: 1000.00 MB Used: 1006.34 MB 1800.08/1800.71 c Caught signal: 15 1800.08/1800.71 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 1800.08/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.71 c 39 335139 26155 367672 150629 55057310 40591 186 1800.09 1800.08/1800.71 c Objective: -45 1800.08/1800.71 s SATISFIABLE 1800.08/1800.71 c Total time: 1800.09 s
OK -45
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657404-1276494548/watcher-2657404-1276494548 -o /tmp/evaluation-result-2657404-1276494548/solver-2657404-1276494548 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657404-1276494548.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.01 1.00 3/106 27906 /proc/meminfo: memFree=1795028/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=13572 CPUtime=0 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 25058312 13897728 274 1992294400 134512640 137138936 4290735712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 3393 274 176 642 0 2089 0 [startup+0.034699 s] /proc/loadavg: 1.01 1.01 1.00 3/106 27906 /proc/meminfo: memFree=1795028/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=14260 CPUtime=0.03 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 563 0 0 0 3 0 0 0 20 0 1 0 25058312 14602240 482 1992294400 134512640 137138936 4290735712 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 3565 483 215 642 0 2261 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14260 [startup+0.100711 s] /proc/loadavg: 1.01 1.01 1.00 3/106 27906 /proc/meminfo: memFree=1795028/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=15776 CPUtime=0.09 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 1062 0 0 0 9 0 0 0 20 0 1 0 25058312 16154624 981 1992294400 134512640 137138936 4290735712 18446744073709551615 136494090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 3977 982 311 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15776 [startup+0.300747 s] /proc/loadavg: 1.01 1.01 1.00 3/106 27906 /proc/meminfo: memFree=1795028/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=20996 CPUtime=0.29 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 2651 0 0 0 29 0 0 0 20 0 1 0 25058312 21499904 2570 1992294400 134512640 137138936 4290735712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 5249 2570 623 642 0 3945 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20996 [startup+0.700822 s] /proc/loadavg: 1.01 1.01 1.00 3/106 27906 /proc/meminfo: memFree=1795028/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=30384 CPUtime=0.69 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 5880 0 0 0 67 2 0 0 21 0 1 0 25058312 31113216 5139 1992294400 134512640 137138936 4290735712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 7596 5139 185 642 0 6952 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30384 [startup+1.50097 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27907 /proc/meminfo: memFree=1775180/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=30384 CPUtime=1.49 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 5880 0 0 0 144 5 0 0 23 0 1 0 25058312 31113216 5139 1992294400 134512640 137138936 4290735712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 7596 5139 185 642 0 6952 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30384 [startup+3.10126 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27907 /proc/meminfo: memFree=1774932/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=30384 CPUtime=3.09 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 5880 0 0 0 298 11 0 0 25 0 1 0 25058312 31113216 5139 1992294400 134512640 137138936 4290735712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 7596 5139 185 642 0 6952 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30384 [startup+6.30086 s] /proc/loadavg: 1.01 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1754968/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=63764 CPUtime=6.29 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 15922 0 0 0 612 17 0 0 25 0 1 0 25058312 65294336 13511 1992294400 134512640 137138936 4290735712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 15941 13511 191 642 0 15297 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63764 [startup+12.701 s] /proc/loadavg: 1.01 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1676352/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=137132 CPUtime=12.69 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 34267 0 0 0 1245 24 0 0 25 0 1 0 25058312 140423168 31856 1992294400 134512640 137138936 4290735712 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 34283 31856 191 642 0 33639 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 137132 [startup+25.5004 s] /proc/loadavg: 1.01 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1574672/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=231396 CPUtime=25.48 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 57824 0 0 0 2511 37 0 0 25 0 1 0 25058312 236949504 55413 1992294400 134512640 137138936 4290735712 18446744073709551615 134603287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 57849 55413 191 642 0 57205 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231396 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27909 /proc/meminfo: memFree=1405784/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=403636 CPUtime=51.06 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 100879 0 0 0 5048 58 0 0 25 0 1 0 25058312 413323264 98468 1992294400 134512640 137138936 4290735712 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 100909 98468 191 642 0 100265 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 403636 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27909 /proc/meminfo: memFree=1125916/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=678292 CPUtime=102.26 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 169536 0 0 0 10132 94 0 0 25 0 1 0 25058312 694571008 167125 1992294400 134512640 137138936 4290735712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 169573 167125 191 642 0 168929 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 678292 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27911 /proc/meminfo: memFree=796324/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1008668 CPUtime=162.23 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 252152 0 0 0 16085 138 0 0 25 0 1 0 25058312 1032876032 249741 1992294400 134512640 137138936 4290735712 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 252167 249741 191 642 0 251523 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1008668 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27913 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1046932 CPUtime=222.21 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 22074 147 0 0 25 0 1 0 25058312 1072058368 259305 1992294400 134512640 137138936 4290735712 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261733 259305 191 642 0 261089 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1046932 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27915 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1046932 CPUtime=282.19 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 28065 154 0 0 25 0 1 0 25058312 1072058368 259305 1992294400 134512640 137138936 4290735712 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261733 259305 191 642 0 261089 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1046932 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27917 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1046932 CPUtime=342.17 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 34057 160 0 0 25 0 1 0 25058312 1072058368 259305 1992294400 134512640 137138936 4290735712 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261733 259305 191 642 0 261089 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1046932 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27917 /proc/meminfo: memFree=756148/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=402.15 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 40051 164 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1045972 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27919 /proc/meminfo: memFree=756148/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=462.13 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 46041 172 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1045972 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27921 /proc/meminfo: memFree=756148/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=522.11 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 52031 180 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1045972 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27923 /proc/meminfo: memFree=756148/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=582.09 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 58025 184 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1045972 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27925 /proc/meminfo: memFree=756148/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=642.08 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 64018 190 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1045972 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27940 /proc/meminfo: memFree=755404/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=881.97 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 87989 208 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1045972 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27942 /proc/meminfo: memFree=755404/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=941.95 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 93981 214 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1045972 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27942 /proc/meminfo: memFree=755404/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=1001.94 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 99974 220 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 134538806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 1045972 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27944 /proc/meminfo: memFree=755404/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045972 CPUtime=1061.92 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 105968 224 0 0 25 0 1 0 25058312 1071075328 259068 1992294400 134512640 137138936 4290735712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261493 259068 191 642 0 260849 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1045972 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27946 /proc/meminfo: memFree=755776/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1121.9 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 111962 228 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1045564 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27948 /proc/meminfo: memFree=755776/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1181.88 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 117955 233 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1045564 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27950 /proc/meminfo: memFree=755776/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1241.86 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 123950 236 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1045564 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27950 /proc/meminfo: memFree=755776/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1301.84 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 129943 241 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1045564 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27952 /proc/meminfo: memFree=755776/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1361.81 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 135934 247 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134544780 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1045564 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27954 /proc/meminfo: memFree=755776/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1421.8 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 141929 251 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1045564 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27959 /proc/meminfo: memFree=755280/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1481.78 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 147922 256 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1045564 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27961 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1541.76 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 153917 259 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1045564 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27961 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1601.74 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 159911 263 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1045564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27963 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1661.71 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 165905 266 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1045564 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27965 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1721.69 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 171900 269 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1045564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27967 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1781.67 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 177896 271 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1045564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27967 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=1045564 CPUtime=1800.08 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202496 261774 0 0 0 179737 271 0 0 25 0 1 0 25058312 1070657536 258966 1992294400 134512640 137138936 4290735712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27906/statm: 261391 258966 191 642 0 260747 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1045564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27967 /proc/meminfo: memFree=755652/2059040 swapFree=4140476/4192956 [pid=27906] ppid=27904 vsize=0 CPUtime=1800.17 /proc/27906/stat : 27906 (bsolo_pb10) R 27904 27906 27596 0 -1 4202500 261775 0 0 0 179737 280 0 0 25 0 1 0 25058312 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/27906/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.82 CPU time (s): 1800.2 CPU user time (s): 1797.37 CPU system time (s): 2.82157 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 1047164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.37 system time used= 2.82157 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 261775 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= 2 involuntary context switches= 22927 runsolver used 3.10253 second user time and 8.38072 second system time The end
Begin job on node007 at 2010-06-14 07:49:09 IDJOB=2657404 IDBENCH=2246 IDSOLVER=1163 FILE ID=node007/2657404-1276494548 PBS_JOBID= 11173396 Free space on /tmp= 62484 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657404-1276494548/watcher-2657404-1276494548 -o /tmp/evaluation-result-2657404-1276494548/solver-2657404-1276494548 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657404-1276494548.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 09bf68c118cd38b954800f61edb04c4b RANDOM SEED=1903679689 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1795432 kB Buffers: 73764 kB Cached: 108836 kB SwapCached: 6948 kB Active: 101620 kB Inactive: 95004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795432 kB SwapTotal: 4192956 kB SwapFree: 4140476 kB Dirty: 6644 kB Writeback: 0 kB AnonPages: 11468 kB Mapped: 12916 kB Slab: 45092 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181476 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= 62480 MiB End job on node007 at 2010-06-14 08:19:11