Trace number 433114

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.17SAT (MO)-45 663.643 664.199

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

Verifier Data (download as text)

OK	-45

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-433114-1177954591 -o ROOT/results/node38/solver-433114-1177954591 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433114-1177954591/instance-433114-1177954591.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: 0.77 0.92 0.89 3/77 759
/proc/meminfo: memFree=1740144/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=14800 CPUtime=0
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 227625817 15155200 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 3700 334 279 324 0 2004 0

[startup+0.0442689 s]
/proc/loadavg: 0.77 0.92 0.89 3/77 759
/proc/meminfo: memFree=1740144/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=7968 CPUtime=0.04
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 671 0 0 0 4 0 0 0 18 0 1 0 227625817 8159232 641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 1992 642 335 324 0 296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7968

[startup+0.10128 s]
/proc/loadavg: 0.77 0.92 0.89 3/77 759
/proc/meminfo: memFree=1740144/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=9476 CPUtime=0.09
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 1105 0 0 0 9 0 0 0 18 0 1 0 227625817 9703424 1075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 2369 1076 419 324 0 673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9476

[startup+0.301319 s]
/proc/loadavg: 0.77 0.92 0.89 3/77 759
/proc/meminfo: memFree=1740144/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=14152 CPUtime=0.29
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 2570 0 0 0 28 1 0 0 19 0 1 0 227625817 14491648 2540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 3538 2540 707 324 0 1842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14152

[startup+0.701395 s]
/proc/loadavg: 0.77 0.92 0.89 3/77 759
/proc/meminfo: memFree=1740144/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=22524 CPUtime=0.69
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 5794 0 0 0 67 2 0 0 22 0 1 0 227625817 23064576 4998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 5631 4998 303 324 0 4701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22524

[startup+1.50155 s]
/proc/loadavg: 0.79 0.92 0.89 2/78 760
/proc/meminfo: memFree=1717288/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=26668 CPUtime=1.49
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 6824 0 0 0 145 4 0 0 25 0 1 0 227625817 27308032 6028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 6667 6028 305 324 0 5737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26668

[startup+3.10186 s]
/proc/loadavg: 0.79 0.92 0.89 2/78 760
/proc/meminfo: memFree=1717160/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=26668 CPUtime=3.09
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 6824 0 0 0 301 8 0 0 25 0 1 0 227625817 27308032 6028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 6667 6028 305 324 0 5737 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26668

[startup+6.30147 s]
/proc/loadavg: 0.79 0.92 0.89 2/78 760
/proc/meminfo: memFree=1707496/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=50080 CPUtime=6.28
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 14638 0 0 0 614 14 0 0 25 0 1 0 227625817 51281920 11903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 12520 11903 310 324 0 11590 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50080

[startup+12.7017 s]
/proc/loadavg: 0.82 0.93 0.90 2/78 760
/proc/meminfo: memFree=1616360/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=137124 CPUtime=12.68
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 36389 0 0 0 1246 22 0 0 25 0 1 0 227625817 140414976 33654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9039400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 34281 33654 310 324 0 33351 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 137124

[startup+25.5012 s]
/proc/loadavg: 0.85 0.93 0.90 2/78 760
/proc/meminfo: memFree=1525800/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=219052 CPUtime=25.48
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 56866 0 0 0 2517 31 0 0 25 0 1 0 227625817 224309248 54131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 54763 54131 310 324 0 53833 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 219052

[startup+51.1011 s]
/proc/loadavg: 0.90 0.93 0.90 2/78 760
/proc/meminfo: memFree=1419048/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=329272 CPUtime=51.07
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 84416 0 0 0 5064 43 0 0 25 0 1 0 227625817 337174528 81681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 82318 81681 310 324 0 81388 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 329272

[startup+102.306 s]
/proc/loadavg: 0.96 0.94 0.90 2/78 760
/proc/meminfo: memFree=1075240/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=668064 CPUtime=102.25
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 169119 0 0 0 10147 78 0 0 25 0 1 0 227625817 684097536 166384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 167016 166384 310 324 0 166086 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 668064

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.91 2/78 760
/proc/meminfo: memFree=873128/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=871056 CPUtime=162.22
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 219867 0 0 0 16121 101 0 0 25 0 1 0 227625817 891961344 217132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 217764 217132 310 324 0 216834 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 871056

[startup+222.303 s]
/proc/loadavg: 0.99 0.95 0.91 2/78 760
/proc/meminfo: memFree=751976/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=990140 CPUtime=222.21
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 249652 0 0 0 22106 115 0 0 25 0 1 0 227625817 1013903360 246917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 247535 246917 310 324 0 246605 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 990140

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.91 2/78 760
/proc/meminfo: memFree=612456/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1129800 CPUtime=282.18
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 284562 0 0 0 28089 129 0 0 25 0 1 0 227625817 1156915200 281827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 282450 281827 310 324 0 281520 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1129800

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=528552/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1213136 CPUtime=342.17
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 305387 0 0 0 34077 140 0 0 25 0 1 0 227625817 1242251264 302652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 303284 302652 310 324 0 302354 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1213136

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=356776/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1387608 CPUtime=402.13
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 349024 0 0 0 40056 157 0 0 25 0 1 0 227625817 1420910592 346289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 346902 346289 310 324 0 345972 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1387608

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=224360/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1516816 CPUtime=462.12
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 381316 0 0 0 46041 171 0 0 25 0 1 0 227625817 1553219584 378581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 379204 378581 310 324 0 378274 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1516816

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=150120/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1591760 CPUtime=522.1
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 400057 0 0 0 52030 180 0 0 25 0 1 0 227625817 1629962240 397322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 397940 397322 310 324 0 397010 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1591760

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=77928/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1664040 CPUtime=582.07
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 418132 0 0 0 58018 189 0 0 25 0 1 0 227625817 1703976960 415397 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 416010 415397 310 324 0 415080 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1664040

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=16424/2055920 swapFree=4158260/4192956
[pid=759] ppid=757 vsize=1747672 CPUtime=642.05
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 439030 0 0 0 64006 199 0 0 25 0 1 0 227625817 1789616128 436295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 436918 436295 310 324 0 435988 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1747672



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+663.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=15272/2055920 swapFree=4158028/4192956
[pid=759] ppid=757 vsize=1843488 CPUtime=663.34
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194304 462980 0 0 0 66124 210 0 0 25 0 1 0 227625817 1887731712 460245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 460872 460245 310 324 0 459942 0
Current children cumulated CPU time (s) 663.34
Current children cumulated vsize (KiB) 1843488

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

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

[startup+664.007 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=15272/2055920 swapFree=4158028/4192956
[pid=759] ppid=757 vsize=0 CPUtime=663.45
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194308 462984 0 0 0 66125 220 0 0 25 0 1 0 227625817 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 663.45
Current children cumulated vsize (KiB) 0

[startup+664.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 760
/proc/meminfo: memFree=15272/2055920 swapFree=4158028/4192956
[pid=759] ppid=757 vsize=0 CPUtime=663.54
/proc/759/stat : 759 (bsolo3.0.17) R 757 759 696 0 -1 4194308 462984 0 0 0 66125 229 0 0 25 0 1 0 227625817 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/759/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 663.54
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 664.199
CPU time (s): 663.643
CPU user time (s): 661.251
CPU system time (s): 2.39164
CPU usage (%): 99.9163
Max. virtual memory (cumulated for all children) (KiB): 1843488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 661.251
system time used= 2.39164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462984
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= 17
involuntary context switches= 1290

runsolver used 0.490925 second user time and 1.51077 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Mon Apr 30 17:36:32 UTC 2007

IDJOB= 433114
IDBENCH= 2266
IDSOLVER= 199
FILE ID= node38/433114-1177954591

PBS_JOBID= 4727702

Free space on /tmp= 66555 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/433114-1177954591/instance-433114-1177954591.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-433114-1177954591 -o ROOT/results/node38/solver-433114-1177954591 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433114-1177954591/instance-433114-1177954591.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  937ec96fd1742e5ed6250d14e65c707b

RANDOM SEED= 121221654

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1740744 kB
Buffers:         38364 kB
Cached:         183868 kB
SwapCached:       3392 kB
Active:          82412 kB
Inactive:       162916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740744 kB
SwapTotal:     4192956 kB
SwapFree:      4158260 kB
Dirty:            9860 kB
Writeback:           0 kB
Mapped:          29908 kB
Slab:            55108 kB
Committed_AS:  1888000 kB
PageTables:       2060 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= 66555 MiB

End job on node38 on Mon Apr 30 17:47:38 UTC 2007