Trace number 4089505

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
toysat 2016-05-02UNSAT 0.407937 0.408206

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid6x7-hard.opb
MD5SUM4806caa861621d39f3133001247f58b8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.002999
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42
Total number of constraints85
Number of constraints which are clauses84
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint42
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 65
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T00:02:37+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4089505-1466028157.opb"]
0.00/0.01	c use --random-gen="1173494350 1767422270 3277052755 3491068787 1306612221 3135984520 3151279820 79274456 2264611470 1699944359 2059696719 1889308955 2249464863 1966362018 3830066160 1574087531 2867659613 1280224360 3906286457 1444135515 1605664830 2933739249 257576184 257434694 1936989211 1072947263 3013698793 2557678705 3328007712 2335748847 2992490003 1712805870 1494852698 2901398061 455976786 1725440447 2611343954 562910027 3158062569 3030666387 4193668535 624410883 4003451129 2823472496 338528191 2879235988 2324790844 2023433362 609740466 550049809 2381077109 225340940 33410163 3258166499 3159399282 2848129217 2887638457 3168832119 2691533399 2229014162 597754488 4152257259 924624457 634127851 471726465 1095376973 3162243184 3950023366 422386095 3162551978 2082542135 585876561 290377950 4221558382 1490933871 2238265567 2438917204 424058200 2886386682 3265684037 1724543152 3124930943 162223581 356675636 2043647173 3290846648 1012734288 776356169 1876255590 1815939662 1371236621 366663970 209595059 3487059955 1028809710 147808774 2150368880 1155705871 2668220257 371143185 2717898240 4123385034 800233800 1873653782 3166875064 886053504 2466184468 1137627733 1271211550 539902244 3602381784 984431890 3993067570 1531615741 1312995047 2679207225 3808927346 3036669843 3799474552 2922241913 1836629325 553561675 106687531 4168041220 3057258225 55556017 1105415511 3569767265 198984988 1827200632 1157148059 3536772795 2907482897 4071244893 330326900 3839715512 2157381465 1031626051 4160306647 1227033955 3575329687 4283491899 1459752014 3953087897 3734303871 601159279 2111775513 323700008 1770656077 85744370 2634654874 122973303 1629247432 2199826930 172467424 179551851 714877694 251682010 4061159959 2387346792 2006911593 2372163210 2984602614 3566468215 79756798 3382008694 1946505833 3055893112 1753289218 3905861218 1132945565 2922080070 1306947191 1904775709 3272026098 1515676271 3326932733 1799391913 2688684226 3915167393 2814842176 1567546019 3217289776 2167123337 1695914136 2136901618 1967270616 1187884195 2406702466 1071210394 146573002 1809336734 678050682 1871129519 1200578802 3873720183 216040509 1438022385 55909146 1869303169 360504711 4151341316 813699801 631995393 3260979510 303572737 3300416586 4259794538 1549891790 3261063155 2006973521 4164249311 4165925220 1509001534 4197864917 539120110 574876783 4132841555 759882687 1470785874 3954023329 465801687 3104073037 1924979956 1248157976 2684160639 4048009803 507029218 2682382042 3037152910 283773412 1420355819 3722779161 327287547 1017948447 1913527738 2640905900 2483897416 1954304327 1851168422 1601855307 504733321 3134771897 2577850182 418075154 2576555833 1397634769 2339887356 4259598495 2971659944 2547108265 3100669375 1823359778 1177992181 3531777660 2716394142 255 362436" option to reproduce the execution
0.00/0.01	c #vars 42
0.00/0.01	c #constraints 85
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       42      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      115 |      100 |       42      2 |        0 |        0
0.00/0.02	c  0.0s |       2 |      285 |      250 |       47      6 |        0 |        0
0.00/0.04	c  0.0s |       3 |      535 |      475 |       52     13 |        0 |        0
0.00/0.06	c  0.0s |       4 |      900 |      813 |       58     22 |        0 |        0
0.00/0.09	c  0.1s |       5 |     1430 |     1320 |       64     34 |        0 |        0
0.09/0.13	c  0.1s |       6 |     2225 |     2081 |       79     52 |        0 |        0
0.19/0.20	c  0.2s |       7 |     3433 |     3223 |       87     76 |        0 |        0
0.19/0.29	c  0.3s |       8 |     5260 |     4936 |       96    110 |        0 |        0
0.29/0.38	c  0.4s |       8 |     7056 |     6635 |       96    134 |       42 |       69
0.29/0.38	c #cpu_time = 0.371s
0.29/0.38	c #wall_clock_time = 0.371s
0.29/0.38	c #decision = 7056
0.29/0.38	c #random_decision = 31
0.29/0.38	c #conflict = 6635
0.29/0.38	c #restart = 8
0.29/0.38	s UNSATISFIABLE
0.29/0.38	c total CPU time = 0.385s
0.29/0.38	c total wall clock time = 0.384s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4089505-1466028157/watcher-4089505-1466028157 -o /tmp/evaluation-result-4089505-1466028157/solver-4089505-1466028157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089505-1466028157.opb 

pid=8510
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.16 2.10 2.04 3/179 8513
/proc/meminfo: memFree=30447608/32872528 swapFree=496356/529060
[pid=8513] ppid=8510 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/8513/stat : 8513 (toysat) R 8510 8513 5955 0 -1 4202496 3017 0 0 0 0 0 0 0 20 0 4 0 4861110 824635392 2867 33554432000 4194304 16246674 140735965944384 140735965943808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8513/statm: 201839 2876 441 2943 0 198733 0
[pid=8513/tid=8514] ppid=8510 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8514/stat : 8514 (toysat) S 8510 8513 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4861111 842461184 2938 33554432000 4194304 16246674 140735965944384 139837389647088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8513/tid=8515] ppid=8510 vsize=827836 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8515/stat : 8515 (toysat) S 8510 8513 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861111 847704064 2955 33554432000 4194304 16246674 140735965944384 139837379157232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8513/tid=8516] ppid=8510 vsize=831932 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8516/stat : 8516 (toysat) S 8510 8513 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861111 851898368 2971 33554432000 4194304 16246674 140735965944384 139837368683696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.16 2.10 2.04 3/179 8513
/proc/meminfo: memFree=30447608/32872528 swapFree=496356/529060
[pid=8513] ppid=8510 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8513/stat : 8513 (toysat) R 8510 8513 5955 0 -1 4202496 27305 0 0 0 6 3 0 0 20 0 4 0 4861110 1247350784 27145 33554432000 4194304 16246674 140735965944384 140735965943808 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8513/statm: 304529 27152 711 2943 0 301423 0
[pid=8513/tid=8514] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8514/stat : 8514 (toysat) S 8510 8513 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 27159 33554432000 4194304 16246674 140735965944384 139837389647088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8513/tid=8515] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8515/stat : 8515 (toysat) S 8510 8513 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 27165 33554432000 4194304 16246674 140735965944384 139837379157232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8513/tid=8516] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8516/stat : 8516 (toysat) S 8510 8513 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 27174 33554432000 4194304 16246674 140735965944384 139837368683696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200485 s]
/proc/loadavg: 2.16 2.10 2.04 3/179 8513
/proc/meminfo: memFree=30447608/32872528 swapFree=496356/529060
[pid=8513] ppid=8510 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8513/stat : 8513 (toysat) R 8510 8513 5955 0 -1 4202496 52238 0 0 0 13 6 0 0 20 0 4 0 4861110 1247350784 52078 33554432000 4194304 16246674 140735965944384 140735965943808 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8513/statm: 304529 52088 711 2943 0 301423 0
[pid=8513/tid=8514] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8514/stat : 8514 (toysat) S 8510 8513 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 52096 33554432000 4194304 16246674 140735965944384 139837389647088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8513/tid=8515] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8515/stat : 8515 (toysat) S 8510 8513 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 52102 33554432000 4194304 16246674 140735965944384 139837379157232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8513/tid=8516] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8516/stat : 8516 (toysat) S 8510 8513 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 52110 33554432000 4194304 16246674 140735965944384 139837368683696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300402 s]
/proc/loadavg: 2.16 2.10 2.04 3/179 8513
/proc/meminfo: memFree=30447608/32872528 swapFree=496356/529060
[pid=8513] ppid=8510 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8513/stat : 8513 (toysat) R 8510 8513 5955 0 -1 4202496 76666 0 0 0 19 10 0 0 20 0 4 0 4861110 1247350784 76506 33554432000 4194304 16246674 140735965944384 140735965943808 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8513/statm: 304529 76514 711 2943 0 301423 0
[pid=8513/tid=8514] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8514/stat : 8514 (toysat) S 8510 8513 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 76521 33554432000 4194304 16246674 140735965944384 139837389647088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8513/tid=8515] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8515/stat : 8515 (toysat) S 8510 8513 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 76529 33554432000 4194304 16246674 140735965944384 139837379157232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8513/tid=8516] ppid=8510 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8513/task/8516/stat : 8516 (toysat) S 8510 8513 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4861111 1247350784 76535 33554432000 4194304 16246674 140735965944384 139837368683696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8513 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.400411 s]
/proc/loadavg: 2.16 2.10 2.04 3/179 8513
/proc/meminfo: memFree=30447608/32872528 swapFree=496356/529060
[pid=8513] ppid=8510 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/8513/stat : 8513 (toysat) R 8510 8513 5955 0 -1 4202500 96737 0 0 0 24 14 0 0 20 0 1 0 4861110 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8513/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 0.408206
CPU time (s): 0.407937
CPU user time (s): 0.249962
CPU system time (s): 0.157975
CPU usage (%): 99.9341
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.249962
system time used= 0.157975
maximum resident set size= 386272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96737
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= 20
involuntary context switches= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.006998 second user time and 0.001999 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 00:02:37
IDJOB=4089505
IDBENCH=107416
IDSOLVER=2542
FILE ID=node141/4089505-1466028157
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x7-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089505-1466028157/watcher-4089505-1466028157 -o /tmp/evaluation-result-4089505-1466028157/solver-4089505-1466028157 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089505-1466028157.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4806caa861621d39f3133001247f58b8
RANDOM SEED=753185590

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.547
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30448616 kB
Buffers:           34432 kB
Cached:            77628 kB
SwapCached:        13092 kB
Active:          1134244 kB
Inactive:          60936 kB
Active(anon):    1073572 kB
Inactive(anon):    12040 kB
Active(file):      60672 kB
Inactive(file):    48896 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088068 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1600560 kB
Mapped:            10312 kB
Shmem:                 0 kB
Slab:             566684 kB
SReclaimable:      10612 kB
SUnreclaim:       556072 kB
KernelStack:        1520 kB
PageTables:         7336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1746748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 00:02:37