Trace number 1562160

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 NameAnswerCPU timeWall clock time
CSat 2009-03-22SAT 1020.87 1021.14

General information on the benchmark

NameCRAFTED/
edgematching/all/em_7_4_8_all.cnf
MD5SUM49323100760aa1d9fcd1b2d7081994d1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.049991
Satisfiable
(Un)Satisfiability was proved
Number of variables1617
Number of clauses37237
Sum of the clauses size92593
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225780
Number of clauses of size 38550
Number of clauses of size 4932
Number of clauses of size 51825
Number of clauses of size over 5150

Solver Data 

1020.82/1021.12	c Variable Count:   1617
1020.82/1021.12	c Clause Count:     37237
1020.82/1021.12	s SATISFIABLE
1020.82/1021.12	v -1 -2 -3 4 -5 -6 -7 -8 -9 -10 
1020.82/1021.12	v -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 
1020.82/1021.12	v -21 -22 -23 24 -25 -26 -27 -28 -29 -30 
1020.82/1021.12	v -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 
1020.82/1021.12	v -41 -42 43 -44 -45 -46 -47 -48 -49 -50 
1020.82/1021.12	v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 
1020.82/1021.12	v -61 62 -63 -64 -65 -66 -67 -68 -69 -70 
1020.82/1021.12	v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 
1020.82/1021.12	v 81 -82 -83 -84 -85 -86 -87 -88 -89 -90 
1020.82/1021.12	v -91 -92 -93 -94 -95 -96 -97 -98 -99 100 
1020.82/1021.12	v -101 -102 -103 -104 -105 -106 107 -108 -109 -110 
1020.82/1021.12	v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 
1020.82/1021.12	v -121 -122 123 -124 -125 -126 -127 -128 -129 -130 
1020.82/1021.12	v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 
1020.82/1021.12	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 
1020.82/1021.12	v -151 -152 153 -154 -155 -156 -157 -158 -159 -160 
1020.82/1021.12	v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 
1020.82/1021.12	v -171 -172 -173 -174 -175 -176 177 -178 -179 -180 
1020.82/1021.12	v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 
1020.82/1021.12	v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 
1020.82/1021.12	v 201 -202 -203 -204 -205 -206 -207 -208 -209 -210 
1020.82/1021.12	v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 
1020.82/1021.12	v -221 -222 -223 -224 225 -226 -227 -228 -229 -230 
1020.82/1021.12	v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 
1020.82/1021.12	v -241 -242 -243 -244 -245 -246 -247 -248 249 -250 
1020.82/1021.12	v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 
1020.82/1021.12	v -261 -262 263 -264 -265 -266 -267 -268 -269 -270 
1020.82/1021.12	v -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 
1020.82/1021.12	v -281 -282 -283 -284 -285 -286 287 -288 -289 -290 
1020.82/1021.12	v -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 
1020.82/1021.12	v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 
1020.82/1021.12	v -311 -312 313 -314 -315 -316 -317 -318 -319 -320 
1020.82/1021.12	v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 
1020.82/1021.12	v -331 -332 -333 -334 -335 -336 337 -338 -339 -340 
1020.82/1021.12	v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 
1020.82/1021.12	v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 
1020.82/1021.12	v 361 -362 -363 -364 -365 -366 -367 -368 -369 -370 
1020.82/1021.12	v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 
1020.82/1021.12	v -381 -382 -383 -384 385 -386 -387 -388 -389 -390 
1020.82/1021.12	v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 
1020.82/1021.12	v -401 -402 -403 -404 -405 -406 -407 -408 409 -410 
1020.82/1021.12	v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 
1020.82/1021.12	v -421 -422 -423 -424 -425 -426 427 -428 -429 -430 
1020.82/1021.12	v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 
1020.82/1021.12	v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 
1020.82/1021.12	v 451 -452 -453 -454 -455 -456 -457 -458 -459 -460 
1020.82/1021.12	v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 
1020.82/1021.12	v 471 -472 -473 -474 -475 -476 -477 -478 -479 -480 
1020.82/1021.12	v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 
1020.82/1021.12	v -491 -492 -493 -494 495 -496 -497 -498 -499 -500 
1020.82/1021.12	v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 
1020.82/1021.12	v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 
1020.82/1021.12	v -521 -522 523 -524 -525 -526 -527 -528 -529 -530 
1020.82/1021.12	v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 
1020.82/1021.12	v -541 -542 -543 -544 -545 -546 547 -548 -549 -550 
1020.82/1021.12	v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 
1020.82/1021.12	v -561 -562 -563 -564 -565 -566 -567 -568 569 -570 
1020.82/1021.12	v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 
1020.82/1021.12	v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 
1020.82/1021.12	v 591 -592 -593 -594 -595 -596 -597 -598 -599 -600 
1020.82/1021.12	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 
1020.82/1021.12	v -611 -612 -613 -614 615 -616 -617 -618 -619 -620 
1020.82/1021.12	v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 
1020.82/1021.12	v -631 -632 633 -634 -635 -636 -637 -638 -639 -640 
1020.82/1021.12	v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 
1020.82/1021.12	v -651 -652 -653 -654 -655 -656 657 -658 -659 -660 
1020.82/1021.12	v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 
1020.82/1021.12	v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 
1020.82/1021.12	v 681 -682 -683 -684 -685 -686 -687 -688 -689 -690 
1020.82/1021.12	v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 
1020.82/1021.12	v -701 -702 -703 -704 705 -706 -707 -708 -709 -710 
1020.82/1021.12	v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 
1020.82/1021.12	v -721 -722 -723 -724 -725 -726 -727 -728 729 -730 
1020.82/1021.12	v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 
1020.82/1021.12	v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 
1020.82/1021.12	v -751 -752 -753 -754 755 -756 -757 -758 -759 -760 
1020.82/1021.12	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 
1020.82/1021.12	v -771 -772 -773 -774 -775 -776 -777 -778 779 -780 
1020.82/1021.12	v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 
1020.82/1021.12	v -791 -792 793 -794 -795 -796 -797 -798 -799 -800 
1020.82/1021.12	v -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 
1020.82/1021.12	v -811 -812 -813 -814 -815 -816 817 -818 -819 -820 
1020.82/1021.12	v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 
1020.82/1021.12	v -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 
1020.82/1021.12	v 841 -842 -843 -844 -845 -846 -847 -848 -849 -850 
1020.82/1021.12	v -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 
1020.82/1021.12	v -861 -862 -863 -864 865 -866 -867 -868 -869 -870 
1020.82/1021.12	v -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 
1020.82/1021.12	v -881 -882 -883 -884 -885 -886 -887 -888 889 -890 
1020.82/1021.12	v -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 
1020.82/1021.12	v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 
1020.82/1021.12	v -911 -912 -913 -914 -915 -916 -917 -918 919 -920 
1020.82/1021.12	v -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 
1020.82/1021.12	v -931 -932 -933 -934 935 -936 -937 -938 -939 -940 
1020.82/1021.12	v -941 942 -943 -944 -945 -946 -947 -948 -949 -950 
1020.82/1021.12	v -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 
1020.82/1021.12	v 961 -962 -963 -964 -965 -966 -967 -968 -969 -970 
1020.82/1021.12	v -971 -972 -973 -974 -975 -976 -977 -978 -979 980 
1020.82/1021.12	v -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 
1020.82/1021.12	v -991 -992 -993 -994 -995 -996 -997 -998 999 -1000 
1020.82/1021.12	v -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 
1020.82/1021.12	v -1011 -1012 -1013 -1014 -1015 -1016 -1017 1018 -1019 -1020 
1020.82/1021.12	v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 
1020.82/1021.12	v -1031 -1032 -1033 -1034 -1035 -1036 -1037 1038 -1039 -1040 
1020.82/1021.12	v -1041 -1042 -1043 -1044 1045 1046 -1047 -1048 -1049 -1050 
1020.82/1021.12	v -1051 1052 -1053 -1054 -1055 1056 -1057 -1058 1059 -1060 
1020.82/1021.12	v -1061 -1062 -1063 1064 -1065 -1066 -1067 -1068 1069 -1070 
1020.82/1021.12	v -1071 -1072 -1073 1074 -1075 -1076 -1077 -1078 -1079 -1080 
1020.82/1021.12	v -1081 -1082 -1083 -1084 1085 -1086 1087 -1088 -1089 -1090 
1020.82/1021.12	v -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 1099 -1100 
1020.82/1021.12	v -1101 -1102 -1103 -1104 -1105 1106 -1107 -1108 -1109 -1110 
1020.82/1021.12	v 1111 -1112 -1113 -1114 -1115 -1116 1117 -1118 -1119 -1120 
1020.82/1021.12	v -1121 -1122 -1123 -1124 -1125 -1126 -1127 1128 -1129 1130 
1020.82/1021.12	v -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 
1020.82/1021.12	v -1141 -1142 -1143 -1144 1145 -1146 -1147 1148 -1149 -1150 
1020.82/1021.12	v -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 1159 -1160 
1020.82/1021.12	v -1161 -1162 -1163 1164 -1165 -1166 -1167 -1168 -1169 -1170 
1020.82/1021.12	v -1171 -1172 1173 1174 -1175 -1176 -1177 -1178 -1179 -1180 
1020.82/1021.12	v -1181 -1182 -1183 1184 -1185 -1186 -1187 -1188 -1189 -1190 
1020.82/1021.12	v 1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 
1020.82/1021.12	v -1201 1202 -1203 -1204 -1205 -1206 1207 -1208 -1209 1210 
1020.82/1021.12	v -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 
1020.82/1021.12	v 1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 
1020.82/1021.12	v -1231 -1232 1233 -1234 -1235 -1236 1237 -1238 -1239 -1240 
1020.82/1021.12	v -1241 -1242 -1243 -1244 -1245 1246 -1247 -1248 -1249 -1250 
1020.82/1021.12	v -1251 -1252 -1253 -1254 1255 -1256 -1257 -1258 1259 -1260 
1020.82/1021.12	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 1268 -1269 -1270 
1020.82/1021.12	v -1271 -1272 -1273 -1274 -1275 1276 -1277 -1278 -1279 -1280 
1020.82/1021.12	v -1281 -1282 -1283 -1284 1285 -1286 -1287 -1288 -1289 -1290 
1020.82/1021.12	v -1291 1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 
1020.82/1021.12	v 1301 1302 -1303 -1304 -1305 -1306 -1307 1308 -1309 -1310 
1020.82/1021.12	v -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 
1020.82/1021.12	v 1321 -1322 -1323 1324 -1325 -1326 -1327 -1328 -1329 -1330 
1020.82/1021.12	v -1331 -1332 -1333 -1334 -1335 -1336 1337 -1338 -1339 -1340 
1020.82/1021.12	v -1341 -1342 -1343 -1344 1345 -1346 -1347 -1348 -1349 -1350 
1020.82/1021.12	v -1351 -1352 1353 -1354 -1355 -1356 1357 -1358 -1359 -1360 
1020.82/1021.12	v -1361 -1362 -1363 -1364 1365 -1366 1367 -1368 -1369 -1370 
1020.82/1021.12	v -1371 -1372 -1373 1374 -1375 -1376 -1377 -1378 -1379 -1380 
1020.82/1021.12	v -1381 -1382 1383 -1384 -1385 -1386 -1387 -1388 -1389 1390 
1020.82/1021.12	v -1391 -1392 -1393 -1394 -1395 -1396 -1397 1398 -1399 -1400 
1020.82/1021.12	v -1401 1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 
1020.82/1021.12	v -1411 -1412 1413 -1414 -1415 -1416 -1417 1418 -1419 -1420 
1020.82/1021.12	v -1421 -1422 -1423 -1424 -1425 -1426 1427 -1428 -1429 -1430 
1020.82/1021.12	v -1431 -1432 -1433 -1434 -1435 -1436 1437 -1438 -1439 -1440 
1020.82/1021.12	v -1441 -1442 -1443 -1444 -1445 1446 -1447 -1448 -1449 1450 
1020.82/1021.12	v -1451 -1452 -1453 1454 -1455 -1456 -1457 -1458 -1459 -1460 
1020.82/1021.12	v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 1469 -1470 
1020.82/1021.12	v -1471 -1472 -1473 -1474 -1475 -1476 1477 -1478 -1479 -1480 
1020.82/1021.12	v -1481 1482 -1483 -1484 -1485 -1486 -1487 -1488 1489 -1490 
1020.82/1021.12	v -1491 -1492 -1493 -1494 1495 -1496 -1497 -1498 -1499 1500 
1020.82/1021.12	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 1510 
1020.82/1021.12	v -1511 -1512 -1513 -1514 -1515 -1516 -1517 1518 -1519 -1520 
1020.82/1021.12	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 1528 -1529 -1530 
1020.82/1021.12	v -1531 -1532 -1533 -1534 1535 -1536 -1537 -1538 -1539 -1540 
1020.82/1021.12	v -1541 1542 -1543 -1544 -1545 -1546 -1547 1548 -1549 -1550 
1020.82/1021.12	v 1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 
1020.82/1021.12	v 1561 -1562 -1563 -1564 -1565 -1566 -1567 1568 -1569 -1570 
1020.82/1021.12	v -1571 -1572 -1573 -1574 1575 -1576 -1577 -1578 -1579 -1580 
1020.82/1021.12	v -1581 1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 
1020.82/1021.12	v 1591 -1592 -1593 -1594 1595 -1596 -1597 -1598 1599 -1600 
1020.82/1021.12	v -1601 -1602 -1603 1604 -1605 -1606 -1607 1608 -1609 1610 
1020.82/1021.12	v -1611 -1612 -1613 1614 -1615 -1616 -1617 0
1020.82/1021.12	c Total Time: 1021

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562160-1238770905/watcher-1562160-1238770905 -o /tmp/evaluation-result-1562160-1238770905/solver-1562160-1238770905 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/csat HOME/instance-1562160-1238770905.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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.99 0.97 0.98 3/73 28856
/proc/meminfo: memFree=1861576/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=2340 CPUtime=0
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 292 0 0 0 0 0 0 0 20 0 1 0 933479145 2396160 276 1992294400 134512640 135625496 4294956240 18446744073709551615 134538696 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 585 276 89 271 0 311 0

[startup+0.0386039 s]
/proc/loadavg: 0.99 0.97 0.98 3/73 28856
/proc/meminfo: memFree=1861576/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=2504 CPUtime=0.03
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 403 0 0 0 3 0 0 0 20 0 1 0 933479145 2564096 387 1992294400 134512640 135625496 4294956240 18446744073709551615 135123518 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 626 387 89 271 0 352 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2504

[startup+0.102592 s]
/proc/loadavg: 0.99 0.97 0.98 3/73 28856
/proc/meminfo: memFree=1861576/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=8772 CPUtime=0.09
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 2031 0 0 0 9 0 0 0 20 0 1 0 933479145 8982528 1941 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 2193 1941 91 271 0 1919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8772

[startup+0.301611 s]
/proc/loadavg: 0.99 0.97 0.98 3/73 28856
/proc/meminfo: memFree=1861576/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=9036 CPUtime=0.29
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 2095 0 0 0 29 0 0 0 22 0 1 0 933479145 9252864 2005 1992294400 134512640 135625496 4294956240 18446744073709551615 134522280 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 2259 2005 91 271 0 1985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9036

[startup+0.701653 s]
/proc/loadavg: 0.99 0.97 0.98 3/73 28856
/proc/meminfo: memFree=1861576/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=9432 CPUtime=0.69
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 2208 0 0 0 68 1 0 0 25 0 1 0 933479145 9658368 2118 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 2358 2118 91 271 0 2084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9432

[startup+1.50174 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1853184/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=10224 CPUtime=1.49
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 2404 0 0 0 148 1 0 0 25 0 1 0 933479145 10469376 2314 1992294400 134512640 135625496 4294956240 18446744073709551615 134540746 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 2556 2314 91 271 0 2282 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10224

[startup+3.10191 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1851968/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=11428 CPUtime=3.09
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 2707 0 0 0 307 2 0 0 25 0 1 0 933479145 11702272 2617 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 2857 2617 91 271 0 2583 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11428

[startup+6.30125 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1849856/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=13328 CPUtime=6.29
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 3180 0 0 0 626 3 0 0 25 0 1 0 933479145 13647872 3090 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 3332 3090 91 271 0 3058 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13328

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1846912/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=16052 CPUtime=12.69
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 3836 0 0 0 1265 4 0 0 25 0 1 0 933479145 16437248 3746 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 4013 3746 91 271 0 3739 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16052

[startup+25.5023 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1842752/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=20004 CPUtime=25.49
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 4837 0 0 0 2542 7 0 0 25 0 1 0 933479145 20484096 4747 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 5001 4747 91 271 0 4727 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20004

[startup+51.103 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1837504/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=25384 CPUtime=51.08
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 6162 0 0 0 5096 12 0 0 25 0 1 0 933479145 25993216 6072 1992294400 134512640 135625496 4294956240 18446744073709551615 134541311 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 6346 6072 91 271 0 6072 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25384

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1830208/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=32516 CPUtime=102.27
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 7962 0 0 0 10208 19 0 0 25 0 1 0 933479145 33296384 7872 1992294400 134512640 135625496 4294956240 18446744073709551615 135120254 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 8129 7872 91 271 0 7855 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32516

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1823424/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=39436 CPUtime=162.25
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 9748 0 0 0 16200 25 0 0 25 0 1 0 933479145 40382464 9567 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 9859 9567 91 271 0 9585 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39436

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1816960/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=45672 CPUtime=222.23
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 11344 0 0 0 22192 31 0 0 25 0 1 0 933479145 46768128 11163 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 11418 11163 91 271 0 11144 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45672

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1811776/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=51180 CPUtime=282.22
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 12773 0 0 0 28185 37 0 0 25 0 1 0 933479145 52408320 12456 1992294400 134512640 135625496 4294956240 18446744073709551615 134541322 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 12795 12456 91 271 0 12521 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 51180

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1806912/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=55836 CPUtime=342.2
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 13979 0 0 0 34179 41 0 0 25 0 1 0 933479145 57176064 13662 1992294400 134512640 135625496 4294956240 18446744073709551615 134529066 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 13959 13662 91 271 0 13685 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 55836

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1802880/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=59988 CPUtime=402.19
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 15005 0 0 0 40174 45 0 0 25 0 1 0 933479145 61427712 14688 1992294400 134512640 135625496 4294956240 18446744073709551615 134522202 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 14997 14688 91 271 0 14723 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 59988

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1798592/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=64112 CPUtime=462.17
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 16057 0 0 0 46169 48 0 0 25 0 1 0 933479145 65650688 15740 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 16028 15740 91 271 0 15754 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 64112

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1794816/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=68148 CPUtime=522.15
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 17173 0 0 0 52162 53 0 0 25 0 1 0 933479145 69783552 16653 1992294400 134512640 135625496 4294956240 18446744073709551615 134541448 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 17037 16653 91 271 0 16763 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 68148

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1791360/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=71724 CPUtime=582.14
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 18065 0 0 0 58158 56 0 0 25 0 1 0 933479145 73445376 17545 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 17931 17545 91 271 0 17657 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 71724

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1788224/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=74788 CPUtime=642.13
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 18848 0 0 0 64152 61 0 0 25 0 1 0 933479145 76582912 18328 1992294400 134512640 135625496 4294956240 18446744073709551615 134541448 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 18697 18328 91 271 0 18423 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 74788

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1784768/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=78044 CPUtime=702.11
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 19679 0 0 0 70147 64 0 0 25 0 1 0 933479145 79917056 19159 1992294400 134512640 135625496 4294956240 18446744073709551615 134529063 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 19511 19159 91 271 0 19237 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 78044

[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1781824/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=80964 CPUtime=762.09
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 20393 0 0 0 76142 67 0 0 25 0 1 0 933479145 82907136 19873 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 20241 19873 91 271 0 19967 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 80964

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1778816/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=83984 CPUtime=822.08
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 21151 0 0 0 82137 71 0 0 25 0 1 0 933479145 85999616 20631 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 20996 20631 91 271 0 20722 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 83984

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1775296/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=87548 CPUtime=882.06
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 22020 0 0 0 88133 73 0 0 25 0 1 0 933479145 89649152 21500 1992294400 134512640 135625496 4294956240 18446744073709551615 134529026 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 21887 21500 91 271 0 21613 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 87548

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1772352/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=90380 CPUtime=942.05
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 22754 0 0 0 94130 75 0 0 25 0 1 0 933479145 92549120 22234 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 22595 22234 91 271 0 22321 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 90380

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1769408/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=93328 CPUtime=1002.03
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23484 0 0 0 100125 78 0 0 25 0 1 0 933479145 95567872 22964 1992294400 134512640 135625496 4294956240 18446744073709551615 134541271 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23332 22964 91 271 0 23058 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 93328

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

[startup+1011.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1769088/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=93768 CPUtime=1010.83
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23577 0 0 0 101005 78 0 0 25 0 1 0 933479145 96018432 23057 1992294400 134512640 135625496 4294956240 18446744073709551615 134529063 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23442 23057 91 271 0 23168 0
Current children cumulated CPU time (s) 1010.83
Current children cumulated vsize (KiB) 93768

[startup+1017.51 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1768768/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=94032 CPUtime=1017.23
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23645 0 0 0 101645 78 0 0 25 0 1 0 933479145 96288768 23125 1992294400 134512640 135625496 4294956240 18446744073709551615 134541058 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23508 23125 91 271 0 23234 0
Current children cumulated CPU time (s) 1017.23
Current children cumulated vsize (KiB) 94032

[startup+1019.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1768704/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=94164 CPUtime=1018.83
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23662 0 0 0 101805 78 0 0 25 0 1 0 933479145 96423936 23142 1992294400 134512640 135625496 4294956240 18446744073709551615 134541273 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23541 23142 91 271 0 23267 0
Current children cumulated CPU time (s) 1018.83
Current children cumulated vsize (KiB) 94164

[startup+1019.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1768704/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=94164 CPUtime=1019.63
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23674 0 0 0 101885 78 0 0 25 0 1 0 933479145 96423936 23154 1992294400 134512640 135625496 4294956240 18446744073709551615 134540684 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23541 23154 91 271 0 23267 0
Current children cumulated CPU time (s) 1019.63
Current children cumulated vsize (KiB) 94164

[startup+1020.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1768640/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=94164 CPUtime=1020.43
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23687 0 0 0 101965 78 0 0 25 0 1 0 933479145 96423936 23167 1992294400 134512640 135625496 4294956240 18446744073709551615 134541271 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23541 23167 91 271 0 23267 0
Current children cumulated CPU time (s) 1020.43
Current children cumulated vsize (KiB) 94164

[startup+1021.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/74 28857
/proc/meminfo: memFree=1768640/2055920 swapFree=4176836/4192956
[pid=28856] ppid=28854 vsize=94164 CPUtime=1020.82
/proc/28856/stat : 28856 (csat) R 28854 28856 28726 0 -1 4194304 23690 0 0 0 102004 78 0 0 25 0 1 0 933479145 96423936 23170 1992294400 134512640 135625496 4294956240 18446744073709551615 134884904 0 0 4096 0 0 0 0 17 1 0 0
/proc/28856/statm: 23541 23170 91 271 0 23267 0
Current children cumulated CPU time (s) 1020.82
Current children cumulated vsize (KiB) 94164

Child status: 10
Real time (s): 1021.14
CPU time (s): 1020.87
CPU user time (s): 1020.07
CPU system time (s): 0.804877
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 94164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1020.07
system time used= 0.804877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23713
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= 4
involuntary context switches= 1873

runsolver used 0.991849 second user time and 2.73058 second system time

The end

Launcher Data 

Begin job on node82 at 2009-04-03 17:01:45
IDJOB=1562160
IDBENCH=70929
IDSOLVER=517
FILE ID=node82/1562160-1238770905
PBS_JOBID= 9085547
Free space on /tmp= 66500 MiB

SOLVER NAME= CSat 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/all/em_7_4_8_all.cnf
COMMAND LINE= DIR/csat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562160-1238770905/watcher-1562160-1238770905 -o /tmp/evaluation-result-1562160-1238770905/solver-1562160-1238770905 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/csat HOME/instance-1562160-1238770905.cnf

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

MD5SUM BENCH= 49323100760aa1d9fcd1b2d7081994d1
RANDOM SEED=80967811

node82.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.232
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.232
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862056 kB
Buffers:         32896 kB
Cached:          76804 kB
SwapCached:       7192 kB
Active:          11712 kB
Inactive:       107300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862056 kB
SwapTotal:     4192956 kB
SwapFree:      4176836 kB
Dirty:            1896 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            59944 kB
Committed_AS:  2568684 kB
PageTables:       1996 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66496 MiB
End job on node82 at 2009-04-03 17:18:46