Trace number 3481028

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
MUSer 2011-02-10UNSAT 4.5773 4.57755

General information on the benchmark

Namemus/marques-silva/design-debugging/
dividers7.dimacs.filtered.cnf
MD5SUM565da8cb07138e7659fe1ce6f8a07969
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.50677
Satisfiable
(Un)Satisfiability was proved
Number of variables64532
Number of clauses231247
Sum of the clauses size607221
Maximum clause length4
Minimum clause length1
Number of clauses of size 1623
Number of clauses of size 290595
Number of clauses of size 3134708
Number of clauses of size 45321
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c *** MUSer: a MUS extractor ***
0.00/0.01	c *** release date: 2011210 ***
0.00/0.01	c *** release ref: f95464aa99ac ***
0.00/0.01	c *** built: 2011-Feb-10 00:59 ***
0.00/0.01	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.01	c 
0.00/0.01	c *** instance: HOME/instance-3481028-1307606830.cnf ***
0.00/0.01	c 
0.28/0.31	c Parsing CPU Time: 0.303953
0.28/0.31	c Running MUSer ...
0.59/0.68	c 0.00% completed ... 
0.69/0.78	c 5.57% completed ... 
0.89/0.98	c 24.61% completed ... 
1.10/1.13	c 31.48% completed ... 
1.19/1.24	c 36.66% completed ... 
1.49/1.53	c 52.07% completed ... 
1.59/1.66	c 59.46% completed ... 
1.79/1.86	c 65.16% completed ... 
2.39/2.41	c 80.18% completed ... 
4.49/4.57	c 100.00% completed ... 
4.49/4.57	c MUS size: 772
4.49/4.57	s UNSATISFIABLE
4.49/4.57	v 190736 6723 114277 131799 185826 188285 190728 14 148360 132095 185810 190712 126372 190704 90359 141697 126364 119589 90351 408 119821 165791 152129 119853 126348 173000 3842 191564 128380 7993 90335 126340 192785 287 90327 165767 125335 101427 94977 94937 179468 90528 94881 177862 181032 101403 160174 177854 181024 174929 90504 100471 181072 113265 177838 113498 186148 177830 168534 113490 153623 152917 139255 113474 212 217505 178690 138274 138017 113466 2137 193202 217714 90448 2129 152893 217481 173322 156588 193186 6222 156548 193130 193074 97739 2113 193106 197970 6214 217690 90424 164988 197962 144314 164980 144306 1397 9826 90626 8942 137937 164964 9818 2298 100624 164956 122596 1381 9810 100616 131816 131832 185819 90159 15 102937 115715 128493 140043 141271 126381 154049 166827 100600 179605 192383 165816 100592 140019 312 217610 2692 409 100319 2684 100568 396 172993 191557 8870 7986 152114 7102 217586 8862 94858 7978 152106 7094 3161 94866 2652 191533 94954 94898 152090 94986 4462 3578 152082 5338 181049 180993 4454 3570 5330 181041 168463 127169 198260 113507 175380 90755 152942 168551 2162 125770 127145 161236 141843 198003 178683 139240 156525 193235 139232 193139 193211 90667 192931 156565 178659 139216 193123 5909 139208 163277 144331 96840 144323 114295 100633 190746 140068 188279 90619 185828 90611 6392 190730 114271 132049 16 103381 190722 132081 337 119551 190706 165809 126366 2701 175461 90353 126358 154469 410 405 90345 173002 397 165785 119847 7111 126342 141152 90329 126334 90546 205557 123409 7537 90321 94875 101421 94883 177872 94971 127194 94915 5347 90522 4021 160176 181066 177856 181010 138083 101397 162868 181058 177848 135480 168488 198269 168576 113001 177832 152935 113492 113484 147350 152911 113468 217499 113460 217491 156542 2131 217708 193228 193172 156534 197980 90442 6224 150773 100409 193148 8092 156582 164998 6216 114320 205219 164982 197956 90418 190755 164974 1399 3467 162049 144340 362 1391 9820 164958 140061 9812 100618 188288 217427 100610 90161 17 102939 115717 128495 141273 217636 132098 154051 166829 179607 9 192385 140037 100594 100586 174120 119576 2694 406 217604 2686 398 152124 101446 8872 7988 7104 191551 8864 7980 152108 7096 94892 177881 3163 152100 94900 162 94932 191527 180963 3580 152084 127187 5340 4456 3572 109716 181027 5332 180987 4448 96930 181075 127163 168505 217532 113260 103527 168569 186143 198021 139250 197780 197997 138269 193181 178677 2132 150525 156559 139234 165007 217701 156551 139226 193165 193109 163271 205703 2992 178653 197965 387 139210 114313 144277 144309 9829 188048 190748 131779 114289 2301 190740 131835 185822 18 190724 185814 148356 5638 116153 190716 197909 132075 126376 90363 420 165803 126360 412 102836 119841 152133 90347 126352 167241 90339 217597 172996 100563 165779 187 126336 101439 90323 90540 94909 94869 177874 94917 101415 94989 4465 177866 94949 4023 90516 160170 181044 177850 181004 197821 4883 177842 5542 113502 168522 152929 187904 113486 125765 8351 139259 113478 217509 7242 152905 113462 150767 193214 156576 217485 193118 110529 193190 6226 156568 90436 165000 197974 6218 164992 193102 163280 197958 90412 164976 144326 164968 1393 9822 100628 90622 122600 9814 131804 188290 140055 187808 100612 126385 100604 132092 140031 100588 2696 2688 152126 119850 4281 7990 152118 7106 8866 7982 7098 191545 8858 152102 94926 94886 137845 152094 94934 149169 94966 150358 8617 180981 5342 191521 4458 127181 3574 5334 181061 4450 138078 3566 113511 113254 181021 186161 198272 168539 127157 168483 116299 161240 125509 198015 138263 139252 139244 193223 186997 173335 217494 167387 156505 178671 156537 139228 150776 193207 100412 193151 156585 139220 193127 197967 218475 178647 114307 125429 96836 100637 144343 160509 144303 1394 2303 190742 114283 185832 90615 131821 190734 132069 190718 126378 190710 128925 90365 126370 147683 90357 119571 165797 126354 173006 90341 126346 180013 112828 8875 90333 165773 197863 101433 94839 94943 90534 107593 94903 3158 4692 94951 177868 3583 95095 160180 101409 94983 180998 177860 180990 90510 181078 181038 177844 237 113504 113263 135476 177836 168556 113496 125759 168500 152923 147354 113480 198008 113472 217503 138272 90454 2135 152899 193160 193232 217487 156554 197976 6220 217696 163033 193144 205223 164994 90430 6212 163282 205215 164986 197952 190751 164970 9824 144320 100630 164962 9816 100622 217431 140049 132086 185817 100606 132078 9792 100598 119596 140025 2698 174116 2690 407 97649 152120 217592 7108 172991 90552 8868 7984 152112 7100 8860 7976 191539 177877 94960 152096 94920 94864 152088 94968 262 5344 4460 181015 3576 109720 5336 191515 4452 181007 3568 127175 181055 96926 186155 5095 198266 168517 127151 118 125768 129071 139246 186999 197776 217496 139238 173329 180159 193193 6229 150778 156571 193097 193169 178665 156531 165003 139222 90214 102992 115770 128548 141326 154104 139214 166882 179660 192438 136289 144297 178641 114301 160503 144337 2297 0
4.49/4.57	c Terminating MUSer ...
4.49/4.57	c CPU Time: 4.55

Verifier Data 

OK	772

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3481028-1307606830/watcher-3481028-1307606830 -o /tmp/evaluation-result-3481028-1307606830/solver-3481028-1307606830 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3481028-1307606830.cnf 

running on 2 cores: 1,3

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.82 1.19 1.14 4/689 20173
/proc/meminfo: memFree=4668764/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=7184 CPUtime=0.01 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 1287 0 0 0 1 0 0 0 25 0 1 0 950913559 7356416 1241 33554432000 4194304 5696331 140737471966384 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 1796 1243 114 367 0 1426 0

[startup+0.0372789 s]
/proc/loadavg: 1.82 1.19 1.14 4/689 20173
/proc/meminfo: memFree=4668764/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=12776 CPUtime=0.03 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 2833 0 0 0 3 0 0 0 25 0 1 0 950913559 13082624 2640 33554432000 4194304 5696331 140737471966384 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 3194 2643 114 367 0 2824 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12776

[startup+0.100254 s]
/proc/loadavg: 1.82 1.19 1.14 4/689 20173
/proc/meminfo: memFree=4668764/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=25104 CPUtime=0.09 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 6202 0 0 0 9 0 0 0 25 0 1 0 950913559 25706496 5718 33554432000 4194304 5696331 140737471966384 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 6276 5718 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.300215 s]
/proc/loadavg: 1.82 1.19 1.14 4/689 20173
/proc/meminfo: memFree=4668764/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=52388 CPUtime=0.28 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 14738 0 0 0 28 0 0 0 25 0 1 0 950913559 53645312 12520 33554432000 4194304 5696331 140737471966384 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 13097 12522 114 367 0 12727 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52388

[startup+0.701143 s]
/proc/loadavg: 1.82 1.19 1.14 4/689 20173
/proc/meminfo: memFree=4668764/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=64192 CPUtime=0.69 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 27066 0 0 0 68 1 0 0 25 0 1 0 950913559 65732608 15671 33554432000 4194304 5696331 140737471966384 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 16048 15671 148 367 0 15678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64192

[startup+1.501 s]
/proc/loadavg: 1.82 1.19 1.14 5/690 20174
/proc/meminfo: memFree=4605524/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=64192 CPUtime=1.49 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 27069 0 0 0 148 1 0 0 25 0 1 0 950913559 65732608 15674 33554432000 4194304 5696331 140737471966384 18446744073709551615 4416857 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 16048 15674 149 367 0 15678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64192

[startup+3.10071 s]
/proc/loadavg: 1.99 1.24 1.15 5/690 20174
/proc/meminfo: memFree=4604532/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=65216 CPUtime=3.09 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 27199 0 0 0 308 1 0 0 25 0 1 0 950913559 66781184 15804 33554432000 4194304 5696331 140737471966384 18446744073709551615 4400039 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 16304 15804 149 367 0 15934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65216

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

[startup+3.90056 s]
/proc/loadavg: 1.99 1.24 1.15 5/690 20174
/proc/meminfo: memFree=4604284/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=65216 CPUtime=3.89 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 27200 0 0 0 388 1 0 0 25 0 1 0 950913559 66781184 15805 33554432000 4194304 5696331 140737471966384 18446744073709551615 4416670 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 16304 15805 149 367 0 15934 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 65216

[startup+4.30049 s]
/proc/loadavg: 1.99 1.24 1.15 5/690 20174
/proc/meminfo: memFree=4604284/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=65216 CPUtime=4.3 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 27200 0 0 0 429 1 0 0 25 0 1 0 950913559 66781184 15805 33554432000 4194304 5696331 140737471966384 18446744073709551615 4416838 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 16304 15805 149 367 0 15934 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 65216

[startup+4.50045 s]
/proc/loadavg: 1.99 1.24 1.15 5/690 20174
/proc/meminfo: memFree=4604284/32951124 swapFree=67056304/67111528
[pid=20173] ppid=20171 vsize=65216 CPUtime=4.49 cores=1,3
/proc/20173/stat : 20173 (muser) R 20171 20173 19725 0 -1 4202496 27200 0 0 0 448 1 0 0 25 0 1 0 950913559 66781184 15805 33554432000 4194304 5696331 140737471966384 18446744073709551615 4416938 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/20173/statm: 16304 15805 149 367 0 15934 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 65216

Child status: 20
Real time (s): 4.57755
CPU time (s): 4.5773
CPU user time (s): 4.55431
CPU system time (s): 0.022996
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 82920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.55431
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27201
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= 2
involuntary context switches= 8

runsolver used 0.018997 second user time and 0.051992 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-09 10:07:10
IDJOB=3481028
IDBENCH=89464
IDSOLVER=1969
FILE ID=node110/3481028-1307606830
RUNJOBID= node110-1307606816-19998
PBS_JOBID= 13547785
Free space on /tmp= 73468 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/design-debugging/dividers7.dimacs.filtered.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481028-1307606830/watcher-3481028-1307606830 -o /tmp/evaluation-result-3481028-1307606830/solver-3481028-1307606830 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3481028-1307606830.cnf

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

MD5SUM BENCH= 565da8cb07138e7659fe1ce6f8a07969
RANDOM SEED=98517120

node110.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.830
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.66
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.830
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.830
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.830
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	: 5332.83
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.830
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.76
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.830
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.83
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       4668920 kB
Buffers:        209024 kB
Cached:         980812 kB
SwapCached:       8464 kB
Active:       27707976 kB
Inactive:       255360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       4668920 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           89012 kB
Writeback:           0 kB
AnonPages:    26771876 kB
Mapped:         125828 kB
Slab:           171240 kB
PageTables:      78788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 107590664 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73468 MiB
End job on node110 at 2011-06-09 10:07:14