Trace number 4113987

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
MD5SUMf8c14dd136fe3d96d6bf396134dc65fd
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.020996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3150
Total number of constraints160
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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 Parsing PB file...
0.00/0.02	c Converting 160 PB-constraints to clauses...
0.00/0.02	c   -- Unit propagations: (none)
0.00/0.02	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.02	c   -- Clauses(.)/Splits(s): ..........................................................................................
0.00/0.03	c ---[  69]---> BDD-cost:   87
0.00/0.03	c ---[  68]---> BDD-cost:   87
0.00/0.03	c ---[  67]---> BDD-cost:   87
0.00/0.03	c ---[  66]---> BDD-cost:   87
0.00/0.03	c ---[  65]---> BDD-cost:   87
0.00/0.03	c ---[  64]---> BDD-cost:   87
0.00/0.03	c ---[  63]---> BDD-cost:   87
0.00/0.03	c ---[  62]---> BDD-cost:   87
0.00/0.03	c ---[  61]---> BDD-cost:   87
0.00/0.03	c ---[  60]---> BDD-cost:   87
0.00/0.03	c ---[  59]---> BDD-cost:   87
0.00/0.03	c ---[  58]---> BDD-cost:   87
0.00/0.03	c ---[  57]---> BDD-cost:   87
0.00/0.03	c ---[  56]---> BDD-cost:   87
0.00/0.03	c ---[  55]---> BDD-cost:   87
0.00/0.03	c ---[  54]---> BDD-cost:   87
0.00/0.03	c ---[  53]---> BDD-cost:   87
0.00/0.04	c ---[  52]---> BDD-cost:   87
0.00/0.04	c ---[  51]---> BDD-cost:   87
0.00/0.04	c ---[  50]---> BDD-cost:   87
0.00/0.04	c ---[  49]---> BDD-cost:   87
0.00/0.04	c ---[  48]---> BDD-cost:   87
0.00/0.04	c ---[  47]---> BDD-cost:   87
0.00/0.04	c ---[  46]---> BDD-cost:   87
0.00/0.04	c ---[  45]---> BDD-cost:   87
0.00/0.04	c ---[  44]---> BDD-cost:   87
0.00/0.04	c ---[  43]---> BDD-cost:   87
0.00/0.04	c ---[  42]---> BDD-cost:   87
0.00/0.04	c ---[  41]---> BDD-cost:   87
0.00/0.04	c ---[  40]---> BDD-cost:   87
0.00/0.04	c ---[  39]---> BDD-cost:   87
0.00/0.04	c ---[  38]---> BDD-cost:   87
0.00/0.04	c ---[  37]---> BDD-cost:   87
0.00/0.05	c ---[  36]---> BDD-cost:   87
0.00/0.05	c ---[  35]---> BDD-cost:   87
0.00/0.05	c ---[  34]---> BDD-cost:   87
0.00/0.05	c ---[  33]---> BDD-cost:   87
0.00/0.05	c ---[  32]---> BDD-cost:   87
0.00/0.05	c ---[  31]---> BDD-cost:   87
0.00/0.05	c ---[  30]---> BDD-cost:   87
0.00/0.05	c ---[  29]---> BDD-cost:   87
0.00/0.05	c ---[  28]---> BDD-cost:   87
0.00/0.05	c ---[  27]---> BDD-cost:   87
0.00/0.05	c ---[  26]---> BDD-cost:   87
0.00/0.05	c ---[  25]---> BDD-cost:   87
0.00/0.05	c ---[  24]---> BDD-cost:   87
0.00/0.05	c ---[  23]---> BDD-cost:   87
0.00/0.05	c ---[  22]---> BDD-cost:   87
0.00/0.05	c ---[  21]---> BDD-cost:   87
0.00/0.05	c ---[  20]---> BDD-cost:   87
0.00/0.06	c ---[  19]---> BDD-cost:   87
0.00/0.06	c ---[  18]---> BDD-cost:   87
0.00/0.06	c ---[  17]---> BDD-cost:   87
0.00/0.06	c ---[  16]---> BDD-cost:   87
0.00/0.06	c ---[  15]---> BDD-cost:   87
0.00/0.06	c ---[  14]---> BDD-cost:   87
0.00/0.06	c ---[  13]---> BDD-cost:   87
0.00/0.06	c ---[  12]---> BDD-cost:   87
0.00/0.06	c ---[  11]---> BDD-cost:   87
0.00/0.06	c ---[  10]---> BDD-cost:   87
0.00/0.06	c ---[   9]---> BDD-cost:   87
0.00/0.06	c ---[   8]---> BDD-cost:   87
0.00/0.06	c ---[   7]---> BDD-cost:   87
0.00/0.06	c ---[   6]---> BDD-cost:   87
0.00/0.06	c ---[   5]---> BDD-cost:   87
0.00/0.06	c ---[   4]---> BDD-cost:   87
0.00/0.06	c ---[   3]---> BDD-cost:   87
0.00/0.07	c ---[   2]---> BDD-cost:   87
0.00/0.07	c ---[   1]---> BDD-cost:   87
0.00/0.07	c ---[   0]---> BDD-cost:   87
1800.01/1800.30	|  Eliminated clauses:           0.01 Mb                                      |
1800.01/1800.30	============================[ Search Statistics ]==============================
1800.01/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.30	===============================================================================
1800.01/1800.30	|       100 |    8869    14818    41244 |     5433      100    126 |  0.758 % |
1800.01/1800.30	|       250 |    8869    14818    41244 |     5976      250    145 |  0.758 % |
1800.01/1800.30	|       475 |    8869    14818    41244 |     6574      475    147 |  0.758 % |
1800.01/1800.30	|       812 |    8869    14818    41244 |     7231      812    171 |  0.758 % |
1800.01/1800.30	|      1318 |    8869    14818    41244 |     7954     1318    179 |  0.758 % |
1800.01/1800.30	|      2077 |    8869    14818    41244 |     8750     2077    198 |  0.758 % |
1800.01/1800.30	|      3216 |    8869    14818    41244 |     9625     3216    232 |  0.758 % |
1800.01/1800.30	|      4924 |    8869    14818    41244 |    10587     4924    229 |  0.758 % |
1800.01/1800.30	|      7486 |    8869    14818    41244 |    11646     7486    247 |  0.758 % |
1800.01/1800.30	|     11330 |    8869    14818    41244 |    12811    11330    263 |  0.758 % |
1800.01/1800.30	|     17096 |    8869    14818    41244 |    14092    10620    286 |  0.758 % |
1800.01/1800.30	|     25745 |    8869    14818    41244 |    15501    12171    272 |  0.758 % |
1800.01/1800.30	|     38719 |    8869    14818    41244 |    17051     8742    423 |  0.758 % |
1800.01/1800.30	|     58180 |    8869    14818    41244 |    18757    10777    244 |  0.758 % |
1800.01/1800.30	|     87372 |    8869    14818    41244 |    20632    10737    338 |  0.758 % |
1800.01/1800.30	|    131161 |    8869    14818    41244 |    22696    20249    296 |  0.758 % |
1800.01/1800.30	|    196845 |    8869    14818    41244 |    24965    25629    356 |  0.758 % |
1800.01/1800.30	|    295371 |    8869    14818    41244 |    27462    18680    288 |  0.758 % |
1800.01/1800.30	|    443160 |    8869    14818    41244 |    30208    19199    336 |  0.758 % |
1800.01/1800.30	|    664843 |    8869    14818    41244 |    33229    12526    288 |  0.758 % |
1800.01/1800.30	|    997368 |    8869    14818    41244 |    36552    29130    434 |  0.758 % |
1800.01/1800.30	|   1496156 |    8869    14818    41244 |    40207    26025    270 |  0.758 % |
1800.01/1800.30	|   2244338 |    8869    14818    41244 |    44228    43311    749 |  0.758 % |
1800.01/1800.30	|   3366612 |    8869    14818    41244 |    48651    41168    292 |  0.758 % |
1800.01/1800.30	|   5050023 |    8869    14818    41244 |    53516    29233    410 |  0.758 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	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-4113987-1466515684/watcher-4113987-1466515684 -o /tmp/evaluation-result-4113987-1466515684/solver-4113987-1466515684 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466514751-17792 --watchdog 1960 minisatp HOME/instance-4113987-1466515684.opb 

pid=19134
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.42 2.25 2.20 4/176 19137
/proc/meminfo: memFree=28216740/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=6684 CPUtime=0 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 53614939 6844416 247 33554432000 4194304 5646918 140735303122816 140735474430760 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 1671 247 94 355 0 1312 0

[startup+0.100118 s]
/proc/loadavg: 2.42 2.25 2.20 4/176 19137
/proc/meminfo: memFree=28216740/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=9580 CPUtime=0.09 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 1295 0 0 0 9 0 0 0 20 0 1 0 53614939 9809920 1159 33554432000 4194304 5646918 140735303122816 140735474430760 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 2395 1159 145 355 0 2036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9580

[startup+0.200293 s]
/proc/loadavg: 2.42 2.25 2.20 4/176 19137
/proc/meminfo: memFree=28216740/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=9844 CPUtime=0.19 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 1672 0 0 0 19 0 0 0 20 0 1 0 53614939 10080256 1535 33554432000 4194304 5646918 140735303122816 140735474430760 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 2461 1536 145 355 0 2102 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9844

[startup+0.300272 s]
/proc/loadavg: 2.42 2.25 2.20 4/176 19137
/proc/meminfo: memFree=28216740/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=9976 CPUtime=0.29 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 1761 0 0 0 29 0 0 0 20 0 1 0 53614939 10215424 2134 33554432000 4194304 5646918 140735303122816 140735474430760 4829229 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 2494 2134 145 355 0 2135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9976

[startup+0.700234 s]
/proc/loadavg: 2.42 2.25 2.20 4/176 19137
/proc/meminfo: memFree=28216740/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=13496 CPUtime=0.69 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 2690 0 0 0 69 0 0 0 20 0 1 0 53614939 13819904 3058 33554432000 4194304 5646918 140735303122816 140735303120952 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 3374 3058 145 355 0 3015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13496

[startup+1.50024 s]
/proc/loadavg: 2.42 2.25 2.20 4/177 19138
/proc/meminfo: memFree=28200756/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=26712 CPUtime=1.49 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 3890 0 0 0 149 0 0 0 20 0 1 0 53614939 27353088 5277 33554432000 4194304 5646918 140735303122816 140735303121512 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 6678 5277 145 355 0 6319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26712

[startup+3.10024 s]
/proc/loadavg: 2.42 2.25 2.20 4/177 19138
/proc/meminfo: memFree=28195044/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=20632 CPUtime=3.09 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 5560 0 0 0 308 1 0 0 20 0 1 0 53614939 21127168 4795 33554432000 4194304 5646918 140735303122816 140735303120952 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 5158 4795 147 355 0 4799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20632

[startup+6.30023 s]
/proc/loadavg: 2.46 2.26 2.20 3/177 19138
/proc/meminfo: memFree=28146420/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=50980 CPUtime=6.29 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 6711 0 0 0 626 3 0 0 20 0 1 0 53614939 52203520 12429 33554432000 4194304 5646918 140735303122816 140735303121112 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 12745 12429 147 355 0 12386 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50980

[startup+12.7002 s]
/proc/loadavg: 2.43 2.26 2.20 3/177 19138
/proc/meminfo: memFree=28148944/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=69836 CPUtime=12.69 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 7294 0 0 0 1266 3 0 0 20 0 1 0 53614939 71512064 17099 33554432000 4194304 5646918 140735303122816 140735303121064 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 17459 17099 147 355 0 17100 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69836

[startup+25.5003 s]
/proc/loadavg: 2.40 2.26 2.20 3/177 19138
/proc/meminfo: memFree=28147604/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=69836 CPUtime=25.49 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 7929 0 0 0 2545 4 0 0 20 0 1 0 53614939 71512064 17143 33554432000 4194304 5646918 140735303122816 140735303121528 4399546 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 17459 17143 147 355 0 17100 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69836

[startup+51.1004 s]
/proc/loadavg: 2.48 2.29 2.21 3/177 19138
/proc/meminfo: memFree=28135772/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=81588 CPUtime=51.08 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 10392 0 0 0 5100 8 0 0 20 0 1 0 53614939 83546112 20081 33554432000 4194304 5646918 140735303122816 140735303121528 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 20397 20081 147 355 0 20038 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81588

[startup+102.3 s]
/proc/loadavg: 2.30 2.27 2.21 3/177 19195
/proc/meminfo: memFree=30457972/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=81588 CPUtime=102.28 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 14586 0 0 0 10211 17 0 0 20 0 1 0 53614939 83546112 20081 33554432000 4194304 5646918 140735303122816 140735303121528 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 20397 20081 147 355 0 20038 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 81588

[startup+162.3 s]
/proc/loadavg: 2.37 2.28 2.21 3/178 19199
/proc/meminfo: memFree=30358424/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=161476 CPUtime=162.27 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 18659 0 0 0 16202 25 0 0 20 0 1 0 53614939 165351424 36703 33554432000 4194304 5646918 140735303122816 140735303121528 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 40369 36703 147 355 0 40010 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 161476

[startup+222.307 s]
/proc/loadavg: 2.29 2.29 2.22 3/177 19200
/proc/meminfo: memFree=30342312/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=161476 CPUtime=222.26 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 21967 0 0 0 22194 32 0 0 20 0 1 0 53614939 165351424 36703 33554432000 4194304 5646918 140735303122816 140735303121112 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 40369 36703 147 355 0 40010 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 161476

[startup+282.3 s]
/proc/loadavg: 2.33 2.29 2.22 3/177 19202
/proc/meminfo: memFree=30319092/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=192296 CPUtime=282.25 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 26119 0 0 0 28186 39 0 0 20 0 1 0 53614939 196911104 42914 33554432000 4194304 5646918 140735303122816 140735303121512 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 48074 42914 147 355 0 47715 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 192296

[startup+342.3 s]
/proc/loadavg: 2.29 2.28 2.22 3/177 19203
/proc/meminfo: memFree=30269040/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=180568 CPUtime=342.24 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 29812 0 0 0 34178 46 0 0 20 0 1 0 53614939 184901632 36816 33554432000 4194304 5646918 140735303122816 140735303121112 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 45142 36816 147 355 0 44783 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 180568

[startup+402.3 s]
/proc/loadavg: 2.38 2.31 2.23 3/177 19204
/proc/meminfo: memFree=30271808/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=192272 CPUtime=402.22 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 35262 0 0 0 40167 55 0 0 20 0 1 0 53614939 196886528 46962 33554432000 4194304 5646918 140735303122816 140735303121112 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 48068 46962 147 355 0 47709 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 192272

[startup+462.3 s]
/proc/loadavg: 2.35 2.31 2.23 3/177 19205
/proc/meminfo: memFree=30279696/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=192272 CPUtime=462.22 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 39776 0 0 0 46158 64 0 0 20 0 1 0 53614939 196886528 44403 33554432000 4194304 5646918 140735303122816 140735303121112 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 48068 44403 147 355 0 47709 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 192272

[startup+522.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/177 19206
/proc/meminfo: memFree=30258712/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=223092 CPUtime=522.21 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 46338 0 0 0 52146 75 0 0 20 0 1 0 53614939 228446208 50614 33554432000 4194304 5646918 140735303122816 140735303121512 4399752 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 55773 50614 147 355 0 55414 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 223092

[startup+582.3 s]
/proc/loadavg: 2.19 2.26 2.22 3/177 19208
/proc/meminfo: memFree=30240480/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=192272 CPUtime=582.2 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 51615 0 0 0 58135 85 0 0 20 0 1 0 53614939 196886528 44403 33554432000 4194304 5646918 140735303122816 140735303121112 4398914 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 48068 44403 147 355 0 47709 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 192272


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


[startup+942.3 s]
/proc/loadavg: 2.21 2.20 2.19 4/177 19218
/proc/meminfo: memFree=30212328/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=231232 CPUtime=942.13 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 80271 0 0 0 94076 137 0 0 20 0 1 0 53614939 236781568 53135 33554432000 4194304 5646918 140735303122816 140735303121528 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 57808 53135 147 355 0 57449 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 231232

[startup+1002.3 s]
/proc/loadavg: 2.21 2.20 2.19 3/177 19219
/proc/meminfo: memFree=30159056/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=231232 CPUtime=1002.13 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 85590 0 0 0 100067 146 0 0 20 0 1 0 53614939 236781568 57500 33554432000 4194304 5646918 140735303122816 140735303121112 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 57808 57500 147 355 0 57449 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 231232

[startup+1062.3 s]
/proc/loadavg: 2.07 2.16 2.17 3/177 19220
/proc/meminfo: memFree=30153744/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=250840 CPUtime=1062.12 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 88528 0 0 0 106060 152 0 0 20 0 1 0 53614939 256860160 57966 33554432000 4194304 5646918 140735303122816 140735303121112 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 62710 57966 147 355 0 62351 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 250840

[startup+1122.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 19221
/proc/meminfo: memFree=30131108/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=263112 CPUtime=1122.11 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 92676 0 0 0 112052 159 0 0 20 0 1 0 53614939 269426688 63665 33554432000 4194304 5646918 140735303122816 140735303121112 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 65778 63665 147 355 0 65419 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 263112

[startup+1182.3 s]
/proc/loadavg: 2.13 2.16 2.17 4/177 19223
/proc/meminfo: memFree=30159604/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=293932 CPUtime=1182.1 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 98594 0 0 0 118041 169 0 0 20 0 1 0 53614939 300986368 67316 33554432000 4194304 5646918 140735303122816 140735303121512 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 73483 67316 147 355 0 73124 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 293932

[startup+1242.3 s]
/proc/loadavg: 2.26 2.19 2.18 3/177 19224
/proc/meminfo: memFree=30145820/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=293932 CPUtime=1242.09 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 103932 0 0 0 124029 180 0 0 20 0 1 0 53614939 300986368 67316 33554432000 4194304 5646918 140735303122816 140735303121512 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 73483 67316 147 355 0 73124 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 293932

[startup+1302.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 19225
/proc/meminfo: memFree=30066012/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=213792 CPUtime=1302.08 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 109270 0 0 0 130018 190 0 0 20 0 1 0 53614939 218923008 53145 33554432000 4194304 5646918 140735303122816 140735303121512 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 53448 53145 147 355 0 53089 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 213792

[startup+1362.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/177 19229
/proc/meminfo: memFree=30125428/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=293932 CPUtime=1362.07 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 114601 0 0 0 136007 200 0 0 20 0 1 0 53614939 300986368 67316 33554432000 4194304 5646918 140735303122816 140735303121512 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 73483 67316 147 355 0 73124 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 293932

[startup+1422.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 19231
/proc/meminfo: memFree=30129880/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=263112 CPUtime=1422.07 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 118094 0 0 0 141999 208 0 0 20 0 1 0 53614939 269426688 65201 33554432000 4194304 5646918 140735303122816 140735303121112 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 65778 65201 147 355 0 65419 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 263112

[startup+1482.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 19233
/proc/meminfo: memFree=30083316/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=263620 CPUtime=1482.06 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 121794 0 0 0 147991 215 0 0 20 0 1 0 53614939 269946880 65593 33554432000 4194304 5646918 140735303122816 140735303121112 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 65905 65593 147 355 0 65546 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 263620

[startup+1542.31 s]
/proc/loadavg: 2.18 2.18 2.18 4/177 19234
/proc/meminfo: memFree=30007020/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=348384 CPUtime=1542.05 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 124098 0 0 0 153986 219 0 0 20 0 1 0 53614939 356745216 78436 33554432000 4194304 5646918 140735303122816 140735303121512 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 87096 78436 147 355 0 86737 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 348384

[startup+1602.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 19235
/proc/meminfo: memFree=30029724/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=348384 CPUtime=1602.04 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 126519 0 0 0 159978 226 0 0 20 0 1 0 53614939 356745216 75876 33554432000 4194304 5646918 140735303122816 140735303121512 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 87096 75876 147 355 0 86737 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 348384

[startup+1662.3 s]
/proc/loadavg: 2.09 2.16 2.17 3/177 19236
/proc/meminfo: memFree=30168764/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=242360 CPUtime=1662.03 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 129439 0 0 0 165972 231 0 0 20 0 1 0 53614939 248176640 55557 33554432000 4194304 5646918 140735303122816 140735303121064 4399923 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 60590 55557 147 355 0 60231 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 242360

[startup+1722.3 s]
/proc/loadavg: 2.07 2.14 2.16 4/177 19237
/proc/meminfo: memFree=30015884/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=334232 CPUtime=1722.02 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 133446 0 0 0 171964 238 0 0 20 0 1 0 53614939 342253568 77902 33554432000 4194304 5646918 140735303122816 140735303121512 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 83558 77902 147 355 0 83199 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 334232

[startup+1782.3 s]
/proc/loadavg: 2.23 2.18 2.17 3/176 19238
/proc/meminfo: memFree=29992924/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=334232 CPUtime=1782.01 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 135878 0 0 0 177957 244 0 0 20 0 1 0 53614939 342253568 83022 33554432000 4194304 5646918 140735303122816 140735303121512 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 83558 83022 147 355 0 83199 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 334232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/177 19239
/proc/meminfo: memFree=30022072/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=334232 CPUtime=1800.01 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 137081 0 0 0 179754 247 0 0 20 0 1 0 53614939 342253568 77902 33554432000 4194304 5646918 140735303122816 140735303121512 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 83558 77902 147 355 0 83199 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 334232

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 19137 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/177 19239
/proc/meminfo: memFree=30022072/32872528 swapFree=1370848/1518016
[pid=19137] ppid=19134 vsize=334232 CPUtime=1800.01 cores=0,2,4,6
/proc/19137/stat : 19137 (minisatp) R 19134 19137 17776 0 -1 4202496 137081 0 0 0 179754 247 0 0 20 0 1 0 53614939 342253568 77902 33554432000 4194304 5646918 140735303122816 140735303121512 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19137/statm: 83558 77902 147 355 0 83199 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 334232

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.55
CPU system time (s): 2.47562
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 397704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.47562
maximum resident set size= 364016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137081
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= 11
involuntary context switches= 1875

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

The end

Launcher Data 

Begin job on node129 at 2016-06-21 15:28:04
IDJOB=4113987
IDBENCH=1411
IDSOLVER=2555
FILE ID=node129/4113987-1466515684
RUNJOBID= node129-1466514751-17792
PBS_JOBID= 19942879
Free space on /tmp= 71644 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113987-1466515684/watcher-4113987-1466515684 -o /tmp/evaluation-result-4113987-1466515684/solver-4113987-1466515684 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466514751-17792 --watchdog 1960  minisatp HOME/instance-4113987-1466515684.opb

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

MD5SUM BENCH= f8c14dd136fe3d96d6bf396134dc65fd
RANDOM SEED=156623071

node129.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.143
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	: 5332.28
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.143
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.143
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28217680 kB
Buffers:            3484 kB
Cached:           131220 kB
SwapCached:        15684 kB
Active:          2392004 kB
Inactive:          38020 kB
Active(anon):    2283516 kB
Inactive(anon):    14620 kB
Active(file):     108488 kB
Inactive(file):    23400 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67084172 kB
Dirty:              6380 kB
Writeback:             0 kB
AnonPages:       3799516 kB
Mapped:             7120 kB
Shmem:                 0 kB
Slab:             570500 kB
SReclaimable:      14564 kB
SUnreclaim:       555936 kB
KernelStack:        1456 kB
PageTables:        11572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3964312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113987-1466515684.opb

Free space on /tmp at the end= 71728 MiB
End job on node129 at 2016-06-21 15:58:05