Trace number 4099501

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.095984 0.0983671

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM6121557b87a2568662d113be465279a2
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.012997
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables338
Total number of constraints270
Number of constraints which are clauses240
Number of constraints which are cardinality constraints (but not clauses)30
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:02+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-4099501-1466206142.opb"]
0.00/0.01	c use --random-gen="1655747249 896072545 2192450238 3418932170 1033263826 2005645217 2711055707 2138006052 1135002081 3232336285 1553152417 1012169827 636532967 2176947803 3773428990 3767935969 1097131237 1850507117 778927265 988676820 879877260 4115703664 4027165613 2529881462 1138831693 3637236920 596085260 3054615573 1473792981 719437796 3098634982 1939301765 427542814 2358974499 458304520 3947210580 2328273645 2119474461 138859760 4061431067 3769403247 1892693305 3470505183 69602666 3170346196 3251456296 421983519 1749797309 997470701 3221405807 2426452212 3729584255 1704723002 1263521736 3828464289 1603126575 663795843 3906783330 4054553338 3928729582 3461424546 1300022737 113045784 2695540689 2195632426 225302233 2989358075 1061422455 1862452524 4175476605 3707783764 2634162105 1341618808 1202220043 2989312151 4074851683 2597736870 805438145 2510866419 1393224522 2709027229 1382809292 2311288018 2582146977 3230753708 2442684241 4282475765 2946788291 3043406994 3716303792 1030334919 2857520504 1143801263 3998329700 2524682938 2386417474 496353635 3572511944 3748603316 967764656 349902940 2863416125 3846040364 3023891793 1042840504 4068537250 289542752 2272869408 1059529852 135202532 3402249432 3108497982 3551441608 893818676 3316146756 3398624033 578467749 3144815188 500193657 133199801 1817406910 2637016437 1572092544 1533893003 4260482312 2023602899 2793967234 2720130567 2276089983 2433455123 866259983 2346962334 1364572056 1016359403 2917392042 3551611616 361784348 3067745947 2899748671 723548778 379053480 3832838653 726394282 1489247945 1670329350 273108475 3359992606 3165933525 3156716305 3016921775 3301405139 2448144955 2054527625 3860118234 3712644326 3643770810 3320363551 147858587 3097259055 668538667 2623370634 112945592 1928648235 4014055354 1906265774 1572287419 1988242539 1401798337 3793509065 1284922741 3162078000 3770600478 2224867874 1164910564 3921153372 1205579143 2913021089 2064397856 2781920062 3993555753 581691434 2965314719 2181853243 1261052129 2727115995 4116275239 270902015 3037740310 1404104214 2855485860 4185316156 3907301045 1164955536 969696583 2457309726 3507154297 1196818959 648689109 863333057 1436553812 853318299 2587117273 2664411418 3577485170 1125650580 226161212 3300499814 189018250 3367782850 2833849038 2434944200 1597284646 4206005272 2978522846 3145469239 724378365 3730666335 458914106 3762387 514931311 2081524767 1009088914 2673842509 1002801870 3666211441 1599461905 1973789287 265884558 351536524 536345792 4117929089 3078056139 2951346273 3197541787 3749007845 3047389019 3483413049 1109436583 1535494581 375304826 977119488 3912370111 914808578 4239402261 675242680 667525330 3320390856 258384451 708281754 2684573684 1774857061 3726660464 3319762519 853692922 1996003892 3278805783 255 362436" option to reproduce the execution
0.00/0.02	c #vars 338
0.00/0.02	c #constraints 270
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 |      202      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      136 |      100 |      202      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      521 |      250 |      223      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      699 |      255 |      246      1 |        0 |        0
0.00/0.09	c #cpu_time = 0.061s
0.00/0.09	c #wall_clock_time = 0.061s
0.00/0.09	c #decision = 699
0.00/0.09	c #random_decision = 0
0.00/0.09	c #conflict = 255
0.00/0.09	c #restart = 2
0.00/0.09	s SATISFIABLE
0.00/0.09	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
0.00/0.09	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
0.00/0.09	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
0.00/0.09	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
0.00/0.09	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50
0.00/0.09	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
0.00/0.09	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.00/0.09	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
0.00/0.09	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.00/0.09	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
0.00/0.09	v -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
0.00/0.09	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
0.00/0.09	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
0.00/0.09	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
0.00/0.09	v x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
0.00/0.09	v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
0.00/0.09	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
0.00/0.09	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180
0.00/0.09	v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
0.00/0.09	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
0.00/0.09	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
0.00/0.09	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
0.00/0.09	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
0.00/0.09	v x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240
0.00/0.09	v -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250
0.00/0.09	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260
0.00/0.09	v x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
0.00/0.09	v x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280
0.00/0.09	v -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290
0.00/0.09	v x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
0.00/0.09	v x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
0.00/0.09	v -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
0.00/0.09	v -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330
0.00/0.09	v -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338
0.00/0.09	c total CPU time = 0.087s
0.00/0.09	c total wall clock time = 0.087s

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

pid=15717
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: 0.90 0.33 0.20 3/179 15720
/proc/meminfo: memFree=29857484/32872528 swapFree=1431120/1543540
[pid=15720] ppid=15717 vsize=537020 CPUtime=0 cores=1,3,5,7
/proc/15720/stat : 15720 (toysat) R 15717 15720 15180 0 -1 4202496 1969 0 0 0 0 0 0 0 20 0 4 0 22662962 549908480 1819 33554432000 4194304 16246674 140736551198064 140736551197488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15720/statm: 134767 1829 441 2943 0 131661 0
[pid=15720/tid=15721] ppid=15717 vsize=553404 CPUtime=0 cores=1,3,5,7
/proc/15720/task/15721/stat : 15721 (toysat) S 15717 15720 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22662962 566685696 1886 33554432000 4194304 16246674 140736551198064 140014324264176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15720/tid=15722] ppid=15717 vsize=558524 CPUtime=0 cores=1,3,5,7
/proc/15720/task/15722/stat : 15722 (toysat) S 15717 15720 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662962 571928576 1903 33554432000 4194304 16246674 140736551198064 140014313774320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15720/tid=15723] ppid=15717 vsize=562620 CPUtime=0 cores=1,3,5,7
/proc/15720/task/15723/stat : 15723 (toysat) S 15717 15720 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662962 576122880 1919 33554432000 4194304 16246674 140736551198064 140014303300784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

Child status: 0
Real time (s): 0.0983671
CPU time (s): 0.095984
CPU user time (s): 0.048992
CPU system time (s): 0.046992
CPU usage (%): 97.5774
Max. virtual memory (cumulated for all children) (KiB): 0

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

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

The end

Launcher Data 

Begin job on node116 at 2016-06-18 01:29:02
IDJOB=4099501
IDBENCH=1427
IDSOLVER=2542
FILE ID=node116/4099501-1466206142
RUNJOBID= node116-1466206094-15197
PBS_JOBID= 19918160
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_15_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-4099501-1466206142/watcher-4099501-1466206142 -o /tmp/evaluation-result-4099501-1466206142/solver-4099501-1466206142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099501-1466206142.opb

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

MD5SUM BENCH= 6121557b87a2568662d113be465279a2
RANDOM SEED=830293210

node116.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.781
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.56
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.781
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.781
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.55
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.781
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.781
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.781
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.54
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.781
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.781
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:        29887400 kB
Buffers:           36204 kB
Cached:            98872 kB
SwapCached:         2180 kB
Active:           676968 kB
Inactive:          56812 kB
Active(anon):     599688 kB
Inactive(anon):     1500 kB
Active(file):      77280 kB
Inactive(file):    55312 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             33120 kB
Writeback:             0 kB
AnonPages:       2139772 kB
Mapped:            10608 kB
Shmem:                 0 kB
Slab:             572808 kB
SReclaimable:      16208 kB
SUnreclaim:       556600 kB
KernelStack:        1384 kB
PageTables:         9044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2759728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71604 MiB
End job on node116 at 2016-06-18 01:29:02