Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT (TO) | -9 | 1800.3 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_2.opb |
MD5SUM | 3576405369e31b0bc5c7707d6d764dde |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6148 |
Sum of products size (including duplicates) | 12296 |
Number of different products | 3074 |
Sum of products size | 6148 |
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-2671072-1276717087.opb 0.00/0.00 c File size is 257826 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.044 s 0.00/0.04 c Var: 3274 Constr: 6450 3174/202/3074 Lit: 25192 Watch. Lit: 21920 0.00/0.04 c Obj. Vars: 100 (3.05437 % of total variables) 3.79/3.89 c Pre-processing Time: 3.893 s 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 0 3274 6450 25192 3 21920 83680 0 0 3.89 3.79/3.89 c Switching off lower bounding mode. 3.79/3.89 o -1 3.89/3.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.90 c 0 3274 6451 25292 3 21923 83747 1 0 3.90 3.89/3.90 o -2 3.89/3.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.96 c 2 3274 6454 25628 3 21931 83780 4 0 3.90 3.89/3.96 c 102 3274 6554 41420 6 22131 92159 104 25 3.94 3.89/3.96 o -3 3.99/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.02 c 155 3274 6608 49236 7 22242 83814 158 39 3.96 3.99/4.02 c 255 3274 6708 63587 9 22442 92196 258 63 4.00 3.99/4.02 o -4 5.59/5.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.67 c 328 3274 6782 71190 10 22594 83847 332 81 4.02 5.59/5.67 c 428 3274 6882 85444 12 22794 92232 432 105 4.07 5.59/5.67 c 678 3274 7132 121628 17 23294 101456 682 162 4.18 5.59/5.67 c 1153 3274 7607 194799 25 24244 111602 1157 263 4.38 5.59/5.67 c 1966 3274 8420 326186 38 25870 122763 1970 419 4.68 5.59/5.67 c 3286 3274 9740 555777 57 28510 135040 3290 639 5.13 5.59/5.67 o -8 5.69/5.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.70 c 3992 3274 10447 614753 58 29932 83980 3997 702 5.68 5.69/5.70 o -9 1800.11/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.11/1800.61 c 4014 3274 10470 617032 58 29987 84014 4020 703 5.71 1800.11/1800.61 c 4114 3274 10570 631202 59 30187 92416 4120 716 5.75 1800.11/1800.61 c 4365 3274 10821 663870 61 30689 101658 4371 750 5.81 1800.11/1800.61 c 4840 3274 11296 720838 63 31639 111824 4846 815 5.93 1800.11/1800.61 c 5653 3274 12109 823470 68 33265 123007 5659 903 6.25 1800.11/1800.61 c 6973 3274 13429 1041022 77 35905 135308 6979 1035 6.73 1800.11/1800.61 c 9054 3274 15510 1364562 87 40067 148839 9060 1174 7.71 1800.11/1800.61 c 12277 3274 18733 1871102 99 46513 163723 12283 1302 9.43 1800.11/1800.61 c 17213 3274 23669 2658749 112 56385 180096 17219 1400 12.29 1800.11/1800.61 c 24719 3274 31175 3859100 123 71397 198106 24725 1394 17.73 1800.11/1800.61 c 36080 3274 42536 5690879 133 94119 217917 36086 1260 28.62 1800.11/1800.61 c 53224 3274 59680 8491540 142 128407 239709 53230 1072 49.64 1800.11/1800.61 c 79044 3274 85500 12781844 149 180047 263680 79050 839 94.12 1800.11/1800.61 c 117876 3274 124332 19030837 153 257711 290049 117882 625 188.36 1800.11/1800.61 c 176228 3274 182684 28597031 156 374415 319054 176234 443 397.63 1800.11/1800.61 c 263860 3274 270316 42900190 158 549679 350960 263866 360 731.89 1800.11/1800.61 c Caught signal: 15 1800.11/1800.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 -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 -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 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -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 1800.11/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.11/1800.61 c 28 354181 135 358723 248174 39349784 241724 196 1800.11 1800.11/1800.61 c Objective: -9 1800.11/1800.61 s SATISFIABLE 1800.11/1800.61 c Total time: 1800.11 s
OK -9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671072-1276717087/watcher-2671072-1276717087 -o /tmp/evaluation-result-2671072-1276717087/solver-2671072-1276717087 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671072-1276717087.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18233 /proc/meminfo: memFree=1681024/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=11184 CPUtime=0 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 13004034 11452416 268 1992294400 134512640 137138936 4291679584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 2796 268 175 642 0 2089 0 [startup+0.0593759 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18233 /proc/meminfo: memFree=1681024/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=12580 CPUtime=0.05 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 832 0 0 0 5 0 0 0 20 0 1 0 13004034 12881920 687 1992294400 134512640 137138936 4291679584 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 3145 687 184 642 0 2501 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12580 [startup+0.101378 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18233 /proc/meminfo: memFree=1681024/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=12580 CPUtime=0.1 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 832 0 0 0 10 0 0 0 20 0 1 0 13004034 12881920 687 1992294400 134512640 137138936 4291679584 18446744073709551615 136504071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 3145 687 184 642 0 2501 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12580 [startup+0.300391 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18233 /proc/meminfo: memFree=1681024/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=12580 CPUtime=0.29 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 835 0 0 0 29 0 0 0 20 0 1 0 13004034 12881920 690 1992294400 134512640 137138936 4291679584 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 3145 690 184 642 0 2501 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12580 [startup+0.701416 s] /proc/loadavg: 0.92 0.98 0.99 3/106 18233 /proc/meminfo: memFree=1681024/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=12580 CPUtime=0.69 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 835 0 0 0 69 0 0 0 20 0 1 0 13004034 12881920 690 1992294400 134512640 137138936 4291679584 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 3145 690 184 642 0 2501 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12580 [startup+1.50147 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18234 /proc/meminfo: memFree=1679156/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=12580 CPUtime=1.49 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 835 0 0 0 149 0 0 0 22 0 1 0 13004034 12881920 690 1992294400 134512640 137138936 4291679584 18446744073709551615 136504370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 3145 690 184 642 0 2501 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12580 [startup+3.10157 s] /proc/loadavg: 0.92 0.98 0.99 2/107 18234 /proc/meminfo: memFree=1678908/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=12580 CPUtime=3.09 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 835 0 0 0 309 0 0 0 25 0 1 0 13004034 12881920 690 1992294400 134512640 137138936 4291679584 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 3145 690 184 642 0 2501 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12580 [startup+6.30178 s] /proc/loadavg: 0.93 0.98 0.99 2/107 18234 /proc/meminfo: memFree=1671220/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=23636 CPUtime=6.3 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 3664 0 0 0 626 4 0 0 25 0 1 0 13004034 24203264 3459 1992294400 134512640 137138936 4291679584 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 5909 3459 191 642 0 5265 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 23636 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 18236 /proc/meminfo: memFree=1643940/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=49492 CPUtime=12.69 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 10129 0 0 0 1260 9 0 0 25 0 1 0 13004034 50679808 9924 1992294400 134512640 137138936 4291679584 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 12373 9924 191 642 0 11729 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49492 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 18236 /proc/meminfo: memFree=1609220/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=82756 CPUtime=25.49 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 18458 0 0 0 2531 18 0 0 25 0 1 0 13004034 84742144 18253 1992294400 134512640 137138936 4291679584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 20689 18253 191 642 0 20045 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82756 [startup+51.1007 s] /proc/loadavg: 0.96 0.98 0.99 2/107 18236 /proc/meminfo: memFree=1563464/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=128476 CPUtime=51.08 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 29880 0 0 0 5074 34 0 0 25 0 1 0 13004034 131559424 29675 1992294400 134512640 137138936 4291679584 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 32119 29675 191 642 0 31475 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 128476 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 18238 /proc/meminfo: memFree=1498240/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=192820 CPUtime=102.28 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 45963 0 0 0 10170 58 0 0 25 0 1 0 13004034 197447680 45758 1992294400 134512640 137138936 4291679584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 48205 45758 191 642 0 47561 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 192820 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18240 /proc/meminfo: memFree=1443804/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=247224 CPUtime=162.25 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 59578 0 0 0 16145 80 0 0 25 0 1 0 13004034 253157376 59373 1992294400 134512640 137138936 4291679584 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 61806 59373 191 642 0 61162 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 247224 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18240 /proc/meminfo: memFree=1396932/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=293736 CPUtime=222.23 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 71199 0 0 0 22126 97 0 0 25 0 1 0 13004034 300785664 70994 1992294400 134512640 137138936 4291679584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 73434 70994 191 642 0 72790 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 293736 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18242 /proc/meminfo: memFree=1352788/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=338440 CPUtime=282.21 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 82381 0 0 0 28104 117 0 0 25 0 1 0 13004034 346562560 82176 1992294400 134512640 137138936 4291679584 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 84610 82176 191 642 0 83966 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 338440 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18244 /proc/meminfo: memFree=1320672/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=369908 CPUtime=342.2 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 90257 0 0 0 34084 136 0 0 25 0 1 0 13004034 378785792 90052 1992294400 134512640 137138936 4291679584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 92477 90052 191 642 0 91833 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 369908 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18246 /proc/meminfo: memFree=1292896/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=397896 CPUtime=402.18 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 97236 0 0 0 40069 149 0 0 25 0 1 0 13004034 407445504 97031 1992294400 134512640 137138936 4291679584 18446744073709551615 134545208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 99474 97031 191 642 0 98830 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 397896 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 18248 /proc/meminfo: memFree=1262888/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=427716 CPUtime=462.16 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 104709 0 0 0 46052 164 0 0 25 0 1 0 13004034 437981184 104504 1992294400 134512640 137138936 4291679584 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 106929 104504 191 642 0 106285 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 427716 [startup+522.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 18248 /proc/meminfo: memFree=1226556/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=464160 CPUtime=522.15 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 113806 0 0 0 52034 181 0 0 25 0 1 0 13004034 475299840 113601 1992294400 134512640 137138936 4291679584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 116040 113601 191 642 0 115396 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 464160 [startup+582.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 18250 /proc/meminfo: memFree=1194192/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=496132 CPUtime=582.14 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 121811 0 0 0 58018 196 0 0 25 0 1 0 13004034 508039168 121606 1992294400 134512640 137138936 4291679584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 124033 121606 191 642 0 123389 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 496132 [startup+642.301 s] /proc/loadavg: 1.09 1.04 1.01 2/107 18252 /proc/meminfo: memFree=1159348/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=530688 CPUtime=642.13 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 130431 0 0 0 64001 212 0 0 25 0 1 0 13004034 543424512 130226 1992294400 134512640 137138936 4291679584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 132672 130226 191 642 0 132028 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 530688 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18258 /proc/meminfo: memFree=1049360/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=640344 CPUtime=882.05 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 157846 0 0 0 87943 262 0 0 25 0 1 0 13004034 655712256 157641 1992294400 134512640 137138936 4291679584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 160086 157641 191 642 0 159442 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 640344 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18260 /proc/meminfo: memFree=1033736/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=656144 CPUtime=942.04 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 161799 0 0 0 93934 270 0 0 25 0 1 0 13004034 671891456 161594 1992294400 134512640 137138936 4291679584 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 164036 161594 191 642 0 163392 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 656144 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18262 /proc/meminfo: memFree=1017120/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=672512 CPUtime=1002.01 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 165898 0 0 0 99923 278 0 0 25 0 1 0 13004034 688652288 165693 1992294400 134512640 137138936 4291679584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 168128 165693 191 642 0 167484 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 672512 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18264 /proc/meminfo: memFree=1002240/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=687340 CPUtime=1062 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 169616 0 0 0 105914 286 0 0 25 0 1 0 13004034 703836160 169411 1992294400 134512640 137138936 4291679584 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 171835 169411 191 642 0 171191 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 687340 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18264 /proc/meminfo: memFree=985624/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=703852 CPUtime=1121.98 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 173723 0 0 0 111902 296 0 0 25 0 1 0 13004034 720744448 173518 1992294400 134512640 137138936 4291679584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 175963 173518 191 642 0 175319 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 703852 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18266 /proc/meminfo: memFree=970620/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=718924 CPUtime=1181.96 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 177512 0 0 0 117892 304 0 0 25 0 1 0 13004034 736178176 177307 1992294400 134512640 137138936 4291679584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 179731 177307 191 642 0 179087 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 718924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18268 /proc/meminfo: memFree=955492/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=733852 CPUtime=1241.95 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 181224 0 0 0 123884 311 0 0 25 0 1 0 13004034 751464448 181019 1992294400 134512640 137138936 4291679584 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 183463 181019 191 642 0 182819 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 733852 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18270 /proc/meminfo: memFree=936272/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=752840 CPUtime=1301.94 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 185979 0 0 0 129873 321 0 0 25 0 1 0 13004034 770908160 185774 1992294400 134512640 137138936 4291679584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 188210 185774 191 642 0 187566 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 752840 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18272 /proc/meminfo: memFree=919284/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=770024 CPUtime=1361.92 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 190268 0 0 0 135863 329 0 0 25 0 1 0 13004034 788504576 190063 1992294400 134512640 137138936 4291679584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 192506 190063 191 642 0 191862 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 770024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18281 /proc/meminfo: memFree=901180/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=787288 CPUtime=1421.9 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 194591 0 0 0 141852 338 0 0 25 0 1 0 13004034 806182912 194386 1992294400 134512640 137138936 4291679584 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 196822 194386 191 642 0 196178 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 787288 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18283 /proc/meminfo: memFree=899816/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1481.88 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 147850 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 788032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18285 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1541.86 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 153848 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 788032 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18287 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1601.84 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 159846 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 788032 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18289 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1661.83 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 165845 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 788032 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18289 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1721.81 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 171843 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 788032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18291 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1781.8 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 177842 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 788032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18291 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1800.11 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195125 0 0 0 179673 338 0 0 25 0 1 0 13004034 806944768 194574 1992294400 134512640 137138936 4291679584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194574 191 642 0 196364 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 788032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18291 /proc/meminfo: memFree=900188/2059040 swapFree=4192956/4192956 [pid=18233] ppid=18231 vsize=788032 CPUtime=1800.21 /proc/18233/stat : 18233 (bsolo_pb10) R 18231 18233 18015 0 -1 4202496 195126 0 0 0 179683 338 0 0 25 0 1 0 13004034 806944768 194575 1992294400 134512640 137138936 4291679584 18446744073709551615 136500289 0 16384 4096 16384 0 0 0 17 1 0 0 0 /proc/18233/statm: 197008 194575 192 642 0 196364 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 788032 Child status: 15 Real time (s): 1800.8 CPU time (s): 1800.3 CPU user time (s): 1796.84 CPU system time (s): 3.45847 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 789416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.84 system time used= 3.45847 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 195126 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2583 runsolver used 2.98555 second user time and 8.49571 second system time The end
Begin job on node030 at 2010-06-16 21:38:07 IDJOB=2671072 IDBENCH=48252 IDSOLVER=1163 FILE ID=node030/2671072-1276717087 PBS_JOBID= 11174169 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671072-1276717087/watcher-2671072-1276717087 -o /tmp/evaluation-result-2671072-1276717087/solver-2671072-1276717087 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671072-1276717087.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde RANDOM SEED=322511305 node030.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.244 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.48 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.244 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1681932 kB Buffers: 97296 kB Cached: 139112 kB SwapCached: 0 kB Active: 133636 kB Inactive: 162476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1681932 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4036 kB Writeback: 0 kB AnonPages: 59608 kB Mapped: 15368 kB Slab: 59220 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181836 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671072-1276717087.opb Free space on /tmp at the end= 62552 MiB End job on node030 at 2010-06-16 22:08:10