Trace number 4114473

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-d91742bSAT (TO)25818716 1800.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
MD5SUMcbc794920cb33f20cfa2472a22fd5e8b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6634496
Best CPU time to get the best result obtained on this benchmark1800.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7735294
Optimality of the best value was proved NO
Number of variables7936
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint960
Number of terms in the objective function 7936
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1548380176990
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1548380176990
Number of bits of the biggest sum of numbers41
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.09/0.19	c Converting 336 PB-constraints to clauses...
0.09/0.19	c   -- Unit propagations: (none)
0.19/0.25	c   -- Detecting intervals from adjacent constraints: ########################################
0.19/0.25	c   -- Clauses(.)/Splits(s): (none)
0.19/0.25	c ---[ 334]---> Adder-cost: 832   maxlim: 367584   bits: 19/19
0.19/0.29	c ---[ 332]---> Adder-cost: 856   maxlim: 559072   bits: 20/20
0.29/0.32	c ---[ 330]---> Adder-cost: 856   maxlim: 540640   bits: 20/20
0.29/0.36	c ---[ 328]---> Adder-cost: 856   maxlim: 571360   bits: 20/20
0.29/0.39	c ---[ 326]---> Adder-cost: 856   maxlim: 575456   bits: 20/20
0.39/0.43	c ---[ 324]---> Adder-cost: 856   maxlim: 575456   bits: 20/20
0.39/0.47	c ---[ 322]---> Adder-cost: 856   maxlim: 563168   bits: 20/20
0.49/0.50	c ---[ 320]---> Adder-cost: 856   maxlim: 517088   bits: 20/19
0.49/0.54	c ---[ 318]---> Sorter-cost: 1455     Base: 2 2 2 2 2 2 2 2 2 2 2
0.49/0.55	c ---[ 316]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.49/0.55	c ---[ 314]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.49/0.56	c ---[ 312]---> Sorter-cost: 2063     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
0.49/0.57	c ---[ 310]---> Sorter-cost: 1927     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.49/0.58	c ---[ 308]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.49/0.59	c ---[ 306]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.60	c ---[ 304]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.61	c ---[ 302]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.61	c ---[ 300]---> Sorter-cost: 1321     Base: 2 2 2 2 2 2 2 2 2 2
0.59/0.62	c ---[ 298]---> Sorter-cost: 1927     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.63	c ---[ 296]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.64	c ---[ 294]---> Sorter-cost: 2063     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.65	c ---[ 292]---> Sorter-cost: 1455     Base: 2 2 2 2 2 2 2 2 2 2 2
0.59/0.65	c ---[ 290]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.66	c ---[ 288]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.67	c ---[ 286]---> Sorter-cost: 1927     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.68	c ---[ 284]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.59/0.68	c ---[ 282]---> Sorter-cost: 1455     Base: 2 2 2 2 2 2 2 2 2 2 2
0.59/0.69	c ---[ 280]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.70	c ---[ 278]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.71	c ---[ 276]---> Sorter-cost: 2063     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.72	c ---[ 274]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.73	c ---[ 272]---> Sorter-cost: 1455     Base: 2 2 2 2 2 2 2 2 2 2 2
0.69/0.73	c ---[ 270]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.74	c ---[ 268]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.75	c ---[ 266]---> Sorter-cost: 1927     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.76	c ---[ 264]---> Sorter-cost: 1589     Base: 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.77	c ---[ 262]---> Sorter-cost: 1455     Base: 2 2 2 2 2 2 2 2 2 2 2
0.69/0.77	c ---[ 260]---> Sorter-cost: 1927     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.78	c ---[ 258]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.69/0.79	c ---[ 256]---> Sorter-cost: 1723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
0.79/0.80	c ---[ 255]---> BDD-cost:   13
0.79/0.80	c ---[ 254]---> BDD-cost:   18
0.79/0.80	c ---[ 253]---> BDD-cost:   15
0.79/0.80	c ---[ 252]---> BDD-cost:   19
0.79/0.80	c ---[ 251]---> BDD-cost:   16
0.79/0.80	c ---[ 250]---> BDD-cost:   13
0.79/0.80	c ---[ 249]---> BDD-cost:   19
0.79/0.80	c ---[ 248]---> BDD-cost:   17
0.79/0.80	c ---[ 247]---> BDD-cost:   18
0.79/0.80	c ---[ 246]---> BDD-cost:   15
0.79/0.80	c ---[ 245]---> BDD-cost:   19
0.79/0.80	c ---[ 244]---> BDD-cost:   19
0.79/0.80	c ---[ 243]---> BDD-cost:   18
0.79/0.80	c ---[ 242]---> BDD-cost:   18
0.79/0.80	c ---[ 241]---> BDD-cost:   15
0.79/0.80	c ---[ 240]---> BDD-cost:   16
0.79/0.80	c ---[ 239]---> BDD-cost:   17
0.79/0.80	c ---[ 238]---> BDD-cost:   12
0.79/0.80	c ---[ 237]---> BDD-cost:   19
0.79/0.80	c ---[ 236]---> BDD-cost:   14
0.79/0.80	c ---[ 235]---> BDD-cost:   14
0.79/0.80	c ---[ 234]---> BDD-cost:   16
0.79/0.80	c ---[ 233]---> BDD-cost:   16
0.79/0.80	c ---[ 232]---> BDD-cost:   20
0.79/0.80	c ---[ 231]---> BDD-cost:   18
0.79/0.80	c ---[ 230]---> BDD-cost:   18
0.79/0.80	c ---[ 229]---> BDD-cost:   13
0.79/0.80	c ---[ 228]---> BDD-cost:   15
0.79/0.80	c ---[ 227]---> BDD-cost:   15
0.79/0.80	c ---[ 226]---> BDD-cost:   21
0.79/0.80	c ---[ 225]---> BDD-cost:   18
0.79/0.80	c ---[ 224]---> BDD-cost:   18
0.79/0.80	c ---[ 223]---> BDD-cost:   18
0.79/0.80	c ---[ 222]---> BDD-cost:   13
0.79/0.80	c ---[ 221]---> BDD-cost:   18
0.79/0.80	c ---[ 220]---> BDD-cost:   18
0.79/0.80	c ---[ 219]---> BDD-cost:   20
0.79/0.80	c ---[ 218]---> BDD-cost:   14
0.79/0.80	c ---[ 217]---> BDD-cost:   19
0.79/0.80	c ---[ 216]---> BDD-cost:   16
0.79/0.80	c ---[ 215]---> BDD-cost:   13
0.79/0.80	c ---[ 214]---> BDD-cost:   19
0.79/0.80	c ---[ 213]---> BDD-cost:   17
0.79/0.80	c ---[ 212]---> BDD-cost:   18
0.79/0.80	c ---[ 211]---> BDD-cost:   15
0.79/0.80	c ---[ 210]---> BDD-cost:   20
0.79/0.80	c ---[ 209]---> BDD-cost:   15
0.79/0.80	c ---[ 208]---> BDD-cost:   19
0.79/0.80	c ---[ 207]---> BDD-cost:   18
0.79/0.80	c ---[ 206]---> BDD-cost:   15
0.79/0.80	c ---[ 205]---> BDD-cost:   16
0.79/0.80	c ---[ 204]---> BDD-cost:   17
0.79/0.80	c ---[ 203]---> BDD-cost:   12
0.79/0.80	c ---[ 202]---> BDD-cost:   19
0.79/0.80	c ---[ 201]---> BDD-cost:   14
0.79/0.81	c ---[ 200]---> BDD-cost:   14
0.79/0.81	c ---[ 199]---> BDD-cost:   16
0.79/0.81	c ---[ 198]---> BDD-cost:   16
0.79/0.81	c ---[ 197]---> BDD-cost:   16
0.79/0.81	c ---[ 196]---> BDD-cost:   20
0.79/0.81	c ---[ 195]---> BDD-cost:   18
0.79/0.81	c ---[ 194]---> BDD-cost:   13
0.79/0.81	c ---[ 193]---> BDD-cost:   15
0.79/0.81	c ---[ 192]---> BDD-cost:   15
0.79/0.81	c ---[ 191]---> BDD-cost:   21
0.79/0.81	c ---[ 190]---> BDD-cost:   18
0.79/0.81	c ---[ 189]---> BDD-cost:   18
0.79/0.81	c ---[ 188]---> BDD-cost:   18
0.79/0.81	c ---[ 187]---> BDD-cost:   17
0.79/0.81	c ---[ 186]---> BDD-cost:   13
0.79/0.81	c ---[ 185]---> BDD-cost:   18
0.79/0.81	c ---[ 184]---> BDD-cost:   20
0.79/0.81	c ---[ 183]---> BDD-cost:   14
0.79/0.81	c ---[ 182]---> BDD-cost:   19
0.79/0.81	c ---[ 181]---> BDD-cost:   16
0.79/0.81	c ---[ 180]---> BDD-cost:   13
0.79/0.81	c ---[ 179]---> BDD-cost:   19
0.79/0.81	c ---[ 178]---> BDD-cost:   17
0.79/0.81	c ---[ 177]---> BDD-cost:   18
0.79/0.81	c ---[ 176]---> BDD-cost:   12
0.79/0.81	c ---[ 175]---> BDD-cost:   15
0.79/0.81	c ---[ 174]---> BDD-cost:   20
0.79/0.81	c ---[ 173]---> BDD-cost:   19
0.79/0.81	c ---[ 172]---> BDD-cost:   18
0.79/0.81	c ---[ 171]---> BDD-cost:   15
0.79/0.81	c ---[ 170]---> BDD-cost:   16
0.79/0.81	c ---[ 169]---> BDD-cost:   17
0.79/0.81	c ---[ 168]---> BDD-cost:   12
0.79/0.81	c ---[ 167]---> BDD-cost:   19
0.79/0.81	c ---[ 166]---> BDD-cost:   14
0.79/0.81	c ---[ 165]---> BDD-cost:   18
0.79/0.81	c ---[ 164]---> BDD-cost:   14
0.79/0.81	c ---[ 163]---> BDD-cost:   16
0.79/0.81	c ---[ 162]---> BDD-cost:   16
0.79/0.81	c ---[ 161]---> BDD-cost:   20
0.79/0.81	c ---[ 160]---> BDD-cost:   18
0.79/0.81	c ---[ 159]---> BDD-cost:   13
0.79/0.81	c ---[ 158]---> BDD-cost:   15
0.79/0.81	c ---[ 157]---> BDD-cost:   15
0.79/0.81	c ---[ 156]---> BDD-cost:   21
0.79/0.81	c ---[ 155]---> BDD-cost:   18
0.79/0.81	c ---[ 154]---> BDD-cost:   14
0.79/0.81	c ---[ 153]---> BDD-cost:   18
0.79/0.81	c ---[ 152]---> BDD-cost:   18
0.79/0.81	c ---[ 151]---> BDD-cost:   13
0.79/0.81	c ---[ 150]---> BDD-cost:   18
0.79/0.81	c ---[ 149]---> BDD-cost:   20
0.79/0.81	c ---[ 148]---> BDD-cost:   14
0.79/0.81	c ---[ 147]---> BDD-cost:   19
0.79/0.81	c ---[ 146]---> BDD-cost:   16
0.79/0.81	c ---[ 145]---> BDD-cost:   13
0.79/0.81	c ---[ 144]---> BDD-cost:   19
0.79/0.81	c ---[ 143]---> BDD-cost:   18
0.79/0.81	c ---[ 142]---> BDD-cost:   14
0.79/0.81	c ---[ 141]---> BDD-cost:   17
0.79/0.81	c ---[ 140]---> BDD-cost:   18
0.79/0.81	c ---[ 139]---> BDD-cost:   15
0.79/0.81	c ---[ 138]---> BDD-cost:   22
0.79/0.81	c ---[ 137]---> BDD-cost:   19
0.79/0.81	c ---[ 136]---> BDD-cost:   18
0.79/0.81	c ---[ 135]---> BDD-cost:   15
0.79/0.81	c ---[ 134]---> BDD-cost:   16
0.79/0.81	c ---[ 133]---> BDD-cost:   17
0.79/0.81	c ---[ 132]---> BDD-cost:   12
0.79/0.81	c ---[ 131]---> BDD-cost:   16
0.79/0.81	c ---[ 130]---> BDD-cost:   19
0.79/0.81	c ---[ 129]---> BDD-cost:   14
0.79/0.81	c ---[ 128]---> BDD-cost:   14
0.79/0.81	c ---[ 127]---> BDD-cost:   16
0.79/0.81	c ---[ 126]---> BDD-cost:   16
0.79/0.81	c ---[ 125]---> BDD-cost:   20
0.79/0.81	c ---[ 124]---> BDD-cost:   18
0.79/0.81	c ---[ 123]---> BDD-cost:   13
0.79/0.81	c ---[ 122]---> BDD-cost:   15
0.79/0.81	c ---[ 121]---> BDD-cost:   15
0.79/0.81	c ---[ 120]---> BDD-cost:   16
0.79/0.81	c ---[ 119]---> BDD-cost:   21
0.79/0.81	c ---[ 118]---> BDD-cost:   18
0.79/0.81	c ---[ 117]---> BDD-cost:   18
0.79/0.81	c ---[ 116]---> BDD-cost:   18
0.79/0.81	c ---[ 115]---> BDD-cost:   13
0.79/0.81	c ---[ 114]---> BDD-cost:   18
0.79/0.81	c ---[ 113]---> BDD-cost:   20
0.79/0.81	c ---[ 112]---> BDD-cost:   14
0.79/0.81	c ---[ 111]---> BDD-cost:   19
0.79/0.81	c ---[ 110]---> BDD-cost:   16
0.79/0.81	c ---[ 109]---> BDD-cost:   18
0.79/0.82	c ---[ 108]---> BDD-cost:   13
0.79/0.82	c ---[ 107]---> BDD-cost:   19
0.79/0.82	c ---[ 106]---> BDD-cost:   17
0.79/0.82	c ---[ 105]---> BDD-cost:   18
0.79/0.82	c ---[ 104]---> BDD-cost:   15
0.79/0.82	c ---[ 103]---> BDD-cost:   22
0.79/0.82	c ---[ 102]---> BDD-cost:   19
0.79/0.82	c ---[ 101]---> BDD-cost:   18
0.79/0.82	c ---[ 100]---> BDD-cost:   15
0.79/0.82	c ---[  99]---> BDD-cost:   16
0.79/0.82	c ---[  98]---> BDD-cost:   18
0.79/0.82	c ---[  97]---> BDD-cost:   17
0.79/0.82	c ---[  96]---> BDD-cost:   12
0.79/0.82	c ---[  95]---> BDD-cost:   19
0.79/0.82	c ---[  94]---> BDD-cost:   14
0.79/0.82	c ---[  93]---> BDD-cost:   14
0.79/0.82	c ---[  92]---> BDD-cost:   16
0.79/0.82	c ---[  91]---> BDD-cost:   16
0.79/0.82	c ---[  90]---> BDD-cost:   20
0.79/0.82	c ---[  89]---> BDD-cost:   18
0.79/0.82	c ---[  88]---> BDD-cost:   13
0.79/0.82	c ---[  87]---> BDD-cost:   13
0.79/0.82	c ---[  86]---> BDD-cost:   15
0.79/0.82	c ---[  85]---> BDD-cost:   15
0.79/0.82	c ---[  84]---> BDD-cost:   21
0.79/0.82	c ---[  83]---> BDD-cost:   18
0.79/0.82	c ---[  82]---> BDD-cost:   18
0.79/0.82	c ---[  81]---> BDD-cost:   18
0.79/0.82	c ---[  80]---> BDD-cost:   15
0.79/0.82	c ---[  79]---> BDD-cost:   15
0.79/0.82	c ---[  78]---> BDD-cost:   18
0.79/0.82	c ---[  77]---> BDD-cost:   18
0.79/0.82	c ---[  76]---> BDD-cost:   14
0.79/0.82	c ---[  75]---> BDD-cost:   18
0.79/0.82	c ---[  74]---> BDD-cost:   18
0.79/0.82	c ---[  73]---> BDD-cost:   13
0.79/0.82	c ---[  72]---> BDD-cost:   18
0.79/0.82	c ---[  71]---> BDD-cost:   20
0.79/0.82	c ---[  70]---> BDD-cost:   14
0.79/0.82	c ---[  69]---> BDD-cost:   19
0.79/0.82	c ---[  68]---> BDD-cost:   16
0.79/0.82	c ---[  67]---> BDD-cost:   13
0.79/0.82	c ---[  66]---> BDD-cost:   19
0.79/0.82	c ---[  65]---> BDD-cost:   18
0.79/0.82	c ---[  64]---> BDD-cost:   17
0.79/0.82	c ---[  63]---> BDD-cost:   18
0.79/0.82	c ---[  62]---> BDD-cost:   15
0.79/0.82	c ---[  61]---> BDD-cost:   22
0.79/0.82	c ---[  60]---> BDD-cost:   19
0.79/0.82	c ---[  59]---> BDD-cost:   18
0.79/0.82	c ---[  58]---> BDD-cost:   15
0.79/0.82	c ---[  57]---> BDD-cost:   16
0.79/0.82	c ---[  56]---> BDD-cost:   17
0.79/0.82	c ---[  55]---> BDD-cost:   12
0.79/0.82	c ---[  54]---> BDD-cost:   16
0.79/0.82	c ---[  53]---> BDD-cost:   19
0.79/0.82	c ---[  52]---> BDD-cost:   14
0.79/0.82	c ---[  51]---> BDD-cost:   14
0.79/0.82	c ---[  50]---> BDD-cost:   16
0.79/0.82	c ---[  49]---> BDD-cost:   16
0.79/0.82	c ---[  48]---> BDD-cost:   20
0.79/0.82	c ---[  47]---> BDD-cost:   18
0.79/0.82	c ---[  46]---> BDD-cost:   13
0.79/0.82	c ---[  45]---> BDD-cost:   15
0.79/0.82	c ---[  44]---> BDD-cost:   15
0.79/0.82	c ---[  43]---> BDD-cost:   13
0.79/0.82	c ---[  42]---> BDD-cost:   21
0.79/0.82	c ---[  41]---> BDD-cost:   18
0.79/0.82	c ---[  40]---> BDD-cost:   18
0.79/0.82	c ---[  39]---> BDD-cost:   18
0.79/0.82	c ---[  38]---> BDD-cost:   13
0.79/0.82	c ---[  37]---> BDD-cost:   18
0.79/0.82	c ---[  36]---> BDD-cost:   20
0.79/0.82	c ---[  35]---> BDD-cost:   14
0.79/0.82	c ---[  34]---> BDD-cost:   19
0.79/0.82	c ---[  33]---> BDD-cost:   16
0.79/0.82	c ---[  32]---> BDD-cost:   18
0.79/0.82	c ---[  31]---> BDD-cost:   13
0.79/0.82	c ---[  30]---> BDD-cost:   19
0.79/0.82	c ---[  29]---> BDD-cost:   17
0.79/0.82	c ---[  28]---> BDD-cost:   18
0.79/0.82	c ---[  27]---> BDD-cost:   15
0.79/0.82	c ---[  26]---> BDD-cost:   22
0.79/0.82	c ---[  25]---> BDD-cost:   19
0.79/0.82	c ---[  24]---> BDD-cost:   18
0.79/0.82	c ---[  23]---> BDD-cost:   15
0.79/0.82	c ---[  22]---> BDD-cost:   16
0.79/0.82	c ---[  21]---> BDD-cost:   17
0.79/0.82	c ---[  20]---> BDD-cost:   17
0.79/0.82	c ---[  19]---> BDD-cost:   12
0.79/0.83	c ---[  18]---> BDD-cost:   19
0.79/0.83	c ---[  17]---> BDD-cost:   14
0.79/0.83	c ---[  16]---> BDD-cost:   14
0.79/0.83	c ---[  15]---> BDD-cost:   16
0.79/0.83	c ---[  14]---> BDD-cost:   16
0.79/0.83	c ---[  13]---> BDD-cost:   20
0.79/0.83	c ---[  12]---> BDD-cost:   18
0.79/0.83	c ---[  11]---> BDD-cost:   13
0.79/0.83	c ---[  10]---> BDD-cost:   18
0.79/0.83	c ---[   9]---> BDD-cost:   15
0.79/0.83	c ---[   8]---> BDD-cost:   15
0.79/0.83	c ---[   7]---> BDD-cost:   21
0.79/0.83	c ---[   6]---> BDD-cost:   18
0.79/0.83	c ---[   5]---> BDD-cost:   18
0.79/0.83	c ---[   4]---> BDD-cost:   18
0.79/0.83	c ---[   3]---> BDD-cost:   13
0.79/0.83	c ---[   2]---> BDD-cost:   18
0.79/0.83	c ---[   1]---> BDD-cost:   19
0.79/0.83	c ---[   0]---> BDD-cost:   14
12.78/12.87	|  Eliminated clauses:           0.73 Mb                                      |
12.78/12.87	============================[ Search Statistics ]==============================
12.78/12.87	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.78/12.87	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
12.78/12.87	===============================================================================
12.78/12.87	|       100 |   41003   181013   516842 |    66371       99      4 | 10.184 % |
12.78/12.87	|       250 |   40990   181013   516842 |    73008      246      4 | 10.205 % |
12.78/12.87	|       475 |   40972   181013   516842 |    80309      466      4 | 10.234 % |
12.78/12.87	|       812 |   40964   181013   516842 |    88340      799      4 | 10.246 % |
12.78/12.87	|      1318 |   40954   181013   516842 |    97174     1302      4 | 10.262 % |
12.78/12.87	|      2077 |   40952   181013   516842 |   106891     2059      4 | 10.265 % |
12.78/12.87	|      3216 |   40952   181013   516842 |   117581     3198      4 | 10.265 % |
12.78/12.87	|      4924 |   40952   181013   516842 |   129339     4906      5 | 10.265 % |
12.78/12.87	|      7486 |   40952   181013   516842 |   142273     7468      5 | 10.265 % |
12.78/12.87	|     11330 |   40951   181013   516842 |   156500    11311      6 | 10.267 % |
12.78/12.87	|     17096 |   40950   181013   516842 |   172150    17076      7 | 10.269 % |
12.78/12.87	|     25745 |   40922   181013   516842 |   189365    25720      8 | 10.313 % |
12.78/12.87	===============================================================================
12.78/12.87	c Found solution: 46491664
12.88/12.91	c ---[   0]---> Adder-cost: 13413   maxlim: 24769102   bits: 26/25
16.19/16.21	|  Eliminated clauses:           0.74 Mb                                      |
16.19/16.21	============================[ Search Statistics ]==============================
16.19/16.21	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.19/16.21	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
16.19/16.21	===============================================================================
16.19/16.21	|     29994 |   54261   273992   849273 |   100463    29969      8 |  8.519 % |
16.19/16.21	|     30144 |   54261   273992   849273 |   110510    30119      8 |  8.519 % |
16.19/16.21	|     30369 |   54261   273992   849273 |   121561    30344      8 |  8.519 % |
16.19/16.21	|     30706 |   54261   273992   849273 |   133717    30681      8 |  8.519 % |
16.19/16.21	|     31212 |   54261   273992   849273 |   147088    31187      8 |  8.519 % |
16.19/16.21	|     31971 |   54260   273992   849273 |   161797    31945      8 |  8.520 % |
16.19/16.21	===============================================================================
16.19/16.21	c Found solution: 46289888
16.19/16.24	c ---[   0]---> Adder-cost: 0   maxlim: 24970878   bits: 26/25
28.99/29.03	|  Eliminated clauses:           0.74 Mb                                      |
28.99/29.03	============================[ Search Statistics ]==============================
28.99/29.03	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.99/29.03	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
28.99/29.03	===============================================================================
28.99/29.03	|     32383 |   54266   274034   849760 |   100479    32355      8 |  8.533 % |
28.99/29.03	|     32533 |   54262   274034   849760 |   110527    32504      8 |  8.539 % |
28.99/29.03	|     32758 |   54262   274034   849760 |   121579    32729      8 |  8.539 % |
28.99/29.03	|     33095 |   54262   274034   849760 |   133737    33065      8 |  8.539 % |
28.99/29.03	|     33601 |   54262   274034   849760 |   147111    33571      8 |  8.539 % |
28.99/29.03	|     34360 |   54262   274034   849760 |   161822    34330      8 |  8.539 % |
28.99/29.03	|     35499 |   54261   274034   849760 |   178004    35468      8 |  8.540 % |
28.99/29.03	|     37207 |   54261   274034   849760 |   195805    37176      8 |  8.540 % |
28.99/29.03	|     39769 |   54254   274034   849760 |   215385    39733      8 |  8.549 % |
28.99/29.03	|     43613 |   54251   274034   849760 |   236924    43573      8 |  8.553 % |
28.99/29.03	|     49379 |   54235   274034   849760 |   260616    49329      9 |  8.574 % |
28.99/29.03	|     58028 |   54235   274034   849760 |   286678    57978     10 |  8.574 % |
28.99/29.03	===============================================================================
28.99/29.03	c Found solution: 46251163
28.99/29.07	c ---[   0]---> Adder-cost: 0   maxlim: 25009603   bits: 26/25
42.28/42.32	|  Eliminated clauses:           0.74 Mb                                      |
42.28/42.32	============================[ Search Statistics ]==============================
42.28/42.32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.28/42.32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
42.28/42.32	===============================================================================
42.28/42.32	|     62495 |   54211   273804   849225 |   100394    62445     11 |  8.583 % |
42.28/42.32	|     62645 |   54211   273804   849225 |   110434    62595     11 |  8.583 % |
42.28/42.32	|     62870 |   54211   273804   849225 |   121477    62820     11 |  8.583 % |
42.28/42.32	|     63207 |   54211   273804   849225 |   133625    63157     11 |  8.583 % |
42.28/42.32	|     63713 |   54210   273804   849225 |   146988    63662     11 |  8.584 % |
42.28/42.32	|     64472 |   54210   273804   849225 |   161686    64418     11 |  8.584 % |
42.28/42.32	|     65611 |   54209   273804   849225 |   177855    65556     11 |  8.586 % |
42.28/42.32	|     67319 |   54205   273804   849225 |   195641    67261     11 |  8.591 % |
42.28/42.32	|     69881 |   54205   273804   849225 |   215205    69823     12 |  8.591 % |
42.28/42.32	|     73725 |   54205   273804   849225 |   236725    73667     12 |  8.591 % |
42.28/42.32	|     79491 |   54205   273804   849225 |   260398    79433     12 |  8.591 % |
42.28/42.32	|     88140 |   54205   273804   849225 |   286438    88082     12 |  8.591 % |
42.28/42.32	|    101114 |   54204   273804   849225 |   315081   101052     13 |  8.592 % |
42.28/42.32	===============================================================================
42.28/42.32	c Found solution: 43709712
42.28/42.35	c ---[   0]---> Adder-cost: 0   maxlim: 27551054   bits: 26/25
96.48/96.50	|  Eliminated clauses:           0.74 Mb                                      |
96.48/96.50	============================[ Search Statistics ]==============================
96.48/96.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.48/96.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
96.48/96.50	===============================================================================
96.48/96.50	|    102698 |   54193   273725   848789 |   100365    23988     11 |  8.605 % |
96.48/96.50	|    102848 |   54193   273725   848789 |   110402    24138     11 |  8.605 % |
96.48/96.50	|    103073 |   54193   273725   848789 |   121442    24363     11 |  8.605 % |
96.48/96.50	|    103410 |   54193   273725   848789 |   133586    24700     11 |  8.605 % |
96.48/96.50	|    103916 |   54193   273725   848789 |   146945    25206     11 |  8.605 % |
96.48/96.50	|    104675 |   54193   273725   848789 |   161640    25965     11 |  8.605 % |
96.48/96.50	|    105814 |   54193   273725   848789 |   177804    27104     11 |  8.605 % |
96.48/96.50	|    107522 |   54193   273725   848789 |   195584    28812     10 |  8.605 % |
96.48/96.50	|    110084 |   54193   273725   848789 |   215143    31374     10 |  8.605 % |
96.48/96.50	|    113928 |   54193   273725   848789 |   236657    35218     10 |  8.605 % |
96.48/96.50	|    119694 |   54193   273725   848789 |   260323    40984     11 |  8.605 % |
96.48/96.50	|    128343 |   54169   273725   848789 |   286355    49620     10 |  8.637 % |
96.48/96.50	|    141317 |   54169   273725   848789 |   314990    62592     12 |  8.637 % |
96.48/96.50	|    160778 |   54145   273725   848789 |   346490    82040     13 |  8.668 % |
96.48/96.50	|    189970 |   54145   273725   848789 |   381139   111231     19 |  8.668 % |
96.48/96.50	|    233759 |   54138   273725   848789 |   419252   155010     24 |  8.677 % |
96.48/96.50	===============================================================================
96.48/96.50	c Found solution: 32602466
96.48/96.53	c ---[   0]---> Adder-cost: 2   maxlim: 38658300   bits: 27/26
166.46/166.53	|  Eliminated clauses:           0.75 Mb                                      |
166.46/166.53	============================[ Search Statistics ]==============================
166.46/166.53	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
166.46/166.53	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
166.46/166.53	===============================================================================
166.46/166.53	|    299491 |   54089   273262   847632 |   100196    29895     27 |  8.700 % |
166.46/166.53	|    299641 |   54089   273262   847632 |   110215    30045     27 |  8.700 % |
166.46/166.53	|    299866 |   54089   273262   847632 |   121237    30270     27 |  8.700 % |
166.46/166.53	|    300203 |   54089   273262   847632 |   133360    30607     27 |  8.700 % |
166.46/166.53	|    300709 |   54089   273262   847632 |   146697    31113     26 |  8.700 % |
166.46/166.53	|    301468 |   54089   273262   847632 |   161366    31872     26 |  8.700 % |
166.46/166.53	|    302607 |   54089   273262   847632 |   177503    33011     25 |  8.700 % |
166.46/166.53	|    304315 |   54089   273262   847632 |   195253    34719     24 |  8.700 % |
166.46/166.53	|    306877 |   54089   273262   847632 |   214779    37281     24 |  8.700 % |
166.46/166.53	|    310721 |   54089   273262   847632 |   236257    41125     23 |  8.700 % |
166.46/166.53	|    316487 |   54085   273262   847632 |   259882    46888     21 |  8.705 % |
166.46/166.53	|    325136 |   54046   273262   847632 |   285871    55530     20 |  8.756 % |
166.46/166.53	|    338110 |   54046   273262   847632 |   314458    68504     21 |  8.756 % |
166.46/166.53	|    357571 |   54046   273262   847632 |   345903    87965     21 |  8.756 % |
166.46/166.53	|    386763 |   54030   273262   847632 |   380494   117142     24 |  8.777 % |
166.46/166.53	|    430552 |   54023   273262   847632 |   418543   160924     33 |  8.786 % |
166.46/166.53	|    496236 |   54018   273262   847632 |   460398   226605     34 |  8.793 % |
166.46/166.53	===============================================================================
166.46/166.53	c Found solution: 25818716
166.46/166.56	c ---[   0]---> Adder-cost: 0   maxlim: 45442050   bits: 27/26
1800.06/1800.40	|  Eliminated clauses:           0.75 Mb                                      |
1800.06/1800.40	============================[ Search Statistics ]==============================
1800.06/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.06/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.06/1800.40	===============================================================================
1800.06/1800.40	|    573340 |   53949   272731   846386 |   100001    36294     22 |  8.808 % |
1800.06/1800.40	|    573490 |   53949   272731   846386 |   110001    36444     22 |  8.808 % |
1800.06/1800.40	|    573715 |   53949   272731   846386 |   121001    36669     22 |  8.808 % |
1800.06/1800.40	|    574052 |   53949   272731   846386 |   133101    37006     22 |  8.808 % |
1800.06/1800.40	|    574558 |   53949   272731   846386 |   146412    37512     21 |  8.808 % |
1800.06/1800.40	|    575317 |   53949   272731   846386 |   161053    38271     21 |  8.808 % |
1800.06/1800.40	|    576456 |   53949   272731   846386 |   177158    39410     21 |  8.808 % |
1800.06/1800.40	|    578164 |   53949   272731   846386 |   194874    41118     20 |  8.808 % |
1800.06/1800.40	|    580726 |   53949   272731   846386 |   214361    43680     20 |  8.808 % |
1800.06/1800.40	|    584570 |   53949   272731   846386 |   235797    47524     19 |  8.808 % |
1800.06/1800.40	|    590336 |   53949   272731   846386 |   259377    53290     19 |  8.808 % |
1800.06/1800.40	|    598985 |   53945   272731   846386 |   285315    61936     18 |  8.814 % |
1800.06/1800.40	|    611959 |   53940   272731   846386 |   313847    74907     19 |  8.820 % |
1800.06/1800.40	|    631420 |   53940   272731   846386 |   345231    94368     23 |  8.820 % |
1800.06/1800.40	|    660612 |   53935   272731   846386 |   379755   123557     25 |  8.827 % |
1800.06/1800.40	|    704401 |   53929   272731   846386 |   417730   167344     30 |  8.835 % |
1800.06/1800.40	|    770085 |   53928   272731   846386 |   459503   233027     35 |  8.836 % |
1800.06/1800.40	|    868611 |   53917   272731   846386 |   505453   331544     43 |  8.850 % |
1800.06/1800.40	|   1016400 |   53910   272731   846386 |   555999   479325     49 |  8.859 % |
1800.06/1800.40	|   1238083 |   53897   272731   846386 |   611599   183406     33 |  8.876 % |
1800.06/1800.40	|   1570608 |   53883   272731   846386 |   672759   515922     54 |  8.895 % |
1800.06/1800.40	|   2069396 |   53855   272731   846386 |   740035   384728     51 |  8.931 % |
1800.06/1800.40	|   2817578 |   53843   272731   846386 |   814038   399376     88 |  8.947 % |
1800.06/1800.40	|   3939852 |   53788   272731   846386 |   895442   706629     52 |  9.019 % |
1800.06/1800.40	|   5623263 |   53743   272731   846386 |   984986   658067    118 |  9.078 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 x6692 x6693 -x6694 -x6695 x6696 x6697 x6698 x6699 x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3721 x3722 -x3723 -x3724 x3725 x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4381 -x4382 -x4383 x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 x5433 -x5434 -x5435 -x5436 -x5437 x5438 -x5439 -x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 -x5612 x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671 x5672 -x5673 x5674 x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 x5853 -x5854 x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 x5885 -x5886 x5887 -x5888 x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 x5912 -x5913 -x5914 -x5915 x5916 -x5917 -x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 x5973 x5974 x5975 -x5976 -x5977 -x5978 x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 -x6002 -x6003 x6004 -x6005 -x6006 -x6007 x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 x6072 x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 x6151 -x6152 -x6153 x6154 x6155 x6156 -x6157 x6158 x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 x6422 x6423 -x6424 -x6425 x6426 x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 x6458 -x6459 x6460 -x6461 x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 x6482 -x6483 -x6484 x6485 -x6486 x6487 -x6488 x6489 x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 x6542 x6543 -x6544 x6545 x6546 x6547 -x6548 x6549 x6550 -x6551 -x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 x6752 x6753 x6754 x6755 -x6756 x6757 x6758 x6759 x6760 x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x6931 -x6932 x6933 -x6934 x6935 -x6936 x6937 x6938 x6939 x6940 x6941 x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 x7081 x7082 x7083 -x7084 x7085 x7086 x7087 -x7088 -x7089 x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 x7111 x7112 x7113 x7114 x7115 x7116 x7117 -x7118 x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 x7142 x7143 x7144 -x7145 x7146 -x7147 x7148 x7149 -x7150 x7151 x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 x7202 x7203 x7204 x7205 x7206 x7207 x7208 -x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 x7231 x7232 -x7233 -x7234 -x7235 x7236 -x7237 -x7238 x7239 x7240 x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 x7262 x7263 x7264 x7265 x7266 x7267 x7268 x7269 x7270 x7271 x7272 -x7273 -x7274 x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 x7292 x7293 -x7294 x7295 -x7296 x7297 x7298 x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7381 -x7382 -x7383 -x7384 x7385 x7386 x7387 x7388 x7389 x7390 x7391 x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 -x7443 x7444 x7445 x7446 x7447 x7448 x7449 -x7450 x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 x7501 x7502 x7503 -x7504 -x7505 x7506 x7507 -x7508 x7509 x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 x7532 -x7533 x7534 -x7535 x7536 x7537 x7538 x7539 x7540 x7541 x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 x995 -x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 x1325 x1326 x1327 x1328 x1329 x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 -x1473 -x1474 x1475 -x1476 -x1477 x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 x1742 -x1743 x1744 x1745 -x1746 x1747 -x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 x1804 x1805 x1806 x1807 x1808 x1809 -x1810 -x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 x1954 x1955 x1956 x1957 x1958 x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 x3123 -x3124 -x3125 x3126 -x3127 x3128 -x3129 x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 x3543 x3544 x3545 -x3546 -x3547 x3548 x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 x3574 x3575 -x3576 x3577 x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 x3603 x3604 x3605 x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 x3664 x3665 x3666 x3667 -x3668 -x3669 -x3670 x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 x3759 -x3760 -x3761 x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 x3784 -x3785 -x3786 x3787 x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 x3842 x3843 -x3844 -x3845 x3846 x3847 x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 x3933 x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4081 x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 x4113 x4114 x4115 -x4116 -x4117 x4118 x4119 -x4120 -x4121 x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 x4272 -x4273 x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 -x4353 x4354 x4355 x4356 -x4357 x4358 x4359 x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 x4652 -x4653 x4654 -x4655 -x4656 -x4657 -x4658 -x4659 x4660 -x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4741 x4742 x4743 x4744 x4745 -x4746 x4747 -x4748 -x4749 x4750 x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 x4895 x4896 -x4897 x4898 -x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 x4956 x4957 x4958 x4959 x4960 x4961 x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 x5225 x5226 -x5227 -x5228 x5229 x5230 x5231 x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x7681 x7682 x7793 -x7860 -x7871 -x7882 x7893 x7904 -x7915 x7926 -x7683 -x7694 -x7705 -x7716 -x7727 -x7738 x7749 -x7760 x7771 x7782 -x7794 x7805 -x7816 x7827 x7838 -x7849 x7856 x7857 -x7858 -x7859 x7861 x7862 -x7863 -x7864 -x7865 x7866 -x7867 x7868 -x7869 x7870 -x7872 -x7873 x7874 -x7875 x7876 x7877 x7878 x7879 x7880 x7881 x7883 -x7884 x7885 x7886 -x7887 -x7888 -x7889 x7890 x7891 x7892 -x7894 x7895 x7896 x7897 -x7898 x7899 -x7900 x7901 x7902 -x7903 x7905 x7906 -x7907 x7908 -x7909 x7910 -x7911 x7912 -x7913 x7914 -x7916 x7917 x7918 x7919 -x7920 x7921 x7922 x7923 x7924 -x7925 x7927 -x7928 x7929 -x7930 x7931 x7932 x7933 -x7934 -x7935 x7936 x7684 x7685 x7686 x7687 x7688 -x7689 x7690 x7691 -x7692 -x7693 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 x7701 -x7702 -x7703 x7704 x7706 x7707 x7708 x7709 x7710 -x7711 -x7712 -x7713 x7714 x7715 -x7717 -x7718 -x7719 -x7720 x7721 -x7722 -x7723 -x7724 x7725 x7726 -x7728 x7729 x7730 -x7731 -x7732 -x7733 -x7734 -x7735 x7736 -x7737 x7739 -x7740 x7741 x7742 x7743 -x7744 -x7745 x7746 -x7747 x7748 x7750 -x7751 -x7752 -x7753 x7754 x7755 x7756 -x7757 x7758 -x7759 x7761 x7762 x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7772 x7773 -x7774 -x7775 -x7776 x7777 x7778 -x7779 x7780 x7781 -x7783 -x7784 x7785 x7786 -x7787 -x7788 x7789 -x7790 x7791 -x7792 x7795 x7796 -x7797 -x7798 x7799 x7800 x7801 -x7802 x7803 -x7804 x7806 x7807 -x7808 x7809 x7810 -x7811 x7812 -x7813 x7814 x7815 x7817 x7818 x7819 -x7820 -x7821 -x7822 x7823 x7824 x7825 x7826 x7828 -x7829 x7830 -x7831 -x7832 -x7833 x7834 -x7835 x7836 -x7837 x7839 -x7840 x7841 x7842 -x7843 x7844 -x7845 x7846 x7847 x7848 x7850 x7851 x7852 -x7853 -x7854 x7855

Verifier Data 

OK	25818716

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-4114473-1466542817/watcher-4114473-1466542817 -o /tmp/evaluation-result-4114473-1466542817/solver-4114473-1466542817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25600 --watchdog 1960 minisatp HOME/instance-4114473-1466542817.opb 

pid=30401
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.24 2.29 2.21 4/177 30404
/proc/meminfo: memFree=30134044/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=7136 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 480 0 0 0 0 0 0 0 20 0 1 0 56327188 7307264 357 33554432000 4194304 5646918 140735438043488 140735887459912 4953072 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 1784 357 84 355 0 1425 0

[startup+0.100115 s]
/proc/loadavg: 2.24 2.29 2.21 4/177 30404
/proc/meminfo: memFree=30134044/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=10516 CPUtime=0.09 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 1279 0 0 0 9 0 0 0 20 0 1 0 56327188 10768384 1156 33554432000 4194304 5646918 140735438043488 140735887459912 4248207 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 2629 1156 97 355 0 2270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10516

[startup+0.200325 s]
/proc/loadavg: 2.24 2.29 2.21 4/177 30404
/proc/meminfo: memFree=30134044/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=12908 CPUtime=0.19 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 1884 0 0 0 19 0 0 0 20 0 1 0 56327188 13217792 1761 33554432000 4194304 5646918 140735438043488 140735887459912 4464673 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 3227 1761 105 355 0 2868 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12908

[startup+0.300215 s]
/proc/loadavg: 2.24 2.29 2.21 4/177 30404
/proc/meminfo: memFree=30134044/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=13220 CPUtime=0.29 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 2066 0 0 0 29 0 0 0 20 0 1 0 56327188 13537280 1880 33554432000 4194304 5646918 140735438043488 140735887459912 4812620 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 3305 1880 152 355 0 2946 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13220

[startup+0.700182 s]
/proc/loadavg: 2.24 2.29 2.21 4/177 30404
/proc/meminfo: memFree=30134044/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=14496 CPUtime=0.69 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 2499 0 0 0 69 0 0 0 20 0 1 0 56327188 14843904 2230 33554432000 4194304 5646918 140735438043488 140735887459912 4563504 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 3624 2230 152 355 0 3265 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14496

[startup+1.50028 s]
/proc/loadavg: 2.22 2.28 2.21 4/178 30405
/proc/meminfo: memFree=30098608/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=40080 CPUtime=1.49 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 9046 0 0 0 148 1 0 0 20 0 1 0 56327188 41041920 8714 33554432000 4194304 5646918 140735438043488 140735438041928 4402739 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 10020 8714 184 355 0 9661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40080

[startup+3.10028 s]
/proc/loadavg: 2.22 2.28 2.21 4/178 30405
/proc/meminfo: memFree=30097120/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=40528 CPUtime=3.09 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 9167 0 0 0 308 1 0 0 20 0 1 0 56327188 41500672 8832 33554432000 4194304 5646918 140735438043488 140735438041592 4389048 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 10132 8832 185 355 0 9773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40528

[startup+6.30029 s]
/proc/loadavg: 2.22 2.28 2.21 3/178 30405
/proc/meminfo: memFree=30090240/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=41236 CPUtime=6.29 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 9391 0 0 0 628 1 0 0 20 0 1 0 56327188 42225664 9053 33554432000 4194304 5646918 140735438043488 140735438041592 4396923 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 10309 9053 185 355 0 9950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41236

[startup+12.7003 s]
/proc/loadavg: 2.18 2.27 2.21 3/178 30405
/proc/meminfo: memFree=30082544/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=44868 CPUtime=12.68 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 9810 0 0 0 1267 1 0 0 20 0 1 0 56327188 45944832 9451 33554432000 4194304 5646918 140735438043488 140735438041592 4402829 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 11217 9451 185 355 0 10858 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44868

[startup+25.5004 s]
/proc/loadavg: 2.23 2.28 2.21 3/178 30405
/proc/meminfo: memFree=30026644/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=86748 CPUtime=25.49 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 16196 0 0 0 2546 3 0 0 20 0 1 0 56327188 88829952 19998 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 21687 19998 189 355 0 21328 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86748

[startup+51.1003 s]
/proc/loadavg: 2.15 2.26 2.21 3/178 30428
/proc/meminfo: memFree=30112392/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=95980 CPUtime=51.09 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 18199 0 0 0 5105 4 0 0 20 0 1 0 56327188 98283520 21105 33554432000 4194304 5646918 140735438043488 140735438041736 4402764 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 23995 21105 189 355 0 23636 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95980

[startup+102.3 s]
/proc/loadavg: 2.10 2.22 2.19 3/178 30430
/proc/meminfo: memFree=30042748/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=107632 CPUtime=102.28 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 19774 0 0 0 10222 6 0 0 20 0 1 0 56327188 110215168 25726 33554432000 4194304 5646918 140735438043488 140735438042200 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 26908 25726 190 355 0 26549 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 107632

[startup+162.3 s]
/proc/loadavg: 2.28 2.26 2.20 4/177 30431
/proc/meminfo: memFree=29901924/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=187772 CPUtime=162.27 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 20893 0 0 0 16219 8 0 0 20 0 1 0 56327188 192278528 39092 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 46943 39092 190 355 0 46584 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 187772

[startup+222.307 s]
/proc/loadavg: 2.34 2.27 2.21 4/177 30432
/proc/meminfo: memFree=29993980/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=203388 CPUtime=222.24 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 22032 0 0 0 22215 9 0 0 20 0 1 0 56327188 208269312 39753 33554432000 4194304 5646918 140735438043488 140735438042184 4402974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 50847 39753 190 355 0 50488 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 203388

[startup+282.3 s]
/proc/loadavg: 2.29 2.26 2.21 3/177 30433
/proc/meminfo: memFree=29831916/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=253476 CPUtime=282.22 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 22577 0 0 0 28212 10 0 0 20 0 1 0 56327188 259559424 53065 33554432000 4194304 5646918 140735438043488 140735438042184 4399784 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 63369 53065 190 355 0 63010 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 253476

[startup+342.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/177 30434
/proc/meminfo: memFree=30001136/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=188488 CPUtime=342.22 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 24849 0 0 0 34207 15 0 0 20 0 1 0 56327188 193011712 39174 33554432000 4194304 5646918 140735438043488 140735438042184 4399929 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 47122 39174 190 355 0 46763 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 188488

[startup+402.3 s]
/proc/loadavg: 2.34 2.27 2.21 3/177 30436
/proc/meminfo: memFree=29970500/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=269396 CPUtime=402.21 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 25471 0 0 0 40205 16 0 0 20 0 1 0 56327188 275861504 52041 33554432000 4194304 5646918 140735438043488 140735438042184 4402684 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 67349 52041 190 355 0 66990 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 269396

[startup+462.3 s]
/proc/loadavg: 2.36 2.28 2.21 3/177 30437
/proc/meminfo: memFree=29798976/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=350784 CPUtime=462.2 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 26209 0 0 0 46201 19 0 0 20 0 1 0 56327188 359202816 80881 33554432000 4194304 5646918 140735438043488 140735438042184 4403442 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 87696 80881 190 355 0 87337 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 350784

[startup+522.3 s]
/proc/loadavg: 2.36 2.29 2.22 3/177 30438
/proc/meminfo: memFree=29958396/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=207284 CPUtime=522.19 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 27794 0 0 0 52198 21 0 0 20 0 1 0 56327188 212258816 47878 33554432000 4194304 5646918 140735438043488 140735438042184 4402764 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 51821 47878 190 355 0 51462 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 207284

[startup+582.3 s]
/proc/loadavg: 2.33 2.29 2.22 3/177 30439
/proc/meminfo: memFree=29931444/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=288192 CPUtime=582.18 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 28406 0 0 0 58195 23 0 0 20 0 1 0 56327188 295108608 60233 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 72048 60233 190 355 0 71689 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 288192


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


[startup+882.307 s]
/proc/loadavg: 2.27 2.26 2.21 4/177 30448
/proc/meminfo: memFree=29650960/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=501840 CPUtime=882.14 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 32618 0 0 0 88180 34 0 0 20 0 1 0 56327188 513884160 113137 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 125460 113137 190 355 0 125101 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 501840

[startup+942.3 s]
/proc/loadavg: 2.26 2.25 2.21 3/177 30449
/proc/meminfo: memFree=29959316/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=186328 CPUtime=942.13 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 33678 0 0 0 94177 36 0 0 20 0 1 0 56327188 190799872 42260 33554432000 4194304 5646918 140735438043488 140735438041736 4403225 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30404/statm: 46582 42260 190 355 0 46223 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 186328

[startup+1002.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/177 30506
/proc/meminfo: memFree=29485492/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=266468 CPUtime=1002.12 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 34807 0 0 0 100174 38 0 0 20 0 1 0 56327188 272863232 61257 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 66617 61257 190 355 0 66258 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 266468

[startup+1062.3 s]
/proc/loadavg: 2.24 2.24 2.20 3/177 30507
/proc/meminfo: memFree=29368644/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=316556 CPUtime=1062.11 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 35353 0 0 0 106172 39 0 0 20 0 1 0 56327188 324153344 72521 33554432000 4194304 5646918 140735438043488 140735438042184 4402821 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 79139 72521 190 355 0 78780 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 316556

[startup+1122.3 s]
/proc/loadavg: 2.14 2.20 2.19 3/177 30508
/proc/meminfo: memFree=29229648/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=397944 CPUtime=1122.1 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 36064 0 0 0 112169 41 0 0 20 0 1 0 56327188 407494656 82417 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 99486 82417 190 355 0 99127 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 397944

[startup+1182.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/177 30509
/proc/meminfo: memFree=29364776/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=186328 CPUtime=1182.09 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 36620 0 0 0 118166 43 0 0 20 0 1 0 56327188 190799872 44820 33554432000 4194304 5646918 140735438043488 140735438042200 4403196 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 46582 44820 190 355 0 46223 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 186328

[startup+1242.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/178 30513
/proc/meminfo: memFree=29294848/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=266468 CPUtime=1242.08 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 37742 0 0 0 124164 44 0 0 20 0 1 0 56327188 272863232 59209 33554432000 4194304 5646918 140735438043488 140735438042184 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 66617 59209 190 355 0 66258 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 266468

[startup+1302.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/177 30515
/proc/meminfo: memFree=29246372/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=316556 CPUtime=1302.07 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 38285 0 0 0 130162 45 0 0 20 0 1 0 56327188 324153344 70473 33554432000 4194304 5646918 140735438043488 140735438042184 4402947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 79139 70473 190 355 0 78780 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 316556

[startup+1362.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 30516
/proc/meminfo: memFree=29185952/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=397944 CPUtime=1362.05 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 39017 0 0 0 136158 47 0 0 20 0 1 0 56327188 407494656 84977 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 99486 84977 190 355 0 99127 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 397944

[startup+1422.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 30517
/proc/meminfo: memFree=29147800/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=397944 CPUtime=1422.02 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 39069 0 0 0 142155 47 0 0 20 0 1 0 56327188 407494656 94193 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 99486 94193 190 355 0 99127 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 397944

[startup+1482.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 30518
/proc/meminfo: memFree=29297208/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=245064 CPUtime=1482.01 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 41114 0 0 0 148152 49 0 0 20 0 1 0 56327188 250945536 56540 33554432000 4194304 5646918 140735438043488 140735438041784 4397622 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 61266 56540 190 355 0 60907 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 245064

[startup+1542.31 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 30519
/proc/meminfo: memFree=29115544/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=426328 CPUtime=1542 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 43018 0 0 0 154147 53 0 0 20 0 1 0 56327188 436559872 100849 33554432000 4194304 5646918 140735438043488 140735438042184 4402829 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 106582 100849 190 355 0 106223 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 426328

[startup+1602.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/177 30521
/proc/meminfo: memFree=28977616/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=558588 CPUtime=1601.99 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 43603 0 0 0 160144 55 0 0 20 0 1 0 56327188 571994112 135153 33554432000 4194304 5646918 140735438043488 140735438042184 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 139647 135153 190 355 0 139288 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 558588

[startup+1662.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 30522
/proc/meminfo: memFree=28891388/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=773512 CPUtime=1661.99 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 44085 0 0 0 166140 59 0 0 20 0 1 0 56327188 792076288 155045 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 193378 155045 190 355 0 193019 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 773512

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 30523
/proc/meminfo: memFree=29304896/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=214712 CPUtime=1721.97 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 44105 0 0 0 172136 61 0 0 20 0 1 0 56327188 219865088 51476 33554432000 4194304 5646918 140735438043488 140735438042200 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 53678 51476 190 355 0 53319 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 214712

[startup+1782.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/177 30524
/proc/meminfo: memFree=29237736/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=306912 CPUtime=1781.96 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 45626 0 0 0 178134 62 0 0 20 0 1 0 56327188 314277888 68309 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 76728 68309 190 355 0 76369 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 306912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.22 2.18 3/178 30528
/proc/meminfo: memFree=29225156/32872528 swapFree=1459884/1656108
[pid=30404] ppid=30401 vsize=306912 CPUtime=1800.06 cores=0,2,4,6
/proc/30404/stat : 30404 (minisatp) R 30401 30404 25584 0 -1 4202496 45632 0 0 0 179944 62 0 0 20 0 1 0 56327188 314277888 70870 33554432000 4194304 5646918 140735438043488 140735438042184 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30404/statm: 76728 70870 190 355 0 76369 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 306912

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.44
CPU system time (s): 0.633903
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 773512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.633903
maximum resident set size= 661140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45632
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= 79
involuntary context switches= 2399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57954 second user time and 14.7168 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-21 23:00:17
IDJOB=4114473
IDBENCH=2300
IDSOLVER=2555
FILE ID=node136/4114473-1466542817
RUNJOBID= node136-1466514782-25600
PBS_JOBID= 19942881
Free space on /tmp= 71732 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114473-1466542817/watcher-4114473-1466542817 -o /tmp/evaluation-result-4114473-1466542817/solver-4114473-1466542817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25600 --watchdog 1960  minisatp HOME/instance-4114473-1466542817.opb

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

MD5SUM BENCH= cbc794920cb33f20cfa2472a22fd5e8b
RANDOM SEED=1180844167

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        30134496 kB
Buffers:           21720 kB
Cached:            96720 kB
SwapCached:         1592 kB
Active:           283068 kB
Inactive:          91716 kB
Active(anon):     257684 kB
Inactive(anon):     1388 kB
Active(file):      25384 kB
Inactive(file):    90328 kB
Unevictable:     1656108 kB
Mlocked:         1459884 kB
SwapTotal:      67108856 kB
SwapFree:       67099100 kB
Dirty:              4304 kB
Writeback:             0 kB
AnonPages:       1918680 kB
Mapped:             7828 kB
Shmem:                 0 kB
Slab:             565712 kB
SReclaimable:       9688 kB
SUnreclaim:       556024 kB
KernelStack:        1432 kB
PageTables:         8152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2064772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 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-4114473-1466542817.opb

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