Trace number 4113530

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.01 1800.3

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_12.opb
MD5SUM88c077ef261c9c72be220a244f8093f6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5852
Total number of constraints28581
Number of constraints which are clauses28576
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint76
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 88
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...
1.79/1.88	c Converting 28578 PB-constraints to clauses...
1.79/1.89	c   -- Unit propagations: pp
1.79/1.89	c   -- Detecting intervals from adjacent constraints: #
1.79/1.89	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.89/1.95	c ---[28576]---> Adder-cost: 142   maxlim: 64   bits: 7/7
1.89/1.96	c ---[   0]---> Adder-cost: 142   maxlim: 68   bits: 7/7
1800.00/1800.30	|  Eliminated clauses:           0.00 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|       100 |    6102    29646   418289 |    10870      100      6 |  0.603 % |
1800.00/1800.30	|       250 |    6102    29646   418289 |    11957      250     16 |  0.602 % |
1800.00/1800.30	|       475 |    6102    29646   418289 |    13152      475    101 |  0.602 % |
1800.00/1800.30	|       812 |    6102    29646   418289 |    14468      812    148 |  0.602 % |
1800.00/1800.30	|      1318 |    6102    29646   418289 |    15915     1318    163 |  0.602 % |
1800.00/1800.30	|      2077 |    6102    29646   418289 |    17506     2077    167 |  0.602 % |
1800.00/1800.30	|      3216 |    6102    29646   418289 |    19257     3216    171 |  0.602 % |
1800.00/1800.30	|      4924 |    6102    29646   418289 |    21182     4924    170 |  0.602 % |
1800.00/1800.30	|      7486 |    6102    29646   418289 |    23301     7486    160 |  0.602 % |
1800.00/1800.30	|     11330 |    6102    29646   418289 |    25631    11330    159 |  0.602 % |
1800.00/1800.30	|     17096 |    6102    29646   418289 |    28194    17096    167 |  0.602 % |
1800.00/1800.30	|     25745 |    6102    29646   418289 |    31013    25745    179 |  0.602 % |
1800.00/1800.30	|     38719 |    6102    29646   418289 |    34115    21001    147 |  0.602 % |
1800.00/1800.30	|     58180 |    6102    29646   418289 |    37526    20314    153 |  0.602 % |
1800.00/1800.30	|     87372 |    6102    29646   418289 |    41279    27220    150 |  0.602 % |
1800.00/1800.30	|    131161 |    6102    29646   418289 |    45407    16107    145 |  0.602 % |
1800.00/1800.30	|    196845 |    6102    29646   418289 |    49948    20951    144 |  0.602 % |
1800.00/1800.30	|    295371 |    6102    29646   418289 |    54943    49170    158 |  0.602 % |
1800.00/1800.30	|    443160 |    6102    29646   418289 |    60437    39980    154 |  0.602 % |
1800.00/1800.30	|    664843 |    6102    29646   418289 |    66481    42168    163 |  0.602 % |
1800.00/1800.30	|    997368 |    6102    29646   418289 |    73129    17893    120 |  0.602 % |
1800.00/1800.30	|   1496156 |    6102    29646   418289 |    80442    60873    164 |  0.602 % |
1800.00/1800.30	|   2244338 |    6102    29646   418289 |    88486    51472    154 |  0.602 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/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-4113530-1466629093/watcher-4113530-1466629093 -o /tmp/evaluation-result-4113530-1466629093/solver-4113530-1466629093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466623668-2160 --watchdog 1960 minisatp HOME/instance-4113530-1466629093.opb 

pid=4477
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.21 2.19 2.17 3/176 4480
/proc/meminfo: memFree=30724200/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=6596 CPUtime=0 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 64955852 6754304 230 33554432000 4194304 5646918 140736815994640 140735174021240 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 1649 230 94 355 0 1290 0

[startup+0.100164 s]
/proc/loadavg: 2.21 2.19 2.17 3/176 4480
/proc/meminfo: memFree=30724200/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=10920 CPUtime=0.09 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 1279 0 0 0 9 0 0 0 20 0 1 0 64955852 11182080 1155 33554432000 4194304 5646918 140736815994640 140735174021240 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 2730 1155 94 355 0 2371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10920

[startup+0.20035 s]
/proc/loadavg: 2.21 2.19 2.17 3/176 4480
/proc/meminfo: memFree=30724200/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=14840 CPUtime=0.19 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 2108 0 0 0 19 0 0 0 20 0 1 0 64955852 15196160 1984 33554432000 4194304 5646918 140736815994640 140736815994008 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 3710 1984 94 355 0 3351 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14840

[startup+0.300255 s]
/proc/loadavg: 2.21 2.19 2.17 3/176 4480
/proc/meminfo: memFree=30724200/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=18528 CPUtime=0.29 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 2905 0 0 0 29 0 0 0 20 0 1 0 64955852 18972672 2781 33554432000 4194304 5646918 140736815994640 140736815994008 4817512 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 4632 2782 94 355 0 4273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18528

[startup+0.70024 s]
/proc/loadavg: 2.21 2.19 2.17 3/176 4480
/proc/meminfo: memFree=30724200/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=33344 CPUtime=0.69 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 6098 0 0 0 68 1 0 0 20 0 1 0 64955852 34144256 5974 33554432000 4194304 5646918 140736815994640 140736815994008 4823289 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 8336 5974 94 355 0 7977 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33344

[startup+1.50024 s]
/proc/loadavg: 2.21 2.19 2.17 3/177 4481
/proc/meminfo: memFree=30687504/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=63104 CPUtime=1.49 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 12460 0 0 0 147 2 0 0 20 0 1 0 64955852 64618496 12336 33554432000 4194304 5646918 140736815994640 140736815994008 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 15776 12336 94 355 0 15417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63104

[startup+3.10021 s]
/proc/loadavg: 2.20 2.18 2.17 3/177 4481
/proc/meminfo: memFree=30649320/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=86896 CPUtime=3.09 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 18899 0 0 0 305 4 0 0 20 0 1 0 64955852 88981504 19224 33554432000 4194304 5646918 140736815994640 140736815992952 4403411 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 21724 19224 182 355 0 21365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86896

[startup+6.30026 s]
/proc/loadavg: 2.20 2.18 2.17 3/177 4481
/proc/meminfo: memFree=30642972/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=94036 CPUtime=6.29 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 20026 0 0 0 624 5 0 0 20 0 1 0 64955852 96292864 20855 33554432000 4194304 5646918 140736815994640 140736815993336 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 23509 20855 183 355 0 23150 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94036

[startup+12.7003 s]
/proc/loadavg: 2.17 2.18 2.17 3/177 4481
/proc/meminfo: memFree=30631324/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=112892 CPUtime=12.69 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 21129 0 0 0 1264 5 0 0 20 0 1 0 64955852 115601408 23488 33554432000 4194304 5646918 140736815994640 140736815993336 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 28223 23488 183 355 0 27864 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112892

[startup+25.5003 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 4481
/proc/meminfo: memFree=30627828/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=112892 CPUtime=25.49 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 22949 0 0 0 2543 6 0 0 20 0 1 0 64955852 115601408 24271 33554432000 4194304 5646918 140736815994640 140736815993336 4403176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 28223 24271 185 355 0 27864 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112892

[startup+51.1003 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 4482
/proc/meminfo: memFree=30607456/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=131672 CPUtime=51.09 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 24025 0 0 0 5102 7 0 0 20 0 1 0 64955852 134832128 29367 33554432000 4194304 5646918 140736815994640 140736815992888 4402867 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 32918 29367 185 355 0 32559 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 131672

[startup+102.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 4483
/proc/meminfo: memFree=30605200/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=131672 CPUtime=102.29 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 25144 0 0 0 10221 8 0 0 20 0 1 0 64955852 134832128 29806 33554432000 4194304 5646918 140736815994640 140736815993352 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 32918 29806 185 355 0 32559 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 131672

[startup+162.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/178 4487
/proc/meminfo: memFree=30604692/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=131672 CPUtime=162.27 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 26384 0 0 0 16217 10 0 0 20 0 1 0 64955852 134832128 30018 33554432000 4194304 5646918 140736815994640 140736815993352 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 32918 30018 185 355 0 32559 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 131672

[startup+222.307 s]
/proc/loadavg: 2.19 2.18 2.18 3/178 4511
/proc/meminfo: memFree=30603768/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=131672 CPUtime=222.26 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 27516 0 0 0 22215 11 0 0 20 0 1 0 64955852 134832128 30121 33554432000 4194304 5646918 140736815994640 140736815993352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 32918 30121 185 355 0 32559 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 131672

[startup+282.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 4512
/proc/meminfo: memFree=30542032/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=192984 CPUtime=282.25 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 29093 0 0 0 28212 13 0 0 20 0 1 0 64955852 197615616 43615 33554432000 4194304 5646918 140736815994640 140736815992936 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48246 43615 185 355 0 47887 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 192984

[startup+342.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/176 4568
/proc/meminfo: memFree=30647844/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=342.24 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 29902 0 0 0 34210 14 0 0 20 0 1 0 64955852 147111936 34706 33554432000 4194304 5646918 140736815994640 140736815993352 4403427 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 34706 185 355 0 35557 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 143664

[startup+402.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 4571
/proc/meminfo: memFree=30645708/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=402.23 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 30632 0 0 0 40207 16 0 0 20 0 1 0 64955852 147111936 34745 33554432000 4194304 5646918 140736815994640 140736815993352 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 34745 185 355 0 35557 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 143664

[startup+462.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 4572
/proc/meminfo: memFree=30641736/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=462.22 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 31378 0 0 0 46205 17 0 0 20 0 1 0 64955852 147111936 35544 33554432000 4194304 5646918 140736815994640 140736815993352 4389193 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 35544 185 355 0 35557 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 143664

[startup+522.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/177 4573
/proc/meminfo: memFree=30636712/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=522.19 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 32096 0 0 0 52201 18 0 0 20 0 1 0 64955852 147111936 35627 33554432000 4194304 5646918 140736815994640 140736815993352 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 35627 185 355 0 35557 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 143664

[startup+582.3 s]
/proc/loadavg: 2.10 2.16 2.17 4/177 4574
/proc/meminfo: memFree=30616680/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=582.19 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 32786 0 0 0 58199 20 0 0 20 0 1 0 64955852 147111936 35627 33554432000 4194304 5646918 140736815994640 140736815993352 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 35627 185 355 0 35557 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 143664


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


[startup+942.3 s]
/proc/loadavg: 2.23 2.17 2.16 3/177 4640
/proc/meminfo: memFree=29926160/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=942.13 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 38842 0 0 0 94180 33 0 0 20 0 1 0 64955852 147111936 35627 33554432000 4194304 5646918 140736815994640 140736815993352 4403438 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 35627 185 355 0 35557 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 143664

[startup+1002.3 s]
/proc/loadavg: 2.32 2.21 2.18 3/177 4642
/proc/meminfo: memFree=29820736/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=192984 CPUtime=1002.11 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 40117 0 0 0 100177 34 0 0 20 0 1 0 64955852 197615616 45680 33554432000 4194304 5646918 140736815994640 140736815992936 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48246 45680 185 355 0 47887 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 192984

[startup+1062.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/177 4643
/proc/meminfo: memFree=29794892/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143664 CPUtime=1062.11 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 41634 0 0 0 106174 37 0 0 20 0 1 0 64955852 147111936 35627 33554432000 4194304 5646918 140736815994640 140736815993352 4402736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35916 35627 185 355 0 35557 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 143664

[startup+1122.3 s]
/proc/loadavg: 2.34 2.23 2.19 4/177 4644
/proc/meminfo: memFree=29705180/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=193144 CPUtime=1122.1 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 42952 0 0 0 112171 39 0 0 20 0 1 0 64955852 197779456 44696 33554432000 4194304 5646918 140736815994640 140736815992936 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48286 44696 185 355 0 47927 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 193144

[startup+1182.3 s]
/proc/loadavg: 2.31 2.24 2.19 4/177 4645
/proc/meminfo: memFree=29635000/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=193144 CPUtime=1182.09 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 43891 0 0 0 118168 41 0 0 20 0 1 0 64955852 197779456 47768 33554432000 4194304 5646918 140736815994640 140736815992936 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48286 47768 185 355 0 47927 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 193144

[startup+1242.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 4646
/proc/meminfo: memFree=29637312/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143824 CPUtime=1242.09 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 44823 0 0 0 124166 43 0 0 20 0 1 0 64955852 147275776 35667 33554432000 4194304 5646918 140736815994640 140736815993352 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35956 35667 185 355 0 35597 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 143824

[startup+1302.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 4648
/proc/meminfo: memFree=30207584/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=193144 CPUtime=1302.08 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 46103 0 0 0 130163 45 0 0 20 0 1 0 64955852 197779456 46744 33554432000 4194304 5646918 140736815994640 140736815992936 4403427 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48286 46744 185 355 0 47927 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 193144

[startup+1362.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/178 4652
/proc/meminfo: memFree=30139856/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=193144 CPUtime=1362.06 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 47050 0 0 0 136160 46 0 0 20 0 1 0 64955852 197779456 47778 33554432000 4194304 5646918 140736815994640 140736815992936 4403170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48286 47778 185 355 0 47927 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 193144

[startup+1422.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 4653
/proc/meminfo: memFree=30126672/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143824 CPUtime=1422.06 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 48568 0 0 0 142157 49 0 0 20 0 1 0 64955852 147275776 35679 33554432000 4194304 5646918 140736815994640 140736815993352 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35956 35679 185 355 0 35597 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 143824

[startup+1482.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/177 4654
/proc/meminfo: memFree=30068912/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143824 CPUtime=1482.05 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 49502 0 0 0 148154 51 0 0 20 0 1 0 64955852 147275776 35679 33554432000 4194304 5646918 140736815994640 140736815993352 4403389 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35956 35679 185 355 0 35597 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 143824

[startup+1542.31 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 4655
/proc/meminfo: memFree=29971160/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=193144 CPUtime=1542.05 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 50784 0 0 0 154152 53 0 0 20 0 1 0 64955852 197779456 47780 33554432000 4194304 5646918 140736815994640 140736815992936 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48286 47780 185 355 0 47927 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 193144

[startup+1602.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 4657
/proc/meminfo: memFree=29917996/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=223964 CPUtime=1602.02 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 52303 0 0 0 160147 55 0 0 20 0 1 0 64955852 229339136 49383 33554432000 4194304 5646918 140736815994640 140736815993336 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 55991 49383 185 355 0 55632 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 223964

[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 4658
/proc/meminfo: memFree=29921588/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143824 CPUtime=1662.02 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 53241 0 0 0 166145 57 0 0 20 0 1 0 64955852 147275776 35679 33554432000 4194304 5646918 140736815994640 140736815993352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35956 35679 185 355 0 35597 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 143824

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 4659
/proc/meminfo: memFree=29873972/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=143824 CPUtime=1722.01 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 54175 0 0 0 172142 59 0 0 20 0 1 0 64955852 147275776 35679 33554432000 4194304 5646918 140736815994640 140736815993352 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 35956 35679 185 355 0 35597 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 143824

[startup+1782.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/177 4660
/proc/meminfo: memFree=29784808/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=193144 CPUtime=1782 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 55454 0 0 0 178139 61 0 0 20 0 1 0 64955852 197779456 45220 33554432000 4194304 5646918 140736815994640 140736815992936 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 48286 45220 185 355 0 47927 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 193144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/177 4660
/proc/meminfo: memFree=29752232/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=223964 CPUtime=1800 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 55713 0 0 0 179938 62 0 0 20 0 1 0 64955852 229339136 48031 33554432000 4194304 5646918 140736815994640 140736815993336 4403464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 55991 48031 185 355 0 55632 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 223964

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

[startup+1800.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/177 4660
/proc/meminfo: memFree=29752232/32872528 swapFree=1200748/1315212
[pid=4480] ppid=4477 vsize=223964 CPUtime=1800 cores=0,2,4,6
/proc/4480/stat : 4480 (minisatp) R 4477 4480 2144 0 -1 4202496 55713 0 0 0 179938 62 0 0 20 0 1 0 64955852 229339136 48031 33554432000 4194304 5646918 140736815994640 140736815993336 4403464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/4480/statm: 55991 48031 185 355 0 55632 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 223964

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.38
CPU system time (s): 0.626904
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 223964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.626904
maximum resident set size= 205724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55713
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= 35
involuntary context switches= 1879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2824 second user time and 7.80081 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-22 22:58:13
IDJOB=4113530
IDBENCH=107882
IDSOLVER=2555
FILE ID=node131/4113530-1466629093
RUNJOBID= node131-1466623668-2160
PBS_JOBID= 19957255
Free space on /tmp= 71692 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_12.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113530-1466629093/watcher-4113530-1466629093 -o /tmp/evaluation-result-4113530-1466629093/solver-4113530-1466629093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466623668-2160 --watchdog 1960  minisatp HOME/instance-4113530-1466629093.opb

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

MD5SUM BENCH= 88c077ef261c9c72be220a244f8093f6
RANDOM SEED=6360018

node131.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.752
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	: 5333.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.56
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.752
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.57
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.752
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:        30724636 kB
Buffers:            4852 kB
Cached:            38580 kB
SwapCached:         1820 kB
Active:           115880 kB
Inactive:          17956 kB
Active(anon):      90672 kB
Inactive(anon):     1856 kB
Active(file):      25208 kB
Inactive(file):    16100 kB
Unevictable:     1315212 kB
Mlocked:         1200748 kB
SwapTotal:      67108856 kB
SwapFree:       67099204 kB
Dirty:              7452 kB
Writeback:             0 kB
AnonPages:       1404812 kB
Mapped:             7660 kB
Shmem:                 0 kB
Slab:             565448 kB
SReclaimable:       8776 kB
SUnreclaim:       556672 kB
KernelStack:        1416 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1518960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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-4113530-1466629093.opb

Free space on /tmp at the end= 71680 MiB
End job on node131 at 2016-06-22 23:28:14