Trace number 4115374

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
MD5SUM6a8d837851671f69c34bdd14861bc7ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables2910
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 12627
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526152
Number of bits of the biggest sum of numbers20
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.05	c Converting 67 PB-constraints to clauses...
0.00/0.05	c   -- Unit propagations: pp
0.00/0.06	c   -- Detecting intervals from adjacent constraints: ##############
0.00/0.06	c   -- Clauses(.)/Splits(s): (none)
0.00/0.06	c ---[  66]---> Adder-cost: 444   maxlim: 44   bits: 7/6
0.09/0.17	c ---[  64]---> Adder-cost: 88   maxlim: 54   bits: 6/6
0.09/0.17	c ---[  63]---> Adder-cost: 102   maxlim: 50   bits: 7/6
0.09/0.17	c ---[  62]---> Sorter-cost:  512     Base: 2
0.09/0.17	c ---[  61]---> Adder-cost: 190   maxlim: 89   bits: 7/7
0.09/0.18	c ---[  60]---> Adder-cost: 110   maxlim: 86   bits: 7/7
0.09/0.18	c ---[  59]---> Sorter-cost: 1041     Base: 3
0.09/0.18	c ---[  58]---> BDD-cost:  161
0.09/0.18	c ---[  56]---> Adder-cost: 109   maxlim: 54   bits: 7/6
0.09/0.18	c ---[  55]---> Adder-cost: 122   maxlim: 136   bits: 8/8
0.09/0.19	c ---[  54]---> Adder-cost: 142   maxlim: 254   bits: 9/8
0.09/0.19	c ---[  53]---> Adder-cost: 142   maxlim: 249   bits: 9/8
0.09/0.19	c ---[  52]---> Adder-cost: 216   maxlim: 120   bits: 8/7
0.19/0.20	c ---[  51]---> Sorter-cost: 1041     Base: 3
0.19/0.20	c ---[  50]---> Sorter-cost: 1042     Base: 3
0.19/0.20	c ---[  49]---> Adder-cost: 122   maxlim: 147   bits: 8/8
0.19/0.20	c ---[  48]---> Sorter-cost: 1041     Base: 3
0.19/0.20	c ---[  47]---> Adder-cost: 170   maxlim: 265   bits: 9/9
0.19/0.21	c ---[  46]---> Sorter-cost:  630     Base: 2
0.19/0.21	c ---[  45]---> Sorter-cost:  512     Base: 2
0.19/0.21	c ---[  44]---> BDD-cost:  108
0.19/0.21	c ---[  43]---> Sorter-cost:  153     Base: 2
0.19/0.21	c ---[  42]---> Sorter-cost:  603     Base: 2 2 2 2 2
0.19/0.21	c ---[  41]---> Sorter-cost:  190     Base: 2
0.19/0.21	c ---[  40]---> Adder-cost: 178   maxlim: 255   bits: 9/8
0.19/0.21	c ---[  38]---> Adder-cost: 708   maxlim: 163   bits: 9/8
0.19/0.22	c ---[  37]---> BDD-cost:   49
0.19/0.22	c ---[  36]---> BDD-cost:  109
0.19/0.23	c ---[  34]---> Adder-cost: 426   maxlim: 107   bits: 8/7
0.19/0.23	c ---[  32]---> Adder-cost: 415   maxlim: 107   bits: 8/7
0.19/0.24	c ---[  30]---> Adder-cost: 403   maxlim: 107   bits: 8/7
0.19/0.24	c ---[  29]---> Adder-cost: 430   maxlim: 359   bits: 9/9
0.19/0.26	c ---[  27]---> Sorter-cost:  517     Base: 3
0.19/0.26	c ---[  26]---> Adder-cost: 82   maxlim: 35   bits: 6/6
0.19/0.26	c ---[  25]---> BDD-cost:  104
0.19/0.26	c ---[  24]---> BDD-cost:   55
0.19/0.26	c ---[  22]---> Adder-cost: 78   maxlim: 51   bits: 6/6
0.19/0.26	c ---[  21]---> BDD-cost:   35
0.19/0.26	c ---[  19]---> Adder-cost: 337   maxlim: 88   bits: 8/7
0.19/0.27	c ---[  17]---> Adder-cost: 339   maxlim: 61   bits: 7/6
0.19/0.27	c ---[  15]---> Adder-cost: 351   maxlim: 61   bits: 7/6
0.19/0.28	c ---[  14]---> BDD-cost:  161
0.19/0.28	c ---[  13]---> Adder-cost: 314   maxlim: 213   bits: 9/8
0.19/0.29	c ---[  12]---> Adder-cost: 102   maxlim: 59   bits: 7/6
0.19/0.29	c ---[  11]---> Sorter-cost:  616     Base: 2
0.19/0.29	c ---[   9]---> Adder-cost: 169   maxlim: 14   bits: 5/4
0.19/0.29	c ---[   7]---> Adder-cost: 427   maxlim: 86   bits: 8/7
0.29/0.30	c ---[   6]---> Adder-cost: 70   maxlim: 4   bits: 4/3
0.29/0.30	c ---[   5]---> Adder-cost: 104   maxlim: 38   bits: 7/6
0.29/0.30	c ---[   4]---> Adder-cost: 104   maxlim: 114   bits: 8/7
0.29/0.31	c ---[   2]---> Adder-cost: 556   maxlim: 141   bits: 9/8
0.29/0.32	c ---[   1]---> Adder-cost: 518   maxlim: 445   bits: 10/9
0.29/0.35	c ---[   0]---> Adder-cost: 50   maxlim: 58   bits: 7/6
1800.00/1800.30	|  Eliminated clauses:           0.11 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 |   12932    65025   225674 |    23842      100      4 | 10.411 % |
1800.00/1800.30	|       250 |   12930    65025   225674 |    26226      248      4 | 10.423 % |
1800.00/1800.30	|       475 |   12930    65025   225674 |    28849      473      5 | 10.423 % |
1800.00/1800.30	|       812 |   12928    65025   225674 |    31734      808      6 | 10.434 % |
1800.00/1800.30	|      1318 |   12927    65025   225674 |    34907     1313     10 | 10.439 % |
1800.00/1800.30	|      2077 |   12922    65025   225674 |    38398     2055      9 | 10.467 % |
1800.00/1800.30	|      3216 |   12922    65025   225674 |    42238     3186     10 | 10.467 % |
1800.00/1800.30	|      4924 |   12921    65025   225674 |    46462     4893     11 | 10.473 % |
1800.00/1800.30	|      7486 |   12919    65025   225674 |    51108     7451     13 | 10.484 % |
1800.00/1800.30	|     11330 |   12914    65025   225674 |    56219    11293     14 | 10.511 % |
1800.00/1800.30	|     17096 |   12905    65025   225674 |    61841    17035     14 | 10.561 % |
1800.00/1800.30	|     25745 |   12883    65025   225674 |    68025    25608     15 | 10.684 % |
1800.00/1800.30	|     38719 |   12876    65025   225674 |    74827    38541     17 | 10.722 % |
1800.00/1800.30	|     58180 |   12853    65025   225674 |    82310    57952     19 | 10.850 % |
1800.00/1800.30	|     87372 |   12830    65025   225674 |    90541    22706     21 | 10.978 % |
1800.00/1800.30	|    131161 |   12830    65025   225674 |    99596    66495     30 | 10.978 % |
1800.00/1800.30	|    196845 |   12828    65025   225674 |   109555    53345     26 | 10.989 % |
1800.00/1800.30	|    295371 |   12828    65025   225674 |   120511    64284     25 | 10.989 % |
1800.00/1800.30	|    443160 |   12815    65025   225674 |   132562   113625     32 | 11.061 % |
1800.00/1800.30	|    664843 |   12780    65025   225674 |   145818   109209     33 | 11.255 % |
1800.00/1800.30	|    997368 |   12778    65025   225674 |   160400    67847     64 | 11.267 % |
1800.00/1800.30	|   1496156 |   12778    65025   225674 |   176440   142795     29 | 11.267 % |
1800.00/1800.30	|   2244338 |   12753    65025   225674 |   194084   117890     58 | 11.405 % |
1800.00/1800.30	|   3366612 |   12733    65025   225674 |   213492   193480     38 | 11.516 % |
1800.00/1800.30	|   5050023 |   12708    65025   225674 |   234842   154536     76 | 11.655 % |
1800.00/1800.30	|   7575139 |   12596    65025   225674 |   258326   126816     60 | 12.277 % |
1800.00/1800.30	|  11362814 |   12570    65025   225674 |   284159   141967     89 | 12.422 % |
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-4115374-1466522489/watcher-4115374-1466522489 -o /tmp/evaluation-result-4115374-1466522489/solver-4115374-1466522489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17585 --watchdog 1960 minisatp HOME/instance-4115374-1466522489.opb 

pid=20270
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.23 2.22 2.18 3/176 20273
/proc/meminfo: memFree=29736760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=7136 CPUtime=0 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 472 0 0 0 0 0 0 0 20 0 1 0 54297854 7307264 348 33554432000 4194304 5646918 140736808288576 140735195540760 4953072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 1784 348 97 355 0 1425 0

[startup+0.100158 s]
/proc/loadavg: 2.23 2.22 2.18 3/176 20273
/proc/meminfo: memFree=29736760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=8592 CPUtime=0.09 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 873 0 0 0 9 0 0 0 20 0 1 0 54297854 8798208 749 33554432000 4194304 5646918 140736808288576 140735195540760 4565101 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 2148 749 118 355 0 1789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8592

[startup+0.200277 s]
/proc/loadavg: 2.23 2.22 2.18 3/176 20273
/proc/meminfo: memFree=29736760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=8908 CPUtime=0.19 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 992 0 0 0 19 0 0 0 20 0 1 0 54297854 9121792 868 33554432000 4194304 5646918 140736808288576 140736808287240 4309848 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 2227 868 152 355 0 1868 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8908

[startup+0.300265 s]
/proc/loadavg: 2.23 2.22 2.18 3/176 20273
/proc/meminfo: memFree=29736760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=10112 CPUtime=0.29 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 1419 0 0 0 29 0 0 0 20 0 1 0 54297854 10354688 1162 33554432000 4194304 5646918 140736808288576 140736808287240 4823276 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 2528 1162 152 355 0 2169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10112

[startup+0.700233 s]
/proc/loadavg: 2.23 2.22 2.18 3/176 20273
/proc/meminfo: memFree=29736760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=16840 CPUtime=0.69 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 3601 0 0 0 69 0 0 0 20 0 1 0 54297854 17244160 3783 33554432000 4194304 5646918 140736808288576 140736808287240 4402829 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 4210 3783 182 355 0 3851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16840

[startup+1.50027 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 20274
/proc/meminfo: memFree=29719760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=18208 CPUtime=1.49 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 3974 0 0 0 149 0 0 0 20 0 1 0 54297854 18644992 4156 33554432000 4194304 5646918 140736808288576 140736808286680 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 4552 4156 182 355 0 4193 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18208

[startup+3.10032 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 20274
/proc/meminfo: memFree=29715260/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=27548 CPUtime=3.09 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 5526 0 0 0 309 0 0 0 20 0 1 0 54297854 28209152 6183 33554432000 4194304 5646918 140736808288576 140736808286712 4403408 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 6887 6183 182 355 0 6528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27548

[startup+6.30032 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 20274
/proc/meminfo: memFree=29710132/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=29648 CPUtime=6.29 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 7368 0 0 0 628 1 0 0 20 0 1 0 54297854 30359552 7039 33554432000 4194304 5646918 140736808288576 140736808286712 4402784 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 7412 7039 184 355 0 7053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29648

[startup+12.7003 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 20274
/proc/meminfo: memFree=29690584/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=42160 CPUtime=12.69 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 9698 0 0 0 1267 2 0 0 20 0 1 0 54297854 43171840 10072 33554432000 4194304 5646918 140736808288576 140736808286824 4402806 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 10540 10072 184 355 0 10181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42160

[startup+25.5004 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 20274
/proc/meminfo: memFree=29677208/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=46624 CPUtime=25.48 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 10453 0 0 0 2546 2 0 0 20 0 1 0 54297854 47742976 11324 33554432000 4194304 5646918 140736808288576 140736808286840 4403164 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 11656 11324 184 355 0 11297 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46624

[startup+51.1004 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 20275
/proc/meminfo: memFree=29635736/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=92100 CPUtime=51.08 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 11414 0 0 0 5105 3 0 0 20 0 1 0 54297854 94310400 16774 33554432000 4194304 5646918 140736808288576 140736808286824 4403152 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 23025 16774 184 355 0 22666 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92100

[startup+102.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 20276
/proc/meminfo: memFree=29559708/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=92100 CPUtime=102.28 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 12482 0 0 0 10223 5 0 0 20 0 1 0 54297854 94310400 18019 33554432000 4194304 5646918 140736808288576 140736808287288 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 23025 18019 184 355 0 22666 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92100

[startup+162.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 20277
/proc/meminfo: memFree=29477776/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=92100 CPUtime=162.27 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 13205 0 0 0 16221 6 0 0 20 0 1 0 54297854 94310400 22704 33554432000 4194304 5646918 140736808288576 140736808287288 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 23025 22704 184 355 0 22666 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 92100

[startup+222.307 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 20278
/proc/meminfo: memFree=29417832/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=104368 CPUtime=222.27 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 15093 0 0 0 22217 10 0 0 20 0 1 0 54297854 106872832 25698 33554432000 4194304 5646918 140736808288576 140736808287288 4403368 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 26092 25698 184 355 0 25733 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 104368

[startup+282.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 20279
/proc/meminfo: memFree=29391852/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=104368 CPUtime=282.24 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 15231 0 0 0 28214 10 0 0 20 0 1 0 54297854 106872832 25713 33554432000 4194304 5646918 140736808288576 140736808287288 4403187 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 26092 25713 184 355 0 25733 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 104368

[startup+342.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 20281
/proc/meminfo: memFree=29371772/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=104368 CPUtime=342.24 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 16211 0 0 0 34211 13 0 0 20 0 1 0 54297854 106872832 25732 33554432000 4194304 5646918 140736808288576 140736808287288 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 26092 25732 184 355 0 25733 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 104368

[startup+402.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 20282
/proc/meminfo: memFree=29355916/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=104368 CPUtime=402.23 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 16708 0 0 0 40208 15 0 0 20 0 1 0 54297854 106872832 25735 33554432000 4194304 5646918 140736808288576 140736808287288 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 26092 25735 184 355 0 25733 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 104368

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 20283
/proc/meminfo: memFree=29291252/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=153688 CPUtime=462.22 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 18339 0 0 0 46203 19 0 0 20 0 1 0 54297854 157376512 36593 33554432000 4194304 5646918 140736808288576 140736808286872 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 38422 36593 184 355 0 38063 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 153688

[startup+522.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 20287
/proc/meminfo: memFree=29246576/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=104368 CPUtime=522.21 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 19683 0 0 0 52199 22 0 0 20 0 1 0 54297854 106872832 25753 33554432000 4194304 5646918 140736808288576 140736808287288 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 26092 25753 184 355 0 25733 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 104368

[startup+582.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/177 20288
/proc/meminfo: memFree=29251088/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=134972 CPUtime=582.21 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 20385 0 0 0 58196 25 0 0 20 0 1 0 54297854 138211328 31189 33554432000 4194304 5646918 140736808288576 140736808286824 4397721 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 33743 31189 184 355 0 33384 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 134972


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/176 20295
/proc/meminfo: memFree=28894304/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=234168 CPUtime=942.13 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 26628 0 0 0 94172 41 0 0 20 0 1 0 54297854 239788032 50808 33554432000 4194304 5646918 140736808288576 140736808286872 4403488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 58542 50808 184 355 0 58183 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 234168

[startup+1002.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/177 20297
/proc/meminfo: memFree=28811424/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=234168 CPUtime=1002.13 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 27471 0 0 0 100169 44 0 0 20 0 1 0 54297854 239788032 51832 33554432000 4194304 5646918 140736808288576 140736808286872 4403124 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 58542 51832 184 355 0 58183 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 234168

[startup+1062.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 20298
/proc/meminfo: memFree=28755536/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=264988 CPUtime=1062.11 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 28791 0 0 0 106165 46 0 0 20 0 1 0 54297854 271347712 54971 33554432000 4194304 5646918 140736808288576 140736808287272 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 66247 54971 184 355 0 65888 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 264988

[startup+1122.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/178 20302
/proc/meminfo: memFree=28732604/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=234168 CPUtime=1122.1 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 29756 0 0 0 112162 48 0 0 20 0 1 0 54297854 239788032 51832 33554432000 4194304 5646918 140736808288576 140736808286872 4403450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 58542 51832 184 355 0 58183 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 234168

[startup+1182.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 20303
/proc/meminfo: memFree=28689480/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=264988 CPUtime=1182.1 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 31906 0 0 0 118158 52 0 0 20 0 1 0 54297854 271347712 55483 33554432000 4194304 5646918 140736808288576 140736808287272 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 66247 55483 184 355 0 65888 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 264988

[startup+1242.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/177 20304
/proc/meminfo: memFree=28683996/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=184848 CPUtime=1242.09 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 32743 0 0 0 124156 53 0 0 20 0 1 0 54297854 189284352 41998 33554432000 4194304 5646918 140736808288576 140736808287288 4402821 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 46212 41998 184 355 0 45853 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 184848

[startup+1302.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 20361
/proc/meminfo: memFree=30865280/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=264988 CPUtime=1302.08 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 35007 0 0 0 130151 57 0 0 20 0 1 0 54297854 271347712 55483 33554432000 4194304 5646918 140736808288576 140736808287272 4403167 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 66247 55483 184 355 0 65888 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 264988

[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 20362
/proc/meminfo: memFree=30862792/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=234708 CPUtime=1362.07 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 36002 0 0 0 136147 60 0 0 20 0 1 0 54297854 240340992 53900 33554432000 4194304 5646918 140736808288576 140736808286872 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 58677 53900 184 355 0 58318 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 234708

[startup+1422.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 20363
/proc/meminfo: memFree=30588520/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=185388 CPUtime=1422.06 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 36263 0 0 0 142145 61 0 0 20 0 1 0 54297854 189837312 44067 33554432000 4194304 5646918 140736808288576 140736808287288 4403173 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 46347 44067 184 355 0 45988 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 185388

[startup+1482.3 s]
/proc/loadavg: 2.07 2.14 2.17 3/177 20364
/proc/meminfo: memFree=30489352/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=206284 CPUtime=1482.06 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 38675 0 0 0 148140 66 0 0 20 0 1 0 54297854 211234816 51153 33554432000 4194304 5646918 140736808288576 140736808287288 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 51571 51153 184 355 0 51212 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 206284

[startup+1542.31 s]
/proc/loadavg: 2.08 2.13 2.16 3/177 20365
/proc/meminfo: memFree=30449760/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=206284 CPUtime=1542.05 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 39096 0 0 0 154138 67 0 0 20 0 1 0 54297854 211234816 51153 33554432000 4194304 5646918 140736808288576 140736808287288 4403043 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 51571 51153 184 355 0 51212 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 206284

[startup+1602.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/177 20367
/proc/meminfo: memFree=30416708/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=206284 CPUtime=1602.04 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 40683 0 0 0 160132 72 0 0 20 0 1 0 54297854 211234816 51168 33554432000 4194304 5646918 140736808288576 140736808287288 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 51571 51168 184 355 0 51212 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 206284

[startup+1662.3 s]
/proc/loadavg: 2.18 2.15 2.16 3/177 20368
/proc/meminfo: memFree=30352868/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=255604 CPUtime=1662.02 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 41062 0 0 0 166129 73 0 0 20 0 1 0 54297854 261738496 59978 33554432000 4194304 5646918 140736808288576 140736808286872 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 63901 59978 184 355 0 63542 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 255604

[startup+1722.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/178 20372
/proc/meminfo: memFree=30351956/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=206284 CPUtime=1722.02 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 41929 0 0 0 172126 76 0 0 20 0 1 0 54297854 211234816 51168 33554432000 4194304 5646918 140736808288576 140736808287288 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 51571 51168 184 355 0 51212 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 206284

[startup+1782.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/177 20373
/proc/meminfo: memFree=30322876/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=206284 CPUtime=1782.01 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 42776 0 0 0 178122 79 0 0 20 0 1 0 54297854 211234816 51168 33554432000 4194304 5646918 140736808288576 140736808287288 4403411 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 51571 51168 184 355 0 51212 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 206284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.16 2.16 3/177 20374
/proc/meminfo: memFree=30262852/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=286424 CPUtime=1800 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 43494 0 0 0 179920 80 0 0 20 0 1 0 54297854 293298176 64653 33554432000 4194304 5646918 140736808288576 140736808287272 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 71606 64653 184 355 0 71247 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 286424

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

[startup+1800.3 s]
/proc/loadavg: 2.18 2.16 2.16 3/177 20374
/proc/meminfo: memFree=30262852/32872528 swapFree=877056/942464
[pid=20273] ppid=20270 vsize=286424 CPUtime=1800 cores=1,3,5,7
/proc/20273/stat : 20273 (minisatp) R 20270 20273 17568 0 -1 4202496 43494 0 0 0 179920 80 0 0 20 0 1 0 54297854 293298176 64653 33554432000 4194304 5646918 140736808288576 140736808287272 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/20273/statm: 71606 64653 184 355 0 71247 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 286424

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.21
CPU system time (s): 0.807877
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 315616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.807877
maximum resident set size= 288752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43494
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= 17
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5903 second user time and 6.87395 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-21 17:21:29
IDJOB=4115374
IDBENCH=1642
IDSOLVER=2555
FILE ID=node113/4115374-1466522489
RUNJOBID= node113-1466514731-17585
PBS_JOBID= 19942876
Free space on /tmp= 71700 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115374-1466522489/watcher-4115374-1466522489 -o /tmp/evaluation-result-4115374-1466522489/solver-4115374-1466522489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17585 --watchdog 1960  minisatp HOME/instance-4115374-1466522489.opb

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

MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba
RANDOM SEED=1901611609

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29737568 kB
Buffers:           20540 kB
Cached:            42380 kB
SwapCached:         2412 kB
Active:          1448208 kB
Inactive:          26228 kB
Active(anon):    1408592 kB
Inactive(anon):     5032 kB
Active(file):      39616 kB
Inactive(file):    21196 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:              3620 kB
Writeback:             0 kB
AnonPages:       2353140 kB
Mapped:             9088 kB
Shmem:                 0 kB
Slab:             582008 kB
SReclaimable:      25976 kB
SUnreclaim:       556032 kB
KernelStack:        1464 kB
PageTables:         8408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2538692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 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-4115374-1466522489.opb

Free space on /tmp at the end= 71696 MiB
End job on node113 at 2016-06-21 17:51:30