Trace number 2076499

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 0.3.2SAT 11.5092 11.6127

DiagnosticValue
ASSIGNMENTS349

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-0.xml
MD5SUM2ac19223b2e0853d7ad9b1f32a9c1dfd
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 benchmark0.729888
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1276
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.00/0.02	c Seed is 105687963
0.00/0.02	c Constructing HOME/instance-2076499-1247714208.xml  with 53200 constraints
0.78/0.86	c Solving 349 backtracks 6 restarts
11.38/11.53	s SATISFIABLE
11.38/11.53	c V0=198, V1=312, V2=847, V3=972, V4=104, V5=569, V6=1051, V7=247, V8=1270, V9=928, V10=1244, V11=646, V12=731, V13=141, V14=372, V15=120, V16=831, V17=124, V18=489, V19=0, V20=22, V21=217, V22=613, V23=538, V24=1154, V25=915, V26=0, V27=1211, V28=138, V29=974, V30=833, V31=309, V32=655, V33=751, V34=1050, V35=432, V36=65, V37=389, V38=1148, V39=923, V40=968, V41=1136, V42=161, V43=357, V44=874, V45=387, V46=302, V47=1185, V48=98, V49=141, V50=463, V51=516, V52=676, V53=844, V54=0, V55=1067, V56=1223, V57=767, V58=178, V59=586, V60=925, V61=943, V62=987, V63=1245, V64=185, V65=708, V66=915, V67=578, V68=323, V69=24, V70=802, V71=1179, V72=330, V73=282, V74=0, V75=1067, V76=169, V77=370, V78=609, V79=1207, V80=1194, V81=0, V82=1225, V83=727, V84=233, V85=451, V86=176, V87=1172, V88=521, V89=65, V90=1144, V91=121, V92=1079, V93=669, V94=904, V95=1185, V96=605, V97=847, V98=278, V99=337, V100=1206, V101=830, V102=105, V103=558, V104=94, V105=0, V106=1142, V107=1083, V108=1003, V109=905, V110=605, V111=955, V112=248, V113=1136, V114=305, V115=1070, V116=420, V117=465, V118=1164, V119=66, V120=131, V121=0, V122=211, V123=875, V124=709, V125=264, V126=286, V127=802, V128=469, V129=987, V130=613, V131=784, V132=74, V133=1234, V134=329, V135=1105, V136=1222, V137=1255, V138=1079, V139=411, V140=1139, V141=633, V142=526, V143=273, V144=1243, V145=88, V146=1218, V147=229, V148=406, V149=396, V150=841, V151=593, V152=140, V153=79, V154=779, V155=1133, V156=488, V157=1182, V158=330, V159=943, V160=834, V161=1008, V162=0, V163=157, V164=406, V165=902, V166=1263, V167=1138, V168=736, V169=273, V170=821, V171=655, V172=309, V173=1041, V174=1238, V175=438, V176=120, V177=12, V178=492, V179=217, V180=392, V181=696, V182=219, V183=488, V184=94, V185=203, V186=1054, V187=164, V188=824, V189=792, V190=1152, V191=245, V192=901, V193=0, V194=302, V195=452, V196=97, V197=992, V198=351, V199=640, V200=1105, V201=1028, V202=324, V203=1179, V204=98, V205=159, V206=696, V207=117, V208=1153, V209=178, V210=225, V211=757, V212=24, V213=371, V214=515, V215=467, V216=945, V217=302, V218=868, V219=626, V220=0, V221=282, V222=59, V223=105, V224=1131, V225=850, V226=573, V227=8, V228=201, V229=1231, V230=1216, V231=1054, V232=687, V233=1164, V234=491, V235=1041, V236=905, V237=390, V238=967, V239=799, V240=564, V241=461, V242=372, V243=1191, V244=1252, V245=0, V246=1183, V247=198, V248=834, V249=138, V250=890, V251=681, V252=648, V253=278, V254=392, V255=823, V256=1091, V257=1065, V258=973, V259=757, V260=701, V261=140, V262=1126, V263=1182, V264=1118, V265=733, V266=554, V267=902, V268=241, V269=977, V270=1187, V271=1102, V272=1215, V273=74, V274=1070, V275=0, V276=163, V277=651, V278=497, V279=205, V280=1070, V281=870, V282=97, V283=1180, V284=492, V285=407, V286=827, V287=955, V288=178, V289=370, V290=554, V291=211, V292=176, V293=1132, V294=771, V295=289, V296=0, V297=1016, V298=817, V299=657, V300=1095, V301=264, V302=343, V303=1152, V304=131, V305=847, V306=1254, V307=1014, V308=1225, V309=967, V310=384, V311=615, V312=679, V313=458, V314=97, V315=203, V316=551, V317=817, V318=734, V319=0, V320=1261, V321=0, V322=1237, V323=841, V324=46, V325=375, V326=11, V327=116, V328=312, V329=1148, V330=918, V331=1051, V332=243, V333=656, V334=1206, V335=564, V336=984, V337=759, V338=465, V339=138, V340=987, V341=106, V342=273, V343=198, V344=393, V345=372, V346=1067, V347=884, V348=90, V349=731, V350=182, V351=207, V352=559, V353=672, V354=1162, V355=0, V356=1207, V357=991, V358=124, V359=1109, V360=465, V361=324, V362=1013, V363=1217, V364=168, V365=1079, V366=797, V367=0, V368=157, V369=802, V370=113, V371=161, V372=185, V373=1164, V374=86, V375=634, V376=222, V377=1219, V378=954, V379=913, V380=370, V381=90, V382=863, V383=802, V384=757, V385=0, V386=1215, V387=651, V388=309, V389=191, V390=523, V391=613, V392=887, V393=180, V394=968, V395=245, V396=1031, V397=441, V398=696, V399=1172, 
11.38/11.53	v 198 312 847 972 104 569 1051 247 1270 928 1244 646 731 141 372 120 831 124 489 0 22 217 613 538 1154 915 0 1211 138 974 833 309 655 751 1050 432 65 389 1148 923 968 1136 161 357 874 387 302 1185 98 141 463 516 676 844 0 1067 1223 767 178 586 925 943 987 1245 185 708 915 578 323 24 802 1179 330 282 0 1067 169 370 609 1207 1194 0 1225 727 233 451 176 1172 521 65 1144 121 1079 669 904 1185 605 847 278 337 1206 830 105 558 94 0 1142 1083 1003 905 605 955 248 1136 305 1070 420 465 1164 66 131 0 211 875 709 264 286 802 469 987 613 784 74 1234 329 1105 1222 1255 1079 411 1139 633 526 273 1243 88 1218 229 406 396 841 593 140 79 779 1133 488 1182 330 943 834 1008 0 157 406 902 1263 1138 736 273 821 655 309 1041 1238 438 120 12 492 217 392 696 219 488 94 203 1054 164 824 792 1152 245 901 0 302 452 97 992 351 640 1105 1028 324 1179 98 159 696 117 1153 178 225 757 24 371 515 467 945 302 868 626 0 282 59 105 1131 850 573 8 201 1231 1216 1054 687 1164 491 1041 905 390 967 799 564 461 372 1191 1252 0 1183 198 834 138 890 681 648 278 392 823 1091 1065 973 757 701 140 1126 1182 1118 733 554 902 241 977 1187 1102 1215 74 1070 0 163 651 497 205 1070 870 97 1180 492 407 827 955 178 370 554 211 176 1132 771 289 0 1016 817 657 1095 264 343 1152 131 847 1254 1014 1225 967 384 615 679 458 97 203 551 817 734 0 1261 0 1237 841 46 375 11 116 312 1148 918 1051 243 656 1206 564 984 759 465 138 987 106 273 198 393 372 1067 884 90 731 182 207 559 672 1162 0 1207 991 124 1109 465 324 1013 1217 168 1079 797 0 157 802 113 161 185 1164 86 634 222 1219 954 913 370 90 863 802 757 0 1215 651 309 191 523 613 887 180 968 245 1031 441 696 1172 
11.48/11.60	d ASSIGNMENTS 349

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-2076499-1247714208/watcher-2076499-1247714208 -o /tmp/evaluation-result-2076499-1247714208/solver-2076499-1247714208 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 105687963 HOME/instance-2076499-1247714208.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.01 2.01 2.00 4/82 13001
/proc/meminfo: memFree=608336/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=5356 CPUtime=0
/proc/13001/stat : 13001 (pcssolve) R 12999 13001 12466 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 58487654 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13001/statm: 1339 241 200 169 0 50 0
[pid=13002] ppid=13001 vsize=3676 CPUtime=0
/proc/13002/stat : 13002 (fgrep) R 13001 13001 12466 0 -1 4194304 127 0 0 0 0 0 0 0 24 0 1 0 58487655 3764224 94 996147200 4194304 4274172 548682068976 18446744073709551615 4210392 0 0 4096 0 0 0 0 17 1 0 0
/proc/13002/statm: 919 94 76 19 0 43 0
[pid=13003] ppid=13001 vsize=5356 CPUtime=0
/proc/13003/stat : 13003 (pcssolve) R 13001 13001 12466 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 58487655 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13003/statm: 1339 241 200 169 0 50 0

[startup+0.095241 s]
/proc/loadavg: 2.01 2.01 2.00 4/82 13001
/proc/meminfo: memFree=608336/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=6520 CPUtime=0.07
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 1264 664 0 0 7 0 0 0 25 0 1 0 58487654 6676480 821 996147200 134512640 135215973 4294956304 18446744073709551615 134910364 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 1630 821 388 171 0 555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6520

[startup+0.102234 s]
/proc/loadavg: 2.01 2.01 2.00 4/82 13001
/proc/meminfo: memFree=608336/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=6520 CPUtime=0.08
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 1286 664 0 0 8 0 0 0 25 0 1 0 58487654 6676480 843 996147200 134512640 135215973 4294956304 18446744073709551615 134885959 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 1630 843 388 171 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6520

[startup+0.302184 s]
/proc/loadavg: 2.01 2.01 2.00 4/82 13001
/proc/meminfo: memFree=608336/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=10896 CPUtime=0.28
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 2711 664 0 0 27 1 0 0 25 0 1 0 58487654 11157504 1804 996147200 134512640 135215973 4294956304 18446744073709551615 134709123 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 2724 1804 388 171 0 1649 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10896

[startup+0.702065 s]
/proc/loadavg: 2.01 2.01 2.00 4/82 13001
/proc/meminfo: memFree=608336/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=20248 CPUtime=0.67
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 5693 664 0 0 65 2 0 0 25 0 1 0 58487654 20733952 3632 996147200 134512640 135215973 4294956304 18446744073709551615 134583365 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 5062 3632 388 171 0 3987 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20248

[startup+1.50184 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 13006
/proc/meminfo: memFree=585416/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=40868 CPUtime=1.47
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 12648 664 0 0 142 5 0 0 25 0 1 0 58487654 41848832 8367 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 10217 8367 406 171 0 9142 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40868

[startup+3.10138 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 13006
/proc/meminfo: memFree=574344/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=40996 CPUtime=3.05
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 14503 664 0 0 300 5 0 0 25 0 1 0 58487654 41979904 8888 996147200 134512640 135215973 4294956304 18446744073709551615 134610614 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 10249 8888 406 171 0 9174 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40996

[startup+6.30146 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 13006
/proc/meminfo: memFree=564112/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=51340 CPUtime=6.23
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 22601 664 0 0 613 10 0 0 25 0 1 0 58487654 52572160 11365 996147200 134512640 135215973 4294956304 18446744073709551615 134605261 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 12835 11365 406 171 0 11760 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 51340

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

[startup+9.50255 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13006
/proc/meminfo: memFree=563664/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=51616 CPUtime=9.4
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 29974 664 0 0 928 12 0 0 25 0 1 0 58487654 52854784 11424 996147200 134512640 135215973 4294956304 18446744073709551615 134600145 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 12904 11424 406 171 0 11829 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 51616

[startup+10.3013 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13006
/proc/meminfo: memFree=563600/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=51616 CPUtime=10.19
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 32841 664 0 0 1005 14 0 0 25 0 1 0 58487654 52854784 11439 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 12904 11439 406 171 0 11829 0
Current children cumulated CPU time (s) 10.19
Current children cumulated vsize (KiB) 51616

[startup+11.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13006
/proc/meminfo: memFree=563408/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=51616 CPUtime=10.98
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 33117 664 0 0 1084 14 0 0 25 0 1 0 58487654 52854784 11439 996147200 134512640 135215973 4294956304 18446744073709551615 134583393 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 12904 11439 406 171 0 11829 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 51616

[startup+11.502 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13006
/proc/meminfo: memFree=563408/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=51616 CPUtime=11.38
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 33347 664 0 0 1124 14 0 0 25 0 1 0 58487654 52854784 11439 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 12904 11439 406 171 0 11829 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 51616

[startup+11.6019 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 13006
/proc/meminfo: memFree=563408/2055920 swapFree=4192812/4192956
[pid=13001] ppid=12999 vsize=24176 CPUtime=11.48
/proc/13001/stat : 13001 (pcs.big) R 12999 13001 12466 0 -1 4194304 33347 664 0 0 1134 14 0 0 25 0 1 0 58487654 24756224 5370 996147200 134512640 135215973 4294956304 18446744073709551615 7635013 0 0 4096 0 0 0 0 17 1 0 0
/proc/13001/statm: 6044 5370 406 171 0 4969 0
Current children cumulated CPU time (s) 11.48
Current children cumulated vsize (KiB) 24176

Child status: 0
Real time (s): 11.6127
CPU time (s): 11.5092
CPU user time (s): 11.3503
CPU system time (s): 0.158975
CPU usage (%): 99.1094
Max. virtual memory (cumulated for all children) (KiB): 51616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3503
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34014
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= 495

runsolver used 0.012998 second user time and 0.044993 second system time

The end

Launcher Data 

Begin job on node16 at 2009-07-16 05:16:48
IDJOB=2076499
IDBENCH=56437
IDSOLVER=733
FILE ID=node16/2076499-1247714208
PBS_JOBID= 9521390
Free space on /tmp= 66412 MiB

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

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

MD5SUM BENCH= 2ac19223b2e0853d7ad9b1f32a9c1dfd
RANDOM SEED=105687963

node16.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.231
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.231
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:        608816 kB
Buffers:         71628 kB
Cached:         537516 kB
SwapCached:          0 kB
Active:         834828 kB
Inactive:       541740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        608816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2780 kB
Writeback:           0 kB
Mapped:         787892 kB
Slab:            54336 kB
Committed_AS:  1274224 kB
PageTables:       3364 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= 66412 MiB
End job on node16 at 2009-07-16 05:17:00