Trace number 4118820

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 NameAnswerobjective functionCPU timeWall clock time
Open-WBO-LSU PB16? 78.0721 79.0872

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb
MD5SUMaab1aa19ee49ed77df3100abf5070097
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-5712
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4457
Total number of constraints8814
Number of constraints which are clauses4407
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4407
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 4457
Biggest coefficient in the objective function 1072
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 385472
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1072
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 385472
Number of bits of the biggest sum of numbers19
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
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016 -- LSU
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4118820-1467243816.opb
0.00/0.00	c File size is 379498 bytes.
77.56/78.58	c Sum of soft weights:       385472
77.56/78.58	c |                                                                                                       |
77.56/78.58	c ========================================[ Problem Statistics ]===========================================
77.56/78.58	c |                                                                                                       |
77.56/78.58	c |  Problem Type:             Weighted                                                                   |
77.56/78.58	c |  Number of variables:          4457                                                                   |
77.56/78.58	c |  Number of hard clauses:       4407                                                                   |
77.56/78.58	c |  Number of soft clauses:       4457                                                                   |
77.56/78.58	c |  Number of cardinality:           0                                                                   |
77.56/78.58	c |  Number of PB :                4407                                                                   |
77.56/78.58	c |  Parse time:                   0.05 s                                                                 |
77.56/78.58	c |                                                                                                       |
77.56/78.58	c ==========================================[ Solver Settings ]============================================
77.56/78.58	c |                                                                                                       |
77.56/78.58	c |  Algorithm:                LinearSU                                                                   |
77.56/78.58	c |  BMO strategy:                   On                                                                   |
77.56/78.58	c |  BMO search:                     No                                                                   |
77.56/78.58	c |  PB Encoding:                   GTE                                                                   |
77.56/78.58	c |                                                                                                       |
77.56/78.58	o -3618
77.56/78.58	c Error: Out of memory.
77.56/78.58	s UNKNOWN

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-4118820-1467243816/watcher-4118820-1467243816 -o /tmp/evaluation-result-4118820-1467243816/solver-4118820-1467243816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467234304-8010 --watchdog 1960 open-wbo-lsu HOME/instance-4118820-1467243816.opb 

pid=9065
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.23 2.21 2.18 4/176 9068
/proc/meminfo: memFree=28548288/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 5331189 3178496 392 33554432000 4194304 6058637 140736113390736 140734192535224 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 776 400 227 456 0 219 0

[startup+0.100122 s]
/proc/loadavg: 2.23 2.21 2.18 4/176 9068
/proc/meminfo: memFree=28548288/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=23552 CPUtime=0.09 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 4764 0 0 0 9 0 0 0 20 0 1 0 5331189 24117248 4921 33554432000 4194304 6058637 140736113390736 140734192535224 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 5888 4923 170 456 0 5424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23552

[startup+0.200312 s]
/proc/loadavg: 2.23 2.21 2.18 4/176 9068
/proc/meminfo: memFree=28548288/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=51240 CPUtime=0.19 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 8695 0 0 0 18 1 0 0 20 0 1 0 5331189 52469760 10343 33554432000 4194304 6058637 140736113390736 140734192535224 4294863 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 12810 10344 170 456 0 12346 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51240

[startup+0.300297 s]
/proc/loadavg: 2.23 2.21 2.18 4/176 9068
/proc/meminfo: memFree=28548288/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=72724 CPUtime=0.29 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 11770 0 0 0 28 1 0 0 20 0 1 0 5331189 74469376 14811 33554432000 4194304 6058637 140736113390736 140734192535224 5046461 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 18181 14811 170 456 0 17717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72724

[startup+0.70024 s]
/proc/loadavg: 2.23 2.21 2.18 4/176 9068
/proc/meminfo: memFree=28548288/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=162356 CPUtime=0.69 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 22178 0 0 0 65 4 0 0 20 0 1 0 5331189 166252544 34053 33554432000 4194304 6058637 140736113390736 140734192535224 4294863 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 40589 34053 170 456 0 40125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 162356

[startup+1.50024 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 9069
/proc/meminfo: memFree=28334964/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=372512 CPUtime=1.49 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 40123 0 0 0 141 8 0 0 20 0 1 0 5331189 381452288 71826 33554432000 4194304 6058637 140736113390736 140736113388600 5130283 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 93128 71827 170 456 0 92664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 372512

[startup+3.10024 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 9069
/proc/meminfo: memFree=28129948/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=667208 CPUtime=3.09 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 72254 0 0 0 293 16 0 0 20 0 1 0 5331189 683220992 141771 33554432000 4194304 6058637 140736113390736 140736113388328 5130283 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 166802 141771 170 456 0 166338 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 667208

[startup+6.30028 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 9069
/proc/meminfo: memFree=27560764/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=1167476 CPUtime=6.29 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 129252 0 0 0 597 32 0 0 20 0 1 0 5331189 1195495424 277974 33554432000 4194304 6058637 140736113390736 140736113388600 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 291869 277974 170 456 0 291405 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1167476

[startup+12.7003 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 9069
/proc/meminfo: memFree=26445352/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=2693148 CPUtime=12.69 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 238027 0 0 0 1210 59 0 0 20 0 1 0 5331189 2757783552 545670 33554432000 4194304 6058637 140736113390736 140736113388600 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 673287 545670 170 456 0 672823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2693148

[startup+25.5003 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 9069
/proc/meminfo: memFree=24368332/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=4748556 CPUtime=25.49 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 425889 0 0 0 2437 112 0 0 20 0 1 0 5331189 4862521344 1047797 33554432000 4194304 6058637 140736113390736 140736113388600 4312968 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 1187139 1047797 170 456 0 1186675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4748556

[startup+51.1004 s]
/proc/loadavg: 2.22 2.21 2.18 4/177 9069
/proc/meminfo: memFree=20365244/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=10834796 CPUtime=51.08 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 842006 0 0 0 4890 218 0 0 20 0 1 0 5331189 11094831104 2054119 33554432000 4194304 6058637 140736113390736 140736113388872 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 2708699 2054120 170 456 0 2708235 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10834796

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

[startup+51.2003 s]
/proc/loadavg: 2.22 2.21 2.18 4/177 9069
/proc/meminfo: memFree=20365244/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=10838020 CPUtime=51.18 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 842923 0 0 0 4900 218 0 0 20 0 1 0 5331189 11098132480 2057080 33554432000 4194304 6058637 140736113390736 140736113388872 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 2709505 2057080 170 456 0 2709041 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 10838020

[startup+64.0003 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 9070
/proc/meminfo: memFree=18470232/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=11968412 CPUtime=63.98 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 1016658 0 0 0 6133 265 0 0 20 0 1 0 5331189 12255653888 2515953 33554432000 4194304 6058637 140736113390736 140736113388872 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 2992103 2515954 170 456 0 2991639 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 11968412

[startup+70.4003 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 9070
/proc/meminfo: memFree=17648184/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=12177020 CPUtime=70.38 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 1069903 0 0 0 6758 280 0 0 20 0 1 0 5331189 12469268480 2715344 33554432000 4194304 6058637 140736113390736 140736113388872 5130720 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 3044255 2715345 170 456 0 3043791 0
Current children cumulated CPU time (s) 70.38
Current children cumulated vsize (KiB) 12177020

[startup+73.6003 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 9070
/proc/meminfo: memFree=17351448/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=12363412 CPUtime=73.58 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 1111164 0 0 0 7066 292 0 0 20 0 1 0 5331189 12660133888 2836833 33554432000 4194304 6058637 140736113390736 140736113388328 5042435 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 3090853 2836848 170 456 0 3090389 0
Current children cumulated CPU time (s) 73.58
Current children cumulated vsize (KiB) 12363412

[startup+76.8002 s]
/proc/loadavg: 2.14 2.19 2.18 3/176 9070
/proc/meminfo: memFree=16759828/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=12585068 CPUtime=76.77 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202496 1162796 0 0 0 7371 306 0 0 20 0 1 0 5331189 12887109632 2973290 33554432000 4194304 6058637 140736113390736 140736113388328 4251816 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 3146267 2973291 170 456 0 3145803 0
Current children cumulated CPU time (s) 76.77
Current children cumulated vsize (KiB) 12585068

[startup+78.4002 s]
/proc/loadavg: 2.14 2.19 2.18 2/176 9070
/proc/meminfo: memFree=16634920/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=12751108 CPUtime=77.56 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) S 9065 9068 5511 0 -1 4202496 1185441 0 0 0 7443 313 0 0 20 0 1 0 5331189 13057134592 3013820 33554432000 4194304 6058637 140736113390736 140736113389960 5262704 0 0 4096 8404992 18446744071579460660 0 0 17 4 0 0 0 0 0
/proc/9068/statm: 3187777 3013820 219 456 0 3187313 0
Current children cumulated CPU time (s) 77.56
Current children cumulated vsize (KiB) 12751108

[startup+78.8002 s]
/proc/loadavg: 2.14 2.19 2.18 2/176 9070
/proc/meminfo: memFree=16634920/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=0 CPUtime=77.78 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202500 1185442 0 0 0 7443 335 0 0 20 0 1 0 5331189 0 0 33554432000 0 0 0 0 0 0 0 4096 8404992 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9068/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 77.78
Current children cumulated vsize (KiB) 0

[startup+79.0002 s]
/proc/loadavg: 2.14 2.19 2.18 2/176 9070
/proc/meminfo: memFree=16634920/32872528 swapFree=1390956/1568784
[pid=9068] ppid=9065 vsize=0 CPUtime=77.98 cores=0,2,4,6
/proc/9068/stat : 9068 (open-wbo-lsu) R 9065 9068 5511 0 -1 4202500 1185442 0 0 0 7443 355 0 0 20 0 1 0 5331189 0 0 33554432000 0 0 0 0 0 0 0 4096 8404992 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9068/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 77.98
Current children cumulated vsize (KiB) 0

Child status: 50
Real time (s): 79.0872
CPU time (s): 78.0721
CPU user time (s): 74.4327
CPU system time (s): 3.63945
CPU usage (%): 98.7165
Max. virtual memory (cumulated for all children) (KiB): 12751108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.4327
system time used= 3.63945
maximum resident set size= 12055284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1185442
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= 4
involuntary context switches= 84

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

The end

Launcher Data 

Begin job on node140 at 2016-06-30 01:43:36
IDJOB=4118820
IDBENCH=111536
IDSOLVER=2545
FILE ID=node140/4118820-1467243816
RUNJOBID= node140-1467234304-8010
PBS_JOBID= 19997571
Free space on /tmp= 71660 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118820-1467243816/watcher-4118820-1467243816 -o /tmp/evaluation-result-4118820-1467243816/solver-4118820-1467243816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467234304-8010 --watchdog 1960  open-wbo-lsu HOME/instance-4118820-1467243816.opb

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

MD5SUM BENCH= aab1aa19ee49ed77df3100abf5070097
RANDOM SEED=819123182

node140.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.708
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.41
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.708
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.708
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.56
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.708
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.708
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.708
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.708
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.708
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28548196 kB
Buffers:          111128 kB
Cached:          1654228 kB
SwapCached:            0 kB
Active:           345840 kB
Inactive:        1669172 kB
Active(anon):     243740 kB
Inactive(anon):     8832 kB
Active(file):     102100 kB
Inactive(file):  1660340 kB
Unevictable:     1568784 kB
Mlocked:         1390956 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5068 kB
Writeback:             0 kB
AnonPages:       1818224 kB
Mapped:            14624 kB
Shmem:               204 kB
Slab:             607860 kB
SReclaimable:      52008 kB
SUnreclaim:       555852 kB
KernelStack:        1424 kB
PageTables:         7860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1965388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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= 71652 MiB
End job on node140 at 2016-06-30 01:44:55