Trace number 3483444

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
MiniUnsat2 2011-02-22UNSAT 48.1577 48.1617

General information on the benchmark

Namemus/marques-silva/fpga-routing/
c499_gr_2pin_w5.shuffled.cnf
MD5SUMa2e4cf209dd6d99c36adb18f47b69589
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.054991
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of clauses19908
Sum of the clauses size104856
Maximum clause length6
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23648
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 516260

Solver Data 

48.09/48.16	s UNSATISFIABLE
48.09/48.16	v 11222 940 3078 10213 11639 12194 13732 18007 18572 18814 3576 14723 2044 13601 2501 2952 6457 10316 1908 9603 2343 17008 2758 14408 7563 16655 10382 19778 10115 15478 6666 9152 16565 184 359 12307 11169 19681 8470 7137 10371 9630 11399 9597 11558 3501 16613 17002 18569 9089 9596 12051 16876 1157 4378 6436 19733 2083 5619 2996 6434 7144 12506 12910 13860 15760 16823 17860 18296 7386 11747 3013 4951 18287 18491 450 504 524 3110 6104 7703 9131 9135 9644 9863 10341 11483 12290 13239 17341 17910 18614 18857 19264 6597 11109 19864 288 5106 6164 10100 12998 18109 18149 1817 2373 2724 11696 14964 16014 2673 3873 7508 3777 4952 10292 11838 12939 14473 16366 17065 3331 8726 12008 19489 10018 19750 658 4693 10724 11301 16579 8795 17859 7515 18818 13474 17648 511 740 4122 4762 6066 6538 7030 14274 14579 17845 6845 15368 5077 11867 1436 1113 2097 2168 6237 15122 16492 16630 17459 18585 19119 1855 3661 5301 10527 15037 3441 4109 5761 6978 8311 9066 9253 10533 12268 14150 14328 15105 15880 16518 2389 4790 7150 7455 19626 5825 13855 9043 12332 5321 14071 1617 3000 8481 13737 13620 19543 3071 16980 2153 3787 1760 4012 9292 10307 10932 13559 6315 6217 8665 9560 11398 11627 1293 5328 5979 7911 14287 15640 2656 18629 5430 9675 1448 6378 7184 11266 4397 6589 2009 18132 3551 15876 4337 764 9729 11785 1503 8215 19786 2336 6604 11762 12524 5791 6096 6924 8372 18277 19354 19774 8587 14371 16561 11552 1365 1576 4264 8575 12126 12980 15916 17664 4556 6010 10829 12764 13918 12753 12355 18447 9682 1237 18293 4767 8600 16586 1150 5701 8305 11150 2216 350 17029 17541 118 1041 1548 3152 3157 15999 16493 18685 12134 12521 3244 8954 10049 5388 16724 4257 4341 11461 12410 14869 18164 19516 19675 10620 12222 15660 17092 17170 7509 12863 2907 8624 5473 11989 239 7759 11393 13220 8360 11564 6515 10389 16470 18725 8669 10508 11807 12815 14177 15280 2957 10401 10834 15099 18543 2383 4033 5416 6166 10365 11164 11651 13822 15905 16192 17643 17955 19238 3153 3200 10031 11673 12038 13229 15240 17351 4796 180 1731 1970 2431 2756 3998 4016 6590 7799 8379 8722 10261 10520 13726 15383 15420 15642 17328 18436 18603 19697 10790 2930 5304 5913 7246 8274 10358 12380 13351 19668 19830 19835 8484 17013 19252 1185 2290 5084 6631 6829 9366 11042 12987 13540 13887 14159 16280 16996 17408 18788 19381 4490 6411 17193 18103 958 2200 3291 5932 9657 10388 10873 11179 12736 18465 3336 3341 5566 6861 8334 11954 14204 17487 4419 7573 1227 4703 5778 6308 10646 15393 6103 6920 11944 15481 17243 1205 1472 9102 10393 14955 17326 5092 13561 17034 19894 62 458 1369 2165 3997 4322 5409 5554 5811 6642 8433 9828 13055 14151 18151 18166 370 554 10450 113 637 788 815 1967 4526 7471 8032 11737 15687 16065 16129 3056 3316 3367 4859 5353 13413 10611 18507 2359 4818 7181 8468 10302 10910 10931 4726 12875 490 1038 19106 9775 10521 14519 18360 1566 1806 3019 3876 4637 6012 6160 8803 8820 11035 11705 12958 3392 16082 271 11813 1306 7695 2968 8806 11626 13546 13549 18386 6641 10733 17025 4401 18219 644 9749 16507 18590 702 1316 1661 8664 10717 13316 16127 16572 16713 19608 9803 19731 3324 1928 2755 6253 7236 11910 16105 17292 18644 19061 7633 13885 421 1525 2752 2773 4915 5492 5560 5704 6226 9294 10058 10179 10232 11779 12625 12765 12870 13689 14167 14849 15318 15863 18214 18279 18884 5502 4457 975 1748 2693 2727 4373 5631 6239 6333 10772 12473 13137 15422 16793 18726 19218 4897 4934 5855 18861 1249 3526 4864 5586 6550 9045 11077 12040 13709 14871 15895 17770 17476 7353 1863 6016 13309 1842 1950 2605 8409 10610 10645 15098 151 4125 4884 6021 8355 354 786 1581 3140 4455 5593 6161 6605 7288 7770 10279 10916 13152 14317 15283 15537 15573 16217 16351 16790 16841 17882 17961 19052 19807 526 2527 12468 9815 12066 13285 10833 1373 3494 9736 19622 10022 597 4695 7389 10752 11158 11879 12491 16425 1128 3256 4361 12780 19554 3688 3509 4860 10060 10991 12454 14201 14624 16088 16817 17734 3798 13165 15021 16596 116 1573 6636 10763 223 13798 6489 36 1671 7806 10153 13983 15769 16400 19602 6699 6854 586 5103 10656 16418 19690 4464 5785 7686 11850 16237 6544 7669 10291 17630 19326 580 1258 3505 4252 4453 5186 6952 7262 8799 11688 11864 19280 338 677 5784 8296 11237 11756 17165 17258 6882 19814 220 809 2817 6194 12584 14336 14417 2644 3868 4076 6941 12265 19552 992 3641 3878 6290 8341 4719 5005 822 1435 8323 9454 15874 19581 733 3076 4423 5822 14796 488 1932 4049 9230 13635 14896 15355 15935 19301 2891 947 2938 3128 5193 6688 11166 12321 19294 8784 15320 246 1208 7094 9610 13314 2508 1427 3289 8677 8839 13551 19840 15444 158 2145 1546 12865 15818 19169 468 1750 2010 2639 2824 2047 13875 681 4222 985 2564 9176 9882 10765 13241 2836 11726 12562 14547 15953 499 8807 922 1441 2621 3426 3470 11362 13834 14685 11342 7974 3433 3558 3854 3063 10641 12044 1962 1111 3664 1085 7166 7583 19269 0

Verifier Data 

OK	882

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483444-1307810731/watcher-3483444-1307810731 -o /tmp/evaluation-result-3483444-1307810731/solver-3483444-1307810731 -C 1800 -W 1850 -M 7680 munsat2_release -rnd-seed=72324782 -verb=0 HOME/instance-3483444-1307810731.cnf 

running on 2 cores: 5,7

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.07 1.46 2.44 6/187 3804
/proc/meminfo: memFree=31506144/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=14872 CPUtime=0 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 499 0 0 0 0 0 0 0 22 0 1 0 892670997 15228928 438 33554432000 4194304 4258824 140736244369776 18446744073709551615 255376962245 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 3718 440 217 16 0 360 0

[startup+0.041921 s]
/proc/loadavg: 1.07 1.46 2.44 6/187 3804
/proc/meminfo: memFree=31506144/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=23156 CPUtime=0.03 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 1847 0 0 0 3 0 0 0 22 0 1 0 892670997 23711744 1641 33554432000 4194304 4258824 140736244369776 18446744073709551615 4206719 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 5789 1641 240 16 0 2431 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23156

[startup+0.100912 s]
/proc/loadavg: 1.07 1.46 2.44 6/187 3804
/proc/meminfo: memFree=31506144/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=23156 CPUtime=0.09 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 1866 0 0 0 9 0 0 0 22 0 1 0 892670997 23711744 1660 33554432000 4194304 4258824 140736244369776 18446744073709551615 4220840 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 5789 1660 241 16 0 2431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23156

[startup+0.300874 s]
/proc/loadavg: 1.07 1.46 2.44 6/187 3804
/proc/meminfo: memFree=31506144/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=24160 CPUtime=0.29 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2098 0 0 0 29 0 0 0 23 0 1 0 892670997 24739840 1877 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225405 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6040 1877 241 16 0 2682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24160

[startup+0.7008 s]
/proc/loadavg: 1.07 1.46 2.44 6/187 3804
/proc/meminfo: memFree=31506144/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=24160 CPUtime=0.69 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2121 0 0 0 69 0 0 0 25 0 1 0 892670997 24739840 1899 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225208 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6040 1899 242 16 0 2682 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24160

[startup+1.50066 s]
/proc/loadavg: 1.07 1.46 2.44 5/191 3891
/proc/meminfo: memFree=31474444/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=24160 CPUtime=1.49 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2337 0 0 0 149 0 0 0 25 0 1 0 892670997 24739840 2090 33554432000 4194304 4258824 140736244369776 18446744073709551615 255376959645 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6040 2090 242 16 0 2682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24160

[startup+3.10036 s]
/proc/loadavg: 1.07 1.46 2.44 5/191 3929
/proc/meminfo: memFree=31459824/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=24160 CPUtime=3.09 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2341 0 0 0 309 0 0 0 25 0 1 0 892670997 24739840 2094 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225190 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6040 2094 242 16 0 2682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24160

[startup+6.30076 s]
/proc/loadavg: 1.31 1.50 2.45 5/191 3929
/proc/meminfo: memFree=31454492/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=6.29 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2447 0 0 0 629 0 0 0 25 0 1 0 892670997 28008448 2193 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225264 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2193 242 16 0 3480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27352

[startup+12.7006 s]
/proc/loadavg: 1.52 1.54 2.46 4/185 3954
/proc/meminfo: memFree=31459328/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=12.69 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2447 0 0 0 1269 0 0 0 25 0 1 0 892670997 28008448 2193 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2193 242 16 0 3480 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27352

[startup+25.5002 s]
/proc/loadavg: 1.70 1.58 2.46 3/179 3978
/proc/meminfo: memFree=31460540/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=25.49 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2449 0 0 0 2549 0 0 0 25 0 1 0 892670997 28008448 2195 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225250 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2195 242 16 0 3480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27352

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

[startup+38.3008 s]
/proc/loadavg: 1.74 1.60 2.45 3/179 3978
/proc/meminfo: memFree=31456672/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=38.29 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2449 0 0 0 3829 0 0 0 25 0 1 0 892670997 28008448 2195 33554432000 4194304 4258824 140736244369776 18446744073709551615 4220315 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2195 242 16 0 3480 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 27352

[startup+44.7007 s]
/proc/loadavg: 1.78 1.61 2.45 3/179 3978
/proc/meminfo: memFree=31454192/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=44.69 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2449 0 0 0 4469 0 0 0 25 0 1 0 892670997 28008448 2195 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225250 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2195 242 16 0 3480 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 27352

[startup+46.3004 s]
/proc/loadavg: 1.78 1.61 2.45 3/179 3978
/proc/meminfo: memFree=31453936/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=46.29 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2449 0 0 0 4629 0 0 0 25 0 1 0 892670997 28008448 2195 33554432000 4194304 4258824 140736244369776 18446744073709551615 4237713 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2195 242 16 0 3480 0
Current children cumulated CPU time (s) 46.29
Current children cumulated vsize (KiB) 27352

[startup+47.1002 s]
/proc/loadavg: 1.78 1.61 2.45 3/179 3978
/proc/meminfo: memFree=31453936/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=47.09 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2449 0 0 0 4709 0 0 0 25 0 1 0 892670997 28008448 2195 33554432000 4194304 4258824 140736244369776 18446744073709551615 4221095 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2195 242 16 0 3480 0
Current children cumulated CPU time (s) 47.09
Current children cumulated vsize (KiB) 27352

[startup+47.9011 s]
/proc/loadavg: 1.78 1.61 2.45 3/179 3978
/proc/meminfo: memFree=31453812/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=47.89 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2450 0 0 0 4789 0 0 0 25 0 1 0 892670997 28008448 2196 33554432000 4194304 4258824 140736244369776 18446744073709551615 4218032 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2196 242 16 0 3480 0
Current children cumulated CPU time (s) 47.89
Current children cumulated vsize (KiB) 27352

[startup+48.101 s]
/proc/loadavg: 1.78 1.61 2.45 3/179 3978
/proc/meminfo: memFree=31453812/32951124 swapFree=67072804/67111528
[pid=3804] ppid=3802 vsize=27352 CPUtime=48.09 cores=5,7
/proc/3804/stat : 3804 (munsat2_release) R 3802 3804 1499 0 -1 4202496 2450 0 0 0 4809 0 0 0 25 0 1 0 892670997 28008448 2196 33554432000 4194304 4258824 140736244369776 18446744073709551615 4225179 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3804/statm: 6838 2196 242 16 0 3480 0
Current children cumulated CPU time (s) 48.09
Current children cumulated vsize (KiB) 27352

Child status: 0
Real time (s): 48.1617
CPU time (s): 48.1577
CPU user time (s): 48.1547
CPU system time (s): 0.002999
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 27352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.1547
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2459
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= 5
involuntary context switches= 88

runsolver used 0.083987 second user time and 0.180972 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-11 18:45:31
IDJOB=3483444
IDBENCH=89617
IDSOLVER=1973
FILE ID=node135/3483444-1307810731
RUNJOBID= node135-1307810731-3759
PBS_JOBID= 13551051
Free space on /tmp= 73904 MiB

SOLVER NAME= MiniUnsat2 2011-02-22
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/c499_gr_2pin_w5.shuffled.cnf
COMMAND LINE= munsat2_release -rnd-seed=RANDOMSEED -verb=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483444-1307810731/watcher-3483444-1307810731 -o /tmp/evaluation-result-3483444-1307810731/solver-3483444-1307810731 -C 1800 -W 1850 -M 7680  munsat2_release -rnd-seed=72324782 -verb=0 HOME/instance-3483444-1307810731.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= a2e4cf209dd6d99c36adb18f47b69589
RANDOM SEED=72324782

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31510708 kB
Buffers:        243724 kB
Cached:         984480 kB
SwapCached:       6548 kB
Active:         626744 kB
Inactive:       628384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31510708 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:            2000 kB
Writeback:          44 kB
AnonPages:       26464 kB
Mapped:          10356 kB
Slab:           121204 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   210372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73900 MiB
End job on node135 at 2011-06-11 18:46:20