Trace number 4111696

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.1 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
MD5SUMdab917560b0808668d6327532459772d
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.049992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints141
Number of constraints which are clauses71
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 constraint70
Maximum length of a constraint71
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 72
Number of bits of the biggest sum of numbers7
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 141 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 ---[  69]---> BDD-cost:  139
0.00/0.04	c ---[  68]---> BDD-cost:  139
0.00/0.05	c ---[  67]---> BDD-cost:  139
0.00/0.05	c ---[  66]---> BDD-cost:  139
0.00/0.05	c ---[  65]---> BDD-cost:  139
0.00/0.05	c ---[  64]---> BDD-cost:  139
0.00/0.05	c ---[  63]---> BDD-cost:  139
0.00/0.05	c ---[  62]---> BDD-cost:  139
0.00/0.05	c ---[  61]---> BDD-cost:  139
0.00/0.06	c ---[  60]---> BDD-cost:  139
0.00/0.06	c ---[  59]---> BDD-cost:  139
0.00/0.06	c ---[  58]---> BDD-cost:  139
0.00/0.06	c ---[  57]---> BDD-cost:  139
0.00/0.06	c ---[  56]---> BDD-cost:  139
0.00/0.06	c ---[  55]---> BDD-cost:  139
0.00/0.06	c ---[  54]---> BDD-cost:  139
0.00/0.06	c ---[  53]---> BDD-cost:  139
0.00/0.07	c ---[  52]---> BDD-cost:  139
0.00/0.07	c ---[  51]---> BDD-cost:  139
0.00/0.07	c ---[  50]---> BDD-cost:  139
0.00/0.07	c ---[  49]---> BDD-cost:  139
0.00/0.07	c ---[  48]---> BDD-cost:  139
0.00/0.07	c ---[  47]---> BDD-cost:  139
0.00/0.07	c ---[  46]---> BDD-cost:  139
0.00/0.07	c ---[  45]---> BDD-cost:  139
0.00/0.08	c ---[  44]---> BDD-cost:  139
0.00/0.08	c ---[  43]---> BDD-cost:  139
0.00/0.08	c ---[  42]---> BDD-cost:  139
0.00/0.08	c ---[  41]---> BDD-cost:  139
0.00/0.08	c ---[  40]---> BDD-cost:  139
0.00/0.08	c ---[  39]---> BDD-cost:  139
0.00/0.08	c ---[  38]---> BDD-cost:  139
0.00/0.08	c ---[  37]---> BDD-cost:  139
0.00/0.09	c ---[  36]---> BDD-cost:  139
0.00/0.09	c ---[  35]---> BDD-cost:  139
0.00/0.09	c ---[  34]---> BDD-cost:  139
0.00/0.09	c ---[  33]---> BDD-cost:  139
0.00/0.09	c ---[  32]---> BDD-cost:  139
0.00/0.09	c ---[  31]---> BDD-cost:  139
0.00/0.09	c ---[  30]---> BDD-cost:  139
0.00/0.09	c ---[  29]---> BDD-cost:  139
0.09/0.10	c ---[  28]---> BDD-cost:  139
0.09/0.10	c ---[  27]---> BDD-cost:  139
0.09/0.10	c ---[  26]---> BDD-cost:  139
0.09/0.10	c ---[  25]---> BDD-cost:  139
0.09/0.10	c ---[  24]---> BDD-cost:  139
0.09/0.10	c ---[  23]---> BDD-cost:  139
0.09/0.10	c ---[  22]---> BDD-cost:  139
0.09/0.10	c ---[  21]---> BDD-cost:  139
0.09/0.11	c ---[  20]---> BDD-cost:  139
0.09/0.11	c ---[  19]---> BDD-cost:  139
0.09/0.11	c ---[  18]---> BDD-cost:  139
0.09/0.11	c ---[  17]---> BDD-cost:  139
0.09/0.11	c ---[  16]---> BDD-cost:  139
0.09/0.11	c ---[  15]---> BDD-cost:  139
0.09/0.11	c ---[  14]---> BDD-cost:  139
0.09/0.12	c ---[  13]---> BDD-cost:  139
0.09/0.12	c ---[  12]---> BDD-cost:  139
0.09/0.12	c ---[  11]---> BDD-cost:  139
0.09/0.12	c ---[  10]---> BDD-cost:  139
0.09/0.12	c ---[   9]---> BDD-cost:  139
0.09/0.12	c ---[   8]---> BDD-cost:  139
0.09/0.12	c ---[   7]---> BDD-cost:  139
0.09/0.12	c ---[   6]---> BDD-cost:  139
0.09/0.13	c ---[   5]---> BDD-cost:  139
0.09/0.13	c ---[   4]---> BDD-cost:  139
0.09/0.13	c ---[   3]---> BDD-cost:  139
0.09/0.13	c ---[   2]---> BDD-cost:  139
0.09/0.13	c ---[   1]---> BDD-cost:  139
0.09/0.13	c ---[   0]---> BDD-cost:  139
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 |   14329    23899    66724 |     8762      100    267 |  0.476 % |
1800.08/1800.40	|       250 |   14329    23899    66724 |     9639      250    289 |  0.476 % |
1800.08/1800.40	|       475 |   14329    23899    66724 |    10603      475    317 |  0.476 % |
1800.08/1800.40	|       812 |   14329    23899    66724 |    11663      812    346 |  0.476 % |
1800.08/1800.40	|      1318 |   14329    23899    66724 |    12829     1318    330 |  0.476 % |
1800.08/1800.40	|      2077 |   14329    23899    66724 |    14112     2077    347 |  0.476 % |
1800.08/1800.40	|      3216 |   14329    23899    66724 |    15524     3216    367 |  0.476 % |
1800.08/1800.40	|      4924 |   14329    23899    66724 |    17076     4924    409 |  0.476 % |
1800.08/1800.40	|      7486 |   14329    23899    66724 |    18784     7486    483 |  0.476 % |
1800.08/1800.40	|     11330 |   14329    23899    66724 |    20662    11330    494 |  0.476 % |
1800.08/1800.40	|     17096 |   14329    23899    66724 |    22728    17096    511 |  0.476 % |
1800.08/1800.40	|     25745 |   14329    23899    66724 |    25001    14077    543 |  0.476 % |
1800.08/1800.40	|     38719 |   14329    23899    66724 |    27501    11667    660 |  0.476 % |
1800.08/1800.40	|     58180 |   14329    23899    66724 |    30252    15345    644 |  0.476 % |
1800.08/1800.40	|     87372 |   14329    23899    66724 |    33277    25739    589 |  0.476 % |
1800.08/1800.40	|    131161 |   14329    23899    66724 |    36605    18572    574 |  0.476 % |
1800.08/1800.40	|    196845 |   14329    23899    66724 |    40265    33974    635 |  0.476 % |
1800.08/1800.40	|    295371 |   14329    23899    66724 |    44292    17172    567 |  0.476 % |
1800.08/1800.40	|    443160 |   14329    23899    66724 |    48721    19263    963 |  0.476 % |
1800.08/1800.40	|    664843 |   14329    23899    66724 |    53593    42288    641 |  0.476 % |
1800.08/1800.40	|    997368 |   14329    23899    66724 |    58952    20064   1647 |  0.476 % |
1800.08/1800.40	|   1496156 |   14329    23899    66724 |    64848    19634    523 |  0.476 % |
1800.08/1800.40	|   2244338 |   14329    23899    66724 |    71332    41510    999 |  0.476 % |
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-4111696-1466555111/watcher-4111696-1466555111 -o /tmp/evaluation-result-4111696-1466555111/solver-4111696-1466555111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466551503-22030 --watchdog 1960 minisatp HOME/instance-4111696-1466555111.opb 

pid=22573
running on 4 cores: 1,3,5,7

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.17 2.20 2.16 3/178 22576
/proc/meminfo: memFree=30354328/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=6588 CPUtime=0 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 57557540 6746112 237 33554432000 4194304 5646918 140734012612992 140736842141656 4866896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 1647 237 94 355 0 1288 0

[startup+0.100132 s]
/proc/loadavg: 2.17 2.20 2.16 3/178 22576
/proc/meminfo: memFree=30354328/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=9576 CPUtime=0.09 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 1082 0 0 0 9 0 0 0 20 0 1 0 57557540 9805824 919 33554432000 4194304 5646918 140734012612992 140736842141656 4823315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 2394 919 116 355 0 2035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9576

[startup+0.20029 s]
/proc/loadavg: 2.17 2.20 2.16 3/178 22576
/proc/meminfo: memFree=30354328/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=11460 CPUtime=0.19 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 1928 0 0 0 19 0 0 0 20 0 1 0 57557540 11735040 1739 33554432000 4194304 5646918 140734012612992 140736842141656 4649668 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 2865 1739 145 355 0 2506 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11460

[startup+0.300281 s]
/proc/loadavg: 2.17 2.20 2.16 3/178 22576
/proc/meminfo: memFree=30354328/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=11592 CPUtime=0.28 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 2108 0 0 0 28 0 0 0 20 0 1 0 57557540 11870208 2430 33554432000 4194304 5646918 140734012612992 140734012611096 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 2898 2430 145 355 0 2539 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11592

[startup+0.700192 s]
/proc/loadavg: 2.17 2.20 2.16 3/178 22576
/proc/meminfo: memFree=30354328/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=14840 CPUtime=0.68 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 2870 0 0 0 68 0 0 0 20 0 1 0 57557540 15196160 3191 33554432000 4194304 5646918 140734012612992 140734012611096 4403040 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 3710 3191 146 355 0 3351 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14840

[startup+1.50023 s]
/proc/loadavg: 2.17 2.20 2.16 3/179 22577
/proc/meminfo: memFree=30337576/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=27000 CPUtime=1.49 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 3900 0 0 0 148 1 0 0 20 0 1 0 57557540 27648000 5751 33554432000 4194304 5646918 140734012612992 140734012611688 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 6750 5751 146 355 0 6391 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27000

[startup+3.10019 s]
/proc/loadavg: 2.17 2.20 2.16 3/179 22577
/proc/meminfo: memFree=30324432/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=40544 CPUtime=3.09 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 5140 0 0 0 308 1 0 0 20 0 1 0 57557540 41517056 9543 33554432000 4194304 5646918 140734012612992 140734012611240 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 10136 9544 146 355 0 9777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40544

[startup+6.3003 s]
/proc/loadavg: 2.15 2.20 2.16 3/179 22577
/proc/meminfo: memFree=30315600/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=61792 CPUtime=6.29 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 6774 0 0 0 626 3 0 0 20 0 1 0 57557540 63275008 11231 33554432000 4194304 5646918 140734012612992 140734012611128 4397497 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 15448 11231 148 355 0 15089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61792

[startup+12.7002 s]
/proc/loadavg: 2.22 2.21 2.16 4/179 22577
/proc/meminfo: memFree=30294292/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=64360 CPUtime=12.69 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 9105 0 0 0 1264 5 0 0 20 0 1 0 57557540 65904640 15757 33554432000 4194304 5646918 140734012612992 140734012611128 4955962 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 16090 15757 148 355 0 15731 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64360

[startup+25.5004 s]
/proc/loadavg: 2.17 2.20 2.16 3/179 22577
/proc/meminfo: memFree=30273644/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=101480 CPUtime=25.49 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 13719 0 0 0 2538 11 0 0 20 0 1 0 57557540 103915520 20667 33554432000 4194304 5646918 140734012612992 140734012611128 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 25370 20667 148 355 0 25011 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101480

[startup+51.1004 s]
/proc/loadavg: 2.24 2.21 2.17 3/179 22577
/proc/meminfo: memFree=30240460/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=158088 CPUtime=51.08 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 19193 0 0 0 5092 16 0 0 20 0 1 0 57557540 161882112 28921 33554432000 4194304 5646918 140734012612992 140734012611128 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 39522 28921 148 355 0 39163 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158088

[startup+102.3 s]
/proc/loadavg: 2.28 2.22 2.17 4/179 22578
/proc/meminfo: memFree=30281504/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=88860 CPUtime=102.28 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 29622 0 0 0 10197 31 0 0 20 0 1 0 57557540 90992640 18018 33554432000 4194304 5646918 140734012612992 140734012611688 4399752 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 22215 18018 148 355 0 21856 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88860

[startup+162.3 s]
/proc/loadavg: 2.30 2.24 2.18 3/179 22579
/proc/meminfo: memFree=30186472/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=181772 CPUtime=162.26 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 40746 0 0 0 16181 45 0 0 20 0 1 0 57557540 186134528 42964 33554432000 4194304 5646918 140734012612992 140734012611128 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 45443 42964 148 355 0 45084 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 181772

[startup+222.307 s]
/proc/loadavg: 2.16 2.21 2.17 3/179 22580
/proc/meminfo: memFree=30189264/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=188088 CPUtime=222.25 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 45921 0 0 0 22167 58 0 0 20 0 1 0 57557540 192602112 39193 33554432000 4194304 5646918 140734012612992 140734012611128 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 47022 39193 148 355 0 46663 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 188088

[startup+282.3 s]
/proc/loadavg: 2.27 2.23 2.18 4/179 22581
/proc/meminfo: memFree=30155212/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=279456 CPUtime=282.23 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 53772 0 0 0 28153 70 0 0 20 0 1 0 57557540 286162944 49532 33554432000 4194304 5646918 140734012612992 140734012611688 4397445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 69864 49532 148 355 0 69505 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 279456

[startup+342.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/180 22586
/proc/meminfo: memFree=30223712/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=126592 CPUtime=342.23 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 63316 0 0 0 34139 84 0 0 20 0 1 0 57557540 129630208 30862 33554432000 4194304 5646918 140734012612992 140734012611688 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 31648 30862 148 355 0 31289 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 126592

[startup+402.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/179 22587
/proc/meminfo: memFree=30125456/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=213372 CPUtime=402.22 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 70961 0 0 0 40124 98 0 0 20 0 1 0 57557540 218492928 52127 33554432000 4194304 5646918 140734012612992 140734012611128 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 53343 52127 148 355 0 52984 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 213372

[startup+462.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/179 22644
/proc/meminfo: memFree=30103660/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=300700 CPUtime=462.21 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 76793 0 0 0 46111 110 0 0 20 0 1 0 57557540 307916800 60149 33554432000 4194304 5646918 140734012612992 140734012611128 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 75175 60149 148 355 0 74816 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 300700

[startup+522.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 22645
/proc/meminfo: memFree=29876232/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=651824 CPUtime=522.19 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 78755 0 0 0 52105 114 0 0 20 0 1 0 57557540 667467776 114743 33554432000 4194304 5646918 140734012612992 140734012611688 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 162956 114743 148 355 0 162597 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 651824

[startup+582.3 s]
/proc/loadavg: 2.37 2.24 2.19 3/179 22646
/proc/meminfo: memFree=29934272/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=440648 CPUtime=582.19 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 81174 0 0 0 58096 123 0 0 20 0 1 0 57557540 451223552 97749 33554432000 4194304 5646918 140734012612992 140734012611128 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 110162 97749 148 355 0 109803 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 440648


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


[startup+882.307 s]
/proc/loadavg: 2.15 2.20 2.18 3/179 22652
/proc/meminfo: memFree=30037156/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=337820 CPUtime=882.15 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 113632 0 0 0 88031 184 0 0 20 0 1 0 57557540 345927680 63370 33554432000 4194304 5646918 140734012612992 140734012611176 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 84455 63370 148 355 0 84096 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 337820

[startup+942.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/180 22657
/proc/meminfo: memFree=30004520/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=344652 CPUtime=942.14 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 118385 0 0 0 94023 191 0 0 20 0 1 0 57557540 352923648 70488 33554432000 4194304 5646918 140734012612992 140734012611128 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 86163 70488 148 355 0 85804 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 344652

[startup+1002.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/179 22658
/proc/meminfo: memFree=30042484/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=348536 CPUtime=1002.12 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 125608 0 0 0 100011 201 0 0 20 0 1 0 57557540 356900864 69355 33554432000 4194304 5646918 140734012612992 140734012611128 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 87134 69355 148 355 0 86775 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 348536

[startup+1062.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/179 22659
/proc/meminfo: memFree=30073388/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=271244 CPUtime=1062.12 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 131882 0 0 0 105999 213 0 0 20 0 1 0 57557540 277753856 54688 33554432000 4194304 5646918 140734012612992 140734012611688 4403164 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 67811 54688 148 355 0 67452 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 271244

[startup+1122.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/179 22660
/proc/meminfo: memFree=30020508/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=275168 CPUtime=1122.11 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 136930 0 0 0 111988 223 0 0 20 0 1 0 57557540 281772032 64231 33554432000 4194304 5646918 140734012612992 140734012611128 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 68792 64231 148 355 0 68433 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 275168

[startup+1182.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/179 22661
/proc/meminfo: memFree=29787576/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=494292 CPUtime=1182.09 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 138926 0 0 0 117981 228 0 0 20 0 1 0 57557540 506155008 120621 33554432000 4194304 5646918 140734012612992 140734012611176 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 123573 120621 148 355 0 123214 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 494292

[startup+1242.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/179 22663
/proc/meminfo: memFree=29856352/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=497644 CPUtime=1242.07 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 141635 0 0 0 123969 238 0 0 20 0 1 0 57557540 509587456 101260 33554432000 4194304 5646918 140734012612992 140734012611128 4397472 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 124411 101260 148 355 0 124052 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 497644

[startup+1302.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/179 22664
/proc/meminfo: memFree=29951404/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=369232 CPUtime=1302.06 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 144004 0 0 0 129963 243 0 0 20 0 1 0 57557540 378093568 87807 33554432000 4194304 5646918 140734012612992 140734012611128 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 92308 87807 148 355 0 91949 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 369232

[startup+1362.3 s]
/proc/loadavg: 2.34 2.25 2.19 4/179 22665
/proc/meminfo: memFree=29978352/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=374488 CPUtime=1362.04 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 147537 0 0 0 135956 248 0 0 20 0 1 0 57557540 383475712 73922 33554432000 4194304 5646918 140734012612992 140734012611688 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 93622 73922 148 355 0 93263 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 374488

[startup+1422.3 s]
/proc/loadavg: 2.42 2.28 2.20 3/179 22666
/proc/meminfo: memFree=29860260/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=510932 CPUtime=1422.04 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 149427 0 0 0 141953 251 0 0 20 0 1 0 57557540 523194368 101361 33554432000 4194304 5646918 140734012612992 140734012611176 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 127733 101361 148 355 0 127374 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 510932

[startup+1482.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/179 22667
/proc/meminfo: memFree=29787772/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=513428 CPUtime=1482.04 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 150010 0 0 0 147951 253 0 0 20 0 1 0 57557540 525750272 117274 33554432000 4194304 5646918 140734012612992 140734012611576 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 128357 117274 148 355 0 127998 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 513428

[startup+1542.31 s]
/proc/loadavg: 2.33 2.27 2.20 4/180 22672
/proc/meminfo: memFree=29907840/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=515252 CPUtime=1542.03 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 151953 0 0 0 153945 258 0 0 20 0 1 0 57557540 527618048 97445 33554432000 4194304 5646918 140734012612992 140734012611688 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 128813 97445 148 355 0 128454 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 515252

[startup+1602.3 s]
/proc/loadavg: 2.31 2.26 2.20 4/179 22673
/proc/meminfo: memFree=30013596/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=303580 CPUtime=1602.01 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 153431 0 0 0 159939 262 0 0 20 0 1 0 57557540 310865920 66165 33554432000 4194304 5646918 140734012612992 140734012611688 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 75895 66165 148 355 0 75536 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 303580

[startup+1662.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/179 22674
/proc/meminfo: memFree=29971212/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=308228 CPUtime=1662 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 157394 0 0 0 165934 266 0 0 20 0 1 0 57557540 315625472 74639 33554432000 4194304 5646918 140734012612992 140734012611128 4403170 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 77057 74639 148 355 0 76698 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 308228

[startup+1722.3 s]
/proc/loadavg: 2.42 2.31 2.22 4/179 22675
/proc/meminfo: memFree=29887672/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=393428 CPUtime=1721.99 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 162034 0 0 0 171923 276 0 0 20 0 1 0 57557540 402870272 94395 33554432000 4194304 5646918 140734012612992 140734012611128 4400034 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 98357 94395 148 355 0 97998 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 393428

[startup+1782.3 s]
/proc/loadavg: 2.28 2.30 2.21 3/179 22676
/proc/meminfo: memFree=29889584/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=398536 CPUtime=1781.98 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 167458 0 0 0 177912 286 0 0 20 0 1 0 57557540 408100864 91696 33554432000 4194304 5646918 140734012612992 140734012611128 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 99634 91696 148 355 0 99275 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 398536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.28 2.21 3/179 22676
/proc/meminfo: memFree=29941592/32872528 swapFree=1482636/1662508
[pid=22576] ppid=22573 vsize=399576 CPUtime=1800.08 cores=1,3,5,7
/proc/22576/stat : 22576 (minisatp) R 22573 22576 22013 0 -1 4202496 169448 0 0 0 179718 290 0 0 20 0 1 0 57557540 409165824 79371 33554432000 4194304 5646918 140734012612992 140734012611688 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/22576/statm: 99894 79371 148 355 0 99535 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 399576

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1797.18
CPU system time (s): 2.91456
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 789548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 2.91456
maximum resident set size= 674616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169448
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= 67
involuntary context switches= 1906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6053 second user time and 6.85996 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-22 02:25:11
IDJOB=4111696
IDBENCH=2589
IDSOLVER=2555
FILE ID=node134/4111696-1466555111
RUNJOBID= node134-1466551503-22030
PBS_JOBID= 19943329
Free space on /tmp= 71692 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111696-1466555111/watcher-4111696-1466555111 -o /tmp/evaluation-result-4111696-1466555111/solver-4111696-1466555111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466551503-22030 --watchdog 1960  minisatp HOME/instance-4111696-1466555111.opb

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

MD5SUM BENCH= dab917560b0808668d6327532459772d
RANDOM SEED=247564037

node134.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.020
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	: 5334.04
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.020
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	: 7358.89
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.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30355244 kB
Buffers:           20204 kB
Cached:            60136 kB
SwapCached:         2092 kB
Active:           109800 kB
Inactive:          41400 kB
Active(anon):      71712 kB
Inactive(anon):     1648 kB
Active(file):      38088 kB
Inactive(file):    39752 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67098880 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:       1867540 kB
Mapped:             7920 kB
Shmem:                 0 kB
Slab:             566320 kB
SReclaimable:      10500 kB
SUnreclaim:       555820 kB
KernelStack:        1488 kB
PageTables:         7532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1851508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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-4111696-1466555111.opb

Free space on /tmp at the end= 71688 MiB
End job on node134 at 2016-06-22 02:55:12