Trace number 2076478

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 28.2037 28.4717

DiagnosticValue
ASSIGNMENTS1861

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-6.xml
MD5SUM822c8f0751f873c488a8bb0f5ccf69cd
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 benchmark2.16667
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1352
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 313195365
0.17/0.21	c Constructing HOME/instance-2076478-1247714203.xml  with 53200 constraints
0.77/0.84	c Solving 1861 backtracks 10 restarts
28.11/28.42	s SATISFIABLE
28.11/28.42	c V0=68, V1=452, V2=284, V3=1209, V4=334, V5=262, V6=370, V7=1044, V8=836, V9=1224, V10=389, V11=1325, V12=576, V13=0, V14=748, V15=632, V16=897, V17=60, V18=694, V19=972, V20=14, V21=1253, V22=60, V23=1074, V24=1018, V25=832, V26=792, V27=726, V28=1196, V29=0, V30=474, V31=1315, V32=988, V33=187, V34=1133, V35=454, V36=18, V37=897, V38=214, V39=269, V40=1137, V41=992, V42=908, V43=769, V44=279, V45=163, V46=1023, V47=1312, V48=459, V49=427, V50=98, V51=529, V52=902, V53=0, V54=1193, V55=329, V56=652, V57=1041, V58=1309, V59=126, V60=233, V61=827, V62=1256, V63=38, V64=1138, V65=1260, V66=171, V67=626, V68=318, V69=574, V70=534, V71=1189, V72=1012, V73=719, V74=1310, V75=408, V76=917, V77=88, V78=1051, V79=472, V80=623, V81=74, V82=121, V83=1101, V84=965, V85=834, V86=481, V87=135, V88=718, V89=188, V90=1246, V91=913, V92=67, V93=1284, V94=360, V95=296, V96=0, V97=681, V98=462, V99=1324, V100=924, V101=367, V102=1141, V103=865, V104=205, V105=985, V106=391, V107=619, V108=578, V109=787, V110=704, V111=329, V112=962, V113=0, V114=462, V115=91, V116=1229, V117=1042, V118=1320, V119=275, V120=720, V121=1138, V122=391, V123=913, V124=843, V125=182, V126=1018, V127=570, V128=1201, V129=702, V130=312, V131=231, V132=272, V133=601, V134=481, V135=0, V136=662, V137=1079, V138=748, V139=91, V140=1163, V141=1051, V142=1291, V143=1288, V144=375, V145=1336, V146=286, V147=824, V148=417, V149=1211, V150=118, V151=1080, V152=495, V153=105, V154=739, V155=703, V156=165, V157=899, V158=997, V159=570, V160=549, V161=890, V162=670, V163=997, V164=283, V165=597, V166=1168, V167=370, V168=187, V169=97, V170=0, V171=1259, V172=205, V173=1074, V174=404, V175=980, V176=921, V177=537, V178=819, V179=383, V180=68, V181=745, V182=314, V183=1243, V184=275, V185=1260, V186=839, V187=1046, V188=111, V189=1155, V190=574, V191=967, V192=659, V193=1299, V194=0, V195=475, V196=187, V197=391, V198=1193, V199=811, V200=1146, V201=1335, V202=97, V203=574, V204=945, V205=664, V206=388, V207=0, V208=1347, V209=934, V210=1259, V211=330, V212=185, V213=1019, V214=92, V215=312, V216=272, V217=264, V218=1349, V219=1064, V220=98, V221=1328, V222=1166, V223=792, V224=29, V225=953, V226=1254, V227=914, V228=299, V229=662, V230=91, V231=1043, V232=1099, V233=188, V234=421, V235=712, V236=1224, V237=1267, V238=1327, V239=277, V240=391, V241=111, V242=200, V243=43, V244=1123, V245=1264, V246=681, V247=632, V248=921, V249=261, V250=1065, V251=892, V252=778, V253=1206, V254=541, V255=318, V256=188, V257=444, V258=787, V259=0, V260=1123, V261=408, V262=182, V263=555, V264=76, V265=1220, V266=279, V267=1280, V268=1113, V269=1074, V270=1012, V271=622, V272=770, V273=1142, V274=921, V275=670, V276=378, V277=0, V278=857, V279=505, V280=802, V281=1147, V282=994, V283=340, V284=1265, V285=375, V286=1215, V287=529, V288=1084, V289=1247, V290=162, V291=617, V292=310, V293=30, V294=237, V295=34, V296=1283, V297=768, V298=133, V299=76, V300=157, V301=712, V302=165, V303=1278, V304=232, V305=60, V306=375, V307=1146, V308=0, V309=495, V310=900, V311=1179, V312=303, V313=569, V314=794, V315=174, V316=819, V317=571, V318=981, V319=1098, V320=1220, V321=1084, V322=734, V323=571, V324=1042, V325=827, V326=91, V327=987, V328=1142, V329=635, V330=348, V331=0, V332=804, V333=171, V334=299, V335=796, V336=218, V337=653, V338=924, V339=495, V340=1006, V341=1224, V342=897, V343=378, V344=1074, V345=475, V346=731, V347=324, V348=1146, V349=1320, V350=198, V351=88, V352=165, V353=1113, V354=707, V355=163, V356=233, V357=0, V358=820, V359=277, V360=185, V361=699, V362=630, V363=905, V364=913, V365=38, V366=1261, V367=1037, V368=475, V369=283, V370=1135, V371=672, V372=0, V373=816, V374=1194, V375=542, V376=970, V377=1220, V378=118, V379=410, V380=617, V381=1157, V382=929, V383=1015, V384=672, V385=0, V386=97, V387=838, V388=126, V389=1206, V390=505, V391=1089, V392=1113, V393=340, V394=999, V395=742, V396=842, V397=187, V398=424, V399=277, 
28.11/28.42	v 68 452 284 1209 334 262 370 1044 836 1224 389 1325 576 0 748 632 897 60 694 972 14 1253 60 1074 1018 832 792 726 1196 0 474 1315 988 187 1133 454 18 897 214 269 1137 992 908 769 279 163 1023 1312 459 427 98 529 902 0 1193 329 652 1041 1309 126 233 827 1256 38 1138 1260 171 626 318 574 534 1189 1012 719 1310 408 917 88 1051 472 623 74 121 1101 965 834 481 135 718 188 1246 913 67 1284 360 296 0 681 462 1324 924 367 1141 865 205 985 391 619 578 787 704 329 962 0 462 91 1229 1042 1320 275 720 1138 391 913 843 182 1018 570 1201 702 312 231 272 601 481 0 662 1079 748 91 1163 1051 1291 1288 375 1336 286 824 417 1211 118 1080 495 105 739 703 165 899 997 570 549 890 670 997 283 597 1168 370 187 97 0 1259 205 1074 404 980 921 537 819 383 68 745 314 1243 275 1260 839 1046 111 1155 574 967 659 1299 0 475 187 391 1193 811 1146 1335 97 574 945 664 388 0 1347 934 1259 330 185 1019 92 312 272 264 1349 1064 98 1328 1166 792 29 953 1254 914 299 662 91 1043 1099 188 421 712 1224 1267 1327 277 391 111 200 43 1123 1264 681 632 921 261 1065 892 778 1206 541 318 188 444 787 0 1123 408 182 555 76 1220 279 1280 1113 1074 1012 622 770 1142 921 670 378 0 857 505 802 1147 994 340 1265 375 1215 529 1084 1247 162 617 310 30 237 34 1283 768 133 76 157 712 165 1278 232 60 375 1146 0 495 900 1179 303 569 794 174 819 571 981 1098 1220 1084 734 571 1042 827 91 987 1142 635 348 0 804 171 299 796 218 653 924 495 1006 1224 897 378 1074 475 731 324 1146 1320 198 88 165 1113 707 163 233 0 820 277 185 699 630 905 913 38 1261 1037 475 283 1135 672 0 816 1194 542 970 1220 118 410 617 1157 929 1015 672 0 97 838 126 1206 505 1089 1113 340 999 742 842 187 424 277 
28.11/28.46	d ASSIGNMENTS 1861

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-2076478-1247714203/watcher-2076478-1247714203 -o /tmp/evaluation-result-2076478-1247714203/solver-2076478-1247714203 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 313195365 HOME/instance-2076478-1247714203.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.17 2.08 2.02 4/72 13131
/proc/meminfo: memFree=1539208/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=5356 CPUtime=0
/proc/13131/stat : 13131 (pcssolve) R 13129 13131 11752 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58486778 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13131/statm: 1339 241 200 169 0 50 0
[pid=13132] ppid=13131 vsize=3676 CPUtime=0
/proc/13132/stat : 13132 (fgrep) R 13131 13131 11752 0 -1 4194304 147 0 0 0 0 0 0 0 22 0 1 0 58486778 3764224 114 996147200 4194304 4274172 548682068976 18446744073709551615 4208801 0 0 4096 0 0 0 0 17 1 0 0
/proc/13132/statm: 919 114 86 19 0 43 0
[pid=13133] ppid=13131 vsize=5356 CPUtime=0
/proc/13133/stat : 13133 (pcssolve) R 13131 13131 11752 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58486779 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13133/statm: 1339 241 200 169 0 50 0

[startup+0.064808 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 13131
/proc/meminfo: memFree=1539208/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=5540 CPUtime=0.04
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 1041 665 0 0 4 0 0 0 18 0 1 0 58486778 5672960 672 996147200 134512640 135215973 4294956304 18446744073709551615 134718264 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 1385 672 388 171 0 310 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5540

[startup+0.102813 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 13131
/proc/meminfo: memFree=1539208/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=6520 CPUtime=0.08
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 1290 665 0 0 8 0 0 0 18 0 1 0 58486778 6676480 847 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 1630 847 388 171 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6520

[startup+0.302838 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 13131
/proc/meminfo: memFree=1539208/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=11020 CPUtime=0.28
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 2726 665 0 0 27 1 0 0 19 0 1 0 58486778 11284480 1819 996147200 134512640 135215973 4294956304 18446744073709551615 8871661 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 2755 1819 388 171 0 1680 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11020

[startup+0.702879 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 13131
/proc/meminfo: memFree=1539208/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=20256 CPUtime=0.67
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 5767 665 0 0 64 3 0 0 23 0 1 0 58486778 20742144 3673 996147200 134512640 135215973 4294956304 18446744073709551615 8871426 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 5064 3673 388 171 0 3989 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20256

[startup+1.50197 s]
/proc/loadavg: 2.17 2.08 2.02 3/73 13136
/proc/meminfo: memFree=1515328/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=40868 CPUtime=1.47
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 12815 665 0 0 140 7 0 0 25 0 1 0 58486778 41848832 8456 996147200 134512640 135215973 4294956304 18446744073709551615 134590416 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 10217 8456 406 171 0 9142 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40868

[startup+3.10114 s]
/proc/loadavg: 2.16 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1504768/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=40996 CPUtime=3.05
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 14207 665 0 0 298 7 0 0 25 0 1 0 58486778 41979904 9066 996147200 134512640 135215973 4294956304 18446744073709551615 135094341 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 10249 9066 406 171 0 9174 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40996

[startup+6.30149 s]
/proc/loadavg: 2.16 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1497472/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=51344 CPUtime=6.21
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 22687 665 0 0 611 10 0 0 25 0 1 0 58486778 52576256 10591 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 12836 10591 406 171 0 11761 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 51344

[startup+12.7012 s]
/proc/loadavg: 2.13 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1495232/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=52152 CPUtime=12.57
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 41730 665 0 0 1240 17 0 0 25 0 1 0 58486778 53403648 11142 996147200 134512640 135215973 4294956304 18446744073709551615 134957887 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 13038 11142 406 171 0 11963 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 52152

[startup+25.5016 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1493056/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=53556 CPUtime=25.24
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 96245 665 0 0 2486 38 0 0 25 0 1 0 58486778 54841344 11482 996147200 134512640 135215973 4294956304 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 13389 11482 406 171 0 12314 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 53556

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

[startup+27.1017 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1492800/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=53684 CPUtime=26.83
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 101487 665 0 0 2642 41 0 0 25 0 1 0 58486778 54972416 11526 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 13421 11526 406 171 0 12346 0
Current children cumulated CPU time (s) 26.83
Current children cumulated vsize (KiB) 53684

[startup+27.9018 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1492672/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=53684 CPUtime=27.62
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 102550 665 0 0 2721 41 0 0 25 0 1 0 58486778 54972416 11531 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 13421 11531 406 171 0 12346 0
Current children cumulated CPU time (s) 27.62
Current children cumulated vsize (KiB) 53684

[startup+28.3019 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1492672/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=54344 CPUtime=28.02
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 103520 665 0 0 2760 42 0 0 25 0 1 0 58486778 55648256 11995 996147200 134512640 135215973 4294956304 18446744073709551615 134976717 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 13586 11995 406 171 0 12511 0
Current children cumulated CPU time (s) 28.02
Current children cumulated vsize (KiB) 54344

[startup+28.4019 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 13136
/proc/meminfo: memFree=1492672/2055920 swapFree=4192812/4192956
[pid=13131] ppid=13129 vsize=54872 CPUtime=28.11
/proc/13131/stat : 13131 (pcs.big) R 13129 13131 11752 0 -1 4194304 103869 665 0 0 2769 42 0 0 25 0 1 0 58486778 56188928 12344 996147200 134512640 135215973 4294956304 18446744073709551615 134642003 0 0 4096 0 0 0 0 17 1 0 0
/proc/13131/statm: 13718 12344 406 171 0 12643 0
Current children cumulated CPU time (s) 28.11
Current children cumulated vsize (KiB) 54872

Child status: 0
Real time (s): 28.4717
CPU time (s): 28.2037
CPU user time (s): 27.7578
CPU system time (s): 0.445932
CPU usage (%): 99.0588
Max. virtual memory (cumulated for all children) (KiB): 54872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7578
system time used= 0.445932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104537
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= 29
involuntary context switches= 633

runsolver used 0.047992 second user time and 0.091986 second system time

The end

Launcher Data 

Begin job on node21 at 2009-07-16 05:16:43
IDJOB=2076478
IDBENCH=56435
IDSOLVER=734
FILE ID=node21/2076478-1247714203
PBS_JOBID= 9521405
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 822c8f0751f873c488a8bb0f5ccf69cd
RANDOM SEED=313195365

node21.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.240
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.240
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:       1539688 kB
Buffers:         67188 kB
Cached:         291444 kB
SwapCached:          0 kB
Active:         156220 kB
Inactive:       284584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1539688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2752 kB
Writeback:           0 kB
Mapped:          93684 kB
Slab:            60796 kB
Committed_AS:   532092 kB
PageTables:       1888 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= 66320 MiB
End job on node21 at 2009-07-16 05:17:12