Trace number 4099431

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-02SAT 0.127979 0.13822

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM5525732a92b9529feed86b3ca7f3367f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.011997
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables293
Total number of constraints236
Number of constraints which are clauses208
Number of constraints which are cardinality constraints (but not clauses)28
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint15
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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-18T01:29:00+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-4099431-1466206140.opb"]
0.00/0.01	c use --random-gen="627772085 3645658241 2796154249 3861114921 109306510 4135138785 343467739 1644986352 3530543739 3058047938 2667908407 3861485880 1223141127 2800900564 986426293 1353919685 3286341431 912583289 2410421189 3181661141 2845997984 3345387001 4047702045 2131295866 2225906175 2617129155 550745470 3752451531 2648876634 1128312564 1671626596 299600176 3924185482 2839971764 644227818 1775739789 3642777217 741626612 2835580788 556218136 1947896273 1916171764 3356181953 196690739 757017993 2490126230 762483811 3217274489 785443872 148451953 2272977630 2251571920 1518504589 3792527861 2089397767 1000489012 3353358184 1270976897 3302179202 4152518506 814266784 2603536493 4218785909 3478155216 3747140445 426337878 2877606078 1677266112 401206539 3134721620 825474019 538913751 4114988553 874614649 3099779928 1758811643 3509358492 1368359681 1557936213 1393885597 699725178 2332340110 1137607802 1883448007 482029937 265813889 2731249189 37880101 3299972562 1524317022 4022125716 1532750679 309218506 2411042764 1095407534 181024503 1743328498 1250949303 2255110764 3927312114 3765648873 1782686818 995899980 646702329 1866462801 4044141318 1847238130 3186322718 575879026 2216423183 2369928298 3756825677 4040654301 3808481400 1869529735 665232567 568287982 447561913 283155810 2391140264 1799974202 2549280436 3261689016 1542716274 256992403 1853396279 3389078250 1353317186 388509227 4093789023 1783340600 829936113 3702913354 373778213 132941123 1228412923 2691332343 3953970266 3247922278 473747918 908251630 3716459901 3229819975 3594465175 89865162 3742245483 3011173575 749254418 3260809135 814169839 41996207 872563834 4206994995 1613187019 3660797931 4246221240 182232594 2664708681 2316591366 1494684180 3217269057 3913998570 4277774743 348083208 802509670 2195599084 2897100714 221470434 567577078 930972869 4272237758 2755096563 369694087 3750247772 949556272 4250857031 646198655 3495643878 1820011282 1370465088 1449897428 524449571 967388287 4036804011 2526479238 1801727162 1162853162 1960673551 2847133556 220677379 1762727149 3737569119 826399104 1787577107 4115917310 3198402521 3702779793 3889239039 3649357359 3679541170 3069470806 1073218503 3709446933 4038114824 3267316102 4188490039 2128405717 3235511716 2776837208 258259770 1321634670 3120774228 1173446144 3028357832 661911675 1068644049 2466852176 1419659856 1339576931 2237827470 1310900019 900994200 3652015186 2028938476 1218816076 3247392477 3881293304 1492961301 1550945929 454706975 3902217410 1591906021 202734097 99239137 3174593018 1696095715 1046841001 2165840367 862582577 1572213738 1504102397 2224673079 2083020923 4055218910 2155522845 2642785832 1160793743 392011636 960607957 524118974 3022015302 2887339060 2127862812 860951152 2219093161 2979719311 255 362436" option to reproduce the execution
0.00/0.01	c #vars 293
0.00/0.01	c #constraints 236
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      176      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      168 |      100 |      176      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      453 |      250 |      194      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      869 |      475 |      214      1 |        0 |        0
0.09/0.12	c  0.1s |       3 |     1005 |      475 |      214      2 |        0 |        0
0.09/0.12	c #cpu_time = 0.102s
0.09/0.12	c #wall_clock_time = 0.103s
0.09/0.12	c #decision = 1005
0.09/0.12	c #random_decision = 3
0.09/0.12	c #conflict = 475
0.09/0.12	c #restart = 3
0.09/0.12	s SATISFIABLE
0.09/0.12	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
0.09/0.12	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
0.09/0.12	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
0.09/0.12	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
0.09/0.12	v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
0.09/0.12	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
0.09/0.12	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70
0.09/0.12	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
0.09/0.12	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.09/0.12	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
0.09/0.12	v x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
0.09/0.12	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
0.09/0.12	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
0.09/0.12	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140
0.09/0.12	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
0.09/0.12	v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
0.09/0.12	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170
0.09/0.12	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
0.09/0.12	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190
0.09/0.12	v -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200
0.09/0.12	v -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210
0.09/0.12	v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220
0.09/0.12	v x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
0.09/0.12	v -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240
0.09/0.12	v -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
0.09/0.12	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260
0.09/0.12	v -x261 x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270
0.09/0.12	v -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 x280
0.09/0.12	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
0.09/0.12	v -x291 x292 -x293
0.09/0.12	c total CPU time = 0.126s
0.09/0.12	c total wall clock time = 0.126s

Verifier Data 

OK	0

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

pid=32005
running on 4 cores: 1,3,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): 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: 1.61 0.58 0.26 3/179 32008
/proc/meminfo: memFree=29731936/32872528 swapFree=1200228/1314692
[pid=32008] ppid=32005 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/32008/stat : 32008 (toysat) R 32005 32008 31224 0 -1 4202496 2738 0 0 0 0 0 0 0 20 0 4 0 22660548 751235072 3099 33554432000 4194304 16246674 140736189412896 140736189412320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32008/statm: 183919 3109 441 2943 0 180813 0
[pid=32008/tid=32009] ppid=32005 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32009/stat : 32009 (toysat) S 32005 32008 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660548 769060864 3168 33554432000 4194304 16246674 140736189412896 140599158090992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32010] ppid=32005 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32010/stat : 32010 (toysat) S 32005 32008 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660548 774303744 3187 33554432000 4194304 16246674 140736189412896 140599147601136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32011] ppid=32005 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32011/stat : 32011 (toysat) S 32005 32008 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660548 778498048 3205 33554432000 4194304 16246674 140736189412896 140599137127600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32008
/proc/meminfo: memFree=29731936/32872528 swapFree=1200228/1314692
[pid=32008] ppid=32005 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32008/stat : 32008 (toysat) R 32005 32008 31224 0 -1 4202496 29930 0 0 0 5 4 0 0 20 0 4 0 22660548 1247350784 30281 33554432000 4194304 16246674 140736189412896 140736189412320 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32008/statm: 304529 30293 712 2943 0 301423 0
[pid=32008/tid=32009] ppid=32005 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32009/stat : 32009 (toysat) S 32005 32008 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660548 1247350784 30299 33554432000 4194304 16246674 140736189412896 140599158090992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32010] ppid=32005 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32010/stat : 32010 (toysat) S 32005 32008 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660548 1247350784 30306 33554432000 4194304 16246674 140736189412896 140599147601136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32011] ppid=32005 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32011/stat : 32011 (toysat) S 32005 32008 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660548 1247350784 30313 33554432000 4194304 16246674 140736189412896 140599137127600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

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

[startup+0.100119 s]
/proc/loadavg: 1.61 0.58 0.26 3/179 32008
/proc/meminfo: memFree=29731936/32872528 swapFree=1200228/1314692
[pid=32008] ppid=32005 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32008/stat : 32008 (toysat) R 32005 32008 31224 0 -1 4202496 29930 0 0 0 5 4 0 0 20 0 4 0 22660548 1247350784 30281 33554432000 4194304 16246674 140736189412896 140736189412320 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32008/statm: 304529 30293 712 2943 0 301423 0
[pid=32008/tid=32009] ppid=32005 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32009/stat : 32009 (toysat) S 32005 32008 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22660548 1247350784 30299 33554432000 4194304 16246674 140736189412896 140599158090992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32008/tid=32010] ppid=32005 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32010/stat : 32010 (toysat) S 32005 32008 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660548 1247350784 30306 33554432000 4194304 16246674 140736189412896 140599147601136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32008/tid=32011] ppid=32005 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32008/task/32011/stat : 32011 (toysat) S 32005 32008 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660548 1247350784 30313 33554432000 4194304 16246674 140736189412896 140599137127600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.13822
CPU time (s): 0.127979
CPU user time (s): 0.074988
CPU system time (s): 0.052991
CPU usage (%): 92.5909
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.074988
system time used= 0.052991
maximum resident set size= 154096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38184
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= 1

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

The end

Launcher Data 

Begin job on node131 at 2016-06-18 01:29:00
IDJOB=4099431
IDBENCH=1406
IDSOLVER=2542
FILE ID=node131/4099431-1466206140
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099431-1466206140/watcher-4099431-1466206140 -o /tmp/evaluation-result-4099431-1466206140/solver-4099431-1466206140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099431-1466206140.opb

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

MD5SUM BENCH= 5525732a92b9529feed86b3ca7f3367f
RANDOM SEED=163529334

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.55
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.752
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.56
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.752
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.57
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.752
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29733208 kB
Buffers:           37112 kB
Cached:            96504 kB
SwapCached:         1500 kB
Active:          1064140 kB
Inactive:          55736 kB
Active(anon):     985900 kB
Inactive(anon):     2640 kB
Active(file):      78240 kB
Inactive(file):    53096 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             32972 kB
Writeback:             0 kB
AnonPages:       2300596 kB
Mapped:            10044 kB
Shmem:                 0 kB
Slab:             570876 kB
SReclaimable:      14140 kB
SUnreclaim:       556736 kB
KernelStack:        1448 kB
PageTables:         8500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2445144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71676 MiB
End job on node131 at 2016-06-18 01:29:00