Trace number 1880025

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT-46 1798.4 1799

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46
Best CPU time to get the best result obtained on this benchmark1795.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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: Generic Pseudo-Boolean 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-1880025-1245236327.opb
0.00/0.00	c File size is 3107816 bytes.
0.29/0.38	c Highest Coefficient sum: 1534
0.29/0.38	c Parsing was ok!!
0.29/0.38	c Total parsing time: 0.379 s
0.40/0.42	c Var: 1534 Constr: 125982 125982/0/0 Lit: 251964 Watch. Lit: 251964
0.40/0.42	c Obj. Vars: 1534 (100 % of total variables)
4.49/4.59	c Pre-processing Time: 4.595 s
4.59/4.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.60	c        0   1534   125982   251964    2   251964   41993      0      0 4.59
4.59/4.60	c Switching off lower bounding mode.
4.59/4.62	o -42
4.59/4.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.63	c        0   1534   125983   253498    2   252008   42993      1      0 4.62
4.59/4.63	o -43
4.59/4.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.64	c        2   1534   125986   258012    2   252057   42993      4      0 4.63
4.59/4.64	o -44
409.34/409.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
409.34/409.54	c        3   1534   125988   261035    2   252105   42993      6      0 4.64
409.34/409.54	c      103   1534   126177   544889    4   255794   47293    195     20 5.04
409.34/409.54	c      353   1534   126671  1284466   10   263865   52023    689     54 6.44
409.34/409.54	c      828   1534   127613  2697124   21   278935   57226   1631     77 10.71
409.34/409.54	c     1643   1534   129230  5114658   39   299286   62949   3248     68 24.06
409.34/409.54	c     2964   1534   131791  8950711   67   332762   69244   5809     55 53.48
409.34/409.54	c     5045   1534   135836 15011202  110   382991   76169   9854     41 120.61
409.34/409.54	c     8268   1534   142254 24632451  173   451355   83786  16272     26 306.52
409.34/409.54	o -45
529.91/530.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
529.91/530.18	c     9705   1534   145129 28916638  199   456991   42993  19147     23 409.39
529.91/530.18	c     9806   1534   145317 29198670  200   437012   47293  19335     23 418.95
529.91/530.18	c    10056   1534   145817 29946242  205   443665   52023  19835     22 442.00
529.91/530.18	c    10532   1534   146762 31363752  213   456216   57226  20780     21 482.71
529.91/530.18	o -46
1798.19/1798.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.19/1798.89	c    11111   1534   147917 33090940  223   470897   42993  21935     20 530.00
1798.19/1798.89	c    11211   1534   148104 33371438  225   464303   47293  22122     20 541.17
1798.19/1798.89	c    11461   1534   148600 34115394  229   472794   52023  22618     20 571.66
1798.19/1798.89	c    11937   1534   149548 35532564  237   486204   57226  23566     19 620.06
1798.19/1798.89	c    12750   1534   151160 37947862  251   509126   62949  25178     18 699.02
1798.19/1798.89	c    14071   1534   153775 41866478  272   546569   69244  27793     16 833.23
1798.19/1798.89	c    16152   1534   157905 48048143  304   600915   76169  31923     13 1184.66
1798.19/1798.89	c Resources Exceeded
1798.19/1798.89	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1798.19/1798.89	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.19/1798.89	c   21    18858   1356    21297   163215 55998483  37233     10 1798.29
1798.19/1798.89	c Objective: -46
1798.19/1798.89	s SATISFIABLE
1798.19/1798.89	c Total time: 1798.29 s

Verifier Data 

OK	-46

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880025-1245236327/watcher-1880025-1245236327 -o /tmp/evaluation-result-1880025-1245236327/solver-1880025-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880025-1245236327.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.00 0.00 0.00 3/64 9122
/proc/meminfo: memFree=1681968/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=13764 CPUtime=0
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 191233153 14094336 255 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 3441 255 176 640 0 2038 0

[startup+0.0987011 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 9122
/proc/meminfo: memFree=1681968/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=16924 CPUtime=0.09
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 1227 0 0 0 9 0 0 0 18 0 1 0 191233153 17330176 1211 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 4231 1212 360 640 0 2828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16924

[startup+0.1027 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 9122
/proc/meminfo: memFree=1681968/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=17064 CPUtime=0.09
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 1267 0 0 0 9 0 0 0 18 0 1 0 191233153 17473536 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 4266 1252 368 640 0 2863 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17064

[startup+0.301711 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 9122
/proc/meminfo: memFree=1681968/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=23524 CPUtime=0.29
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 3275 0 0 0 28 1 0 0 19 0 1 0 191233153 24088576 3259 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 5881 3259 763 640 0 4478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23524

[startup+0.701738 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 9122
/proc/meminfo: memFree=1681968/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=33052 CPUtime=0.7
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 6628 0 0 0 67 3 0 0 23 0 1 0 191233153 33845248 5853 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 8263 5853 190 640 0 7619 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 33052

[startup+1.50279 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 9123
/proc/meminfo: memFree=1659240/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=33052 CPUtime=1.49
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 6628 0 0 0 145 4 0 0 25 0 1 0 191233153 33845248 5853 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 8263 5853 190 640 0 7619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33052

[startup+3.10189 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 9123
/proc/meminfo: memFree=1659112/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=33052 CPUtime=3.09
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 6628 0 0 0 301 8 0 0 25 0 1 0 191233153 33845248 5853 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 8263 5853 190 640 0 7619 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33052

[startup+6.3011 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 9123
/proc/meminfo: memFree=1656104/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=41852 CPUtime=6.28
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 10741 0 0 0 615 13 0 0 25 0 1 0 191233153 42856448 8044 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 10463 8044 196 640 0 9819 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41852

[startup+12.7015 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 9123
/proc/meminfo: memFree=1627312/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=66464 CPUtime=12.67
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 16903 0 0 0 1250 17 0 0 25 0 1 0 191233153 68059136 14206 1992294400 134512640 137136520 4294956256 18446744073709551615 135982486 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 16616 14206 196 640 0 15972 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 66464

[startup+25.5013 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 9123
/proc/meminfo: memFree=1598576/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=94280 CPUtime=25.48
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 23861 0 0 0 2528 20 0 0 25 0 1 0 191233153 96542720 21164 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 23570 21164 197 640 0 22926 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94280

[startup+51.102 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 9123
/proc/meminfo: memFree=1553968/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=138920 CPUtime=51.06
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 35018 0 0 0 5082 24 0 0 25 0 1 0 191233153 142254080 32321 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 34730 32321 197 640 0 34086 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 138920

[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/65 9123
/proc/meminfo: memFree=1493808/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=198152 CPUtime=102.24
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 49832 0 0 0 10196 28 0 0 25 0 1 0 191233153 202907648 47135 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 49538 47135 197 640 0 48894 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 198152

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/65 9129
/proc/meminfo: memFree=1442032/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=250292 CPUtime=162.21
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 62855 0 0 0 16186 35 0 0 25 0 1 0 191233153 256299008 60158 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 62573 60158 197 640 0 61929 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 250292

[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/65 9129
/proc/meminfo: memFree=1398448/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=293392 CPUtime=222.2
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 73619 0 0 0 22180 40 0 0 25 0 1 0 191233153 300433408 70922 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 73348 70922 197 640 0 72704 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 293392

[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/65 9129
/proc/meminfo: memFree=1361904/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=330388 CPUtime=282.18
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 82879 0 0 0 28173 45 0 0 25 0 1 0 191233153 338317312 80182 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 82597 80182 197 640 0 81953 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 330388

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/65 9129
/proc/meminfo: memFree=1326704/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=365016 CPUtime=342.16
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 91544 0 0 0 34167 49 0 0 25 0 1 0 191233153 373776384 88847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 91254 88847 197 640 0 90610 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 365016

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/65 9129
/proc/meminfo: memFree=1295600/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=396216 CPUtime=402.14
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 99328 0 0 0 40162 52 0 0 25 0 1 0 191233153 405725184 96631 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 99054 96631 197 640 0 98410 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 396216

[startup+462.301 s]
/proc/loadavg: 0.99 0.77 0.37 2/65 9129
/proc/meminfo: memFree=1270576/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=421036 CPUtime=462.13
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 105537 0 0 0 46158 55 0 0 25 0 1 0 191233153 431140864 102840 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 105259 102840 197 640 0 104615 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 421036

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 9129
/proc/meminfo: memFree=1242608/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=449216 CPUtime=522.11
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 112588 0 0 0 52153 58 0 0 25 0 1 0 191233153 459997184 109891 1992294400 134512640 137136520 4294956256 18446744073709551615 134617444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 112304 109891 197 640 0 111660 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 449216

[startup+582.301 s]
/proc/loadavg: 0.99 0.84 0.44 2/65 9129
/proc/meminfo: memFree=1222704/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=468808 CPUtime=582.09
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 117467 0 0 0 58148 61 0 0 25 0 1 0 191233153 480059392 114770 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 117202 114770 197 640 0 116558 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 468808

[startup+642.302 s]
/proc/loadavg: 0.99 0.87 0.47 2/65 9129
/proc/meminfo: memFree=1198768/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=492452 CPUtime=642.07
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 123404 0 0 0 64144 63 0 0 25 0 1 0 191233153 504270848 120707 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 123113 120707 197 640 0 122469 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 492452

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1058864/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=632180 CPUtime=1121.91
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 158328 0 0 0 112111 80 0 0 25 0 1 0 191233153 647352320 155631 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 158045 155631 197 640 0 157401 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 632180

[startup+1182.3 s]
/proc/loadavg: 1.01 0.97 0.69 2/65 9129
/proc/meminfo: memFree=1045232/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=645900 CPUtime=1181.88
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 161749 0 0 0 118106 82 0 0 25 0 1 0 191233153 661401600 159052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 161475 159052 197 640 0 160831 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 645900

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.71 2/65 9129
/proc/meminfo: memFree=1033328/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=657576 CPUtime=1241.86
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 164677 0 0 0 124103 83 0 0 25 0 1 0 191233153 673357824 161980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 164394 161980 197 640 0 163750 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 657576

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/65 9129
/proc/meminfo: memFree=1022128/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=668656 CPUtime=1301.85
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 167433 0 0 0 130100 85 0 0 25 0 1 0 191233153 684703744 164736 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 167164 164736 197 640 0 166520 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 668656

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/65 9129
/proc/meminfo: memFree=1011504/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=679304 CPUtime=1361.82
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 170113 0 0 0 136096 86 0 0 25 0 1 0 191233153 695607296 167416 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 169826 167416 197 640 0 169182 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 679304

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.75 2/65 9129
/proc/meminfo: memFree=1002096/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=688748 CPUtime=1421.8
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 172460 0 0 0 142093 87 0 0 25 0 1 0 191233153 705277952 169763 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 172187 169763 197 640 0 171543 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 688748

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/65 9129
/proc/meminfo: memFree=992368/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=698568 CPUtime=1481.78
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 174924 0 0 0 148090 88 0 0 25 0 1 0 191233153 715333632 172227 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 174642 172227 197 640 0 173998 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 698568

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/65 9129
/proc/meminfo: memFree=982448/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=708412 CPUtime=1541.76
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 177385 0 0 0 154087 89 0 0 25 0 1 0 191233153 725413888 174688 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 177103 174688 197 640 0 176459 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 708412

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/65 9129
/proc/meminfo: memFree=972784/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=718028 CPUtime=1601.75
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 179789 0 0 0 160084 91 0 0 25 0 1 0 191233153 735260672 177092 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 179507 177092 197 640 0 178863 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 718028

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/65 9129
/proc/meminfo: memFree=962352/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=728352 CPUtime=1661.73
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 182379 0 0 0 166081 92 0 0 25 0 1 0 191233153 745832448 179682 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 182088 179682 197 640 0 181444 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 728352

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/65 9129
/proc/meminfo: memFree=951920/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=738816 CPUtime=1721.71
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 184978 0 0 0 172078 93 0 0 25 0 1 0 191233153 756547584 182281 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 184704 182281 197 640 0 184060 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 738816

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=944176/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=746352 CPUtime=1781.7
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 186866 0 0 0 178075 95 0 0 25 0 1 0 191233153 764264448 184169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 186588 184169 197 640 0 185944 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 746352

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=942640/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=747768 CPUtime=1791.29
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 187234 0 0 0 179034 95 0 0 25 0 1 0 191233153 765714432 184537 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 186942 184537 197 640 0 186298 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 747768

[startup+1795.1 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=942256/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=748220 CPUtime=1794.49
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 187329 0 0 0 179354 95 0 0 25 0 1 0 191233153 766177280 184632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 187055 184632 197 640 0 186411 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 748220

[startup+1796.7 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=942192/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=748336 CPUtime=1796.09
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 187376 0 0 0 179514 95 0 0 25 0 1 0 191233153 766296064 184679 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 187084 184679 197 640 0 186440 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 748336

[startup+1798.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=941936/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=748572 CPUtime=1797.69
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 187434 0 0 0 179674 95 0 0 25 0 1 0 191233153 766537728 184737 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 187143 184737 197 640 0 186499 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 748572

[startup+1798.7 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=941872/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=748676 CPUtime=1798.09
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194304 187443 0 0 0 179714 95 0 0 25 0 1 0 191233153 766644224 184746 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 187169 184746 197 640 0 186525 0
Current children cumulated CPU time (s) 1798.09
Current children cumulated vsize (KiB) 748676

[startup+1798.9 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=941872/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=0 CPUtime=1798.29
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194308 187457 0 0 0 179733 96 0 0 25 0 1 0 191233153 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.29
Current children cumulated vsize (KiB) 0

[startup+1799 s]
/proc/loadavg: 1.00 0.97 0.82 2/65 9129
/proc/meminfo: memFree=941872/2055920 swapFree=4181764/4192956
[pid=9122] ppid=9120 vsize=0 CPUtime=1798.39
/proc/9122/stat : 9122 (bsolo) R 9120 9122 9079 0 -1 4194308 187457 0 0 0 179733 106 0 0 25 0 1 0 191233153 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9122/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1799
CPU time (s): 1798.4
CPU user time (s): 1797.33
CPU system time (s): 1.06784
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 748676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.33
system time used= 1.06784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187457
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= 6916

runsolver used 1.9917 second user time and 4.55531 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-17 12:58:47
IDJOB=1880025
IDBENCH=2269
IDSOLVER=701
FILE ID=node22/1880025-1245236327
PBS_JOBID= 9372316
Free space on /tmp= 66112 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880025-1245236327/watcher-1880025-1245236327 -o /tmp/evaluation-result-1880025-1245236327/solver-1880025-1245236327 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880025-1245236327.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876
RANDOM SEED=1738574064

node22.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.231
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.231
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:       1682520 kB
Buffers:         63488 kB
Cached:         237228 kB
SwapCached:       5488 kB
Active:         129132 kB
Inactive:       179448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682520 kB
SwapTotal:     4192956 kB
SwapFree:      4181764 kB
Dirty:            7160 kB
Writeback:           0 kB
Mapped:          12920 kB
Slab:            50896 kB
Committed_AS:   176812 kB
PageTables:       1372 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-1880025-1245236327.opb

Free space on /tmp at the end= 66108 MiB
End job on node22 at 2009-06-17 13:28:47