Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -6 | 1798.03 | 1798.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
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 | -7 |
Best CPU time to get the best result obtained on this benchmark | 233.561 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
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) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
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-1876821-1245206073.opb 0.00/0.00 c File size is 118615 bytes. 0.01/0.01 c Highest Coefficient sum: 100 0.01/0.01 c Parsing was ok!! 0.01/0.01 c Total parsing time: 0.015 s 0.01/0.01 c Var: 1576 Constr: 3104 1526/102/1476 Lit: 12108 Watch. Lit: 10534 0.01/0.01 c Obj. Vars: 50 (3.17259 % of total variables) 1.39/1.42 c Pre-processing Time: 1.425 s 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 0 1576 3104 12108 3 10534 39764 0 0 1.43 1.39/1.42 c Switching off lower bounding mode. 1.39/1.42 o -1 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 1576 3105 12158 3 10537 39797 1 0 1.43 1.39/1.43 o -2 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 2 1576 3109 12357 3 10548 39814 5 1 1.43 1.39/1.43 o -3 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 11 1576 3120 12840 4 10575 39831 16 7 1.43 1.39/1.43 o -4 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 27 1576 3138 13621 4 10618 39847 34 18 1.44 1.39/1.44 o -5 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 74 1576 3188 15156 4 10727 39864 84 51 1.45 1.49/1.53 c 175 1576 3297 18786 5 10950 43851 193 118 1.48 1.49/1.53 o -6 1797.98/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.61 c 341 1576 3466 23295 6 11294 39881 362 223 1.53 1797.98/1798.61 c 441 1576 3570 25487 7 11508 43870 466 279 1.58 1797.98/1798.61 c 691 1576 3824 33695 8 12021 48258 720 420 1.64 1797.98/1798.61 c 1166 1576 4332 49096 11 13037 53084 1228 668 1.75 1797.98/1798.61 c 1979 1576 5218 76677 14 14911 58393 2114 1031 1.92 1797.98/1798.61 c 3299 1576 6684 132899 19 17936 64233 3580 1431 2.30 1797.98/1798.61 c 5380 1576 9020 228347 25 22752 70657 5916 1750 3.07 1797.98/1798.61 c 8603 1576 12802 411904 32 30389 77723 9698 1670 5.15 1797.98/1798.61 c 13539 1576 18687 708928 37 42435 85496 15583 1349 10.03 1797.98/1798.61 c 21045 1576 27609 1176313 42 60965 94046 24505 924 22.76 1797.98/1798.61 c 32406 1538 40650 1850635 45 87728 103451 37546 715 45.28 1797.98/1798.61 c 49552 1538 58596 2711993 46 124592 113797 55492 465 106.34 1797.98/1798.61 c 75371 1538 86216 4145870 48 181028 125177 83112 316 238.22 1797.98/1798.61 c 114203 1538 21516 780923 36 48410 137695 18412 197 577.35 1797.98/1798.61 c 172555 1538 84976 4209514 49 177944 151465 81872 213 809.57 1797.98/1798.61 c 260187 1538 47757 2147726 44 101590 166612 44653 164 1585.66 1797.98/1798.61 c Resources Exceeded 1797.98/1798.61 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 -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.98/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.61 c 22 298858 59209 482551 89297 4327270 86193 166 1798.00 1797.98/1798.61 c Objective: -6 1797.98/1798.61 s SATISFIABLE 1797.98/1798.61 c Total time: 1798 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-1876821-1245206073/watcher-1876821-1245206073 -o /tmp/evaluation-result-1876821-1245206073/solver-1876821-1245206073 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876821-1245206073.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 9394 /proc/meminfo: memFree=1776912/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=18640 CPUtime=0 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 253 0 0 0 0 0 0 0 18 0 1 0 188206609 19087360 237 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 4660 238 174 640 0 3987 0 [startup+0.0167721 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9394 /proc/meminfo: memFree=1776912/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=11100 CPUtime=0.01 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 358 0 0 0 1 0 0 0 18 0 1 0 188206609 11366400 342 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 2775 342 197 640 0 2102 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11100 [startup+0.101786 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9394 /proc/meminfo: memFree=1776912/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=11532 CPUtime=0.09 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 502 0 0 0 9 0 0 0 18 0 1 0 188206609 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11532 [startup+0.301815 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9394 /proc/meminfo: memFree=1776912/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=11532 CPUtime=0.29 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 502 0 0 0 29 0 0 0 19 0 1 0 188206609 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11532 [startup+0.701876 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9394 /proc/meminfo: memFree=1776912/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=11532 CPUtime=0.69 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 502 0 0 0 69 0 0 0 22 0 1 0 188206609 11808768 457 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 2883 457 189 640 0 2239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11532 [startup+1.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1775816/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=11664 CPUtime=1.49 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 548 0 0 0 149 0 0 0 25 0 1 0 188206609 11943936 503 1992294400 134512640 137136520 4294956256 18446744073709551615 134616487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 2916 503 197 640 0 2272 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11664 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1774216/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=14964 CPUtime=3.09 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 1376 0 0 0 308 1 0 0 25 0 1 0 188206609 15323136 1331 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 3741 1331 197 640 0 3097 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14964 [startup+6.30173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1769032/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=19000 CPUtime=6.29 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 2369 0 0 0 625 4 0 0 25 0 1 0 188206609 19456000 2324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 4750 2324 197 640 0 4106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19000 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1763152/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=24284 CPUtime=12.69 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 3693 0 0 0 1263 6 0 0 25 0 1 0 188206609 24866816 3648 1992294400 134512640 137136520 4294956256 18446744073709551615 134544530 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 6071 3648 197 640 0 5427 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24284 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1756688/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=30368 CPUtime=25.48 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 5229 0 0 0 2540 8 0 0 25 0 1 0 188206609 31096832 5184 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 7592 5184 197 640 0 6948 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30368 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1746256/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=41012 CPUtime=51.07 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 7866 0 0 0 5093 14 0 0 25 0 1 0 188206609 41996288 7821 1992294400 134512640 137136520 4294956256 18446744073709551615 134571359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 10253 7821 197 640 0 9609 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41012 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1735440/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=51680 CPUtime=102.26 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 10541 0 0 0 10206 20 0 0 25 0 1 0 188206609 52920320 10496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 12920 10496 197 640 0 12276 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51680 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1725136/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=61940 CPUtime=162.23 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 13120 0 0 0 16194 29 0 0 25 0 1 0 188206609 63426560 13075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 15485 13075 197 640 0 14841 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 61940 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1715280/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=71728 CPUtime=222.22 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 15546 0 0 0 22187 35 0 0 25 0 1 0 188206609 73449472 15501 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 17932 15501 197 640 0 17288 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 71728 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1707280/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=79684 CPUtime=282.19 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 17556 0 0 0 28178 41 0 0 25 0 1 0 188206609 81596416 17511 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 19921 17511 198 640 0 19277 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 79684 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1700688/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=86212 CPUtime=342.18 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 19172 0 0 0 34172 46 0 0 25 0 1 0 188206609 88281088 19127 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 21553 19127 198 640 0 20909 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 86212 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1694160/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=92728 CPUtime=402.16 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 20812 0 0 0 40166 50 0 0 25 0 1 0 188206609 94953472 20767 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 23182 20767 198 640 0 22538 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 92728 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1687248/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=99648 CPUtime=462.14 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 22529 0 0 0 46160 54 0 0 25 0 1 0 188206609 102039552 22484 1992294400 134512640 137136520 4294956256 18446744073709551615 136294934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 24912 22484 198 640 0 24268 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 99648 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1680720/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=106184 CPUtime=522.12 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 24175 0 0 0 52153 59 0 0 25 0 1 0 188206609 108732416 24130 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 26546 24130 198 640 0 25902 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 106184 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1677840/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=108628 CPUtime=582.09 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 24922 0 0 0 58148 61 0 0 25 0 1 0 188206609 111235072 24753 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 27157 24753 198 640 0 26513 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 108628 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9395 /proc/meminfo: memFree=1677840/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=108628 CPUtime=642.08 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 24922 0 0 0 64139 69 0 0 25 0 1 0 188206609 111235072 24753 1992294400 134512640 137136520 4294956256 18446744073709551615 134544275 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 27157 24753 198 640 0 26513 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 108628 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1677968/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=108628 CPUtime=1121.92 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 24922 0 0 0 112096 96 0 0 25 0 1 0 188206609 111235072 24753 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 27157 24753 198 640 0 26513 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 108628 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9397 /proc/meminfo: memFree=1672592/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=114120 CPUtime=1181.9 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 26277 0 0 0 118091 99 0 0 25 0 1 0 188206609 116858880 26108 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 28530 26108 198 640 0 27886 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 114120 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 9397 /proc/meminfo: memFree=1666960/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=119612 CPUtime=1241.87 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 27660 0 0 0 124085 102 0 0 25 0 1 0 188206609 122482688 27491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 29903 27491 198 640 0 29259 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 119612 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 9397 /proc/meminfo: memFree=1661520/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=124980 CPUtime=1301.86 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 29009 0 0 0 130080 106 0 0 25 0 1 0 188206609 127979520 28840 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 31245 28840 198 640 0 30601 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 124980 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9397 /proc/meminfo: memFree=1657616/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=128868 CPUtime=1361.84 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 29977 0 0 0 136075 109 0 0 25 0 1 0 188206609 131960832 29808 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 32217 29808 198 640 0 31573 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 128868 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9397 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1421.82 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 142071 111 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 132356 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9397 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1481.79 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 148068 111 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 132356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9397 /proc/meminfo: memFree=1653968/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1541.78 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 154063 115 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 132356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653840/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1601.74 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 160054 120 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 132356 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1661.72 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 166048 124 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136509133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 132356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1721.71 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 172043 128 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 132356 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1781.69 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 178037 132 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 132356 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 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1791.28 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 178996 132 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 132356 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1794.49 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 179316 133 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 132356 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1796.08 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 179475 133 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 132356 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1796.88 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 179555 133 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136499600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 132356 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1797.68 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 179635 133 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 132356 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1797.89 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 179656 133 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 132356 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9403 /proc/meminfo: memFree=1653904/2055920 swapFree=4191900/4192956 [pid=9394] ppid=9392 vsize=132356 CPUtime=1797.98 /proc/9394/stat : 9394 (bsolo) R 9392 9394 8497 0 -1 4194304 30993 0 0 0 179665 133 0 0 25 0 1 0 188206609 135532544 30674 1992294400 134512640 137136520 4294956256 18446744073709551615 134543784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9394/statm: 33089 30674 198 640 0 32445 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 132356 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.03 CPU user time (s): 1796.67 CPU system time (s): 1.35379 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 132956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.67 system time used= 1.35379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30995 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= 1983 runsolver used 1.43178 second user time and 3.74743 second system time The end
Begin job on node34 at 2009-06-17 04:34:33 IDJOB=1876821 IDBENCH=48231 IDSOLVER=699 FILE ID=node34/1876821-1245206073 PBS_JOBID= 9368338 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876821-1245206073/watcher-1876821-1245206073 -o /tmp/evaluation-result-1876821-1245206073/solver-1876821-1245206073 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876821-1245206073.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=831945788 node34.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.263 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.263 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: 1777456 kB Buffers: 48436 kB Cached: 137760 kB SwapCached: 260 kB Active: 35516 kB Inactive: 164020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1777456 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3976 kB Writeback: 0 kB Mapped: 21816 kB Slab: 64924 kB Committed_AS: 186424 kB PageTables: 1384 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-1876821-1245206073.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-17 05:04:32