Trace number 311895

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 NameAnswerCPU timeWall clock time
KCNFS 2006SAT 269.93 270.022

General information on the benchmark

Namerandom/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
MD5SUM7e8974f5ce5a0e1fdb59169bba7ce43c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.5364
Satisfiable
(Un)Satisfiability was proved
Number of variables2404
Number of clauses7478
Sum of the clauses size20939
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21495
Number of clauses of size 35983
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	
0.00/0.00	c Computed by /tmp/evaluation/311895-1172578269/kcnfs-2006   V. 1.2
0.00/0.00	c reading file ... done
0.00/0.01	c Input file : '/tmp/evaluation/311895-1172578269/instance-311895-1172578269.cnf'
0.00/0.01	c [#vars: 2405, #clauses: 7478 , (2-3)-CNF]
0.00/0.02	c unit clauses propagate before processing (#clause: 7478)
269.82/270.01	c BSH-propagate until depth 1 (fix point: 6 updates) 
269.82/270.01	s SATISFIABLE
269.82/270.01	v       -1        2        3       -4        5        6        7
269.82/270.01	v        8        9       10      -11       12       13       14
269.82/270.01	v      -15      -16      -17       18       19      -20       21
269.82/270.01	v      -22      -23       24      -25      -26       27       28
269.82/270.01	v       29       30      -31      -32       33      -34      -35
269.82/270.01	v      -36       37      -38      -39      -40      -41       42
269.82/270.01	v      -43      -44      -45       46       47       48      -49
269.82/270.01	v       50       51       52      -53      -54      -55       56
269.82/270.01	v       57       58      -59       60       61       62      -63
269.82/270.01	v      -64       65       66      -67      -68       69      -70
269.82/270.01	v       71      -72      -73       74      -75      -76      -77
269.82/270.01	v      -78       79      -80      -81      -82      -83       84
269.82/270.01	v      -85       86      -87       88       89      -90       91
269.82/270.01	v      -92      -93      -94      -95       96      -97      -98
269.82/270.01	v      -99     -100      101     -102      103     -104      105
269.82/270.01	v      106     -107     -108      109      110     -111      112
269.82/270.01	v     -113     -114      115     -116      117     -118      119
269.82/270.01	v     -120      121      122     -123      124     -125      126
269.82/270.01	v     -127      128      129      130     -131     -132     -133
269.82/270.01	v     -134     -135     -136      137      138     -139     -140
269.82/270.01	v     -141     -142     -143      144     -145      146      147
269.82/270.01	v      148     -149      150      151      152     -153      154
269.82/270.01	v     -155     -156      157     -158     -159      160     -161
269.82/270.01	v     -162     -163     -164     -165     -166     -167     -168
269.82/270.01	v      169      170     -171     -172     -173      174      175
269.82/270.01	v      176      177     -178      179     -180     -181     -182
269.82/270.01	v     -183      184      185     -186     -187     -188     -189
269.82/270.01	v     -190      191      192      193     -194      195      196
269.82/270.01	v     -197      198      199     -200      201      202     -203
269.82/270.01	v      204     -205      206      207     -208      209     -210
269.82/270.01	v     -211      212     -213      214      215     -216     -217
269.82/270.01	v      218     -219      220     -221      222      223      224
269.82/270.01	v     -225      226      227      228      229      230      231
269.82/270.01	v     -232     -233     -234      235     -236     -237     -238
269.82/270.01	v     -239      240      241      242      243     -244     -245
269.82/270.01	v      246      247     -248     -249      250      251     -252
269.82/270.01	v      253     -254     -255     -256     -257      258      259
269.82/270.01	v      260      261      262     -263      264     -265      266
269.82/270.01	v     -267      268      269      270      271     -272      273
269.82/270.01	v      274     -275      276      277      278     -279      280
269.82/270.01	v      281     -282      283      284      285     -286     -287
269.82/270.01	v      288      289     -290     -291      292     -293      294
269.82/270.01	v     -295      296     -297     -298      299     -300      301
269.82/270.01	v      302     -303      304     -305      306     -307     -308
269.82/270.01	v      309      310      311      312     -313      314     -315
269.82/270.01	v     -316      317      318      319      320      321     -322
269.82/270.01	v      323      324     -325      326     -327      328      329
269.82/270.01	v      330      331      332     -333     -334     -335     -336
269.82/270.01	v     -337      338      339      340      341      342      343
269.82/270.01	v      344      345     -346      347     -348     -349      350
269.82/270.01	v      351     -352     -353      354     -355     -356     -357
269.82/270.01	v     -358     -359      360      361      362      363      364
269.82/270.01	v      365     -366     -367      368     -369     -370     -371
269.82/270.01	v      372      373      374      375      376      377     -378
269.82/270.01	v      379     -380      381      382     -383     -384     -385
269.82/270.01	v      386     -387      388      389      390      391      392
269.82/270.01	v     -393     -394     -395     -396      397      398      399
269.82/270.01	v     -400      401      402     -403      404     -405     -406
269.82/270.01	v      407      408      409      410     -411     -412     -413
269.82/270.01	v     -414     -415     -416     -417     -418      419     -420
269.82/270.01	v      421     -422     -423      424      425      426     -427
269.82/270.01	v      428      429     -430      431      432     -433      434
269.82/270.01	v      435     -436     -437     -438     -439      440      441
269.82/270.01	v      442     -443     -444     -445      446      447     -448
269.82/270.01	v     -449      450     -451     -452     -453     -454      455
269.82/270.01	v     -456      457     -458     -459      460     -461     -462
269.82/270.01	v      463     -464      465      466     -467      468      469
269.82/270.01	v      470      471     -472     -473     -474     -475     -476
269.82/270.01	v      477      478     -479     -480     -481      482     -483
269.82/270.01	v     -484     -485      486     -487      488      489     -490
269.82/270.01	v      491      492     -493     -494      495     -496     -497
269.82/270.01	v      498      499     -500     -501     -502      503      504
269.82/270.01	v      505      506      507      508     -509     -510     -511
269.82/270.01	v     -512      513      514     -515     -516      517      518
269.82/270.01	v     -519      520      521      522      523     -524     -525
269.82/270.01	v      526      527     -528      529      530     -531      532
269.82/270.01	v      533      534      535     -536      537     -538     -539
269.82/270.01	v     -540      541      542      543     -544     -545     -546
269.82/270.01	v      547     -548     -549     -550      551      552      553
269.82/270.01	v     -554      555     -556     -557      558     -559     -560
269.82/270.01	v      561      562      563      564     -565     -566      567
269.82/270.01	v      568      569     -570     -571     -572      573     -574
269.82/270.01	v      575      576     -577      578     -579      580     -581
269.82/270.01	v      582      583      584      585     -586      587     -588
269.82/270.01	v     -589     -590     -591      592     -593      594      595
269.82/270.01	v      596      597      598      599      600     -601     -602
269.82/270.01	v      603      604      605      606      607      608      609
269.82/270.01	v     -610      611      612      613     -614     -615      616
269.82/270.01	v      617      618     -619      620      621     -622      623
269.82/270.01	v     -624      625      626      627      628      629     -630
269.82/270.01	v      631     -632      633     -634     -635      636     -637
269.82/270.01	v      638     -639     -640     -641     -642     -643     -644
269.82/270.01	v      645     -646     -647      648     -649      650     -651
269.82/270.01	v      652      653      654      655     -656     -657      658
269.82/270.01	v      659     -660      661      662     -663     -664      665
269.82/270.01	v      666     -667      668      669      670     -671      672
269.82/270.01	v      673     -674      675     -676     -677      678     -679
269.82/270.01	v     -680     -681     -682     -683      684      685     -686
269.82/270.01	v     -687      688     -689     -690     -691     -692      693
269.82/270.01	v     -694      695     -696     -697      698      699      700
269.82/270.01	v     -701     -702     -703      704     -705      706      707
269.82/270.01	v      708     -709     -710     -711      712      713      714
269.82/270.01	v      715      716      717      718     -719      720      721
269.82/270.01	v      722      723     -724     -725      726      727      728
269.82/270.01	v     -729      730     -731      732      733      734      735
269.82/270.01	v      736      737      738      739     -740     -741     -742
269.82/270.01	v     -743     -744      745      746     -747      748     -749
269.82/270.01	v     -750      751     -752     -753      754      755     -756
269.82/270.01	v     -757     -758     -759     -760      761      762     -763
269.82/270.01	v      764     -765     -766      767     -768     -769     -770
269.82/270.01	v     -771      772     -773      774      775     -776      777
269.82/270.01	v      778      779      780     -781      782     -783      784
269.82/270.01	v     -785     -786     -787      788      789      790      791
269.82/270.01	v     -792      793     -794      795     -796      797     -798
269.82/270.01	v     -799      800     -801     -802     -803     -804     -805
269.82/270.01	v      806      807     -808      809     -810     -811     -812
269.82/270.01	v     -813      814     -815     -816     -817      818      819
269.82/270.01	v      820      821      822     -823      824     -825     -826
269.82/270.01	v     -827      828      829      830      831     -832     -833
269.82/270.01	v     -834     -835      836      837     -838     -839     -840
269.82/270.01	v     -841     -842      843      844      845      846     -847
269.82/270.01	v     -848     -849      850      851     -852      853     -854
269.82/270.01	v     -855      856     -857      858      859     -860      861
269.82/270.01	v     -862     -863      864      865      866     -867      868
269.82/270.01	v     -869     -870      871      872      873      874     -875
269.82/270.01	v      876     -877      878     -879     -880      881     -882
269.82/270.01	v      883      884      885     -886      887     -888      889
269.82/270.01	v     -890      891      892     -893     -894      895     -896
269.82/270.01	v     -897      898     -899      900     -901      902      903
269.82/270.01	v      904      905      906     -907     -908     -909      910
269.82/270.01	v      911     -912      913      914      915      916     -917
269.82/270.01	v      918     -919      920     -921      922     -923     -924
269.82/270.01	v      925      926      927     -928     -929      930      931
269.82/270.01	v      932     -933      934      935      936      937      938
269.82/270.01	v     -939      940     -941      942     -943      944     -945
269.82/270.01	v     -946     -947     -948      949      950     -951      952
269.82/270.01	v     -953      954     -955     -956     -957      958      959
269.82/270.01	v     -960      961     -962     -963      964     -965      966
269.82/270.01	v      967      968      969     -970     -971      972      973
269.82/270.01	v      974     -975      976     -977      978     -979     -980
269.82/270.01	v      981      982     -983     -984      985     -986     -987
269.82/270.01	v     -988     -989      990      991      992      993     -994
269.82/270.01	v     -995      996      997     -998      999     1000    -1001
269.82/270.01	v     1002     1003     1004    -1005    -1006    -1007     1008
269.82/270.01	v     1009    -1010     1011    -1012     1013    -1014    -1015
269.82/270.01	v     1016     1017     1018     1019     1020    -1021     1022
269.82/270.01	v     1023     1024    -1025    -1026    -1027     1028    -1029
269.82/270.01	v    -1030    -1031     1032     1033    -1034     1035    -1036
269.82/270.01	v     1037    -1038    -1039     1040     1041     1042     1043
269.82/270.01	v    -1044    -1045     1046     1047     1048     1049     1050
269.82/270.01	v    -1051     1052    -1053     1054     1055    -1056    -1057
269.82/270.01	v    -1058    -1059     1060     1061    -1062     1063     1064
269.82/270.01	v    -1065    -1066     1067    -1068     1069     1070    -1071
269.82/270.01	v     1072     1073     1074    -1075     1076    -1077    -1078
269.82/270.01	v     1079     1080     1081     1082     1083    -1084     1085
269.82/270.01	v     1086    -1087    -1088    -1089    -1090    -1091    -1092
269.82/270.01	v    -1093     1094     1095    -1096     1097     1098    -1099
269.82/270.01	v     1100     1101     1102     1103    -1104     1105     1106
269.82/270.01	v     1107     1108     1109    -1110     1111     1112     1113
269.82/270.01	v     1114    -1115    -1116    -1117    -1118     1119    -1120
269.82/270.01	v    -1121     1122    -1123     1124     1125    -1126     1127
269.82/270.01	v     1128     1129     1130    -1131     1132    -1133     1134
269.82/270.01	v    -1135     1136     1137    -1138    -1139     1140    -1141
269.82/270.01	v     1142    -1143     1144    -1145    -1146    -1147     1148
269.82/270.01	v    -1149    -1150     1151    -1152    -1153    -1154     1155
269.82/270.01	v    -1156    -1157     1158     1159     1160    -1161    -1162
269.82/270.01	v    -1163    -1164     1165    -1166    -1167    -1168     1169
269.82/270.01	v     1170     1171     1172    -1173     1174     1175     1176
269.82/270.01	v     1177     1178    -1179     1180     1181     1182     1183
269.82/270.01	v     1184     1185    -1186     1187    -1188    -1189     1190
269.82/270.01	v     1191     1192    -1193     1194     1195     1196     1197
269.82/270.01	v     1198     1199    -1200    -1201    -1202    -1203     1204
269.82/270.01	v    -1205     1206     1207    -1208     1209    -1210    -1211
269.82/270.01	v    -1212    -1213     1214    -1215     1216    -1217    -1218
269.82/270.01	v     1219     1220     1221    -1222     1223     1224    -1225
269.82/270.01	v     1226    -1227     1228     1229     1230    -1231     1232
269.82/270.01	v     1233    -1234    -1235    -1236    -1237     1238    -1239
269.82/270.01	v     1240    -1241    -1242     1243    -1244     1245    -1246
269.82/270.01	v     1247    -1248    -1249     1250     1251    -1252     1253
269.82/270.01	v    -1254     1255     1256     1257    -1258    -1259     1260
269.82/270.01	v    -1261    -1262     1263     1264    -1265     1266    -1267
269.82/270.01	v     1268    -1269    -1270     1271     1272     1273    -1274
269.82/270.01	v    -1275    -1276     1277     1278    -1279     1280    -1281
269.82/270.01	v     1282    -1283    -1284     1285     1286     1287     1288
269.82/270.01	v     1289    -1290    -1291     1292     1293     1294    -1295
269.82/270.01	v    -1296    -1297     1298    -1299    -1300     1301     1302
269.82/270.01	v     1303     1304    -1305    -1306    -1307     1308     1309
269.82/270.01	v     1310     1311    -1312    -1313     1314     1315    -1316
269.82/270.01	v    -1317     1318    -1319    -1320    -1321     1322    -1323
269.82/270.01	v     1324     1325     1326    -1327    -1328     1329    -1330
269.82/270.01	v    -1331     1332     1333     1334    -1335    -1336     1337
269.82/270.01	v     1338    -1339     1340     1341     1342    -1343     1344
269.82/270.01	v     1345    -1346     1347    -1348     1349    -1350     1351
269.82/270.01	v     1352    -1353    -1354     1355     1356     1357    -1358
269.82/270.01	v     1359     1360    -1361     1362     1363     1364    -1365
269.82/270.01	v     1366    -1367     1368    -1369     1370     1371     1372
269.82/270.01	v     1373     1374    -1375    -1376     1377     1378    -1379
269.82/270.01	v     1380     1381    -1382    -1383    -1384     1385     1386
269.82/270.01	v    -1387     1388    -1389     1390     1391     1392     1393
269.82/270.01	v    -1394     1395     1396     1397    -1398    -1399     1400
269.82/270.01	v    -1401    -1402    -1403     1404    -1405     1406     1407
269.82/270.01	v    -1408     1409    -1410    -1411    -1412    -1413    -1414
269.82/270.01	v     1415    -1416     1417    -1418    -1419    -1420     1421
269.82/270.01	v    -1422    -1423    -1424     1425    -1426    -1427     1428
269.82/270.01	v     1429    -1430     1431     1432     1433     1434    -1435
269.82/270.01	v     1436    -1437    -1438     1439     1440     1441    -1442
269.82/270.01	v     1443     1444    -1445     1446     1447     1448     1449
269.82/270.01	v     1450     1451    -1452    -1453     1454    -1455    -1456
269.82/270.01	v    -1457    -1458     1459    -1460    -1461     1462     1463
269.82/270.01	v    -1464     1465    -1466     1467     1468     1469    -1470
269.82/270.01	v    -1471    -1472     1473     1474    -1475     1476     1477
269.82/270.01	v    -1478     1479    -1480    -1481     1482     1483    -1484
269.82/270.01	v     1485     1486     1487     1488     1489     1490    -1491
269.82/270.01	v    -1492    -1493    -1494     1495    -1496    -1497    -1498
269.82/270.01	v     1499     1500    -1501    -1502    -1503     1504     1505
269.82/270.01	v     1506    -1507     1508     1509    -1510     1511     1512
269.82/270.01	v     1513     1514    -1515     1516    -1517    -1518     1519
269.82/270.01	v     1520     1521    -1522    -1523    -1524    -1525    -1526
269.82/270.01	v    -1527    -1528     1529    -1530     1531     1532    -1533
269.82/270.01	v     1534    -1535     1536    -1537     1538    -1539    -1540
269.82/270.01	v    -1541     1542     1543     1544     1545     1546    -1547
269.82/270.01	v    -1548    -1549    -1550     1551    -1552    -1553     1554
269.82/270.01	v     1555     1556     1557    -1558     1559     1560     1561
269.82/270.01	v     1562     1563     1564    -1565     1566     1567    -1568
269.82/270.01	v     1569     1570    -1571     1572     1573     1574     1575
269.82/270.01	v     1576     1577    -1578    -1579     1580     1581     1582
269.82/270.01	v     1583     1584     1585    -1586     1587     1588    -1589
269.82/270.01	v    -1590     1591     1592     1593     1594    -1595     1596
269.82/270.01	v    -1597    -1598     1599    -1600     1601     1602    -1603
269.82/270.01	v    -1604     1605    -1606    -1607     1608    -1609    -1610
269.82/270.01	v    -1611    -1612    -1613     1614    -1615     1616    -1617
269.82/270.01	v    -1618     1619     1620     1621    -1622     1623    -1624
269.82/270.01	v     1625     1626     1627     1628     1629    -1630    -1631
269.82/270.01	v    -1632    -1633     1634     1635    -1636     1637    -1638
269.82/270.01	v     1639     1640     1641     1642     1643    -1644    -1645
269.82/270.01	v    -1646    -1647     1648     1649    -1650     1651     1652
269.82/270.01	v    -1653     1654     1655     1656    -1657     1658     1659
269.82/270.01	v    -1660     1661     1662    -1663    -1664     1665     1666
269.82/270.01	v     1667    -1668     1669    -1670    -1671     1672     1673
269.82/270.01	v    -1674    -1675     1676     1677    -1678     1679     1680
269.82/270.01	v     1681     1682    -1683    -1684    -1685    -1686     1687
269.82/270.01	v     1688    -1689     1690     1691     1692     1693    -1694
269.82/270.01	v     1695    -1696    -1697     1698     1699     1700    -1701
269.82/270.01	v     1702     1703    -1704    -1705     1706    -1707    -1708
269.82/270.01	v    -1709     1710     1711    -1712    -1713     1714    -1715
269.82/270.01	v     1716     1717    -1718    -1719     1720     1721    -1722
269.82/270.01	v     1723    -1724    -1725    -1726    -1727    -1728     1729
269.82/270.01	v     1730    -1731    -1732    -1733     1734     1735     1736
269.82/270.01	v     1737     1738     1739    -1740     1741     1742     1743
269.82/270.01	v    -1744    -1745     1746     1747    -1748    -1749    -1750
269.82/270.01	v    -1751     1752     1753    -1754    -1755    -1756    -1757
269.82/270.01	v    -1758    -1759     1760     1761    -1762     1763    -1764
269.82/270.01	v    -1765     1766     1767     1768    -1769     1770     1771
269.82/270.01	v    -1772     1773    -1774     1775    -1776     1777    -1778
269.82/270.01	v    -1779     1780    -1781     1782    -1783    -1784     1785
269.82/270.01	v    -1786    -1787    -1788    -1789    -1790     1791    -1792
269.82/270.01	v     1793     1794    -1795    -1796     1797    -1798     1799
269.82/270.01	v     1800    -1801    -1802    -1803     1804    -1805     1806
269.82/270.01	v     1807     1808     1809    -1810    -1811     1812     1813
269.82/270.01	v    -1814     1815    -1816    -1817    -1818     1819     1820
269.82/270.01	v     1821     1822    -1823     1824    -1825    -1826    -1827
269.82/270.01	v    -1828     1829    -1830     1831    -1832     1833    -1834
269.82/270.01	v    -1835     1836    -1837     1838    -1839     1840    -1841
269.82/270.01	v     1842    -1843     1844    -1845    -1846     1847    -1848
269.82/270.01	v    -1849     1850     1851    -1852    -1853     1854     1855
269.82/270.01	v     1856    -1857    -1858     1859     1860     1861     1862
269.82/270.01	v     1863     1864     1865     1866    -1867    -1868    -1869
269.82/270.01	v     1870    -1871    -1872     1873    -1874     1875     1876
269.82/270.01	v     1877    -1878    -1879     1880     1881    -1882     1883
269.82/270.01	v    -1884     1885     1886    -1887     1888     1889     1890
269.82/270.01	v    -1891     1892    -1893    -1894    -1895     1896     1897
269.82/270.01	v     1898    -1899     1900     1901     1902    -1903     1904
269.82/270.01	v     1905    -1906    -1907    -1908    -1909     1910     1911
269.82/270.01	v     1912     1913     1914    -1915     1916    -1917    -1918
269.82/270.01	v    -1919     1920    -1921    -1922     1923    -1924    -1925
269.82/270.01	v    -1926     1927    -1928    -1929     1930    -1931    -1932
269.82/270.01	v    -1933     1934    -1935     1936    -1937    -1938     1939
269.82/270.01	v    -1940    -1941    -1942     1943    -1944    -1945     1946
269.82/270.01	v    -1947     1948     1949     1950     1951     1952    -1953
269.82/270.01	v     1954    -1955    -1956     1957    -1958     1959    -1960
269.82/270.01	v    -1961    -1962     1963    -1964     1965     1966     1967
269.82/270.01	v     1968    -1969    -1970    -1971     1972     1973    -1974
269.82/270.01	v     1975     1976    -1977     1978    -1979     1980    -1981
269.82/270.01	v     1982     1983     1984     1985    -1986    -1987     1988
269.82/270.01	v     1989     1990     1991     1992    -1993    -1994     1995
269.82/270.01	v     1996     1997    -1998     1999     2000    -2001     2002
269.82/270.01	v     2003    -2004     2005     2006    -2007    -2008     2009
269.82/270.01	v    -2010     2011     2012     2013     2014     2015     2016
269.82/270.01	v     2017    -2018     2019    -2020    -2021    -2022    -2023
269.82/270.01	v     2024    -2025     2026    -2027     2028     2029     2030
269.82/270.01	v     2031    -2032     2033     2034     2035    -2036    -2037
269.82/270.01	v     2038    -2039    -2040    -2041     2042    -2043    -2044
269.82/270.01	v    -2045    -2046     2047    -2048    -2049    -2050    -2051
269.82/270.01	v     2052    -2053     2054    -2055    -2056    -2057    -2058
269.82/270.01	v     2059     2060    -2061     2062     2063     2064    -2065
269.82/270.01	v    -2066     2067     2068    -2069    -2070     2071     2072
269.82/270.01	v    -2073    -2074    -2075     2076    -2077     2078    -2079
269.82/270.01	v    -2080    -2081     2082     2083     2084     2085     2086
269.82/270.01	v    -2087    -2088     2089     2090     2091     2092     2093
269.82/270.01	v    -2094     2095     2096     2097    -2098    -2099     2100
269.82/270.01	v     2101     2102     2103    -2104    -2105     2106    -2107
269.82/270.01	v     2108     2109     2110    -2111    -2112    -2113     2114
269.82/270.01	v    -2115     2116     2117    -2118    -2119     2120    -2121
269.82/270.01	v    -2122    -2123     2124    -2125    -2126    -2127    -2128
269.82/270.01	v    -2129    -2130     2131    -2132    -2133     2134    -2135
269.82/270.01	v     2136     2137     2138     2139    -2140    -2141    -2142
269.82/270.01	v     2143    -2144    -2145    -2146    -2147     2148    -2149
269.82/270.01	v     2150     2151    -2152     2153     2154    -2155     2156
269.82/270.01	v     2157     2158     2159     2160    -2161    -2162     2163
269.82/270.01	v    -2164     2165     2166     2167     2168     2169    -2170
269.82/270.01	v     2171    -2172     2173     2174     2175     2176    -2177
269.82/270.01	v     2178     2179     2180    -2181     2182     2183    -2184
269.82/270.01	v    -2185    -2186    -2187     2188    -2189    -2190     2191
269.82/270.01	v     2192    -2193    -2194    -2195     2196    -2197    -2198
269.82/270.01	v     2199     2200    -2201     2202    -2203     2204     2205
269.82/270.01	v     2206    -2207    -2208     2209     2210     2211     2212
269.82/270.01	v    -2213     2214    -2215     2216     2217     2218     2219
269.82/270.01	v     2220    -2221     2222     2223    -2224     2225     2226
269.82/270.01	v    -2227    -2228     2229     2230     2231     2232    -2233
269.82/270.01	v    -2234    -2235    -2236     2237     2238    -2239     2240
269.82/270.01	v     2241    -2242    -2243     2244    -2245     2246    -2247
269.82/270.01	v     2248    -2249    -2250    -2251    -2252    -2253    -2254
269.82/270.01	v    -2255     2256     2257     2258    -2259     2260    -2261
269.82/270.01	v     2262     2263    -2264     2265    -2266     2267    -2268
269.82/270.01	v    -2269    -2270     2271     2272    -2273     2274    -2275
269.82/270.01	v     2276     2277     2278     2279     2280     2281    -2282
269.82/270.01	v    -2283     2284     2285    -2286     2287     2288    -2289
269.82/270.01	v     2290     2291    -2292     2293     2294    -2295    -2296
269.82/270.01	v     2297    -2298    -2299     2300     2301     2302    -2303
269.82/270.01	v    -2304    -2305    -2306    -2307     2308     2309    -2310
269.82/270.01	v     2311     2312    -2313    -2314     2315     2316     2317
269.82/270.01	v    -2318    -2319     2320     2321     2322    -2323     2324
269.82/270.01	v     2325     2326     2327     2328    -2329     2330    -2331
269.82/270.01	v     2332    -2333    -2334    -2335     2336     2337     2338
269.82/270.01	v    -2339     2340    -2341    -2342     2343     2344    -2345
269.82/270.01	v     2346     2347     2348    -2349     2350     2351     2352
269.82/270.01	v    -2353    -2354     2355     2356     2357    -2358     2359
269.82/270.01	v    -2360     2361     2362    -2363     2364     2365     2366
269.82/270.01	v    -2367    -2368    -2369    -2370    -2371     2372     2373
269.82/270.01	v    -2374     2375    -2376    -2377     2378     2379     2380
269.82/270.01	v     2381    -2382     2383    -2384    -2385     2386     2387
269.82/270.01	v     2388    -2389     2390     2391    -2392     2393     2394
269.82/270.01	v    -2395    -2396     2397    -2398    -2399     2400    -2401
269.82/270.01	v    -2402    -2403     2404     2405        0
269.82/270.01	c Computation time     : 269.950 seconds
269.82/270.01	c Execution time       : 269.960 seconds
269.82/270.01	c Size of search tree  : 76724 nodes
269.82/270.01	c average speed        : 284.216 nodes/sec.
269.82/270.01

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-311895-1172578269 -o ROOT/results/node12/solver-311895-1172578269 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/311895-1172578269/kcnfs-2006 /tmp/evaluation/311895-1172578269/instance-311895-1172578269.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.92 0.98 0.99 3/77 23887
/proc/meminfo: memFree=1489264/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=180908 CPUtime=0
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 277781439 185249792 110 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134811879 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45227 111 47 158 0 45067 0

[startup+0.106592 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23887
/proc/meminfo: memFree=1489264/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=181828 CPUtime=0.1
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 775 0 0 0 10 0 0 0 18 0 1 0 277781439 186191872 759 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134740647 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45457 759 57 158 0 45297 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 181828

[startup+0.514665 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 23887
/proc/meminfo: memFree=1489264/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=0.51
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 801 0 0 0 51 0 0 0 21 0 1 0 277781439 186671104 785 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134564874 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 785 70 158 0 45414 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 182296

[startup+1.33481 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486248/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=1.33
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 802 0 0 0 133 0 0 0 25 0 1 0 277781439 186671104 786 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134559561 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 786 70 158 0 45414 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 182296

[startup+2.97411 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486120/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=2.96
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 296 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134675334 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 182296

[startup+6.2507 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485992/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=6.24
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 624 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134564251 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 182296

[startup+12.7069 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486000/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=12.69
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 1269 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134569414 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 182296

[startup+25.5122 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486000/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=25.49
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 2549 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134569080 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182296

[startup+51.1228 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486000/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=51.1
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 5110 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134675200 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 182296

[startup+102.336 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486064/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=102.29
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 10229 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134559518 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 182296

[startup+162.364 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486000/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=162.3
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 16230 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134564834 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 182296

[startup+222.392 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1486000/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=222.3
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 22230 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134559561 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 182296

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

[startup+236.014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=235.92
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 23592 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134559489 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 235.92
Current children cumulated vsize (KiB) 182296

[startup+249.128 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=249.03
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 24903 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134559450 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 249.03
Current children cumulated vsize (KiB) 182296

[startup+262.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=262.14
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26214 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134564299 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 262.14
Current children cumulated vsize (KiB) 182296

[startup+265.516 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=265.41
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26541 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134572111 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 265.41
Current children cumulated vsize (KiB) 182296

[startup+267.159 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=267.05
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26705 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134632098 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 267.05
Current children cumulated vsize (KiB) 182296

[startup+268.795 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=268.69
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26869 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134587629 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 268.69
Current children cumulated vsize (KiB) 182296

[startup+269.615 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=269.51
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26951 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134564874 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 269.51
Current children cumulated vsize (KiB) 182296

[startup+269.819 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=269.71
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26971 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134572138 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 269.71
Current children cumulated vsize (KiB) 182296

[startup+269.921 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 23888
/proc/meminfo: memFree=1485936/2055920 swapFree=4154952/4192956
[pid=23887] ppid=23885 vsize=182296 CPUtime=269.82
/proc/23887/stat : 23887 (kcnfs-2006) R 23885 23887 22770 0 -1 4194304 804 0 0 0 26982 0 0 0 25 0 1 0 277781439 186671104 788 18446744073709551615 134512640 135163436 4294956704 18446744073709551615 134559489 0 0 4096 0 0 0 0 17 1 0 0
/proc/23887/statm: 45574 788 70 158 0 45414 0
Current children cumulated CPU time (s) 269.82
Current children cumulated vsize (KiB) 182296

Child status: 10
Real time (s): 270.022
CPU time (s): 269.93
CPU user time (s): 269.918
CPU system time (s): 0.011998
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 182296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.918
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824
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= 21
involuntary context switches= 367

runsolver used 0.32295 second user time and 0.603908 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Feb 27 12:11:10 UTC 2007

IDJOB= 311895
IDBENCH= 20327
IDSOLVER= 113
FILE ID= node12/311895-1172578269

PBS_JOBID= 3971685

Free space on /tmp= 66554 MiB

SOLVER NAME= KCNFS 2006
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
COMMAND LINE= /tmp/evaluation/311895-1172578269/kcnfs-2006 /tmp/evaluation/311895-1172578269/instance-311895-1172578269.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-311895-1172578269 -o ROOT/results/node12/solver-311895-1172578269 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/311895-1172578269/kcnfs-2006 /tmp/evaluation/311895-1172578269/instance-311895-1172578269.cnf            

META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH=  7e8974f5ce5a0e1fdb59169bba7ce43c

RANDOM SEED= 223099153

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.285
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.285
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:       1489736 kB
Buffers:         61584 kB
Cached:         405272 kB
SwapCached:      18256 kB
Active:         264580 kB
Inactive:       228664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489736 kB
SwapTotal:     4192956 kB
SwapFree:      4154952 kB
Dirty:            3288 kB
Writeback:           0 kB
Mapped:          30124 kB
Slab:            58588 kB
Committed_AS:  1154332 kB
PageTables:       1692 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= 66554 MiB

End job on node12 on Tue Feb 27 12:15:40 UTC 2007