Trace number 4086731

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.05 1800.4

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
MD5SUM899c8865b8ac9a45eaa204f923cbd9e8
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 variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
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 7
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 947
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-4086731-1465262919.opb
0.00/0.00	c File size is 469538 bytes.
1800.04/1800.40	c Sum of soft weights:            7
1800.04/1800.40	c |                                                                                                       |
1800.04/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.04/1800.40	c |                                                                                                       |
1800.04/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.04/1800.40	c |  Number of variables:          4977                                                                   |
1800.04/1800.40	c |  Number of hard clauses:       5045                                                                   |
1800.04/1800.40	c |  Number of soft clauses:          7                                                                   |
1800.04/1800.40	c |  Number of cardinality:          76                                                                   |
1800.04/1800.40	c |  Number of PB :                 448                                                                   |
1800.04/1800.40	c |  Parse time:                   0.05 s                                                                 |
1800.04/1800.40	c |                                                                                                       |
1800.04/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-4086731-1465262919/watcher-4086731-1465262919 -o /tmp/evaluation-result-4086731-1465262919/solver-4086731-1465262919 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465252035-1926 --watchdog 1960 open-wbo HOME/instance-4086731-1465262919.opb 

pid=3689
running on 8 cores: 4-7,12-15

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.05 2.08 2.08 3/259 3692
/proc/meminfo: memFree=31913276/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=3196 CPUtime=0 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 528 0 0 0 0 0 0 0 20 0 1 0 108133940 3272704 404 33554432000 4194304 6059633 140735276572080 140733222999336 5043379 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 799 404 249 456 0 220 0

[startup+0.100126 s]
/proc/loadavg: 2.05 2.08 2.08 3/259 3692
/proc/meminfo: memFree=31913276/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=19348 CPUtime=0.09 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 3495 0 0 0 9 0 0 0 20 0 1 0 108133940 19812352 4272 33554432000 4194304 6059633 140735276572080 140733222999336 5043379 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 4837 4273 163 456 0 4373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19348

[startup+0.200378 s]
/proc/loadavg: 2.05 2.08 2.08 3/259 3692
/proc/meminfo: memFree=31913276/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=59040 CPUtime=0.19 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 10434 0 0 0 18 1 0 0 20 0 1 0 108133940 60456960 11995 33554432000 4194304 6059633 140735276572080 140733222999336 5043379 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 14760 11998 163 456 0 14296 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 59040

[startup+0.300264 s]
/proc/loadavg: 2.05 2.08 2.08 3/259 3692
/proc/meminfo: memFree=31913276/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=93808 CPUtime=0.28 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 16517 0 0 0 26 2 0 0 20 0 1 0 108133940 96059392 19501 33554432000 4194304 6059633 140735276572080 140735276570136 5043379 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 23452 19501 163 456 0 22988 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 93808

[startup+0.700274 s]
/proc/loadavg: 2.05 2.08 2.08 3/259 3692
/proc/meminfo: memFree=31913276/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=116740 CPUtime=0.69 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 20786 0 0 0 65 4 0 0 20 0 1 0 108133940 119541760 25068 33554432000 4194304 6059633 140735276572080 140735276570136 4277693 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 29185 25068 182 456 0 28721 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116740

[startup+1.50028 s]
/proc/loadavg: 2.05 2.08 2.08 3/260 3693
/proc/meminfo: memFree=31813460/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=117268 CPUtime=1.49 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 20898 0 0 0 145 4 0 0 20 0 1 0 108133940 120082432 25180 33554432000 4194304 6059633 140735276572080 140735276570456 4278312 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 29317 25180 182 456 0 28853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117268

[startup+3.1003 s]
/proc/loadavg: 2.05 2.08 2.08 3/260 3693
/proc/meminfo: memFree=31810484/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=118060 CPUtime=3.09 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 21387 0 0 0 305 4 0 0 20 0 1 0 108133940 120893440 25666 33554432000 4194304 6059633 140735276572080 140735276570456 4277570 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 29515 25666 183 456 0 29051 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118060

[startup+6.30027 s]
/proc/loadavg: 2.05 2.08 2.08 3/260 3693
/proc/meminfo: memFree=31804616/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=137824 CPUtime=6.29 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 21955 0 0 0 625 4 0 0 20 0 1 0 108133940 141131776 26228 33554432000 4194304 6059633 140735276572080 140735276570456 4255169 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 34456 26228 183 456 0 33992 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137824

[startup+12.7003 s]
/proc/loadavg: 2.04 2.08 2.08 3/260 3693
/proc/meminfo: memFree=31786000/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=120248 CPUtime=12.68 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 23061 0 0 0 1263 5 0 0 20 0 1 0 108133940 123133952 26372 33554432000 4194304 6059633 140735276572080 140735276570568 4277549 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 30062 26372 184 456 0 29598 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 120248

[startup+25.5004 s]
/proc/loadavg: 2.03 2.08 2.08 3/260 3693
/proc/meminfo: memFree=31758336/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=122048 CPUtime=25.49 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 24459 0 0 0 2542 7 0 0 20 0 1 0 108133940 124977152 26810 33554432000 4194304 6059633 140735276572080 140735276570456 4277904 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 30512 26810 184 456 0 30048 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122048

[startup+51.1004 s]
/proc/loadavg: 2.02 2.07 2.07 3/260 3693
/proc/meminfo: memFree=31751792/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=143952 CPUtime=51.08 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 26641 0 0 0 5099 9 0 0 20 0 1 0 108133940 147406848 29046 33554432000 4194304 6059633 140735276572080 140735276570456 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 35988 29046 184 456 0 35524 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143952

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/261 3697
/proc/meminfo: memFree=31749408/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=128076 CPUtime=102.28 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 29731 0 0 0 10215 13 0 0 20 0 1 0 108133940 131149824 28280 33554432000 4194304 6059633 140735276572080 140735276570904 4277549 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 32019 28280 184 456 0 31555 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 128076

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/260 3744
/proc/meminfo: memFree=31737040/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=149892 CPUtime=162.24 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 33726 0 0 0 16205 19 0 0 20 0 1 0 108133940 153489408 31240 33554432000 4194304 6059633 140735276572080 140735276570872 4278520 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 37473 31240 184 456 0 37009 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 149892

[startup+222.311 s]
/proc/loadavg: 2.00 2.03 2.06 3/260 3745
/proc/meminfo: memFree=31698812/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=152360 CPUtime=222.24 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 36675 0 0 0 22201 23 0 0 20 0 1 0 108133940 156016640 32416 33554432000 4194304 6059633 140735276572080 140735276570456 4277990 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 38090 32416 184 456 0 37626 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 152360

[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/260 3746
/proc/meminfo: memFree=31684196/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=154216 CPUtime=282.22 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 38009 0 0 0 28197 25 0 0 20 0 1 0 108133940 157917184 34406 33554432000 4194304 6059633 140735276572080 140735276570456 4278363 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 38554 34406 184 456 0 38090 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 154216

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/260 3747
/proc/meminfo: memFree=31728304/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=156640 CPUtime=342.21 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 39831 0 0 0 34193 28 0 0 20 0 1 0 108133940 160399360 31889 33554432000 4194304 6059633 140735276572080 140735276570904 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 39160 31889 184 456 0 38696 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 156640

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/260 3748
/proc/meminfo: memFree=31676976/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=157768 CPUtime=402.2 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 40568 0 0 0 40192 28 0 0 20 0 1 0 108133940 161554432 36308 33554432000 4194304 6059633 140735276572080 140735276570456 4278658 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 39442 36308 184 456 0 38978 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 157768

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/260 3749
/proc/meminfo: memFree=31678068/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=158992 CPUtime=462.19 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 42278 0 0 0 46188 31 0 0 20 0 1 0 108133940 162807808 35526 33554432000 4194304 6059633 140735276572080 140735276570456 4261480 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 39748 35526 184 456 0 39284 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 158992

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/260 3751
/proc/meminfo: memFree=31688084/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=160644 CPUtime=522.18 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 44623 0 0 0 52183 35 0 0 20 0 1 0 108133940 164499456 33949 33554432000 4194304 6059633 140735276572080 140735276570904 4277645 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 40161 33949 184 456 0 39697 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 160644

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/260 3752
/proc/meminfo: memFree=31707640/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=161296 CPUtime=582.17 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 45809 0 0 0 58180 37 0 0 20 0 1 0 108133940 165167104 37200 33554432000 4194304 6059633 140735276572080 140735276570904 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 40324 37200 184 456 0 39860 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 161296


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


[startup+882.311 s]
/proc/loadavg: 2.05 2.02 2.01 3/260 3761
/proc/meminfo: memFree=31655632/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=196844 CPUtime=882.13 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 53387 0 0 0 88165 48 0 0 20 0 1 0 108133940 201568256 39378 33554432000 4194304 6059633 140735276572080 140735276570872 4278382 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 49211 39378 184 456 0 48747 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 196844

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/260 3762
/proc/meminfo: memFree=31648656/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=197860 CPUtime=942.11 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 54627 0 0 0 94161 50 0 0 20 0 1 0 108133940 202608640 40642 33554432000 4194304 6059633 140735276572080 140735276570456 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 49465 40642 184 456 0 49001 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 197860

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/260 3763
/proc/meminfo: memFree=31639560/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=198380 CPUtime=1002.1 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 55742 0 0 0 100158 52 0 0 20 0 1 0 108133940 203141120 41777 33554432000 4194304 6059633 140735276572080 140735276570456 4278482 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 49595 41777 184 456 0 49131 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 198380

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 3764
/proc/meminfo: memFree=31640560/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=199024 CPUtime=1062.09 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 56866 0 0 0 106155 54 0 0 20 0 1 0 108133940 203800576 42078 33554432000 4194304 6059633 140735276572080 140735276570456 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 49756 42078 184 456 0 49292 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 199024

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 3766
/proc/meminfo: memFree=31637768/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=200124 CPUtime=1122.08 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 58086 0 0 0 112152 56 0 0 20 0 1 0 108133940 204926976 42293 33554432000 4194304 6059633 140735276572080 140735276570456 4278024 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 50031 42293 184 456 0 49567 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 200124

[startup+1182.3 s]
/proc/loadavg: 2.35 2.08 2.03 3/266 3969
/proc/meminfo: memFree=31572200/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=200780 CPUtime=1182.08 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 59229 0 0 0 118149 59 0 0 20 0 1 0 108133940 205598720 41413 33554432000 4194304 6059633 140735276572080 140735276570456 4277874 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 50195 41413 184 456 0 49731 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 200780

[startup+1242.3 s]
/proc/loadavg: 2.97 2.38 2.13 3/261 5482
/proc/meminfo: memFree=31445544/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=201436 CPUtime=1242.07 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 60367 0 0 0 124146 61 0 0 20 0 1 0 108133940 206270464 42144 33554432000 4194304 6059633 140735276572080 140735276570456 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 50359 42144 184 456 0 49895 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 201436

[startup+1302.3 s]
/proc/loadavg: 2.42 2.32 2.13 3/261 5486
/proc/meminfo: memFree=31460612/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=202296 CPUtime=1302.05 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 61561 0 0 0 130143 62 0 0 20 0 1 0 108133940 207151104 40805 33554432000 4194304 6059633 140735276572080 140735276570872 4277549 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 50574 40805 184 456 0 50110 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 202296

[startup+1362.3 s]
/proc/loadavg: 2.15 2.26 2.12 3/260 5487
/proc/meminfo: memFree=31438736/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=172704 CPUtime=1362.05 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 62224 0 0 0 136141 64 0 0 20 0 1 0 108133940 176848896 39953 33554432000 4194304 6059633 140735276572080 140735276570456 4255712 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 43176 39953 184 456 0 42712 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 172704

[startup+1422.3 s]
/proc/loadavg: 2.09 2.22 2.11 3/260 5489
/proc/meminfo: memFree=31438656/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=204132 CPUtime=1422.05 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 63992 0 0 0 142139 66 0 0 20 0 1 0 108133940 209031168 41375 33554432000 4194304 6059633 140735276572080 140735276570872 4278373 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 51033 41375 184 456 0 50569 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 204132

[startup+1482.3 s]
/proc/loadavg: 2.04 2.18 2.10 3/260 5490
/proc/meminfo: memFree=31442480/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=173904 CPUtime=1482.01 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 64711 0 0 0 148134 67 0 0 20 0 1 0 108133940 178077696 40560 33554432000 4194304 6059633 140735276572080 140735276570904 4277900 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 43476 40560 184 456 0 43012 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 173904

[startup+1542.31 s]
/proc/loadavg: 2.04 2.16 2.09 3/260 5491
/proc/meminfo: memFree=31458520/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=174440 CPUtime=1542.01 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 65669 0 0 0 154132 69 0 0 20 0 1 0 108133940 178626560 38973 33554432000 4194304 6059633 140735276572080 140735276570904 4277570 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 43610 38973 184 456 0 43146 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 174440

[startup+1602.3 s]
/proc/loadavg: 2.02 2.13 2.08 3/260 5492
/proc/meminfo: memFree=31417344/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=205744 CPUtime=1601.99 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 66341 0 0 0 160128 71 0 0 20 0 1 0 108133940 210681856 44237 33554432000 4194304 6059633 140735276572080 140735276570456 4261143 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 51436 44237 184 456 0 50972 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 205744

[startup+1662.3 s]
/proc/loadavg: 2.00 2.10 2.08 3/260 5493
/proc/meminfo: memFree=31430044/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=205996 CPUtime=1661.98 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 67407 0 0 0 166125 73 0 0 20 0 1 0 108133940 210939904 43263 33554432000 4194304 6059633 140735276572080 140735276570872 4278363 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 51499 43263 184 456 0 51035 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 205996

[startup+1722.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/260 5495
/proc/meminfo: memFree=31447084/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=206756 CPUtime=1721.95 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 68390 0 0 0 172121 74 0 0 20 0 1 0 108133940 211718144 41171 33554432000 4194304 6059633 140735276572080 140735276570872 4277832 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 51689 41171 184 456 0 51225 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 206756

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/260 5496
/proc/meminfo: memFree=31403700/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=207660 CPUtime=1781.94 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 68797 0 0 0 178119 75 0 0 20 0 1 0 108133940 212643840 46686 33554432000 4194304 6059633 140735276572080 140735276570456 4277781 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 51915 46686 184 456 0 51451 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 207660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.07 2.07 3/260 5497
/proc/meminfo: memFree=31456712/32872528 swapFree=9196/9196
[pid=3692] ppid=3689 vsize=177136 CPUtime=1800.04 cores=4-7,12-15
/proc/3692/stat : 3692 (open-wbo) R 3689 3692 1909 0 -1 4202496 69247 0 0 0 179928 76 0 0 20 0 1 0 108133940 181387264 40009 33554432000 4194304 6059633 140735276572080 140735276570904 4255180 0 0 4096 8404992 0 0 0 17 12 0 0 0 0 0
/proc/3692/statm: 44284 40009 184 456 0 43820 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 177136

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 3692 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.05
CPU user time (s): 1799.28
CPU system time (s): 0.768883
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 257276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.768883
maximum resident set size= 229352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69250
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= 101
involuntary context switches= 1847

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

The end

Launcher Data 

Begin job on node132 at 2016-06-07 03:28:39
IDJOB=4086731
IDBENCH=71843
IDSOLVER=2547
FILE ID=node132/4086731-1465262919
RUNJOBID= node132-1465252035-1926
PBS_JOBID= 19843258
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8
RANDOM SEED=575251319

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:        31913804 kB
Buffers:           68080 kB
Cached:            95988 kB
SwapCached:         3204 kB
Active:           124824 kB
Inactive:         111588 kB
Active(anon):      72016 kB
Inactive(anon):     3232 kB
Active(file):      52808 kB
Inactive(file):   108356 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094548 kB
Dirty:             10700 kB
Writeback:             0 kB
AnonPages:         79880 kB
Mapped:             8032 kB
Shmem:                 0 kB
Slab:             576172 kB
SReclaimable:      15220 kB
SUnreclaim:       560952 kB
KernelStack:        2264 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     205708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71740 MiB
End job on node132 at 2016-06-07 03:58:40