Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT (TO) | -9 | 1800.26 | 1800.94 |
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.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: Clause 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-1878272-1245208783.opb 0.00/0.00 c File size is 257826 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.036 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.87 c Pre-processing Time: 3.872 s 3.79/3.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.87 c 0 3274 6450 25192 3 21920 83680 0 0 3.87 3.79/3.87 c Switching off lower bounding mode. 3.79/3.87 o -1 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 0 3274 6451 25292 3 21923 83747 1 0 3.88 3.79/3.88 o -2 3.89/3.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.94 c 2 3274 6454 25628 3 21931 83780 4 0 3.88 3.89/3.94 c 102 3274 6554 41420 6 22131 92159 104 26 3.92 3.89/3.94 o -3 3.99/4.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.00 c 155 3274 6608 49236 7 22242 83814 158 39 3.94 3.99/4.00 c 255 3274 6708 63587 9 22442 92196 258 64 3.98 3.99/4.00 o -4 5.59/5.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.65 c 328 3274 6782 71190 10 22594 83847 332 82 4.00 5.59/5.65 c 428 3274 6882 85444 12 22794 92232 432 105 4.05 5.59/5.65 c 678 3274 7132 121628 17 23294 101456 682 162 4.16 5.59/5.65 c 1153 3274 7607 194799 25 24244 111602 1157 264 4.36 5.59/5.65 c 1966 3274 8420 326186 38 25870 122763 1970 421 4.67 5.59/5.65 c 3286 3274 9740 555777 57 28510 135040 3290 641 5.12 5.59/5.65 o -8 5.59/5.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.68 c 3992 3274 10447 614753 58 29932 83980 3997 706 5.65 5.59/5.68 o -9 1800.02/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.70 c 4014 3274 10470 617032 58 29987 84014 4020 706 5.68 1800.02/1800.70 c 4114 3274 10570 631202 59 30187 92416 4120 719 5.72 1800.02/1800.70 c 4365 3274 10821 663870 61 30689 101658 4371 754 5.79 1800.02/1800.70 c 4840 3274 11296 720838 63 31639 111824 4846 819 5.91 1800.02/1800.70 c 5653 3274 12109 823470 68 33265 123007 5659 907 6.23 1800.02/1800.70 c 6973 3274 13429 1041022 77 35905 135308 6979 1041 6.70 1800.02/1800.70 c 9054 3274 15510 1364562 87 40067 148839 9060 1181 7.66 1800.02/1800.70 c 12277 3274 18733 1871102 99 46513 163723 12283 1311 9.36 1800.02/1800.70 c 17213 3274 23669 2658749 112 56385 180096 17219 1411 12.19 1800.02/1800.70 c 24719 3274 31175 3859100 123 71397 198106 24725 1402 17.62 1800.02/1800.70 c 36080 3274 42536 5690879 133 94119 217917 36086 1263 28.56 1800.02/1800.70 c 53224 3274 59680 8491540 142 128407 239709 53230 1071 49.66 1800.02/1800.70 c 79044 3274 85500 12781844 149 180047 263680 79050 836 94.46 1800.02/1800.70 c 117876 3274 124332 19030837 153 257711 290049 117882 621 189.53 1800.02/1800.70 c 176228 3274 182684 28597031 156 374415 319054 176234 440 400.27 1800.02/1800.70 c 263860 3274 270316 42900190 158 549679 350960 263866 358 736.76 1800.02/1800.70 c Caught signal: 15 1800.02/1800.71 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.02/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.71 c 28 354181 135 358723 249738 39613094 243288 196 1800.03 1800.02/1800.71 c Objective: -9 1800.02/1800.71 s SATISFIABLE 1800.02/1800.71 c Total time: 1800.03 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-1878272-1245208783/watcher-1878272-1245208783 -o /tmp/evaluation-result-1878272-1245208783/solver-1878272-1245208783 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878272-1245208783.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/64 11298 /proc/meminfo: memFree=1766176/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=18784 CPUtime=0 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 73611320 19234816 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 4696 245 174 640 0 3989 0 [startup+0.106693 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11298 /proc/meminfo: memFree=1766176/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=12532 CPUtime=0.1 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 769 0 0 0 10 0 0 0 18 0 1 0 73611320 12832768 690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 3133 690 189 640 0 2489 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12532 [startup+0.202711 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11298 /proc/meminfo: memFree=1766176/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=12532 CPUtime=0.19 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 772 0 0 0 19 0 0 0 18 0 1 0 73611320 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136502382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12532 [startup+0.302732 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11298 /proc/meminfo: memFree=1766176/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=12532 CPUtime=0.29 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 772 0 0 0 29 0 0 0 19 0 1 0 73611320 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12532 [startup+0.701811 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11298 /proc/meminfo: memFree=1766176/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=12532 CPUtime=0.69 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 772 0 0 0 69 0 0 0 23 0 1 0 73611320 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12532 [startup+1.50197 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1764184/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=12532 CPUtime=1.49 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 772 0 0 0 149 0 0 0 25 0 1 0 73611320 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 134543591 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12532 [startup+3.10129 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1764056/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=12532 CPUtime=3.09 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 772 0 0 0 309 0 0 0 25 0 1 0 73611320 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12532 [startup+6.30193 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1756120/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=23712 CPUtime=6.29 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 3641 0 0 0 626 3 0 0 25 0 1 0 73611320 24281088 3502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 5928 3502 197 640 0 5284 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23712 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1728600/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=49784 CPUtime=12.69 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 10151 0 0 0 1262 7 0 0 25 0 1 0 73611320 50978816 10012 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 12446 10012 197 640 0 11802 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49784 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1693912/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=82820 CPUtime=25.48 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 18433 0 0 0 2533 15 0 0 25 0 1 0 73611320 84807680 18294 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 20705 18295 197 640 0 20061 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82820 [startup+51.1029 s] /proc/loadavg: 0.96 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1648536/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=128300 CPUtime=51.07 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 29805 0 0 0 5079 28 0 0 25 0 1 0 73611320 131379200 29666 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 32075 29666 197 640 0 31431 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128300 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1583576/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=192460 CPUtime=102.26 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 45826 0 0 0 10180 46 0 0 25 0 1 0 73611320 197079040 45687 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 48115 45687 197 640 0 47471 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 192460 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1530200/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=246544 CPUtime=162.23 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 59356 0 0 0 16160 63 0 0 25 0 1 0 73611320 252461056 59217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 61636 59217 197 640 0 60992 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 246544 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1483096/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=292744 CPUtime=222.21 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 70912 0 0 0 22143 78 0 0 25 0 1 0 73611320 299769856 70773 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 73186 70773 197 640 0 72542 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 292744 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1439192/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=336960 CPUtime=282.18 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 81969 0 0 0 28123 95 0 0 25 0 1 0 73611320 345047040 81830 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 84240 81830 197 640 0 83596 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 336960 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1407000/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=368668 CPUtime=342.17 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 89879 0 0 0 34111 106 0 0 25 0 1 0 73611320 377516032 89740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 92167 89740 197 640 0 91523 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 368668 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1378968/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=396760 CPUtime=402.14 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 96910 0 0 0 40098 116 0 0 25 0 1 0 73611320 406282240 96771 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 99190 96771 197 640 0 98546 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 396760 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1350488/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=425084 CPUtime=462.12 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 103991 0 0 0 46085 127 0 0 25 0 1 0 73611320 435286016 103852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 106271 103852 197 640 0 105627 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 425084 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1314072/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=462244 CPUtime=522.1 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 113280 0 0 0 52067 143 0 0 25 0 1 0 73611320 473337856 113141 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 115561 113141 197 640 0 114917 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 462244 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1281368/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=494160 CPUtime=582.07 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 121248 0 0 0 58051 156 0 0 25 0 1 0 73611320 506019840 121109 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 123540 121109 197 640 0 122896 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 494160 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1247512/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=528512 CPUtime=642.05 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 129833 0 0 0 64035 170 0 0 25 0 1 0 73611320 541196288 129694 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 132128 129694 197 640 0 131484 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 528512 [startup+702.302 s] ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1135960/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=639212 CPUtime=881.96 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 157509 0 0 0 87987 209 0 0 25 0 1 0 73611320 654553088 157370 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 159803 157370 197 640 0 159159 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 639212 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1120600/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=654532 CPUtime=941.93 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 161350 0 0 0 93977 216 0 0 25 0 1 0 73611320 670240768 161211 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 163633 161211 197 640 0 162989 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 654532 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1105048/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=669968 CPUtime=1001.92 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 165205 0 0 0 99971 221 0 0 25 0 1 0 73611320 686047232 165066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 167492 165066 197 640 0 166848 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 669968 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1089112/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=685920 CPUtime=1061.89 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 169204 0 0 0 105962 227 0 0 25 0 1 0 73611320 702382080 169065 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 171480 169065 197 640 0 170836 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 685920 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1072984/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=702012 CPUtime=1121.87 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 173209 0 0 0 111954 233 0 0 25 0 1 0 73611320 718860288 173070 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 175503 173070 197 640 0 174859 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 702012 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1057368/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=717644 CPUtime=1181.85 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 177138 0 0 0 117946 239 0 0 25 0 1 0 73611320 734867456 176999 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 179411 176999 197 640 0 178767 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 717644 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1042456/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=732412 CPUtime=1241.83 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 180815 0 0 0 123937 246 0 0 25 0 1 0 73611320 749989888 180676 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 183103 180676 197 640 0 182459 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 732412 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1024472/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=750444 CPUtime=1301.8 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 185322 0 0 0 129927 253 0 0 25 0 1 0 73611320 768454656 185183 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 187611 185183 197 640 0 186967 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 750444 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=1007512/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=767228 CPUtime=1361.78 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 189534 0 0 0 135918 260 0 0 25 0 1 0 73611320 785641472 189395 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 191807 189395 197 640 0 191163 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 767228 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=990168/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=784476 CPUtime=1421.76 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 193827 0 0 0 141909 267 0 0 25 0 1 0 73611320 803303424 193688 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196119 193688 197 640 0 195475 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 784476 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986392/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1481.73 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 147903 270 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 787984 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986456/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1541.71 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 153901 270 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 787984 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986520/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1601.69 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 159898 271 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 787984 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986520/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1661.67 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 165896 271 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 787984 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986520/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1721.64 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 171893 271 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 787984 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986520/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1781.62 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 177891 271 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 787984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986520/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=787984 CPUtime=1800.02 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194304 195063 0 0 0 179730 272 0 0 25 0 1 0 73611320 806895616 194578 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 196996 194578 197 640 0 196352 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 787984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11299 /proc/meminfo: memFree=986520/2055920 swapFree=4191900/4192956 [pid=11298] ppid=11296 vsize=0 CPUtime=1800.21 /proc/11298/stat : 11298 (bsolo) R 11296 11298 10529 0 -1 4194308 195065 0 0 0 179741 280 0 0 25 0 1 0 73611320 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/11298/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.94 CPU time (s): 1800.26 CPU user time (s): 1797.42 CPU system time (s): 2.84157 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 789368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.42 system time used= 2.84157 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 195065 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= 2397 runsolver used 1.36379 second user time and 4.09138 second system time The end
Begin job on node33 at 2009-06-17 05:19:43 IDJOB=1878272 IDBENCH=48252 IDSOLVER=700 FILE ID=node33/1878272-1245208783 PBS_JOBID= 9368357 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878272-1245208783/watcher-1878272-1245208783 -o /tmp/evaluation-result-1878272-1245208783/solver-1878272-1245208783 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878272-1245208783.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde RANDOM SEED=467426285 node33.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.261 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.261 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: 1766912 kB Buffers: 58652 kB Cached: 146664 kB SwapCached: 384 kB Active: 98816 kB Inactive: 119892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766912 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 21808 kB Slab: 56340 kB Committed_AS: 149864 kB PageTables: 1392 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-1878272-1245208783.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-17 05:49:46