Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -6 | 1798.03 | 1798.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb |
MD5SUM | e0d3a2bf2cd2b7e4b27d7033a7686e76 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -6 |
Best CPU time to get the best result obtained on this benchmark | 247.945 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2996 |
Sum of products size (including duplicates) | 5992 |
Number of different products | 1498 |
Sum of products size | 2996 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876840-1245208545.opb 0.00/0.00 c File size is 120403 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.017 s 0.00/0.02 c Var: 1598 Constr: 3148 1548/102/1498 Lit: 12284 Watch. Lit: 10688 0.00/0.02 c Obj. Vars: 50 (3.12891 % of total variables) 1.39/1.49 c Pre-processing Time: 1.487 s 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 0 1598 3148 12284 3 10688 40731 0 0 1.49 1.39/1.49 c Switching off lower bounding mode. 1.39/1.49 o -1 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 0 1598 3149 12334 3 10691 40765 1 0 1.49 1.39/1.49 o -2 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 1 1598 3152 12484 3 10700 40781 4 0 1.49 1.39/1.49 o -3 1.39/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.50 c 4 1598 3157 12669 4 10715 40798 9 2 1.49 1.39/1.50 o -4 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 26 1598 3181 13261 4 10770 40815 33 17 1.50 1.49/1.52 c 132 1598 3290 16523 5 10992 44897 142 86 1.52 1.49/1.52 o -5 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 158 1598 3317 17461 5 11051 40831 169 103 1.53 1.59/1.63 c 258 1598 3420 18504 5 11266 44915 272 167 1.54 1.59/1.63 c 511 1598 3682 27170 7 11790 49407 534 316 1.61 1.59/1.63 o -6 1797.96/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.64 c 569 1598 3744 28541 7 11920 40848 596 349 1.63 1797.96/1798.64 c 669 1598 3845 31848 8 12122 44933 697 404 1.65 1797.96/1798.64 c 919 1598 4112 37326 9 12680 49427 964 541 1.70 1797.96/1798.64 c 1395 1598 4621 54946 11 13698 54370 1473 763 1.83 1797.96/1798.64 c 2208 1598 5519 84936 15 15604 59808 2371 1093 2.02 1797.96/1798.64 c 3528 1598 7000 140746 20 18772 65789 3852 1457 2.42 1797.96/1798.64 c 5609 1598 9362 244140 26 23596 72368 6214 1738 3.23 1797.96/1798.64 c 8832 1598 13056 420729 32 31279 79605 9908 1709 5.17 1797.96/1798.64 c 13768 1598 18887 717389 37 43330 87566 15739 1317 10.45 1797.96/1798.64 c 21275 1598 27755 1162278 41 61662 96323 24607 930 22.86 1797.96/1798.64 c 32637 1598 40393 1802387 44 87463 105956 37245 675 48.33 1797.96/1798.64 c 49782 1598 60492 2824821 46 128504 116552 57344 443 112.36 1797.96/1798.64 c 75602 1598 91700 4530572 49 192012 128208 88552 295 255.98 1797.96/1798.64 c 114435 1598 30266 1260955 41 65998 141029 27118 183 622.71 1797.96/1798.64 c 172788 1598 101490 5165340 50 213433 155132 98342 186 928.32 1797.96/1798.64 c 260420 1568 67105 3035139 45 141210 170646 63957 159 1630.51 1797.96/1798.64 c Resources Exceeded 1797.96/1798.64 v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 1797.96/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.64 c 24 286465 58817 456085 95326 4452283 92178 159 1798.01 1797.96/1798.64 c Objective: -6 1797.96/1798.64 s SATISFIABLE 1797.96/1798.64 c Total time: 1798.01 s
OK -6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876840-1245208545/watcher-1876840-1245208545 -o /tmp/evaluation-result-1876840-1245208545/solver-1876840-1245208545 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876840-1245208545.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2376 /proc/meminfo: memFree=1811372/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=18644 CPUtime=0 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 188451678 19091456 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 4661 238 174 640 0 3987 0 [startup+0.085853 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2376 /proc/meminfo: memFree=1811372/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=11532 CPUtime=0.08 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 506 0 0 0 8 0 0 0 18 0 1 0 188451678 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11532 [startup+0.101856 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2376 /proc/meminfo: memFree=1811372/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=11532 CPUtime=0.1 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 506 0 0 0 10 0 0 0 18 0 1 0 188451678 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11532 [startup+0.301888 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2376 /proc/meminfo: memFree=1811372/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=11532 CPUtime=0.3 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 506 0 0 0 30 0 0 0 19 0 1 0 188451678 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 134544772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11532 [startup+0.701958 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2376 /proc/meminfo: memFree=1811372/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=11532 CPUtime=0.7 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 506 0 0 0 70 0 0 0 22 0 1 0 188451678 11808768 460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 2883 460 189 640 0 2239 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 11532 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1810340/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=11664 CPUtime=1.49 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 553 0 0 0 149 0 0 0 25 0 1 0 188451678 11943936 507 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 2916 507 197 640 0 2272 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11664 [startup+3.10136 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1808804/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=14960 CPUtime=3.09 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 1375 0 0 0 308 1 0 0 25 0 1 0 188451678 15319040 1329 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 3740 1329 197 640 0 3096 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14960 [startup+6.30191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1803364/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=19020 CPUtime=6.29 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 2382 0 0 0 626 3 0 0 25 0 1 0 188451678 19476480 2336 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 4755 2336 197 640 0 4111 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19020 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1798116/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=23888 CPUtime=12.69 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 3591 0 0 0 1264 5 0 0 25 0 1 0 188451678 24461312 3545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 5972 3545 197 640 0 5328 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23888 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1791396/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=30244 CPUtime=25.49 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 5192 0 0 0 2540 9 0 0 25 0 1 0 188451678 30969856 5146 1992294400 134512640 137136520 4294956256 18446744073709551615 134544080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 7561 5146 197 640 0 6917 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30244 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1782116/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=39528 CPUtime=51.07 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 7513 0 0 0 5093 14 0 0 25 0 1 0 188451678 40476672 7467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 9882 7467 197 640 0 9238 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39528 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1769188/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=52280 CPUtime=102.26 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 10711 0 0 0 10205 21 0 0 25 0 1 0 188451678 53534720 10665 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 13070 10665 197 640 0 12426 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52280 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1758052/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=63496 CPUtime=162.23 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 13515 0 0 0 16196 27 0 0 25 0 1 0 188451678 65019904 13469 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 15874 13469 198 640 0 15230 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 63496 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1746916/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=74448 CPUtime=222.21 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 16255 0 0 0 22189 32 0 0 25 0 1 0 188451678 76234752 16209 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 18612 16209 198 640 0 17968 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 74448 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1738468/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=82964 CPUtime=282.19 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 18377 0 0 0 28182 37 0 0 25 0 1 0 188451678 84955136 18331 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 20741 18331 198 640 0 20097 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 82964 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1730020/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=91352 CPUtime=342.17 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 20466 0 0 0 34176 41 0 0 25 0 1 0 188451678 93544448 20420 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 22838 20420 198 640 0 22194 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 91352 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1723044/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=98308 CPUtime=402.15 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 22205 0 0 0 40170 45 0 0 25 0 1 0 188451678 100667392 22159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 24577 22159 198 640 0 23933 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 98308 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1717476/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=103724 CPUtime=462.13 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 23560 0 0 0 46164 49 0 0 25 0 1 0 188451678 106213376 23514 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 25931 23514 198 640 0 25287 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 103724 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1711396/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=109884 CPUtime=522.1 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 25097 0 0 0 52158 52 0 0 25 0 1 0 188451678 112521216 25051 1992294400 134512640 137136520 4294956256 18446744073709551615 134573527 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 27471 25051 198 640 0 26827 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 109884 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1707556/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=113360 CPUtime=582.09 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 26108 0 0 0 58153 56 0 0 25 0 1 0 188451678 116080640 25935 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 28340 25935 198 640 0 27696 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 113360 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1707556/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=113360 CPUtime=642.07 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 26108 0 0 0 64147 60 0 0 25 0 1 0 188451678 116080640 25935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 28340 25935 198 640 0 27696 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 113360 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1707684/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=113360 CPUtime=1121.9 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 26108 0 0 0 112104 86 0 0 25 0 1 0 188451678 116080640 25935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 28340 25935 198 640 0 27696 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 113360 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1704804/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=116484 CPUtime=1181.87 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 26860 0 0 0 118099 88 0 0 25 0 1 0 188451678 119279616 26687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 29121 26687 198 640 0 28477 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 116484 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1698724/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=122428 CPUtime=1241.85 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 28358 0 0 0 124094 91 0 0 25 0 1 0 188451678 125366272 28185 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 30607 28185 198 640 0 29963 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 122428 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1693156/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=127844 CPUtime=1301.84 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 29725 0 0 0 130090 94 0 0 25 0 1 0 188451678 130912256 29552 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 31961 29552 198 640 0 31317 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 127844 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1688164/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=132952 CPUtime=1361.81 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 30977 0 0 0 136084 97 0 0 25 0 1 0 188451678 136142848 30804 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33238 30804 198 640 0 32594 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 132952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1421.8 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 142081 99 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 135364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1481.77 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 148078 99 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 135364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1541.75 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 154072 103 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 135364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685476/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1601.73 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 160066 107 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 135364 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685476/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1661.71 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 166059 112 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 135364 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685476/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1721.68 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 172053 115 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 135364 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1781.67 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 178048 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 135364 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1791.26 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179007 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 135364 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1794.46 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179327 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 135364 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1796.06 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179487 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 135364 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1796.86 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179567 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 135364 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1797.66 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179647 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 135364 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1797.86 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179667 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 135364 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2377 /proc/meminfo: memFree=1685412/2055920 swapFree=4181368/4192956 [pid=2376] ppid=2374 vsize=135364 CPUtime=1797.96 /proc/2376/stat : 2376 (bsolo) R 2374 2376 2258 0 -1 4194304 31760 0 0 0 179677 119 0 0 25 0 1 0 188451678 138612736 31434 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2376/statm: 33841 31434 198 640 0 33197 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 135364 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.03 CPU user time (s): 1796.81 CPU system time (s): 1.21981 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 135976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.81 system time used= 1.21981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31762 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= 3869 runsolver used 1.2848 second user time and 3.66144 second system time The end
Begin job on node43 at 2009-06-17 05:15:45 IDJOB=1876840 IDBENCH=48250 IDSOLVER=699 FILE ID=node43/1876840-1245208545 PBS_JOBID= 9368381 Free space on /tmp= 66192 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876840-1245208545/watcher-1876840-1245208545 -o /tmp/evaluation-result-1876840-1245208545/solver-1876840-1245208545 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876840-1245208545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76 RANDOM SEED=1522982536 node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1811916 kB Buffers: 58064 kB Cached: 124604 kB SwapCached: 5352 kB Active: 75724 kB Inactive: 114820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811916 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 13588 kB Slab: 39364 kB Committed_AS: 181172 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876840-1245208545.opb Free space on /tmp at the end= 66188 MiB End job on node43 at 2009-06-17 05:45:43