Trace number 353748

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (MO)-45 663.757 664.098

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints127011
Number of constraints which are clauses127011
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/353748-1176674701/instance-353748-1176674701.opb
0.00/0.00	c File size is 3133648 bytes.
0.49/0.51	c Highest Coefficient sum: 1534
0.49/0.51	c Parsing was ok!!
0.49/0.51	c Total parsing time: 0.513 s
0.49/0.56	c Var: 1534 Constr: 127011 127011/0/0 Lit: 254022 Watch. Lit: 254022
0.49/0.56	c Obj. Vars: 1534 (100 % of total variables)
4.59/4.67	c Pre-processing Time: 4.675 s
4.59/4.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.68	c        0   1534   127011   254022    2   254022   42336      0      0 4.67
4.59/4.68	c Switching off LPR mode.
4.59/4.70	o -39	4.696
4.68/4.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.71	c        0   1534   127012   255556    2   254063   43336      1      0 4.70
4.68/4.71	o -40	4.705
4.68/4.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.71	c        2   1534   127015   260073    2   254109   43336      4      0 4.71
4.68/4.71	o -42	4.714
4.79/4.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.85	c        2   1534   127016   261607    2   254153   43336      5      0 4.72
4.79/4.85	c      102   1534   127116   410515    3   254353   47670    105     21 4.80
4.79/4.85	o -43	4.846
7.69/7.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.69/7.72	c      152   1534   127167   486449    3   254498   43336    156     31 4.85
7.69/7.72	c      254   1534   127269   638172    5   254702   47670    258     51 4.93
7.69/7.72	c      504   1534   127519  1010060    7   255202   52438    508     97 5.17
7.69/7.72	c      979   1534   127994  1716614   13   256152   57682    983    172 5.69
7.69/7.72	c     1794   1534   128809  2928548   22   257782   63451   1798    265 6.76
7.69/7.72	o -44	7.709
50.16/50.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.16/50.21	c     2498   1534   129514  3976971   30   259236   43336   2503    323 7.71
50.16/50.21	c     2598   1534   129614  4125562   31   259436   47670   2603    332 7.82
50.16/50.21	c     2848   1534   129864  4497040   34   259936   52438   2853    352 8.08
50.16/50.21	c     3323   1534   130339  5203055   39   260886   57682   3328    382 8.69
50.16/50.21	c     4137   1534   131153  6412040   48   262514   63451   4142    422 9.78
50.16/50.21	c     5457   1534   132473  8373909   63   265154   69797   5462    458 11.91
50.16/50.21	c     7538   1534   134554 11466428   85   269316   76777   7543    474 15.90
50.16/50.21	c    10761   1534   137777 16256214  117   275762   84455  10766    392 27.45
50.16/50.21	c    15698   1534   142714 23597216  165   285636   92901  15703    313 50.08
50.16/50.21	o -45	50.182
663.46/663.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
663.46/663.80	c    15703   1534   142720 23606185  165   285693   43336  15709    312 50.19
663.46/663.80	c    15804   1534   142821 23756181  166   285895   47670  15810    313 50.35
663.46/663.80	c    16055   1534   143072 24128995  168   286397   52438  16061    314 51.01
663.46/663.80	c    16530   1534   143547 24834489  173   287347   57682  16536    319 51.68
663.46/663.80	c    17343   1534   144360 26042295  180   288973   63451  17349    327 53.03
663.46/663.80	c    18663   1534   145680 28003939  192   291613   69797  18669    330 56.47
663.46/663.80	c    20745   1534   147762 31095905  210   295777   76777  20751    335 61.75
663.46/663.80	c    23969   1534   150986 35884519  237   302225   84455  23975    338 70.82
663.46/663.80	c    28905   1534   155922 43216812  277   312097   92901  28911    340 84.93
663.46/663.80	c    36412   1534   163429 54364521  332   327111  102192  36418    309 117.61
663.46/663.80	c    47773   1534   174790 71241434  407   349833  112412  47779    247 193.36
663.46/663.80	c    64919   1534   191936 96699171  503   384125  123654  64925    172 376.31
663.46/663.80	c    90738   1534   217755 135055540  620   435763  136020  90744    143 630.66
663.46/663.80	c Caught signal: 15
663.46/663.80	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
663.46/663.80	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501
663.46/663.80	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484
663.46/663.80	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
663.46/663.80	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
663.46/663.80	v -x1449 -x1448 -x1447 -x1446 x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433
663.46/663.80	v -x1432 -x1431 -x1430 x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416
663.46/663.80	v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 x1403 -x1402 -x1401 -x1400 -x1399
663.46/663.80	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
663.46/663.80	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
663.46/663.80	v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348
663.46/663.80	v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
663.46/663.80	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
663.46/663.80	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
663.46/663.80	v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280
663.46/663.80	v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
663.46/663.80	v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 x1246
663.46/663.80	v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
663.46/663.80	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
663.46/663.80	v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195
663.46/663.80	v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 -x1178
663.46/663.80	v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161
663.46/663.80	v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144
663.46/663.80	v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127
663.46/663.80	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110
663.46/663.80	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
663.46/663.80	v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076
663.46/663.80	v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
663.46/663.80	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
663.46/663.80	v -x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025
663.46/663.80	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
663.46/663.80	v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
663.46/663.80	v -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
663.46/663.80	v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949 -x948 -x947
663.46/663.80	v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926
663.46/663.80	v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
663.46/663.80	v -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884
663.46/663.80	v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
663.46/663.80	v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
663.46/663.80	v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821
663.46/663.80	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
663.46/663.80	v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779
663.46/663.80	v -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
663.46/663.80	v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 -x737
663.46/663.80	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
663.46/663.80	v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
663.46/663.80	v -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
663.46/663.80	v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653
663.46/663.80	v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632
663.46/663.80	v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611
663.46/663.80	v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
663.46/663.80	v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
663.46/663.80	v -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
663.46/663.80	v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527
663.46/663.80	v -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
663.46/663.80	v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
663.46/663.80	v x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464
663.46/663.80	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
663.46/663.80	v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422
663.46/663.80	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
663.46/663.80	v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
663.46/663.80	v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359
663.46/663.80	v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338
663.46/663.80	v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317
663.46/663.80	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
663.46/663.80	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
663.46/663.80	v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
663.46/663.80	v -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233
663.46/663.80	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212
663.46/663.80	v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
663.46/663.80	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
663.46/663.80	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
663.46/663.80	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128
663.46/663.80	v -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
663.46/663.80	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83
663.46/663.80	v -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
663.46/663.80	v -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
663.46/663.80	v -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
663.46/663.80	v x3 -x2 -x1
663.46/663.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
663.46/663.80	c   31    95964  13774   116616   222981 142818516  95970    144 663.47
663.46/663.80	c Objective: -45
663.46/663.80	s SATISFIABLE
663.46/663.80	c Total time: 663.465 s

Verifier Data (download as text)

OK	-45

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node69/watcher-353748-1176674701 -o ROOT/results/node69/solver-353748-1176674701 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353748-1176674701/instance-353748-1176674701.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.19 1.18 1.11 3/64 2952
/proc/meminfo: memFree=1757988/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=14800 CPUtime=0
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 143459498 15155200 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 3700 335 281 324 0 2003 0

[startup+0.025813 s]
/proc/loadavg: 1.19 1.18 1.11 3/64 2952
/proc/meminfo: memFree=1757988/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=7552 CPUtime=0.02
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 541 0 0 0 2 0 0 0 18 0 1 0 143459498 7733248 509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 1888 509 312 324 0 191 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7552

[startup+0.101833 s]
/proc/loadavg: 1.19 1.18 1.11 3/64 2952
/proc/meminfo: memFree=1757988/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=9476 CPUtime=0.09
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 1131 0 0 0 9 0 0 0 18 0 1 0 143459498 9703424 1099 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 2369 1099 425 324 0 672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9476

[startup+0.301863 s]
/proc/loadavg: 1.19 1.18 1.11 3/64 2952
/proc/meminfo: memFree=1757988/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=14288 CPUtime=0.29
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 2627 0 0 0 29 0 0 0 19 0 1 0 143459498 14630912 2595 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 3572 2595 719 324 0 1875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14288

[startup+0.701929 s]
/proc/loadavg: 1.19 1.18 1.11 3/64 2952
/proc/meminfo: memFree=1757988/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=22524 CPUtime=0.69
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 5798 0 0 0 67 2 0 0 22 0 1 0 143459498 23064576 5000 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 5631 5000 305 324 0 4700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22524

[startup+1.50105 s]
/proc/loadavg: 1.19 1.18 1.11 2/65 2953
/proc/meminfo: memFree=1735004/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=26668 CPUtime=1.49
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 6828 0 0 0 145 4 0 0 25 0 1 0 143459498 27308032 6030 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 6667 6030 307 324 0 5736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26668

[startup+3.10132 s]
/proc/loadavg: 1.17 1.18 1.11 2/65 2953
/proc/meminfo: memFree=1734812/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=26668 CPUtime=3.09
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 6828 0 0 0 301 8 0 0 25 0 1 0 143459498 27308032 6030 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 6667 6030 307 324 0 5736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26668

[startup+6.30184 s]
/proc/loadavg: 1.17 1.18 1.11 2/65 2953
/proc/meminfo: memFree=1724460/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=51108 CPUtime=6.29
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 14884 0 0 0 614 15 0 0 25 0 1 0 143459498 52334592 12147 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 12777 12147 312 324 0 11846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51108

[startup+12.7019 s]
/proc/loadavg: 1.15 1.17 1.11 2/65 2953
/proc/meminfo: memFree=1633932/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=137124 CPUtime=12.68
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 36407 0 0 0 1245 23 0 0 25 0 1 0 143459498 140414976 33670 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12386023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 34281 33670 312 324 0 33350 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 137124

[startup+25.5019 s]
/proc/loadavg: 1.12 1.17 1.11 2/65 2953
/proc/meminfo: memFree=1543756/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=219052 CPUtime=25.47
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 56879 0 0 0 2514 33 0 0 25 0 1 0 143459498 224309248 54142 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 54763 54142 312 324 0 53832 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 219052

[startup+51.1011 s]
/proc/loadavg: 1.08 1.15 1.10 2/65 2953
/proc/meminfo: memFree=1437772/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=328096 CPUtime=51.06
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 84150 0 0 0 5059 47 0 0 25 0 1 0 143459498 335970304 81413 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 82024 81413 312 324 0 81093 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 328096

[startup+102.305 s]
/proc/loadavg: 1.03 1.12 1.09 2/65 2953
/proc/meminfo: memFree=1094988/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=666416 CPUtime=102.25
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 168706 0 0 0 10137 88 0 0 25 0 1 0 143459498 682409984 165969 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 166604 165969 312 324 0 165673 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 666416

[startup+162.301 s]
/proc/loadavg: 1.01 1.10 1.09 2/65 2953
/proc/meminfo: memFree=892172/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=870124 CPUtime=162.22
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 219648 0 0 0 16109 113 0 0 25 0 1 0 143459498 891006976 216911 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 217531 216911 312 324 0 216600 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 870124

[startup+222.302 s]
/proc/loadavg: 1.00 1.08 1.08 2/65 2953
/proc/meminfo: memFree=770636/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=989552 CPUtime=222.21
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 249504 0 0 0 22092 129 0 0 25 0 1 0 143459498 1013301248 246767 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 247388 246767 312 324 0 246457 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 989552

[startup+282.302 s]
/proc/loadavg: 1.00 1.06 1.07 2/65 2953
/proc/meminfo: memFree=631436/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1129440 CPUtime=282.18
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 284466 0 0 0 28072 146 0 0 25 0 1 0 143459498 1156546560 281729 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 282360 281729 312 324 0 281429 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1129440

[startup+342.302 s]
/proc/loadavg: 1.00 1.05 1.07 2/65 2953
/proc/meminfo: memFree=546764/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1212892 CPUtime=342.17
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 305353 0 0 0 34058 159 0 0 25 0 1 0 143459498 1242001408 302616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 303223 302616 312 324 0 302292 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1212892

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/65 2953
/proc/meminfo: memFree=376268/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1386448 CPUtime=402.15
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 348729 0 0 0 40034 181 0 0 25 0 1 0 143459498 1419722752 345992 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 346612 345992 312 324 0 345681 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1386448

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/65 2953
/proc/meminfo: memFree=242764/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1516684 CPUtime=462.12
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 381282 0 0 0 46014 198 0 0 25 0 1 0 143459498 1553084416 378545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 379171 378545 312 324 0 378240 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1516684

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.05 2/65 2953
/proc/meminfo: memFree=168332/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1591628 CPUtime=522.1
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 400028 0 0 0 52003 207 0 0 25 0 1 0 143459498 1629827072 397291 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 397907 397291 312 324 0 396976 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1591628

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/65 2953
/proc/meminfo: memFree=96268/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1663680 CPUtime=582.08
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 418041 0 0 0 57990 218 0 0 25 0 1 0 143459498 1703608320 415304 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 415920 415304 312 324 0 414989 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1663680

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/65 2953
/proc/meminfo: memFree=15500/2055920 swapFree=4184060/4192956
[pid=2952] ppid=2950 vsize=1747672 CPUtime=642.07
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 439025 0 0 0 63976 231 0 0 25 0 1 0 143459498 1789616128 436288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 436918 436288 312 324 0 435987 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1747672



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+663.802 s]
/proc/loadavg: 1.00 1.01 1.04 2/65 2953
/proc/meminfo: memFree=15116/2055920 swapFree=4183968/4192956
[pid=2952] ppid=2950 vsize=1843600 CPUtime=663.46
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194304 463003 0 0 0 66105 241 0 0 25 0 1 0 143459498 1887846400 460266 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 460900 460266 312 324 0 459969 0
Current children cumulated CPU time (s) 663.46
Current children cumulated vsize (KiB) 1843600

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

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

[startup+664.002 s]
/proc/loadavg: 1.00 1.01 1.04 2/65 2953
/proc/meminfo: memFree=15116/2055920 swapFree=4183968/4192956
[pid=2952] ppid=2950 vsize=0 CPUtime=663.65
/proc/2952/stat : 2952 (bsolo3.0.16) R 2950 2952 7333 0 -1 4194308 463004 0 0 0 66105 260 0 0 25 0 1 0 143459498 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/2952/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 663.65
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 664.098
CPU time (s): 663.757
CPU user time (s): 661.056
CPU system time (s): 2.70159
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 1843600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 661.056
system time used= 2.70159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463004
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= 13
involuntary context switches= 861

runsolver used 0.51992 second user time and 1.3338 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Sun Apr 15 22:05:01 UTC 2007

IDJOB= 353748
IDBENCH= 2266
IDSOLVER= 163
FILE ID= node69/353748-1176674701

PBS_JOBID= 4559946

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353748-1176674701/instance-353748-1176674701.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-353748-1176674701 -o ROOT/results/node69/solver-353748-1176674701 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353748-1176674701/instance-353748-1176674701.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  937ec96fd1742e5ed6250d14e65c707b

RANDOM SEED= 892173150

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.264
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	: 5931.00
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.264
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:       1758460 kB
Buffers:         43180 kB
Cached:         146580 kB
SwapCached:       2884 kB
Active:         128184 kB
Inactive:        99032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758460 kB
SwapTotal:     4192956 kB
SwapFree:      4184060 kB
Dirty:            7584 kB
Writeback:           0 kB
Mapped:          19408 kB
Slab:            56268 kB
Committed_AS:  1373444 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB

End job on node69 on Sun Apr 15 22:16:07 UTC 2007