Trace number 1878614

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 clSAT (MO)-43 885.678 885.993

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUMb8b0df75c0f0dbb89ae9601b9070a445
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109676
Number of constraints which are clauses109676
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 1400
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 1400
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 1400
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: 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-1878614-1245165894.opb
0.00/0.00	c File size is 2689847 bytes.
0.29/0.35	c Highest Coefficient sum: 1400
0.29/0.35	c Parsing was ok!!
0.29/0.35	c Total parsing time: 0.35 s
0.29/0.39	c Var: 1400 Constr: 109676 109676/0/0 Lit: 219352 Watch. Lit: 219352
0.29/0.39	c Obj. Vars: 1400 (100 % of total variables)
3.69/3.78	c Pre-processing Time: 3.784 s
3.69/3.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.79	c        0   1400   109676   219352    2   219352   36558      0      0 3.78
3.69/3.79	c Switching off lower bounding mode.
3.79/3.80	o -39
3.79/3.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.81	c        0   1400   109677   220752    2   219393   37558      1      0 3.81
3.79/3.81	o -40
3.89/3.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.94	c        1   1400   109679   223510    2   219437   37558      3      0 3.81
3.89/3.94	c      101   1400   109779   359242    3   219637   41314    103     25 3.90
3.89/3.94	o -41
16.18/16.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.18/16.26	c      136   1400   109815   408131    3   219750   37558    139     34 3.94
16.18/16.26	c      236   1400   109915   543756    4   219950   41314    239     58 4.02
16.18/16.26	c      486   1400   110165   882548    8   220450   45446    489    113 4.27
16.18/16.26	c      961   1400   110640  1526291   13   221400   49991    964    199 4.81
16.18/16.26	c     1775   1400   111454  2629945   23   223028   54991   1778    308 5.75
16.18/16.26	c     3095   1400   112774  4419053   39   225668   60491   3098    414 7.47
16.18/16.26	c     5176   1400   114855  7238183   63   229830   66541   5179    476 10.87
16.18/16.26	c     8400   1400   118079 11608080   98   236278   73196   8403    517 16.23
16.18/16.26	o -42
394.75/394.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
394.75/394.90	c     8401   1400   118081 11610838   98   236324   37558   8405    516 16.26
394.75/394.90	c     8502   1400   118182 11747672   99   236526   41314   8506    518 16.39
394.75/394.90	c     8753   1400   118433 12087730  102   237028   45446   8757    524 16.70
394.75/394.90	c     9228   1400   118908 12730876  107   237978   49991   9232    532 17.34
394.75/394.90	c    10041   1400   119721 13832475  115   239604   54991  10045    534 18.77
394.75/394.90	c    11361   1400   121041 15619836  129   242244   60491  11365    542 20.94
394.75/394.90	c    13443   1400   123123 18439203  149   246408   66541  13447    523 25.69
394.75/394.90	c    16667   1400   126347 22805339  180   252856   73196  16671    496 33.56
394.75/394.90	c    21604   1400   131284 29489283  224   262730   80516  21608    482 44.77
394.75/394.90	c    29110   1400   138790 39655263  285   277742   88568  29114    425 68.43
394.75/394.90	c    40471   1400   150151 55041783  366   300464   97425  40475    376 107.45
394.75/394.90	c    57616   1400   167296 78262228  467   334754  107168  57620    352 163.27
394.75/394.90	c    83436   1400   193116 113213070  586   386394  117885  83440    255 326.58
394.75/394.90	o -43
885.38/885.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
885.38/885.70	c    96356   1400   206037 130712218  634   412279   37558  96361    244 394.77
885.38/885.70	c    96457   1400   122028 16947025  138   244099   41314  12352    222 432.76
885.38/885.70	c    96707   1400   122278 17285396  141   244599   45446  12602    223 433.27
885.38/885.70	c    97182   1400   122753 17928344  146   245549   49991  13077    223 433.90
885.38/885.70	c    97995   1400   123566 19028142  153   247175   54991  13890    225 434.84
885.38/885.70	c    99315   1400   124886 20814363  166   249815   60491  15210    226 438.57
885.38/885.70	c   101396   1400   126967 23630565  186   253977   66541  17291    229 441.91
885.38/885.70	c   104620   1400   130191 27995972  215   260425   73196  20515    234 446.95
885.38/885.70	c   109556   1400   135127 34674730  256   270297   80516  25451    238 458.71
885.38/885.70	c   117063   1400   142634 44835526  314   285311   88568  32958    242 482.27
885.38/885.70	c   128424   1400   153995 60208021  390   308033   97425  44319    242 530.24
885.38/885.70	c   145570   1400   171141 83405046  487   342325  107168  61465    238 610.47
885.38/885.70	c   171389   1400   196960 118342515  600   393963  117885  87284    219 780.28
885.38/885.70	c Caught signal: 15
885.38/885.70	v -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 
885.38/885.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
885.38/885.70	c   37   189136  16819   210892   214708 142352506 105032    213 885.39
885.38/885.70	c Objective: -43
885.38/885.70	s SATISFIABLE
885.38/885.70	c Total time: 885.391 s

Verifier Data 

OK	-43

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878614-1245165894/watcher-1878614-1245165894 -o /tmp/evaluation-result-1878614-1245165894/solver-1878614-1245165894 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878614-1245165894.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8136
/proc/meminfo: memFree=1914016/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=13356 CPUtime=0
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 69322434 13676544 247 1992294400 134512640 137136520 4294956256 18446744073709551615 134601267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 3339 247 174 640 0 2038 0

[startup+0.052755 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8136
/proc/meminfo: memFree=1914016/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=14868 CPUtime=0.04
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 727 0 0 0 4 0 0 0 18 0 1 0 69322434 15224832 711 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 3717 711 263 640 0 2416 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14868

[startup+0.102764 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8136
/proc/meminfo: memFree=1914016/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=16384 CPUtime=0.09
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 1205 0 0 0 9 0 0 0 18 0 1 0 69322434 16777216 1189 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 4096 1189 356 640 0 2795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16384

[startup+0.301803 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8136
/proc/meminfo: memFree=1914016/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=22432 CPUtime=0.29
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 3095 0 0 0 28 1 0 0 19 0 1 0 69322434 22970368 3079 1992294400 134512640 137136520 4294956256 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 5608 3080 727 640 0 4307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22432

[startup+0.702883 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8136
/proc/meminfo: memFree=1914016/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=30176 CPUtime=0.7
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 5802 0 0 0 67 3 0 0 22 0 1 0 69322434 30900224 5129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 7544 5129 190 640 0 6900 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 30176

[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1894232/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=30176 CPUtime=1.49
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 5802 0 0 0 144 5 0 0 25 0 1 0 69322434 30900224 5129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 7544 5129 190 640 0 6900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30176

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1894104/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=30176 CPUtime=3.08
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 5802 0 0 0 300 8 0 0 25 0 1 0 69322434 30900224 5129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 7544 5129 190 640 0 6900 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30176

[startup+6.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1871896/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=66104 CPUtime=6.29
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 16461 0 0 0 612 17 0 0 25 0 1 0 69322434 67690496 14123 1992294400 134512640 137136520 4294956256 18446744073709551615 134600754 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 16526 14123 196 640 0 15882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66104

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1792152/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=140872 CPUtime=12.69
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 35129 0 0 0 1244 25 0 0 25 0 1 0 69322434 144252928 32791 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 35218 32791 196 640 0 34574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140872

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1667288/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=258212 CPUtime=25.48
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 64469 0 0 0 2510 38 0 0 25 0 1 0 69322434 264409088 62131 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 64553 62131 196 640 0 63909 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 258212

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1475352/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=450848 CPUtime=51.07
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 112635 0 0 0 5048 59 0 0 25 0 1 0 69322434 461668352 110297 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 112712 110297 196 640 0 112068 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 450848

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=1213336/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=709876 CPUtime=102.26
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 177383 0 0 0 10133 93 0 0 25 0 1 0 69322434 726913024 175045 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 177469 175045 196 640 0 176825 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 709876

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=906264/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1019324 CPUtime=162.23
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 254763 0 0 0 16090 133 0 0 25 0 1 0 69322434 1043787776 252425 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 254831 252425 196 640 0 254187 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1019324

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=669592/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1252664 CPUtime=222.21
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 313081 0 0 0 22056 165 0 0 25 0 1 0 69322434 1282727936 310743 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 313166 310743 196 640 0 312522 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1252664

[startup+282.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 8137
/proc/meminfo: memFree=546136/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1377236 CPUtime=282.19
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 344231 0 0 0 28035 184 0 0 25 0 1 0 69322434 1410289664 341893 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 344309 341893 196 640 0 343665 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1377236

[startup+342.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 8137
/proc/meminfo: memFree=380696/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1541484 CPUtime=342.17
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 385294 0 0 0 34009 208 0 0 25 0 1 0 69322434 1578479616 382956 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 385371 382956 196 640 0 384727 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1541484

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225944/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=402.15
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 39985 230 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1694668

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225944/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=462.13
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 45980 233 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1694668

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225944/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=522.11
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 51973 238 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1694668

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225880/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=582.08
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 57967 241 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1694668

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225880/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=642.07
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 63961 246 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1694668

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225816/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=702.04
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 69955 249 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 1694668

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225880/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=762.03
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 75952 251 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 1694668

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=225880/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1694668 CPUtime=822
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 423691 0 0 0 81945 255 0 0 25 0 1 0 69322434 1735340032 421258 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 423667 421258 196 640 0 423023 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 1694668

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=94232/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1827336 CPUtime=881.98
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 456839 0 0 0 87925 273 0 0 25 0 1 0 69322434 1871192064 454406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 456834 454406 196 640 0 456190 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1827336



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+885.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=77144/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=1843224 CPUtime=885.38
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194304 460832 0 0 0 88263 275 0 0 25 0 1 0 69322434 1887461376 458399 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 460806 458402 196 640 0 460162 0
Current children cumulated CPU time (s) 885.38
Current children cumulated vsize (KiB) 1843224

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+885.806 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=77144/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=0 CPUtime=885.48
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194308 460837 0 0 0 88263 285 0 0 25 0 1 0 69322434 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 885.48
Current children cumulated vsize (KiB) 0

[startup+885.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8137
/proc/meminfo: memFree=77144/2055920 swapFree=4191900/4192956
[pid=8136] ppid=8134 vsize=0 CPUtime=885.57
/proc/8136/stat : 8136 (bsolo) R 8134 8136 7903 0 -1 4194308 460837 0 0 0 88263 294 0 0 25 0 1 0 69322434 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/8136/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 885.57
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 885.993
CPU time (s): 885.678
CPU user time (s): 882.638
CPU system time (s): 3.04054
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 1843224

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

runsolver used 0.730888 second user time and 1.73974 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-16 17:24:55
IDJOB=1878614
IDBENCH=2249
IDSOLVER=700
FILE ID=node33/1878614-1245165894
PBS_JOBID= 9363833
Free space on /tmp= 65952 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878614-1245165894/watcher-1878614-1245165894 -o /tmp/evaluation-result-1878614-1245165894/solver-1878614-1245165894 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878614-1245165894.opb

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

MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445
RANDOM SEED=1915143975

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:       1914560 kB
Buffers:         27304 kB
Cached:          59488 kB
SwapCached:        384 kB
Active:          61324 kB
Inactive:        38904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1914560 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            6568 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            27216 kB
Committed_AS:   120944 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-1878614-1245165894.opb

Free space on /tmp at the end= 65948 MiB
End job on node33 at 2009-06-16 17:39:42