Trace number 2076434

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
pcs-restart 0.3.2SAT 8.77967 8.87137

DiagnosticValue
ASSIGNMENTS219

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-3.xml
MD5SUM6c79e9d2edcd5b15367f47ef6ebcf5f2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.51147
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1375
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.17/0.21	c Seed is 1388683212
0.17/0.21	c Constructing HOME/instance-2076434-1247714190.xml  with 53200 constraints
0.76/0.84	c Solving 219 backtracks 5 restarts
8.60/8.80	s SATISFIABLE
8.60/8.80	c V0=600, V1=936, V2=1050, V3=690, V4=1279, V5=596, V6=96, V7=14, V8=1352, V9=563, V10=1283, V11=753, V12=189, V13=331, V14=873, V15=1162, V16=1006, V17=1192, V18=395, V19=251, V20=1098, V21=1289, V22=455, V23=290, V24=217, V25=243, V26=1195, V27=121, V28=1171, V29=359, V30=1179, V31=942, V32=1211, V33=1162, V34=874, V35=1039, V36=671, V37=130, V38=39, V39=765, V40=1284, V41=859, V42=95, V43=526, V44=175, V45=792, V46=413, V47=675, V48=880, V49=975, V50=1190, V51=1290, V52=1211, V53=529, V54=247, V55=458, V56=749, V57=667, V58=7, V59=276, V60=252, V61=1102, V62=482, V63=809, V64=1355, V65=293, V66=711, V67=927, V68=1019, V69=392, V70=1223, V71=1339, V72=1098, V73=195, V74=557, V75=324, V76=118, V77=1085, V78=1163, V79=963, V80=159, V81=1114, V82=1120, V83=301, V84=1299, V85=668, V86=1244, V87=1262, V88=1146, V89=1360, V90=225, V91=1295, V92=4, V93=504, V94=1008, V95=76, V96=736, V97=1310, V98=572, V99=381, V100=834, V101=913, V102=1146, V103=672, V104=850, V105=1069, V106=1242, V107=1343, V108=648, V109=16, V110=90, V111=340, V112=400, V113=594, V114=729, V115=608, V116=826, V117=490, V118=1006, V119=823, V120=57, V121=1298, V122=455, V123=874, V124=1349, V125=562, V126=987, V127=1334, V128=1184, V129=264, V130=197, V131=1222, V132=1015, V133=740, V134=1323, V135=1294, V136=615, V137=1121, V138=105, V139=1210, V140=21, V141=996, V142=458, V143=1104, V144=1175, V145=665, V146=1294, V147=865, V148=795, V149=963, V150=1320, V151=238, V152=1370, V153=145, V154=596, V155=106, V156=350, V157=393, V158=23, V159=518, V160=1020, V161=246, V162=1246, V163=343, V164=1306, V165=807, V166=425, V167=145, V168=505, V169=965, V170=1051, V171=678, V172=598, V173=1113, V174=1231, V175=920, V176=1297, V177=1360, V178=155, V179=713, V180=806, V181=405, V182=1162, V183=999, V184=1207, V185=550, V186=1311, V187=224, V188=374, V189=297, V190=1090, V191=471, V192=718, V193=256, V194=628, V195=206, V196=89, V197=1240, V198=870, V199=1354, V200=379, V201=614, V202=1286, V203=996, V204=809, V205=295, V206=932, V207=122, V208=755, V209=865, V210=506, V211=1348, V212=1129, V213=906, V214=1258, V215=157, V216=206, V217=6, V218=1031, V219=547, V220=138, V221=826, V222=1314, V223=427, V224=1373, V225=751, V226=1054, V227=334, V228=1172, V229=49, V230=1295, V231=615, V232=475, V233=989, V234=203, V235=558, V236=1286, V237=1044, V238=1244, V239=688, V240=1129, V241=1197, V242=694, V243=1292, V244=965, V245=817, V246=1218, V247=355, V248=240, V249=1189, V250=149, V251=890, V252=1329, V253=422, V254=634, V255=753, V256=1043, V257=970, V258=1228, V259=24, V260=528, V261=1168, V262=9, V263=812, V264=313, V265=1289, V266=483, V267=1362, V268=899, V269=714, V270=332, V271=652, V272=173, V273=329, V274=965, V275=1034, V276=407, V277=59, V278=1307, V279=1072, V280=923, V281=1030, V282=515, V283=1119, V284=91, V285=899, V286=705, V287=1279, V288=777, V289=6, V290=854, V291=1251, V292=610, V293=1014, V294=1262, V295=1108, V296=487, V297=1160, V298=1356, V299=461, V300=625, V301=1020, V302=743, V303=147, V304=233, V305=535, V306=690, V307=1084, V308=5, V309=569, V310=184, V311=803, V312=1163, V313=678, V314=1228, V315=894, V316=301, V317=399, V318=479, V319=1276, V320=206, V321=540, V322=1008, V323=394, V324=267, V325=1182, V326=819, V327=701, V328=738, V329=914, V330=906, V331=81, V332=613, V333=1116, V334=104, V335=1124, V336=511, V337=1264, V338=1351, V339=1266, V340=987, V341=750, V342=1140, V343=663, V344=508, V345=495, V346=336, V347=1223, V348=98, V349=840, V350=1274, V351=418, V352=1312, V353=908, V354=666, V355=1061, V356=532, V357=286, V358=573, V359=485, V360=346, V361=227, V362=807, V363=127, V364=562, V365=640, V366=381, V367=848, V368=637, V369=1102, V370=933, V371=1050, V372=265, V373=475, V374=202, V375=1205, V376=1279, V377=1154, V378=999, V379=67, V380=447, V381=895, V382=22, V383=697, V384=997, V385=1224, V386=813, V387=1028, V388=1040, V389=584, V390=579, V391=149, V392=942, V393=743, V394=1247, V395=1277, V396=1163, V397=359, V398=619, V399=1123, 
8.60/8.80	v 600 936 1050 690 1279 596 96 14 1352 563 1283 753 189 331 873 1162 1006 1192 395 251 1098 1289 455 290 217 243 1195 121 1171 359 1179 942 1211 1162 874 1039 671 130 39 765 1284 859 95 526 175 792 413 675 880 975 1190 1290 1211 529 247 458 749 667 7 276 252 1102 482 809 1355 293 711 927 1019 392 1223 1339 1098 195 557 324 118 1085 1163 963 159 1114 1120 301 1299 668 1244 1262 1146 1360 225 1295 4 504 1008 76 736 1310 572 381 834 913 1146 672 850 1069 1242 1343 648 16 90 340 400 594 729 608 826 490 1006 823 57 1298 455 874 1349 562 987 1334 1184 264 197 1222 1015 740 1323 1294 615 1121 105 1210 21 996 458 1104 1175 665 1294 865 795 963 1320 238 1370 145 596 106 350 393 23 518 1020 246 1246 343 1306 807 425 145 505 965 1051 678 598 1113 1231 920 1297 1360 155 713 806 405 1162 999 1207 550 1311 224 374 297 1090 471 718 256 628 206 89 1240 870 1354 379 614 1286 996 809 295 932 122 755 865 506 1348 1129 906 1258 157 206 6 1031 547 138 826 1314 427 1373 751 1054 334 1172 49 1295 615 475 989 203 558 1286 1044 1244 688 1129 1197 694 1292 965 817 1218 355 240 1189 149 890 1329 422 634 753 1043 970 1228 24 528 1168 9 812 313 1289 483 1362 899 714 332 652 173 329 965 1034 407 59 1307 1072 923 1030 515 1119 91 899 705 1279 777 6 854 1251 610 1014 1262 1108 487 1160 1356 461 625 1020 743 147 233 535 690 1084 5 569 184 803 1163 678 1228 894 301 399 479 1276 206 540 1008 394 267 1182 819 701 738 914 906 81 613 1116 104 1124 511 1264 1351 1266 987 750 1140 663 508 495 336 1223 98 840 1274 418 1312 908 666 1061 532 286 573 485 346 227 807 127 562 640 381 848 637 1102 933 1050 265 475 202 1205 1279 1154 999 67 447 895 22 697 997 1224 813 1028 1040 584 579 149 942 743 1247 1277 1163 359 619 1123 
8.70/8.86	d ASSIGNMENTS 219

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-2076434-1247714190/watcher-2076434-1247714190 -o /tmp/evaluation-result-2076434-1247714190/solver-2076434-1247714190 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1388683212 HOME/instance-2076434-1247714190.xml 

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


[startup+0 s]
/proc/loadavg: 2.12 2.11 2.07 4/73 16343
/proc/meminfo: memFree=1495416/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=5356 CPUtime=0
/proc/16343/stat : 16343 (pcssolve) R 16341 16343 14587 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58484403 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 210723465887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16343/statm: 1339 241 200 169 0 50 0
[pid=16344] ppid=16343 vsize=100 CPUtime=0
/proc/16344/stat : 16344 (fgrep) R 16343 16343 14587 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 58484404 102400 3 996147200 0 0 548682069725 18446744073709551615 210723466535 0 0 4096 0 0 0 0 17 1 0 0
/proc/16344/statm: 25 3 0 0 0 2 0
[pid=16345] ppid=16343 vsize=5356 CPUtime=0
/proc/16345/stat : 16345 (pcssolve) R 16343 16343 14587 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58484404 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 210723465887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16345/statm: 1339 241 200 169 0 50 0

[startup+0.0546811 s]
/proc/loadavg: 2.12 2.11 2.07 4/73 16343
/proc/meminfo: memFree=1495416/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=5244 CPUtime=0.03
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 975 665 0 0 3 0 0 0 18 0 1 0 58484403 5369856 606 996147200 134512640 135215973 4294956304 18446744073709551615 134590499 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 1311 606 388 171 0 236 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5244

[startup+0.101691 s]
/proc/loadavg: 2.12 2.11 2.07 4/73 16343
/proc/meminfo: memFree=1495416/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=6520 CPUtime=0.07
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 1287 665 0 0 7 0 0 0 18 0 1 0 58484403 6676480 844 996147200 134512640 135215973 4294956304 18446744073709551615 4159195808 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 1630 844 388 171 0 555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6520

[startup+0.301716 s]
/proc/loadavg: 2.12 2.11 2.07 4/73 16343
/proc/meminfo: memFree=1495416/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=11016 CPUtime=0.28
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 2722 665 0 0 27 1 0 0 19 0 1 0 58484403 11280384 1815 996147200 134512640 135215973 4294956304 18446744073709551615 134585079 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 2754 1815 388 171 0 1679 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11016

[startup+0.701763 s]
/proc/loadavg: 2.12 2.11 2.07 4/73 16343
/proc/meminfo: memFree=1495416/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=20244 CPUtime=0.66
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 5757 665 0 0 64 2 0 0 23 0 1 0 58484403 20729856 3663 996147200 134512640 135215973 4294956304 18446744073709551615 4158919178 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 5061 3663 388 171 0 3986 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 20244

[startup+1.50186 s]
/proc/loadavg: 2.12 2.11 2.07 3/74 16348
/proc/meminfo: memFree=1471664/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=40864 CPUtime=1.47
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 12876 665 0 0 142 5 0 0 25 0 1 0 58484403 41844736 8517 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 10216 8517 406 171 0 9141 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40864

[startup+3.10104 s]
/proc/loadavg: 2.11 2.10 2.07 3/74 16348
/proc/meminfo: memFree=1461168/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=40988 CPUtime=3.04
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 14470 665 0 0 299 5 0 0 25 0 1 0 58484403 41971712 9191 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 10247 9191 406 171 0 9172 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 40988

[startup+6.30142 s]
/proc/loadavg: 2.11 2.10 2.07 3/74 16348
/proc/meminfo: memFree=1453232/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=51456 CPUtime=6.21
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 23034 665 0 0 613 8 0 0 25 0 1 0 58484403 52690944 10754 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 12864 10754 406 171 0 11789 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 51456

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

[startup+7.90161 s]
/proc/loadavg: 2.10 2.10 2.07 3/74 16348
/proc/meminfo: memFree=1452464/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=51764 CPUtime=7.8
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 26616 665 0 0 770 10 0 0 25 0 1 0 58484403 53006336 10886 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 12941 10886 406 171 0 11866 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 51764

[startup+8.30166 s]
/proc/loadavg: 2.10 2.10 2.07 3/74 16348
/proc/meminfo: memFree=1452464/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=51764 CPUtime=8.2
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 26662 665 0 0 810 10 0 0 25 0 1 0 58484403 53006336 10886 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 12941 10886 406 171 0 11866 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 51764

[startup+8.7017 s]
/proc/loadavg: 2.10 2.10 2.07 3/74 16348
/proc/meminfo: memFree=1451888/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=51764 CPUtime=8.6
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 27023 665 0 0 850 10 0 0 25 0 1 0 58484403 53006336 11063 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 12941 11063 406 171 0 11866 0
Current children cumulated CPU time (s) 8.6
Current children cumulated vsize (KiB) 51764

[startup+8.80672 s]
/proc/loadavg: 2.10 2.10 2.07 3/74 16348
/proc/meminfo: memFree=1451888/2055920 swapFree=4192812/4192956
[pid=16343] ppid=16341 vsize=51764 CPUtime=8.7
/proc/16343/stat : 16343 (pcs.big) R 16341 16343 14587 0 -1 4194304 27202 665 0 0 860 10 0 0 25 0 1 0 58484403 53006336 11242 996147200 134512640 135215973 4294956304 18446744073709551615 8142332 0 0 4096 0 0 0 0 17 1 0 0
/proc/16343/statm: 12941 11242 406 171 0 11866 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 51764

Child status: 0
Real time (s): 8.87137
CPU time (s): 8.77967
CPU user time (s): 8.66168
CPU system time (s): 0.117982
CPU usage (%): 98.9663
Max. virtual memory (cumulated for all children) (KiB): 57868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.66168
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27870
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= 28
involuntary context switches= 204

runsolver used 0.013997 second user time and 0.035994 second system time

The end

Launcher Data 

Begin job on node73 at 2009-07-16 05:16:31
IDJOB=2076434
IDBENCH=56422
IDSOLVER=734
FILE ID=node73/2076434-1247714190
PBS_JOBID= 9521451
Free space on /tmp= 66428 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076434-1247714190/watcher-2076434-1247714190 -o /tmp/evaluation-result-2076434-1247714190/solver-2076434-1247714190 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1388683212 HOME/instance-2076434-1247714190.xml

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

MD5SUM BENCH= 6c79e9d2edcd5b15367f47ef6ebcf5f2
RANDOM SEED=1388683212

node73.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.213
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.213
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:       1495896 kB
Buffers:         75324 kB
Cached:         308808 kB
SwapCached:          0 kB
Active:         192740 kB
Inactive:       281620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1495896 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2820 kB
Writeback:           0 kB
Mapped:         101828 kB
Slab:            70980 kB
Committed_AS:   575460 kB
PageTables:       1916 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= 66428 MiB
End job on node73 at 2009-07-16 05:16:39