Trace number 4086730

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 PB16? (TO) 1800.11 1800.4

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
MD5SUM807bc542b75293285fea5916dfeaaa3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3216
Total number of constraints3658
Number of constraints which are clauses3210
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 786
Number of bits of the biggest sum of numbers10
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
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-4086730-1465263030.opb
0.00/0.00	c File size is 322209 bytes.
1800.09/1800.40	c Sum of soft weights:            6
1800.09/1800.40	c |                                                                                                       |
1800.09/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.09/1800.40	c |                                                                                                       |
1800.09/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.09/1800.40	c |  Number of variables:          3216                                                                   |
1800.09/1800.40	c |  Number of hard clauses:       3273                                                                   |
1800.09/1800.40	c |  Number of soft clauses:          6                                                                   |
1800.09/1800.40	c |  Number of cardinality:          64                                                                   |
1800.09/1800.40	c |  Number of PB :                 384                                                                   |
1800.09/1800.40	c |  Parse time:                   0.04 s                                                                 |
1800.09/1800.40	c |                                                                                                       |
1800.09/1800.40	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-4086730-1465263030/watcher-4086730-1465263030 -o /tmp/evaluation-result-4086730-1465263030/solver-4086730-1465263030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465252035-1925 --watchdog 1960 open-wbo HOME/instance-4086730-1465263030.opb 

pid=3739
running on 8 cores: 0-3,8-11

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.01 2.05 2.07 3/260 3742
/proc/meminfo: memFree=31861156/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=2916 CPUtime=0 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 108144987 2985984 346 33554432000 4194304 6059633 140735476106304 140736591122680 5040671 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 729 347 213 456 0 186 0

[startup+0.100132 s]
/proc/loadavg: 2.01 2.05 2.07 3/260 3742
/proc/meminfo: memFree=31861156/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=25820 CPUtime=0.09 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 4775 0 0 0 9 0 0 0 20 0 1 0 108144987 26439680 4985 33554432000 4194304 6059633 140735476106304 140736591122680 4294931 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 6455 4986 163 456 0 5991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25820

[startup+0.200324 s]
/proc/loadavg: 2.01 2.05 2.07 3/260 3742
/proc/meminfo: memFree=31861156/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=59404 CPUtime=0.19 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 11571 0 0 0 17 2 0 0 20 0 1 0 108144987 60829696 12633 33554432000 4194304 6059633 140735476106304 140736591122680 5043379 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 14851 12635 163 456 0 14387 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 59404

[startup+0.300308 s]
/proc/loadavg: 2.01 2.05 2.07 3/260 3742
/proc/meminfo: memFree=31861156/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=92492 CPUtime=0.29 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 16802 0 0 0 26 3 0 0 20 0 1 0 108144987 94711808 18653 33554432000 4194304 6059633 140735476106304 140736591122680 5043379 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 23123 18653 168 456 0 22659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92492

[startup+0.700261 s]
/proc/loadavg: 2.01 2.05 2.07 3/260 3742
/proc/meminfo: memFree=31861156/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=94604 CPUtime=0.69 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 17410 0 0 0 66 3 0 0 20 0 1 0 108144987 96874496 19261 33554432000 4194304 6059633 140735476106304 140736591122680 4278011 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 23651 19261 182 456 0 23187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94604

[startup+1.50025 s]
/proc/loadavg: 2.01 2.05 2.07 3/261 3743
/proc/meminfo: memFree=31784616/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=95132 CPUtime=1.49 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 17565 0 0 0 146 3 0 0 20 0 1 0 108144987 97415168 19927 33554432000 4194304 6059633 140735476106304 140735476104776 4277781 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 23783 19927 183 456 0 23319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95132

[startup+3.10026 s]
/proc/loadavg: 2.00 2.05 2.07 3/261 3743
/proc/meminfo: memFree=31781204/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=95660 CPUtime=3.09 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 17686 0 0 0 306 3 0 0 20 0 1 0 108144987 97955840 20048 33554432000 4194304 6059633 140735476106304 140735476104680 4277900 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 23915 20048 183 456 0 23451 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95660

[startup+6.30025 s]
/proc/loadavg: 2.00 2.05 2.07 3/261 3743
/proc/meminfo: memFree=31783712/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=96340 CPUtime=6.29 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 17848 0 0 0 625 4 0 0 20 0 1 0 108144987 98652160 20721 33554432000 4194304 6059633 140735476106304 140735476104680 4278354 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 24085 20721 183 456 0 23621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96340

[startup+12.7003 s]
/proc/loadavg: 2.00 2.05 2.07 3/261 3743
/proc/meminfo: memFree=31780840/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=97012 CPUtime=12.69 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 18318 0 0 0 1265 4 0 0 20 0 1 0 108144987 99340288 19780 33554432000 4194304 6059633 140735476106304 140735476105128 4277700 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 24253 19780 184 456 0 23789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97012

[startup+25.5004 s]
/proc/loadavg: 2.00 2.05 2.06 3/261 3743
/proc/meminfo: memFree=31779140/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=98932 CPUtime=25.49 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 19050 0 0 0 2544 5 0 0 20 0 1 0 108144987 101306368 20740 33554432000 4194304 6059633 140735476106304 140735476105128 4277586 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 24733 20740 184 456 0 24269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 98932

[startup+51.1004 s]
/proc/loadavg: 2.00 2.04 2.06 3/259 3743
/proc/meminfo: memFree=31737040/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=130460 CPUtime=51.08 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 19358 0 0 0 5103 5 0 0 20 0 1 0 108144987 133591040 29735 33554432000 4194304 6059633 140735476106304 140735476104824 4277570 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 32615 29735 184 456 0 32151 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130460

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/260 3745
/proc/meminfo: memFree=31696108/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=160808 CPUtime=102.27 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 20414 0 0 0 10220 7 0 0 20 0 1 0 108144987 164667392 37625 33554432000 4194304 6059633 140735476106304 140735476104824 4255366 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 40202 37625 184 456 0 39738 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 160808

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/260 3746
/proc/meminfo: memFree=31726160/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=130460 CPUtime=162.24 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 23674 0 0 0 16214 10 0 0 20 0 1 0 108144987 133591040 30590 33554432000 4194304 6059633 140735476106304 140735476105128 4277778 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 32615 30590 184 456 0 32151 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 130460

[startup+222.311 s]
/proc/loadavg: 2.02 2.03 2.05 3/260 3747
/proc/meminfo: memFree=31718684/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=130460 CPUtime=222.25 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 25567 0 0 0 22212 13 0 0 20 0 1 0 108144987 133591040 30994 33554432000 4194304 6059633 140735476106304 140735476105128 4278035 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 32615 30994 184 456 0 32151 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 130460

[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/260 3748
/proc/meminfo: memFree=31714956/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=130460 CPUtime=282.22 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 26558 0 0 0 28209 13 0 0 20 0 1 0 108144987 133591040 30994 33554432000 4194304 6059633 140735476106304 140735476105128 4246399 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 32615 30994 184 456 0 32151 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 130460

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/260 3749
/proc/meminfo: memFree=31688308/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=342.22 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 28044 0 0 0 34207 15 0 0 20 0 1 0 108144987 184094720 38641 33554432000 4194304 6059633 140735476106304 140735476104840 4277549 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 38641 184 456 0 44481 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 179780

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/260 3751
/proc/meminfo: memFree=31706748/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=130460 CPUtime=402.21 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 28547 0 0 0 40205 16 0 0 20 0 1 0 108144987 133591040 30995 33554432000 4194304 6059633 140735476106304 140735476105128 4278382 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 32615 30995 184 456 0 32151 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 130460

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/260 3752
/proc/meminfo: memFree=31671212/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=462.2 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 29541 0 0 0 46202 18 0 0 20 0 1 0 108144987 184094720 41201 33554432000 4194304 6059633 140735476106304 140735476104840 4246362 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 41201 184 456 0 44481 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 179780

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/260 3753
/proc/meminfo: memFree=31673152/32872528 swapFree=9200/9200
[pid=3742] ppid=3739 vsize=179780 CPUtime=522.19 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 30536 0 0 0 52200 19 0 0 20 0 1 0 108144987 184094720 39154 33554432000 4194304 6059633 140735476106304 140735476104840 4278479 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 39154 184 456 0 44481 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 179780

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/261 3757
/proc/meminfo: memFree=31656352/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=582.18 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 31041 0 0 0 58198 20 0 0 20 0 1 0 108144987 184094720 41714 33554432000 4194304 6059633 140735476106304 140735476104840 4278520 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 41714 184 456 0 44481 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 179780


################
# More data... #
################


[startup+882.311 s]
/proc/loadavg: 2.00 2.01 2.00 3/260 3763
/proc/meminfo: memFree=31645952/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=882.15 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 35319 0 0 0 88186 29 0 0 20 0 1 0 108144987 184094720 42226 33554432000 4194304 6059633 140735476106304 140735476104840 4277900 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 42226 184 456 0 44481 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 179780

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 3764
/proc/meminfo: memFree=31648924/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=942.12 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 36408 0 0 0 94182 30 0 0 20 0 1 0 108144987 184094720 42226 33554432000 4194304 6059633 140735476106304 140735476104840 4278373 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 42226 184 456 0 44481 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 179780

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 3766
/proc/meminfo: memFree=31648380/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1002.12 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 37492 0 0 0 100180 32 0 0 20 0 1 0 108144987 184094720 41714 33554432000 4194304 6059633 140735476106304 140735476104840 4277527 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 41714 184 456 0 44481 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 179780

[startup+1062.3 s]
/proc/loadavg: 2.23 2.05 2.02 3/265 3908
/proc/meminfo: memFree=31614128/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1062.11 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 38585 0 0 0 106177 34 0 0 20 0 1 0 108144987 184094720 41202 33554432000 4194304 6059633 140735476106304 140735476104840 4277855 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 41202 184 456 0 44481 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 179780

[startup+1122.3 s]
/proc/loadavg: 3.06 2.38 2.13 3/261 5482
/proc/meminfo: memFree=31454052/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1122.1 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 39675 0 0 0 112173 37 0 0 20 0 1 0 108144987 184094720 40690 33554432000 4194304 6059633 140735476106304 140735476104840 4277570 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 40690 184 456 0 44481 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 179780

[startup+1182.3 s]
/proc/loadavg: 2.49 2.33 2.13 3/261 5486
/proc/meminfo: memFree=31436164/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=210600 CPUtime=1182.1 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 40270 0 0 0 118172 38 0 0 20 0 1 0 108144987 215654400 46389 33554432000 4194304 6059633 140735476106304 140735476105096 4277900 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 52650 46389 184 456 0 52186 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 210600

[startup+1242.3 s]
/proc/loadavg: 2.16 2.27 2.12 3/260 5487
/proc/meminfo: memFree=31442832/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=210600 CPUtime=1242.09 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 41361 0 0 0 124169 40 0 0 20 0 1 0 108144987 215654400 45365 33554432000 4194304 6059633 140735476106304 140735476105096 4261657 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 52650 45365 184 456 0 52186 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 210600

[startup+1302.3 s]
/proc/loadavg: 2.12 2.23 2.11 3/260 5489
/proc/meminfo: memFree=31448280/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1302.07 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 41919 0 0 0 130166 41 0 0 20 0 1 0 108144987 184094720 43305 33554432000 4194304 6059633 140735476106304 140735476104840 4277900 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 43305 184 456 0 44481 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 179780

[startup+1362.3 s]
/proc/loadavg: 2.04 2.18 2.10 3/260 5490
/proc/meminfo: memFree=31448624/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1362.06 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 42991 0 0 0 136163 43 0 0 20 0 1 0 108144987 184094720 42226 33554432000 4194304 6059633 140735476106304 140735476105128 4277549 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 42226 184 456 0 44481 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 179780

[startup+1422.3 s]
/proc/loadavg: 2.05 2.16 2.09 3/260 5491
/proc/meminfo: memFree=31466216/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1422.06 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 44101 0 0 0 142161 45 0 0 20 0 1 0 108144987 184094720 39666 33554432000 4194304 6059633 140735476106304 140735476105128 4278447 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 39666 184 456 0 44481 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 179780

[startup+1482.3 s]
/proc/loadavg: 2.02 2.13 2.09 3/260 5492
/proc/meminfo: memFree=31420076/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=210600 CPUtime=1482.04 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 44693 0 0 0 148158 46 0 0 20 0 1 0 108144987 215654400 45877 33554432000 4194304 6059633 140735476106304 140735476105096 4277900 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 52650 45877 184 456 0 52186 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 210600

[startup+1542.31 s]
/proc/loadavg: 2.00 2.10 2.08 3/260 5493
/proc/meminfo: memFree=31438040/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=210600 CPUtime=1542.05 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 45315 0 0 0 154157 48 0 0 20 0 1 0 108144987 215654400 43356 33554432000 4194304 6059633 140735476106304 140735476105128 4278354 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 52650 43356 184 456 0 52186 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 210600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/260 5495
/proc/meminfo: memFree=31453848/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1602.02 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 46332 0 0 0 160153 49 0 0 20 0 1 0 108144987 184094720 40690 33554432000 4194304 6059633 140735476106304 140735476105128 4277549 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 40690 184 456 0 44481 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 179780

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/260 5496
/proc/meminfo: memFree=31408168/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=210600 CPUtime=1662.02 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 46930 0 0 0 166152 50 0 0 20 0 1 0 108144987 215654400 46389 33554432000 4194304 6059633 140735476106304 140735476105096 4278363 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 52650 46389 184 456 0 52186 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 210600

[startup+1722.3 s]
/proc/loadavg: 1.97 2.05 2.06 3/260 6003
/proc/meminfo: memFree=31531172/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=210600 CPUtime=1722.01 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 48046 0 0 0 172149 52 0 0 20 0 1 0 108144987 215654400 44341 33554432000 4194304 6059633 140735476106304 140735476105096 4278447 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 52650 44341 184 456 0 52186 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 210600

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/261 6007
/proc/meminfo: memFree=31519688/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1782 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 48567 0 0 0 178147 53 0 0 20 0 1 0 108144987 184094720 40178 33554432000 4194304 6059633 140735476106304 140735476105128 4278373 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 40178 184 456 0 44481 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 179780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.05 2.06 3/261 6007
/proc/meminfo: memFree=31488372/32872528 swapFree=9196/9196
[pid=3742] ppid=3739 vsize=179780 CPUtime=1800.09 cores=0-3,8-11
/proc/3742/stat : 3742 (open-wbo) R 3739 3742 1909 0 -1 4202496 48572 0 0 0 179956 53 0 0 20 0 1 0 108144987 184094720 42738 33554432000 4194304 6059633 140735476106304 140735476105128 4278425 0 0 4096 8404992 0 0 0 17 8 0 0 0 0 0
/proc/3742/statm: 44945 42738 184 456 0 44481 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 179780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.11
CPU user time (s): 1799.57
CPU system time (s): 0.541917
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 259920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.541917
maximum resident set size= 228428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48575
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= 26
involuntary context switches= 1854

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

The end

Launcher Data 

Begin job on node132 at 2016-06-07 03:30:30
IDJOB=4086730
IDBENCH=71844
IDSOLVER=2547
FILE ID=node132/4086730-1465263030
RUNJOBID= node132-1465252035-1925
PBS_JOBID= 19843258
Free space on /tmp= 71744 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4086730-1465263030/watcher-4086730-1465263030 -o /tmp/evaluation-result-4086730-1465263030/solver-4086730-1465263030 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465252035-1925 --watchdog 1960  open-wbo HOME/instance-4086730-1465263030.opb

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

MD5SUM BENCH= 807bc542b75293285fea5916dfeaaa3e
RANDOM SEED=332728204

node132.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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31861584 kB
Buffers:           68224 kB
Cached:            96248 kB
SwapCached:         3204 kB
Active:           174736 kB
Inactive:         112168 kB
Active(anon):     121752 kB
Inactive(anon):     3232 kB
Active(file):      52984 kB
Inactive(file):   108936 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094548 kB
Dirty:              5432 kB
Writeback:             0 kB
AnonPages:        133380 kB
Mapped:             7836 kB
Shmem:                 0 kB
Slab:             574536 kB
SReclaimable:      14856 kB
SUnreclaim:       559680 kB
KernelStack:        2184 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     275252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71736 MiB
End job on node132 at 2016-06-07 04:00:30