Trace number 4114987

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUMfe9566a2c8ff9ee542e29a30eb3c6e16
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.024995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
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 51
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.04	c Converting 180 PB-constraints to clauses...
0.00/0.04	c   -- Unit propagations: (none)
0.00/0.04	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.04	c   -- Clauses(.)/Splits(s): ....................................................................................................
0.00/0.04	c ---[  79]---> BDD-cost:   97
0.00/0.04	c ---[  78]---> BDD-cost:   97
0.00/0.04	c ---[  77]---> BDD-cost:   97
0.00/0.04	c ---[  76]---> BDD-cost:   97
0.00/0.04	c ---[  75]---> BDD-cost:   97
0.00/0.04	c ---[  74]---> BDD-cost:   97
0.00/0.04	c ---[  73]---> BDD-cost:   97
0.00/0.04	c ---[  72]---> BDD-cost:   97
0.00/0.04	c ---[  71]---> BDD-cost:   97
0.00/0.04	c ---[  70]---> BDD-cost:   97
0.00/0.05	c ---[  69]---> BDD-cost:   97
0.00/0.05	c ---[  68]---> BDD-cost:   97
0.00/0.05	c ---[  67]---> BDD-cost:   97
0.00/0.05	c ---[  66]---> BDD-cost:   97
0.00/0.05	c ---[  65]---> BDD-cost:   97
0.00/0.05	c ---[  64]---> BDD-cost:   97
0.00/0.05	c ---[  63]---> BDD-cost:   97
0.00/0.05	c ---[  62]---> BDD-cost:   97
0.00/0.05	c ---[  61]---> BDD-cost:   97
0.00/0.05	c ---[  60]---> BDD-cost:   97
0.00/0.05	c ---[  59]---> BDD-cost:   97
0.00/0.05	c ---[  58]---> BDD-cost:   97
0.00/0.05	c ---[  57]---> BDD-cost:   97
0.00/0.05	c ---[  56]---> BDD-cost:   97
0.00/0.06	c ---[  55]---> BDD-cost:   97
0.00/0.06	c ---[  54]---> BDD-cost:   97
0.00/0.06	c ---[  53]---> BDD-cost:   97
0.00/0.06	c ---[  52]---> BDD-cost:   97
0.00/0.06	c ---[  51]---> BDD-cost:   97
0.00/0.06	c ---[  50]---> BDD-cost:   97
0.00/0.06	c ---[  49]---> BDD-cost:   97
0.00/0.06	c ---[  48]---> BDD-cost:   97
0.00/0.06	c ---[  47]---> BDD-cost:   97
0.00/0.06	c ---[  46]---> BDD-cost:   97
0.00/0.06	c ---[  45]---> BDD-cost:   97
0.00/0.06	c ---[  44]---> BDD-cost:   97
0.00/0.06	c ---[  43]---> BDD-cost:   97
0.00/0.06	c ---[  42]---> BDD-cost:   97
0.00/0.07	c ---[  41]---> BDD-cost:   97
0.00/0.07	c ---[  40]---> BDD-cost:   97
0.00/0.07	c ---[  39]---> BDD-cost:   97
0.00/0.07	c ---[  38]---> BDD-cost:   97
0.00/0.07	c ---[  37]---> BDD-cost:   97
0.00/0.07	c ---[  36]---> BDD-cost:   97
0.00/0.07	c ---[  35]---> BDD-cost:   97
0.00/0.07	c ---[  34]---> BDD-cost:   97
0.00/0.07	c ---[  33]---> BDD-cost:   97
0.00/0.07	c ---[  32]---> BDD-cost:   97
0.00/0.07	c ---[  31]---> BDD-cost:   97
0.00/0.07	c ---[  30]---> BDD-cost:   97
0.00/0.07	c ---[  29]---> BDD-cost:   97
0.00/0.07	c ---[  28]---> BDD-cost:   97
0.00/0.07	c ---[  27]---> BDD-cost:   97
0.00/0.08	c ---[  26]---> BDD-cost:   97
0.00/0.08	c ---[  25]---> BDD-cost:   97
0.00/0.08	c ---[  24]---> BDD-cost:   97
0.00/0.08	c ---[  23]---> BDD-cost:   97
0.00/0.08	c ---[  22]---> BDD-cost:   97
0.00/0.08	c ---[  21]---> BDD-cost:   97
0.00/0.08	c ---[  20]---> BDD-cost:   97
0.00/0.08	c ---[  19]---> BDD-cost:   97
0.00/0.08	c ---[  18]---> BDD-cost:   97
0.00/0.08	c ---[  17]---> BDD-cost:   97
0.00/0.08	c ---[  16]---> BDD-cost:   97
0.00/0.08	c ---[  15]---> BDD-cost:   97
0.00/0.08	c ---[  14]---> BDD-cost:   97
0.00/0.09	c ---[  13]---> BDD-cost:   97
0.00/0.09	c ---[  12]---> BDD-cost:   97
0.00/0.09	c ---[  11]---> BDD-cost:   97
0.00/0.09	c ---[  10]---> BDD-cost:   97
0.00/0.09	c ---[   9]---> BDD-cost:   97
0.00/0.09	c ---[   8]---> BDD-cost:   97
0.00/0.09	c ---[   7]---> BDD-cost:   97
0.00/0.09	c ---[   6]---> BDD-cost:   97
0.00/0.09	c ---[   5]---> BDD-cost:   97
0.00/0.09	c ---[   4]---> BDD-cost:   97
0.00/0.09	c ---[   3]---> BDD-cost:   97
0.00/0.09	c ---[   2]---> BDD-cost:   97
0.00/0.09	c ---[   1]---> BDD-cost:   97
0.00/0.09	c ---[   0]---> BDD-cost:   97
1800.08/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|       100 |   11335    18930    52730 |     6941      100    144 |  0.680 % |
1800.08/1800.40	|       250 |   11335    18930    52730 |     7635      250    157 |  0.680 % |
1800.08/1800.40	|       475 |   11335    18930    52730 |     8398      475    167 |  0.680 % |
1800.08/1800.40	|       812 |   11335    18930    52730 |     9238      812    186 |  0.680 % |
1800.08/1800.40	|      1318 |   11335    18930    52730 |    10162     1318    200 |  0.680 % |
1800.08/1800.40	|      2077 |   11335    18930    52730 |    11178     2077    212 |  0.680 % |
1800.08/1800.40	|      3216 |   11335    18930    52730 |    12296     3216    244 |  0.680 % |
1800.08/1800.40	|      4924 |   11335    18930    52730 |    13526     4924    249 |  0.680 % |
1800.08/1800.40	|      7486 |   11335    18930    52730 |    14878     7486    283 |  0.680 % |
1800.08/1800.40	|     11330 |   11335    18930    52730 |    16366    11330    300 |  0.680 % |
1800.08/1800.40	|     17096 |   11335    18930    52730 |    18003    17096    317 |  0.680 % |
1800.08/1800.40	|     25745 |   11335    18930    52730 |    19803    16120    323 |  0.680 % |
1800.08/1800.40	|     38719 |   11335    18930    52730 |    21783    19056    336 |  0.680 % |
1800.08/1800.40	|     58180 |   11335    18930    52730 |    23962    13324    296 |  0.680 % |
1800.08/1800.40	|     87372 |   11335    18930    52730 |    26358    15557    410 |  0.680 % |
1800.08/1800.40	|    131161 |   11335    18930    52730 |    28994    23956    333 |  0.680 % |
1800.08/1800.40	|    196845 |   11335    18930    52730 |    31893    16146    364 |  0.680 % |
1800.08/1800.40	|    295371 |   11335    18930    52730 |    35083    26194    382 |  0.680 % |
1800.08/1800.40	|    443160 |   11335    18930    52730 |    38591    26167    444 |  0.680 % |
1800.08/1800.40	|    664843 |   11335    18930    52730 |    42450    32255    373 |  0.680 % |
1800.08/1800.40	|    997368 |   11335    18930    52730 |    46695    49271    601 |  0.680 % |
1800.08/1800.40	|   1496156 |   11335    18930    52730 |    51365    47165    409 |  0.680 % |
1800.08/1800.40	|   2244338 |   11335    18930    52730 |    56501    30742    445 |  0.680 % |
1800.08/1800.40	|   3366612 |   11335    18930    52730 |    62151    42280    364 |  0.680 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/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-4114987-1466516153/watcher-4114987-1466516153 -o /tmp/evaluation-result-4114987-1466516153/solver-4114987-1466516153 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21329 --watchdog 1960 minisatp HOME/instance-4114987-1466516153.opb 

pid=22619
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.11 2.05 2.01 3/176 22622
/proc/meminfo: memFree=31535516/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=6324 CPUtime=0 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 53660959 6475776 150 33554432000 4194304 5646918 140736072589616 140735982329640 4821510 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 1581 150 94 355 0 1222 0

[startup+0.100162 s]
/proc/loadavg: 2.11 2.05 2.01 3/176 22622
/proc/meminfo: memFree=31535516/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=9004 CPUtime=0.09 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 978 0 0 0 9 0 0 0 20 0 1 0 53660959 9220096 854 33554432000 4194304 5646918 140736072589616 140735982329640 4232768 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 2251 854 120 355 0 1892 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9004

[startup+0.200289 s]
/proc/loadavg: 2.11 2.05 2.01 3/176 22622
/proc/meminfo: memFree=31535516/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=10676 CPUtime=0.19 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 1777 0 0 0 19 0 0 0 20 0 1 0 53660959 10932224 1634 33554432000 4194304 5646918 140736072589616 140736072587112 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 2669 1634 144 355 0 2310 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10676

[startup+0.300278 s]
/proc/loadavg: 2.11 2.05 2.01 3/176 22622
/proc/meminfo: memFree=31535516/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=10808 CPUtime=0.29 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 1953 0 0 0 29 0 0 0 20 0 1 0 53660959 11067392 2321 33554432000 4194304 5646918 140736072589616 140736072587112 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 2702 2321 145 355 0 2343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10808

[startup+0.700239 s]
/proc/loadavg: 2.11 2.05 2.01 3/176 22622
/proc/meminfo: memFree=31535516/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=14320 CPUtime=0.68 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 2783 0 0 0 68 0 0 0 20 0 1 0 53660959 14663680 3147 33554432000 4194304 5646918 140736072589616 140736072587112 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 3580 3147 145 355 0 3221 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14320

[startup+1.50026 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 22623
/proc/meminfo: memFree=31517432/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=27108 CPUtime=1.48 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 3995 0 0 0 148 0 0 0 20 0 1 0 53660959 27758592 5378 33554432000 4194304 5646918 140736072589616 140736072587752 4402811 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 6777 5378 145 355 0 6418 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27108

[startup+3.10024 s]
/proc/loadavg: 2.11 2.05 2.01 4/177 22623
/proc/meminfo: memFree=31506080/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=28568 CPUtime=3.09 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 5194 0 0 0 308 1 0 0 20 0 1 0 53660959 29253632 5546 33554432000 4194304 5646918 140736072589616 140736072588312 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 7142 5546 147 355 0 6783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28568

[startup+6.30024 s]
/proc/loadavg: 2.18 2.07 2.02 3/177 22623
/proc/meminfo: memFree=31505528/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=61332 CPUtime=6.28 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 6895 0 0 0 626 2 0 0 20 0 1 0 53660959 62803968 13158 33554432000 4194304 5646918 140736072589616 140736072587864 4400075 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 15333 13158 147 355 0 14974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61332

[startup+12.7003 s]
/proc/loadavg: 2.16 2.07 2.02 3/177 22623
/proc/meminfo: memFree=31473348/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=80008 CPUtime=12.69 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 8007 0 0 0 1265 4 0 0 20 0 1 0 53660959 81928192 15209 33554432000 4194304 5646918 140736072589616 140736072588328 4411587 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 20002 15209 147 355 0 19643 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80008

[startup+25.5003 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 22623
/proc/meminfo: memFree=31408532/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=129328 CPUtime=25.49 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 9876 0 0 0 2542 7 0 0 20 0 1 0 53660959 132431872 31732 33554432000 4194304 5646918 140736072589616 140736072587912 4402778 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 32332 31732 147 355 0 31973 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129328

[startup+51.1003 s]
/proc/loadavg: 2.16 2.07 2.02 3/177 22623
/proc/meminfo: memFree=31399020/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=160148 CPUtime=51.07 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 11970 0 0 0 5097 10 0 0 20 0 1 0 53660959 163991552 34390 33554432000 4194304 5646918 140736072589616 140736072588312 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 40037 34390 147 355 0 39678 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 160148

[startup+102.3 s]
/proc/loadavg: 2.18 2.09 2.02 3/177 22624
/proc/meminfo: memFree=31398048/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=165428 CPUtime=102.27 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 18875 0 0 0 10204 23 0 0 20 0 1 0 53660959 169398272 33450 33554432000 4194304 5646918 140736072589616 140736072587912 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 41357 33450 147 355 0 40998 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 165428

[startup+162.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/177 22625
/proc/meminfo: memFree=31361788/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=196512 CPUtime=162.25 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 26119 0 0 0 16191 34 0 0 20 0 1 0 53660959 201228288 42457 33554432000 4194304 5646918 140736072589616 140736072588312 4397104 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 49128 42457 147 355 0 48769 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 196512

[startup+222.307 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 22626
/proc/meminfo: memFree=31362868/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=196512 CPUtime=222.24 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 32436 0 0 0 22177 47 0 0 20 0 1 0 53660959 201228288 41201 33554432000 4194304 5646918 140736072589616 140736072587912 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 49128 41201 147 355 0 48769 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 196512

[startup+282.3 s]
/proc/loadavg: 2.14 2.10 2.03 3/178 22631
/proc/meminfo: memFree=31369784/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=165692 CPUtime=282.24 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 38183 0 0 0 28164 60 0 0 20 0 1 0 53660959 169668608 39728 33554432000 4194304 5646918 140736072589616 140736072588328 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 41423 39728 147 355 0 41064 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 165692

[startup+342.3 s]
/proc/loadavg: 2.19 2.12 2.04 3/177 22632
/proc/meminfo: memFree=31332976/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=196512 CPUtime=342.22 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 41369 0 0 0 34157 65 0 0 20 0 1 0 53660959 201228288 48636 33554432000 4194304 5646918 140736072589616 140736072588312 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 49128 48636 147 355 0 48769 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 196512

[startup+402.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/177 22633
/proc/meminfo: memFree=31302564/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=151172 CPUtime=402.22 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 47760 0 0 0 40144 78 0 0 20 0 1 0 53660959 154800128 37498 33554432000 4194304 5646918 140736072589616 140736072588328 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 37793 37498 147 355 0 37434 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 151172

[startup+462.3 s]
/proc/loadavg: 2.15 2.12 2.04 3/178 22635
/proc/meminfo: memFree=31316552/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=231312 CPUtime=462.2 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 53733 0 0 0 46132 88 0 0 20 0 1 0 53660959 236863488 52181 33554432000 4194304 5646918 140736072589616 140736072588312 4403372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 57828 52181 147 355 0 57469 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 231312

[startup+522.3 s]
/proc/loadavg: 2.15 2.12 2.05 3/177 22636
/proc/meminfo: memFree=31284468/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=281400 CPUtime=522.2 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 57364 0 0 0 52123 97 0 0 20 0 1 0 53660959 288153600 60674 33554432000 4194304 5646918 140736072589616 140736072588312 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 70350 60674 147 355 0 69991 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 281400

[startup+582.3 s]
/proc/loadavg: 2.18 2.13 2.05 3/177 22638
/proc/meminfo: memFree=31369188/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=151172 CPUtime=582.19 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 62013 0 0 0 58112 107 0 0 20 0 1 0 53660959 154800128 37498 33554432000 4194304 5646918 140736072589616 140736072588328 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 37793 37498 147 355 0 37434 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 151172


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.06 2.03 3/178 22647
/proc/meminfo: memFree=31275648/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=262364 CPUtime=882.15 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 79583 0 0 0 88072 143 0 0 20 0 1 0 53660959 268660736 60456 33554432000 4194304 5646918 140736072589616 140736072588312 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 65591 60456 147 355 0 65232 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 262364

[startup+942.3 s]
/proc/loadavg: 2.10 2.07 2.04 3/177 22648
/proc/meminfo: memFree=31271468/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=262364 CPUtime=942.13 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 82000 0 0 0 94065 148 0 0 20 0 1 0 53660959 268660736 61992 33554432000 4194304 5646918 140736072589616 140736072588312 4403087 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 65591 61992 147 355 0 65232 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 262364

[startup+1002.3 s]
/proc/loadavg: 2.03 2.06 2.03 3/177 22649
/proc/meminfo: memFree=31293908/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=231544 CPUtime=1002.11 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 86810 0 0 0 100053 158 0 0 20 0 1 0 53660959 237101056 55269 33554432000 4194304 5646918 140736072589616 140736072587912 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 57886 55269 147 355 0 57527 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 231544

[startup+1062.3 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 22650
/proc/meminfo: memFree=31264632/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=262364 CPUtime=1062.1 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 92212 0 0 0 106040 170 0 0 20 0 1 0 53660959 268660736 63528 33554432000 4194304 5646918 140736072589616 140736072588312 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 65591 63528 147 355 0 65232 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 262364

[startup+1122.3 s]
/proc/loadavg: 2.11 2.07 2.04 3/177 22651
/proc/meminfo: memFree=31302528/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=212652 CPUtime=1122.09 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 96408 0 0 0 112031 178 0 0 20 0 1 0 53660959 217755648 52868 33554432000 4194304 5646918 140736072589616 140736072588328 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 53163 52868 147 355 0 52804 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 212652

[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.03 3/177 22653
/proc/meminfo: memFree=31239908/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=292792 CPUtime=1182.08 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 102127 0 0 0 118017 191 0 0 20 0 1 0 53660959 299819008 68575 33554432000 4194304 5646918 140736072589616 140736072588312 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 73198 68575 147 355 0 72839 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 292792

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/177 22654
/proc/meminfo: memFree=31223472/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=292792 CPUtime=1242.07 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 106951 0 0 0 124006 201 0 0 20 0 1 0 53660959 299819008 72159 33554432000 4194304 5646918 140736072589616 140736072588312 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 73198 72159 147 355 0 72839 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 292792

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/177 22655
/proc/meminfo: memFree=31207496/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=342880 CPUtime=1302.07 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 110245 0 0 0 129999 208 0 0 20 0 1 0 53660959 351109120 76598 33554432000 4194304 5646918 140736072589616 140736072588312 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 85720 76598 147 355 0 85361 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 342880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/177 22712
/proc/meminfo: memFree=31189352/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=262200 CPUtime=1362.06 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 113021 0 0 0 135992 214 0 0 20 0 1 0 53660959 268492800 62933 33554432000 4194304 5646918 140736072589616 140736072587912 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 65550 62933 147 355 0 65191 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 262200

[startup+1422.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 22713
/proc/meminfo: memFree=30844336/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=343108 CPUtime=1422.05 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 117553 0 0 0 141983 222 0 0 20 0 1 0 53660959 351342592 74565 33554432000 4194304 5646918 140736072589616 140736072588312 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 85777 74565 147 355 0 85418 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 343108

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/178 22718
/proc/meminfo: memFree=30793116/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=293020 CPUtime=1482.03 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 122067 0 0 0 147970 233 0 0 20 0 1 0 53660959 300052480 69656 33554432000 4194304 5646918 140736072589616 140736072588312 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 73255 69656 147 355 0 72896 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 293020

[startup+1542.31 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 22742
/proc/meminfo: memFree=30728224/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=284492 CPUtime=1542.03 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 125836 0 0 0 153962 241 0 0 20 0 1 0 53660959 291319808 64160 33554432000 4194304 5646918 140736072589616 140736072587912 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 71123 64160 147 355 0 70764 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 284492

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/177 22743
/proc/meminfo: memFree=30639616/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=296240 CPUtime=1602.02 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 131293 0 0 0 159949 253 0 0 20 0 1 0 53660959 303349760 70931 33554432000 4194304 5646918 140736072589616 140736072587912 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 74060 70931 147 355 0 73701 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 296240

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 22744
/proc/meminfo: memFree=30545068/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=327060 CPUtime=1662 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 136720 0 0 0 165936 264 0 0 20 0 1 0 53660959 334909440 74582 33554432000 4194304 5646918 140736072589616 140736072588312 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 81765 74582 147 355 0 81406 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 327060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22745
/proc/meminfo: memFree=30379220/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=458536 CPUtime=1722 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 139371 0 0 0 171931 269 0 0 20 0 1 0 53660959 469540864 102061 33554432000 4194304 5646918 140736072589616 140736072588312 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 114634 102061 147 355 0 114275 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 458536

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22747
/proc/meminfo: memFree=30370820/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=377148 CPUtime=1781.99 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 142383 0 0 0 177925 274 0 0 20 0 1 0 53660959 386199552 85165 33554432000 4194304 5646918 140736072589616 140736072588312 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 94287 85165 147 355 0 93928 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 377148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22747
/proc/meminfo: memFree=30444916/32872528 swapFree=534252/566956
[pid=22622] ppid=22619 vsize=246920 CPUtime=1800.08 cores=0,2,4,6
/proc/22622/stat : 22622 (minisatp) R 22619 22622 21313 0 -1 4202496 142915 0 0 0 179734 274 0 0 20 0 1 0 53660959 252846080 61435 33554432000 4194304 5646918 140736072589616 140736072588328 4402696 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22622/statm: 61730 61435 147 355 0 61371 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 246920

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1797.34
CPU system time (s): 2.74858
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 458536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.34
system time used= 2.74858
maximum resident set size= 466708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142915
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= 45
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78127 second user time and 7.73282 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-21 15:35:53
IDJOB=4114987
IDBENCH=1433
IDSOLVER=2555
FILE ID=node138/4114987-1466516153
RUNJOBID= node138-1466515277-21329
PBS_JOBID= 19942888
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= fe9566a2c8ff9ee542e29a30eb3c6e16
RANDOM SEED=1424539055

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31536076 kB
Buffers:            2524 kB
Cached:            31092 kB
SwapCached:         1564 kB
Active:            54068 kB
Inactive:          13508 kB
Active(anon):      35372 kB
Inactive(anon):      592 kB
Active(file):      18696 kB
Inactive(file):    12916 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67098440 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:        600124 kB
Mapped:             6964 kB
Shmem:                 0 kB
Slab:             571448 kB
SReclaimable:      15072 kB
SUnreclaim:       556376 kB
KernelStack:        1464 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     715784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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-4114987-1466516153.opb

Free space on /tmp at the end= 71720 MiB
End job on node138 at 2016-06-21 16:05:54