Trace number 4455058

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
RoundingSat nolog (2)SAT (TO)4685824 3600.06 3611.73

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
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 constraint780
Number of terms in the objective function 8060
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 1599918681646
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 1599918681646
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 RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.01	c #variables 8060 #constraints 332
2.28/2.32	c bounds - >= 0 @ 0.012661
2.28/2.32	c bounds 11273704 >= 0 @ 0.062355
2.28/2.32	c bounds 11223784 >= 0 @ 0.063545
2.28/2.32	c bounds 11055882 >= 0 @ 0.065086
2.28/2.32	c bounds 11055786 >= 0 @ 0.069238
2.28/2.32	c bounds 10986149 >= 0 @ 0.076322
2.28/2.32	c bounds 10986141 >= 0 @ 0.406211
2.28/2.32	c #Conflicts:       1000 | #Constraints:       1337
2.28/2.32	c #Conflicts:       2000 | #Constraints:       2343
2.28/2.32	c INPROCESSING
2.28/2.32	c GARBAGE COLLECT
2.28/2.32	c rational objective 3.94959e+06
5.97/6.04	c bounds 10986133 >= 0 @ 2.35492
5.97/6.04	c bounds 10776213 >= 0 @ 2.36439
5.97/6.04	c bounds 10776209 >= 0 @ 2.4772
5.97/6.04	c bounds 10776206 >= 0 @ 2.65889
5.97/6.04	c bounds 10768024 >= 0 @ 2.80569
5.97/6.04	c bounds 10768018 >= 0 @ 2.82358
5.97/6.04	c bounds 10768012 >= 0 @ 2.83059
5.97/6.04	c bounds 10525324 >= 0 @ 2.84358
5.97/6.04	c bounds 10481295 >= 0 @ 2.90799
5.97/6.04	c bounds 10481292 >= 0 @ 2.91553
5.97/6.04	c bounds 10481286 >= 0 @ 3.32973
5.97/6.04	c #Conflicts:       3000 | #Constraints:       2383
5.97/6.04	c #Conflicts:       4000 | #Constraints:       3389
5.97/6.04	c INPROCESSING
5.97/6.04	c GARBAGE COLLECT
5.97/6.04	c rational objective 3.94959e+06
17.43/17.50	c bounds 10481285 >= 0 @ 6.05999
17.43/17.50	c bounds 10481279 >= 0 @ 6.06854
17.43/17.50	c bounds 10481255 >= 0 @ 6.09332
17.43/17.50	c bounds 10481249 >= 0 @ 6.13301
17.43/17.50	c bounds 10481243 >= 0 @ 6.35482
17.43/17.50	c bounds 10481240 >= 0 @ 6.36299
17.43/17.50	c bounds 10481237 >= 0 @ 6.37468
17.43/17.50	c bounds 10454613 >= 0 @ 6.53328
17.43/17.50	c bounds 10454610 >= 0 @ 6.58378
17.43/17.50	c bounds 10454604 >= 0 @ 6.63533
17.43/17.50	c bounds 10454595 >= 0 @ 6.64393
17.43/17.50	c bounds 10454593 >= 0 @ 6.66105
17.43/17.50	c bounds 10454587 >= 0 @ 6.84456
17.43/17.50	c bounds 10454582 >= 0 @ 6.86129
17.43/17.50	c bounds 10315328 >= 0 @ 6.89366
17.43/17.50	c bounds 10315327 >= 0 @ 6.9043
17.43/17.50	c bounds 10274362 >= 0 @ 6.93335
17.43/17.50	c bounds 10274360 >= 0 @ 6.97557
17.43/17.50	c bounds 10274354 >= 0 @ 7.11827
17.43/17.50	c bounds 10274350 >= 0 @ 7.39945
17.43/17.50	c bounds 10274347 >= 0 @ 7.43947
17.43/17.50	c bounds 10274341 >= 0 @ 7.46677
17.43/17.50	c bounds 10274340 >= 0 @ 7.52511
17.43/17.50	c bounds 10274333 >= 0 @ 7.59395
17.43/17.50	c bounds 10274307 >= 0 @ 7.75176
17.43/17.50	c bounds 10274304 >= 0 @ 7.86547
17.43/17.50	c bounds 10274304 >= 150528 @ 7.86892
17.43/17.50	c bounds 10274304 >= 282624 @ 7.86982
17.43/17.50	c bounds 8777723 >= 282624 @ 7.90064
17.43/17.50	c bounds 8777723 >= 402432 @ 7.90095
17.43/17.50	c bounds 8777723 >= 493568 @ 7.90095
17.43/17.50	c bounds 8777723 >= 604160 @ 7.9018
17.43/17.50	c bounds 8777723 >= 713728 @ 7.90194
17.43/17.50	c bounds 8777723 >= 823296 @ 7.9028
17.43/17.50	c bounds 8777723 >= 929792 @ 7.90294
17.43/17.50	c bounds 8777723 >= 1041408 @ 7.90353
17.43/17.50	c bounds 8777723 >= 1139712 @ 7.90506
17.43/17.50	c bounds 8777723 >= 1230848 @ 7.9062
17.43/17.50	c bounds 8777723 >= 1321984 @ 7.91478
17.43/17.50	c bounds 8777723 >= 1411072 @ 7.97128
17.43/17.50	c bounds 8710139 >= 1411072 @ 7.98045
17.43/17.50	c bounds 8598523 >= 1411072 @ 7.99054
17.43/17.50	c bounds 8489979 >= 1411072 @ 7.99855
17.43/17.50	c bounds 8408059 >= 1411072 @ 8.00582
17.43/17.50	c bounds 8303611 >= 1411072 @ 8.01108
17.43/17.50	c bounds 8223739 >= 1411072 @ 8.01628
17.43/17.50	c bounds 8223737 >= 1411072 @ 8.02967
17.43/17.50	c #Conflicts:       5000 | #Constraints:       2869
17.43/17.50	c #Conflicts:       6000 | #Constraints:       3873
17.43/17.50	c bounds 8179726 >= 1411072 @ 10.255
17.43/17.50	c bounds 8179704 >= 1411072 @ 10.4827
17.43/17.50	c bounds 8179702 >= 1411072 @ 10.5476
17.43/17.50	c bounds 8179701 >= 1411072 @ 10.5968
17.43/17.50	c bounds 8179669 >= 1411072 @ 10.6255
17.43/17.50	c INPROCESSING
17.43/17.50	c GARBAGE COLLECT
17.43/17.50	c bounds 8179663 >= 1411072 @ 12.1714
17.43/17.50	c bounds 8179661 >= 1411072 @ 12.1902
17.43/17.50	c bounds 8173517 >= 1411072 @ 12.3897
17.43/17.50	c bounds 8173516 >= 1411072 @ 12.4183
17.43/17.50	c bounds 8173495 >= 1411072 @ 12.5069
17.43/17.50	c bounds 8173490 >= 1411072 @ 12.5234
17.43/17.50	c bounds 8173489 >= 1411072 @ 12.6147
17.43/17.50	c bounds 8173484 >= 1411072 @ 12.7057
17.43/17.50	c #Conflicts:       7000 | #Constraints:       2820
17.43/17.50	c bounds 8173479 >= 1411072 @ 13.1811
17.43/17.50	c bounds 8173479 >= 1492992 @ 13.1862
17.43/17.50	c bounds 8168711 >= 1492992 @ 14.3138
17.43/17.50	c bounds 8035591 >= 1492992 @ 14.3599
17.43/17.50	c bounds 7820551 >= 1492992 @ 14.3782
17.43/17.50	c bounds 7698695 >= 1492992 @ 14.3896
17.43/17.50	c bounds 7698691 >= 1492992 @ 14.4135
17.43/17.50	c bounds 7698686 >= 1492992 @ 14.4496
17.43/17.50	c bounds 7623945 >= 1492992 @ 14.5489
17.43/17.50	c bounds 7623943 >= 1492992 @ 14.593
17.43/17.50	c bounds 7623939 >= 1492992 @ 14.6171
17.43/17.50	c #Conflicts:       8000 | #Constraints:       3835
17.43/17.50	c bounds 7623935 >= 1492992 @ 14.9602
17.43/17.50	c bounds 7623929 >= 1492992 @ 14.9985
17.43/17.50	c bounds 7623925 >= 1492992 @ 15.0907
17.43/17.50	c bounds 7623923 >= 1492992 @ 15.1077
17.43/17.50	c bounds 7623917 >= 1492992 @ 15.1248
17.43/17.50	c bounds 7623909 >= 1492992 @ 15.2837
17.43/17.50	c bounds 7462201 >= 1492992 @ 15.3383
17.43/17.50	c #Conflicts:       9000 | #Constraints:       4846
17.43/17.50	c INPROCESSING
17.43/17.50	c GARBAGE COLLECT
17.43/17.50	c rational objective 3.94959e+06
22.52/22.62	c bounds 7462183 >= 1492992 @ 17.1667
22.52/22.62	c bounds 7462178 >= 1492992 @ 17.2461
22.52/22.62	c bounds 7462146 >= 1492992 @ 17.2632
22.52/22.62	c bounds 7462130 >= 1492992 @ 17.2727
22.52/22.62	c bounds 7460082 >= 1492992 @ 17.4008
22.52/22.62	c bounds 7458040 >= 1492992 @ 17.5672
22.52/22.62	c bounds 7458031 >= 1492992 @ 17.6278
22.52/22.62	c bounds 7458023 >= 1492992 @ 17.6476
22.52/22.62	c bounds 7458015 >= 1492992 @ 17.7536
22.52/22.62	c bounds 7457983 >= 1492992 @ 17.8083
22.52/22.62	c bounds 7457951 >= 1492992 @ 17.8312
22.52/22.62	c bounds 7423172 >= 1492992 @ 18.0159
22.52/22.62	c bounds 7423169 >= 1492992 @ 18.08
22.52/22.62	c bounds 7422657 >= 1492992 @ 18.1477
22.52/22.62	c bounds 7422401 >= 1492992 @ 18.1734
22.52/22.62	c bounds 7422398 >= 1492992 @ 18.2727
22.52/22.62	c bounds 7271870 >= 1492992 @ 18.2969
22.52/22.62	c bounds 7271858 >= 1492992 @ 18.5211
22.52/22.62	c bounds 7271854 >= 1492992 @ 18.5491
22.52/22.62	c #Conflicts:      10000 | #Constraints:       3559
22.52/22.62	c #Conflicts:      11000 | #Constraints:       4565
22.52/22.62	c #Conflicts:      12000 | #Constraints:       5568
22.52/22.62	c INPROCESSING
22.52/22.62	c GARBAGE COLLECT
22.52/22.62	c rational objective 3.94959e+06
30.09/30.28	c bounds 7271851 >= 1492992 @ 22.6354
30.09/30.28	c bounds 7271850 >= 1492992 @ 22.6811
30.09/30.28	c bounds 7271847 >= 1492992 @ 22.724
30.09/30.28	c bounds 7271844 >= 1492992 @ 22.7386
30.09/30.28	c bounds 7271842 >= 1492992 @ 22.7891
30.09/30.28	c bounds 7271840 >= 1492992 @ 22.8522
30.09/30.28	c bounds 7271837 >= 1492992 @ 23.2801
30.09/30.28	c bounds 7271830 >= 1492992 @ 23.4594
30.09/30.28	c bounds 7271825 >= 1492992 @ 23.5065
30.09/30.28	c bounds 7271824 >= 1492992 @ 23.5806
30.09/30.28	c bounds 7176592 >= 1492992 @ 23.8016
30.09/30.28	c bounds 7176590 >= 1492992 @ 23.8658
30.09/30.28	c #Conflicts:      13000 | #Constraints:       4013
30.09/30.28	c bounds 7176586 >= 1492992 @ 25.9348
30.09/30.28	c #Conflicts:      14000 | #Constraints:       5036
30.09/30.28	c #Conflicts:      15000 | #Constraints:       6053
30.09/30.28	c INPROCESSING
30.09/30.28	c GARBAGE COLLECT
30.09/30.28	c rational objective 3.94959e+06
58.20/58.46	c bounds 7176574 >= 1492992 @ 29.7386
58.20/58.46	c bounds 7176558 >= 1492992 @ 29.7515
58.20/58.46	c bounds 7176526 >= 1492992 @ 29.7623
58.20/58.46	c bounds 7176518 >= 1492992 @ 29.7982
58.20/58.46	c bounds 7176512 >= 1492992 @ 30.4645
58.20/58.46	c bounds 7176510 >= 1492992 @ 30.7603
58.20/58.46	c bounds 7176509 >= 1492992 @ 30.8684
58.20/58.46	c bounds 7176505 >= 1492992 @ 30.9865
58.20/58.46	c bounds 7176497 >= 1492992 @ 31.0938
58.20/58.46	c bounds 7176493 >= 1492992 @ 31.4368
58.20/58.46	c bounds 7176492 >= 1492992 @ 31.6919
58.20/58.46	c #Conflicts:      16000 | #Constraints:       4274
58.20/58.46	c #Conflicts:      17000 | #Constraints:       5305
58.20/58.46	c #Conflicts:      18000 | #Constraints:       6528
58.20/58.46	c INPROCESSING
58.20/58.46	c GARBAGE COLLECT
58.20/58.46	c bounds 7176476 >= 1492992 @ 36.9264
58.20/58.46	c bounds 7176474 >= 1492992 @ 36.9443
58.20/58.46	c bounds 7176410 >= 1492992 @ 37.0774
58.20/58.46	c bounds 7176394 >= 1492992 @ 37.4317
58.20/58.46	c bounds 7176392 >= 1492992 @ 37.4621
58.20/58.46	c bounds 7176389 >= 1492992 @ 37.6626
58.20/58.46	c bounds 7176386 >= 1492992 @ 37.6853
58.20/58.46	c bounds 7176378 >= 1492992 @ 38.0847
58.20/58.46	c bounds 7176370 >= 1492992 @ 38.1032
58.20/58.46	c bounds 7176368 >= 1492992 @ 38.3563
58.20/58.46	c bounds 7176366 >= 1492992 @ 38.8116
58.20/58.46	c bounds 7176358 >= 1492992 @ 39.601
58.20/58.46	c bounds 7176336 >= 1492992 @ 39.7362
58.20/58.46	c bounds 7109776 >= 1492992 @ 39.7785
58.20/58.46	c bounds 7109773 >= 1492992 @ 39.8497
58.20/58.46	c bounds 6983821 >= 1492992 @ 39.9593
58.20/58.46	c #Conflicts:      19000 | #Constraints:       4405
58.20/58.46	c bounds 6983807 >= 1492992 @ 40.4488
58.20/58.46	c #Conflicts:      20000 | #Constraints:       5406
58.20/58.46	c #Conflicts:      21000 | #Constraints:       6410
58.20/58.46	c INPROCESSING
58.20/58.46	c GARBAGE COLLECT
58.20/58.46	c bounds 6983805 >= 1492992 @ 47.1597
58.20/58.46	c bounds 6983801 >= 1492992 @ 47.1971
58.20/58.46	c bounds 6983785 >= 1492992 @ 47.2846
58.20/58.46	c bounds 6941801 >= 1492992 @ 47.3105
58.20/58.46	c bounds 6941793 >= 1492992 @ 47.7113
58.20/58.46	c bounds 6941789 >= 1492992 @ 47.7306
58.20/58.46	c bounds 6941787 >= 1492992 @ 47.7442
58.20/58.46	c bounds 6941776 >= 1492992 @ 47.8479
58.20/58.46	c bounds 6941774 >= 1492992 @ 48.011
58.20/58.46	c bounds 6941769 >= 1492992 @ 48.1119
58.20/58.46	c bounds 6941767 >= 1492992 @ 48.1299
58.20/58.46	c bounds 6941763 >= 1492992 @ 48.148
58.20/58.46	c bounds 6941761 >= 1492992 @ 48.197
58.20/58.46	c bounds 6941728 >= 1492992 @ 48.2193
58.20/58.46	c bounds 6941724 >= 1492992 @ 48.4892
58.20/58.46	c bounds 6941720 >= 1492992 @ 48.7387
58.20/58.46	c bounds 6941718 >= 1492992 @ 48.7702
58.20/58.46	c #Conflicts:      22000 | #Constraints:       4139
58.20/58.46	c bounds 6941716 >= 1492992 @ 49.0294
58.20/58.46	c bounds 6941714 >= 1492992 @ 49.3936
58.20/58.46	c bounds 6941702 >= 1492992 @ 49.9173
58.20/58.46	c bounds 6941700 >= 1492992 @ 50.0055
58.20/58.46	c bounds 6941697 >= 1492992 @ 50.4438
58.20/58.46	c bounds 6941691 >= 1492992 @ 50.7741
58.20/58.46	c bounds 6941664 >= 1492992 @ 50.9513
58.20/58.46	c bounds 6941655 >= 1492992 @ 51.2662
58.20/58.46	c bounds 6941652 >= 1492992 @ 51.7087
58.20/58.46	c #Conflicts:      23000 | #Constraints:       5151
58.20/58.46	c #Conflicts:      24000 | #Constraints:       6158
58.20/58.46	c #Conflicts:      25000 | #Constraints:       7164
58.20/58.46	c INPROCESSING
58.20/58.46	c GARBAGE COLLECT
58.20/58.46	c rational objective 3.9912e+06
72.64/72.91	c bounds 6941650 >= 1492992 @ 57.3154
72.64/72.91	c bounds 6941646 >= 1492992 @ 57.5689
72.64/72.91	c bounds 6941640 >= 1492992 @ 57.7878
72.64/72.91	c bounds 6941639 >= 1492992 @ 57.94
72.64/72.91	c bounds 6941636 >= 1492992 @ 58.0301
72.64/72.91	c bounds 6941624 >= 1492992 @ 58.7783
72.64/72.91	c bounds 6941488 >= 1492992 @ 59.4836
72.64/72.91	c bounds 6941482 >= 1492992 @ 60.2229
72.64/72.91	c bounds 6941479 >= 1492992 @ 60.2459
72.64/72.91	c bounds 6941478 >= 1492992 @ 60.339
72.64/72.91	c bounds 6941474 >= 1492992 @ 61.4629
72.64/72.91	c bounds 6941471 >= 1492992 @ 61.5527
72.64/72.91	c bounds 6941468 >= 1492992 @ 61.5796
72.64/72.91	c #Conflicts:      26000 | #Constraints:       4714
72.64/72.91	c bounds 6941466 >= 1492992 @ 61.7861
72.64/72.91	c bounds 6941406 >= 1492992 @ 61.8214
72.64/72.91	c bounds 6941404 >= 1492992 @ 61.8488
72.64/72.91	c bounds 6941402 >= 1492992 @ 62.6939
72.64/72.91	c #Conflicts:      27000 | #Constraints:       5722
72.64/72.91	c bounds 6940193 >= 1492992 @ 65.1345
72.64/72.91	c bounds 6940181 >= 1492992 @ 65.2462
72.64/72.91	c bounds 6940179 >= 1492992 @ 66.0631
72.64/72.91	c bounds 6940175 >= 1492992 @ 66.103
72.64/72.91	c bounds 6940173 >= 1492992 @ 66.2081
72.64/72.91	c bounds 6940161 >= 1492992 @ 66.2337
72.64/72.91	c bounds 6940159 >= 1492992 @ 66.3114
72.64/72.91	c bounds 6940157 >= 1492992 @ 66.5569
72.64/72.91	c bounds 6940135 >= 1492992 @ 66.6063
72.64/72.91	c bounds 6940133 >= 1492992 @ 66.9249
72.64/72.91	c bounds 6940121 >= 1492992 @ 66.9606
72.64/72.91	c bounds 6940119 >= 1492992 @ 67.0164
72.64/72.91	c bounds 6940109 >= 1492992 @ 67.2991
72.64/72.91	c #Conflicts:      28000 | #Constraints:       6741
72.64/72.91	c #Conflicts:      29000 | #Constraints:       7747
72.64/72.91	c INPROCESSING
72.64/72.91	c GARBAGE COLLECT
72.64/72.91	c rational objective 3.9912e+06
82.11/82.44	c bounds 6912457 >= 1492992 @ 71.4378
82.11/82.44	c bounds 6889929 >= 1492992 @ 71.4562
82.11/82.44	c bounds 6889927 >= 1492992 @ 71.6724
82.11/82.44	c bounds 6889923 >= 1492992 @ 72.0577
82.11/82.44	c bounds 6889917 >= 1492992 @ 72.1984
82.11/82.44	c bounds 6889357 >= 1492992 @ 72.4162
82.11/82.44	c bounds 6889355 >= 1492992 @ 72.4314
82.11/82.44	c bounds 6889345 >= 1492992 @ 73.712
82.11/82.44	c bounds 6889341 >= 1492992 @ 73.7335
82.11/82.44	c bounds 6887293 >= 1492992 @ 73.7937
82.11/82.44	c bounds 6887277 >= 1492992 @ 73.8344
82.11/82.44	c bounds 6887021 >= 1492992 @ 74.5314
82.11/82.44	c bounds 6886509 >= 1492992 @ 74.5521
82.11/82.44	c bounds 6886253 >= 1492992 @ 74.5799
82.11/82.44	c #Conflicts:      30000 | #Constraints:       5115
82.11/82.44	c bounds 6886249 >= 1492992 @ 75.492
82.11/82.44	c #Conflicts:      31000 | #Constraints:       6121
82.11/82.44	c #Conflicts:      32000 | #Constraints:       7125
82.11/82.44	c #Conflicts:      33000 | #Constraints:       8151
82.11/82.44	c INPROCESSING
82.11/82.44	c GARBAGE COLLECT
82.11/82.44	c rational objective 3.99124e+06
94.77/95.16	c bounds 6886025 >= 1492992 @ 80.8243
94.77/95.16	c bounds 6886023 >= 1492992 @ 80.8986
94.77/95.16	c bounds 6886015 >= 1492992 @ 80.9548
94.77/95.16	c bounds 6886013 >= 1492992 @ 80.9836
94.77/95.16	c bounds 6886003 >= 1492992 @ 81.1386
94.77/95.16	c bounds 6885999 >= 1492992 @ 81.1633
94.77/95.16	c bounds 6885967 >= 1492992 @ 81.2251
94.77/95.16	c bounds 6885957 >= 1492992 @ 81.3296
94.77/95.16	c bounds 6885953 >= 1492992 @ 81.9525
94.77/95.16	c bounds 6885951 >= 1492992 @ 82.1791
94.77/95.16	c bounds 6885945 >= 1492992 @ 82.2033
94.77/95.16	c bounds 6885921 >= 1492992 @ 82.331
94.77/95.16	c bounds 6885911 >= 1492992 @ 82.349
94.77/95.16	c #Conflicts:      34000 | #Constraints:       5321
94.77/95.16	c #Conflicts:      35000 | #Constraints:       6327
94.77/95.16	c bounds 6885909 >= 1492992 @ 89.5922
94.77/95.16	c bounds 6885909 >= 1564672 @ 89.5974
94.77/95.16	c #Conflicts:      36000 | #Constraints:       7341
94.77/95.16	c #Conflicts:      37000 | #Constraints:       8354
94.77/95.16	c INPROCESSING
94.77/95.16	c GARBAGE COLLECT
94.77/95.16	c rational objective 3.99124e+06
102.44/102.86	c #Conflicts:      38000 | #Constraints:       5312
102.44/102.86	c #Conflicts:      39000 | #Constraints:       6316
102.44/102.86	c #Conflicts:      40000 | #Constraints:       7320
102.44/102.86	c #Conflicts:      41000 | #Constraints:       8325
102.44/102.86	c INPROCESSING
102.44/102.86	c GARBAGE COLLECT
102.44/102.86	c rational objective 3.99124e+06
113.20/113.66	c bounds 6885897 >= 1564672 @ 100.959
113.20/113.66	c bounds 6885893 >= 1564672 @ 101.406
113.20/113.66	c bounds 6885873 >= 1564672 @ 101.456
113.20/113.66	c bounds 6885863 >= 1564672 @ 101.481
113.20/113.66	c bounds 6885861 >= 1564672 @ 101.5
113.20/113.66	c bounds 6885851 >= 1564672 @ 101.944
113.20/113.66	c bounds 6885595 >= 1564672 @ 102.05
113.20/113.66	c #Conflicts:      42000 | #Constraints:       5115
113.20/113.66	c bounds 6885591 >= 1564672 @ 102.174
113.20/113.66	c bounds 6885583 >= 1564672 @ 102.241
113.20/113.66	c bounds 6885563 >= 1564672 @ 102.257
113.20/113.66	c bounds 6885561 >= 1564672 @ 102.753
113.20/113.66	c bounds 6885559 >= 1564672 @ 102.808
113.20/113.66	c bounds 6788539 >= 1564672 @ 103.975
113.20/113.66	c bounds 6788535 >= 1564672 @ 104.067
113.20/113.66	c bounds 6788533 >= 1564672 @ 104.201
113.20/113.66	c bounds 6788453 >= 1564672 @ 104.294
113.20/113.66	c bounds 6788445 >= 1564672 @ 104.54
113.20/113.66	c #Conflicts:      43000 | #Constraints:       6129
113.20/113.66	c #Conflicts:      44000 | #Constraints:       7131
113.20/113.66	c #Conflicts:      45000 | #Constraints:       8136
113.20/113.66	c #Conflicts:      46000 | #Constraints:       9157
113.20/113.66	c INPROCESSING
113.20/113.66	c GARBAGE COLLECT
113.20/113.66	c rational objective 3.99124e+06
128.15/128.63	c bounds 6788441 >= 1564672 @ 111.689
128.15/128.63	c bounds 6788439 >= 1564672 @ 111.978
128.15/128.63	c bounds 6788183 >= 1564672 @ 111.994
128.15/128.63	c bounds 6788167 >= 1564672 @ 112.189
128.15/128.63	c bounds 6788163 >= 1564672 @ 112.903
128.15/128.63	c bounds 6788131 >= 1564672 @ 112.995
128.15/128.63	c bounds 6788121 >= 1564672 @ 113.331
128.15/128.63	c bounds 6788111 >= 1564672 @ 113.358
128.15/128.63	c bounds 6787983 >= 1564672 @ 113.399
128.15/128.63	c bounds 6787471 >= 1564672 @ 115.251
128.15/128.63	c #Conflicts:      47000 | #Constraints:       5716
128.15/128.63	c bounds 6685069 >= 1564672 @ 115.479
128.15/128.63	c bounds 6685065 >= 1564672 @ 115.605
128.15/128.63	c bounds 6517129 >= 1564672 @ 115.664
128.15/128.63	c bounds 6517125 >= 1564672 @ 115.684
128.15/128.63	c bounds 6517118 >= 1564672 @ 116.24
128.15/128.63	c bounds 6517116 >= 1564672 @ 116.268
128.15/128.63	c bounds 6517114 >= 1564672 @ 116.333
128.15/128.63	c bounds 6517112 >= 1564672 @ 117.324
128.15/128.63	c bounds 6517100 >= 1564672 @ 117.428
128.15/128.63	c #Conflicts:      48000 | #Constraints:       6728
128.15/128.63	c bounds 6517098 >= 1564672 @ 120.779
128.15/128.63	c #Conflicts:      49000 | #Constraints:       7732
128.15/128.63	c #Conflicts:      50000 | #Constraints:       8737
128.15/128.63	c #Conflicts:      51000 | #Constraints:       9757
128.15/128.63	c INPROCESSING
128.15/128.63	c GARBAGE COLLECT
128.15/128.63	c rational objective 3.99124e+06
141.70/142.27	c bounds 6517066 >= 1564672 @ 126.456
141.70/142.27	c bounds 6517064 >= 1564672 @ 126.713
141.70/142.27	c bounds 6517062 >= 1564672 @ 126.793
141.70/142.27	c bounds 6517060 >= 1564672 @ 126.822
141.70/142.27	c bounds 6517050 >= 1564672 @ 127.116
141.70/142.27	c bounds 6517042 >= 1564672 @ 127.172
141.70/142.27	c bounds 6517024 >= 1564672 @ 127.299
141.70/142.27	c bounds 6517022 >= 1564672 @ 127.313
141.70/142.27	c bounds 6517018 >= 1564672 @ 127.909
141.70/142.27	c bounds 6517008 >= 1564672 @ 128.295
141.70/142.27	c bounds 6517007 >= 1564672 @ 128.461
141.70/142.27	c bounds 6517001 >= 1564672 @ 128.938
141.70/142.27	c #Conflicts:      52000 | #Constraints:       6124
141.70/142.27	c #Conflicts:      53000 | #Constraints:       7127
141.70/142.27	c #Conflicts:      54000 | #Constraints:       8349
141.70/142.27	c #Conflicts:      55000 | #Constraints:       9350
141.70/142.27	c #Conflicts:      56000 | #Constraints:      10411
141.70/142.27	c INPROCESSING
141.70/142.27	c GARBAGE COLLECT
141.70/142.27	c rational objective 3.99125e+06
159.85/160.40	c bounds 6509833 >= 1564672 @ 139.81
159.85/160.40	c bounds 6509827 >= 1564672 @ 140.311
159.85/160.40	c bounds 6509799 >= 1564672 @ 140.5
159.85/160.40	c bounds 6509787 >= 1564672 @ 140.625
159.85/160.40	c bounds 6509775 >= 1564672 @ 141.129
159.85/160.40	c bounds 6509774 >= 1564672 @ 141.28
159.85/160.40	c bounds 6466270 >= 1564672 @ 141.469
159.85/160.40	c bounds 6466264 >= 1564672 @ 141.72
159.85/160.40	c bounds 6466262 >= 1564672 @ 142.178
159.85/160.40	c bounds 6403881 >= 1564672 @ 142.258
159.85/160.40	c bounds 6403875 >= 1564672 @ 142.309
159.85/160.40	c bounds 6403861 >= 1564672 @ 142.557
159.85/160.40	c bounds 6403849 >= 1564672 @ 143.151
159.85/160.40	c bounds 6265967 >= 1564672 @ 143.427
159.85/160.40	c #Conflicts:      57000 | #Constraints:       6462
159.85/160.40	c bounds 6265937 >= 1564672 @ 144.658
159.85/160.40	c bounds 6265905 >= 1564672 @ 144.801
159.85/160.40	c bounds 6265877 >= 1564672 @ 144.824
159.85/160.40	c bounds 6265785 >= 1564672 @ 144.844
159.85/160.40	c bounds 6265753 >= 1564672 @ 144.873
159.85/160.40	c bounds 6265725 >= 1564672 @ 145.272
159.85/160.40	c bounds 6265669 >= 1564672 @ 145.324
159.85/160.40	c bounds 6263833 >= 1564672 @ 145.495
159.85/160.40	c bounds 6263829 >= 1564672 @ 148.527
159.85/160.40	c bounds 6263823 >= 1564672 @ 148.569
159.85/160.40	c bounds 6263817 >= 1564672 @ 148.603
159.85/160.40	c bounds 6160393 >= 1564672 @ 148.675
159.85/160.40	c #Conflicts:      58000 | #Constraints:       7486
159.85/160.40	c bounds 6160385 >= 1564672 @ 150.014
159.85/160.40	c #Conflicts:      59000 | #Constraints:       8489
159.85/160.40	c #Conflicts:      60000 | #Constraints:       9494
159.85/160.40	c #Conflicts:      61000 | #Constraints:      10499
159.85/160.40	c INPROCESSING
159.85/160.40	c GARBAGE COLLECT
159.85/160.40	c rational objective 3.99217e+06
173.20/173.80	c bounds 6160384 >= 1564672 @ 157.754
173.20/173.80	c bounds 6160383 >= 1564672 @ 158.012
173.20/173.80	c bounds 6160381 >= 1564672 @ 158.028
173.20/173.80	c bounds 6160377 >= 1564672 @ 158.048
173.20/173.80	c bounds 6160369 >= 1564672 @ 158.077
173.20/173.80	c bounds 6160368 >= 1564672 @ 158.159
173.20/173.80	c bounds 6160351 >= 1564672 @ 158.241
173.20/173.80	c bounds 6160345 >= 1564672 @ 158.973
173.20/173.80	c bounds 6160337 >= 1564672 @ 159.021
173.20/173.80	c bounds 6160273 >= 1564672 @ 159.306
173.20/173.80	c bounds 6160243 >= 1564672 @ 159.344
173.20/173.80	c bounds 6160229 >= 1564672 @ 159.367
173.20/173.80	c bounds 6160227 >= 1564672 @ 159.741
173.20/173.80	c #Conflicts:      62000 | #Constraints:       6398
173.20/173.80	c bounds 6160226 >= 1564672 @ 162.264
173.20/173.80	c #Conflicts:      63000 | #Constraints:       7418
173.20/173.80	c #Conflicts:      64000 | #Constraints:       8444
173.20/173.80	c #Conflicts:      65000 | #Constraints:       9448
173.20/173.80	c #Conflicts:      66000 | #Constraints:      10462
173.20/173.80	c INPROCESSING
173.20/173.80	c GARBAGE COLLECT
173.20/173.80	c rational objective 3.99218e+06
189.05/189.79	c bounds 6159970 >= 1564672 @ 171.112
189.05/189.79	c #Conflicts:      67000 | #Constraints:       6183
189.05/189.79	c bounds 6159842 >= 1564672 @ 172.094
189.05/189.79	c bounds 6159330 >= 1564672 @ 172.637
189.05/189.79	c bounds 6159329 >= 1564672 @ 172.891
189.05/189.79	c bounds 6159328 >= 1564672 @ 173.47
189.05/189.79	c bounds 6159326 >= 1564672 @ 173.494
189.05/189.79	c bounds 6159322 >= 1564672 @ 173.516
189.05/189.79	c bounds 6159290 >= 1564672 @ 173.802
189.05/189.79	c bounds 6159289 >= 1564672 @ 174.097
189.05/189.79	c bounds 6159273 >= 1564672 @ 174.155
189.05/189.79	c bounds 6159268 >= 1564672 @ 174.327
189.05/189.79	c bounds 6159266 >= 1564672 @ 174.351
189.05/189.79	c bounds 6159168 >= 1564672 @ 175.635
189.05/189.79	c bounds 6159167 >= 1564672 @ 175.714
189.05/189.79	c bounds 6159039 >= 1564672 @ 175.959
189.05/189.79	c bounds 6159025 >= 1564672 @ 176.151
189.05/189.79	c bounds 6113971 >= 1564672 @ 176.22
189.05/189.79	c bounds 6113887 >= 1564672 @ 176.299
189.05/189.79	c #Conflicts:      68000 | #Constraints:       7203
189.05/189.79	c bounds 6113885 >= 1564672 @ 176.862
189.05/189.79	c bounds 6113883 >= 1564672 @ 176.928
189.05/189.79	c bounds 6113882 >= 1564672 @ 177.37
189.05/189.79	c #Conflicts:      69000 | #Constraints:       8206
189.05/189.79	c #Conflicts:      70000 | #Constraints:       9207
189.05/189.79	c #Conflicts:      71000 | #Constraints:      10209
189.05/189.79	c #Conflicts:      72000 | #Constraints:      11211
189.05/189.79	c INPROCESSING
189.05/189.79	c GARBAGE COLLECT
189.05/189.79	c rational objective 3.99125e+06
206.79/207.59	c bounds 6113854 >= 1564672 @ 187.094
206.79/207.59	c bounds 6113840 >= 1564672 @ 187.289
206.79/207.59	c bounds 6113826 >= 1564672 @ 187.436
206.79/207.59	c bounds 6113812 >= 1564672 @ 188.518
206.79/207.59	c bounds 6113798 >= 1564672 @ 189.103
206.79/207.59	c #Conflicts:      73000 | #Constraints:       6740
206.79/207.59	c bounds 6111750 >= 1564672 @ 191.359
206.79/207.59	c bounds 6111749 >= 1564672 @ 191.478
206.79/207.59	c bounds 6111748 >= 1564672 @ 191.86
206.79/207.59	c bounds 6111747 >= 1564672 @ 192.125
206.79/207.59	c bounds 6111745 >= 1564672 @ 192.329
206.79/207.59	c bounds 6111741 >= 1564672 @ 192.387
206.79/207.59	c bounds 6111737 >= 1564672 @ 192.933
206.79/207.59	c bounds 6111736 >= 1564672 @ 193.612
206.79/207.59	c bounds 6109688 >= 1564672 @ 193.726
206.79/207.59	c bounds 6099448 >= 1564672 @ 193.757
206.79/207.59	c bounds 6099447 >= 1564672 @ 194.37
206.79/207.59	c #Conflicts:      74000 | #Constraints:       7753
206.79/207.59	c #Conflicts:      75000 | #Constraints:       8756
206.79/207.59	c #Conflicts:      76000 | #Constraints:       9757
206.79/207.59	c #Conflicts:      77000 | #Constraints:      10757
206.79/207.59	c #Conflicts:      78000 | #Constraints:      11780
206.79/207.59	c INPROCESSING
206.79/207.59	c GARBAGE COLLECT
206.79/207.59	c rational objective 3.99125e+06
222.13/222.96	c bounds 6093611 >= 1564672 @ 204.406
222.13/222.96	c bounds 6093603 >= 1564672 @ 204.44
222.13/222.96	c bounds 6091555 >= 1564672 @ 204.755
222.13/222.96	c bounds 6091531 >= 1564672 @ 204.898
222.13/222.96	c bounds 6091517 >= 1564672 @ 205.32
222.13/222.96	c bounds 6091489 >= 1564672 @ 205.346
222.13/222.96	c #Conflicts:      79000 | #Constraints:       7149
222.13/222.96	c #Conflicts:      80000 | #Constraints:       8152
222.13/222.96	c bounds 6091475 >= 1564672 @ 211.022
222.13/222.96	c #Conflicts:      81000 | #Constraints:       9160
222.13/222.96	c #Conflicts:      82000 | #Constraints:      10169
222.13/222.96	c #Conflicts:      83000 | #Constraints:      11172
222.13/222.96	c #Conflicts:      84000 | #Constraints:      12177
222.13/222.96	c INPROCESSING
222.13/222.96	c GARBAGE COLLECT
222.13/222.96	c rational objective 3.99125e+06
237.98/238.83	c bounds 6091461 >= 1564672 @ 219.591
237.98/238.83	c bounds 6091445 >= 1564672 @ 221.502
237.98/238.83	c bounds 6091413 >= 1564672 @ 221.526
237.98/238.83	c #Conflicts:      85000 | #Constraints:       7334
237.98/238.83	c bounds 6091401 >= 1564672 @ 222.553
237.98/238.83	c bounds 6091393 >= 1564672 @ 222.808
237.98/238.83	c bounds 6091385 >= 1564672 @ 222.828
237.98/238.83	c bounds 6091377 >= 1564672 @ 223.604
237.98/238.83	c #Conflicts:      86000 | #Constraints:       8343
237.98/238.83	c bounds 6091363 >= 1564672 @ 226.999
237.98/238.83	c #Conflicts:      87000 | #Constraints:       9349
237.98/238.83	c #Conflicts:      88000 | #Constraints:      10350
237.98/238.83	c #Conflicts:      89000 | #Constraints:      11356
237.98/238.83	c #Conflicts:      90000 | #Constraints:      12357
237.98/238.83	c INPROCESSING
237.98/238.83	c GARBAGE COLLECT
237.98/238.83	c rational objective 3.99168e+06
273.65/274.67	c bounds 6091349 >= 1564672 @ 236.71
273.65/274.67	c bounds 6091093 >= 1564672 @ 236.726
273.65/274.67	c bounds 6065685 >= 1564672 @ 236.947
273.65/274.67	c bounds 6032793 >= 1564672 @ 237.121
273.65/274.67	c bounds 6032785 >= 1564672 @ 237.146
273.65/274.67	c bounds 6032777 >= 1564672 @ 237.231
273.65/274.67	c bounds 6032769 >= 1564672 @ 237.249
273.65/274.67	c #Conflicts:      91000 | #Constraints:       7332
273.65/274.67	c bounds 6032745 >= 1564672 @ 238.36
273.65/274.67	c bounds 6032745 >= 1624064 @ 238.367
273.65/274.67	c #Conflicts:      92000 | #Constraints:       8344
273.65/274.67	c #Conflicts:      93000 | #Constraints:       9347
273.65/274.67	c #Conflicts:      94000 | #Constraints:      10350
273.65/274.67	c #Conflicts:      95000 | #Constraints:      11352
273.65/274.67	c #Conflicts:      96000 | #Constraints:      12352
273.65/274.67	c INPROCESSING
273.65/274.67	c GARBAGE COLLECT
273.65/274.67	c bounds 6032681 >= 1624064 @ 252.027
273.65/274.67	c bounds 6032665 >= 1624064 @ 252.044
273.65/274.67	c bounds 6032664 >= 1624064 @ 252.078
273.65/274.67	c #Conflicts:      97000 | #Constraints:       7125
273.65/274.67	c #Conflicts:      98000 | #Constraints:       8132
273.65/274.67	c #Conflicts:      99000 | #Constraints:       9132
273.65/274.67	c bounds 6032654 >= 1624064 @ 260.024
273.65/274.67	c bounds 6032653 >= 1624064 @ 260.143
273.65/274.67	c bounds 6032650 >= 1624064 @ 260.184
273.65/274.67	c bounds 6032649 >= 1624064 @ 260.317
273.65/274.67	c bounds 6032647 >= 1624064 @ 260.349
273.65/274.67	c #Conflicts:     100000 | #Constraints:      10137
273.65/274.67	c bounds 6032557 >= 1624064 @ 261.617
273.65/274.67	c bounds 6032555 >= 1624064 @ 261.671
273.65/274.67	c bounds 6032171 >= 1624064 @ 264.156
273.65/274.67	c #Conflicts:     101000 | #Constraints:      11142
273.65/274.67	c #Conflicts:     102000 | #Constraints:      12144
273.65/274.67	c #Conflicts:     103000 | #Constraints:      13146
273.65/274.67	c INPROCESSING
273.65/274.67	c GARBAGE COLLECT
273.65/274.67	c rational objective 3.99168e+06
340.44/341.67	c bounds 6032165 >= 1624064 @ 271.511
340.44/341.67	c bounds 6032163 >= 1624064 @ 271.534
340.44/341.67	c bounds 6032161 >= 1624064 @ 271.714
340.44/341.67	c bounds 6032159 >= 1624064 @ 271.77
340.44/341.67	c bounds 6032145 >= 1624064 @ 271.803
340.44/341.67	c bounds 6032143 >= 1624064 @ 271.832
340.44/341.67	c bounds 6032133 >= 1624064 @ 271.992
340.44/341.67	c bounds 6032127 >= 1624064 @ 272.047
340.44/341.67	c bounds 6032115 >= 1624064 @ 272.066
340.44/341.67	c bounds 6032114 >= 1624064 @ 273.613
340.44/341.67	c bounds 6032114 >= 1681408 @ 273.617
340.44/341.67	c #Conflicts:     104000 | #Constraints:       7731
340.44/341.67	c #Conflicts:     105000 | #Constraints:       8731
340.44/341.67	c #Conflicts:     106000 | #Constraints:       9734
340.44/341.67	c #Conflicts:     107000 | #Constraints:      10735
340.44/341.67	c #Conflicts:     108000 | #Constraints:      11736
340.44/341.67	c #Conflicts:     109000 | #Constraints:      12738
340.44/341.67	c #Conflicts:     110000 | #Constraints:      13738
340.44/341.67	c INPROCESSING
340.44/341.67	c GARBAGE COLLECT
340.44/341.67	c bounds 6032034 >= 1681408 @ 291.596
340.44/341.67	c bounds 6031994 >= 1681408 @ 291.615
340.44/341.67	c bounds 6031866 >= 1681408 @ 293.062
340.44/341.67	c bounds 6031865 >= 1681408 @ 294.352
340.44/341.67	c bounds 6031864 >= 1681408 @ 294.384
340.44/341.67	c bounds 6031863 >= 1681408 @ 294.792
340.44/341.67	c bounds 6031862 >= 1681408 @ 294.821
340.44/341.67	c bounds 6031859 >= 1681408 @ 294.947
340.44/341.67	c bounds 6031849 >= 1681408 @ 295.434
340.44/341.67	c bounds 6031843 >= 1681408 @ 295.477
340.44/341.67	c bounds 6031841 >= 1681408 @ 295.508
340.44/341.67	c #Conflicts:     111000 | #Constraints:       8133
340.44/341.67	c bounds 6031831 >= 1681408 @ 295.748
340.44/341.67	c bounds 6031817 >= 1681408 @ 295.817
340.44/341.67	c bounds 6031793 >= 1681408 @ 296.373
340.44/341.67	c bounds 6031769 >= 1681408 @ 296.669
340.44/341.67	c bounds 6031733 >= 1681408 @ 296.745
340.44/341.67	c bounds 6031723 >= 1681408 @ 296.781
340.44/341.67	c bounds 5956199 >= 1681408 @ 297.998
340.44/341.67	c bounds 5956183 >= 1681408 @ 298.564
340.44/341.67	c bounds 5956182 >= 1681408 @ 298.841
340.44/341.67	c bounds 5956158 >= 1681408 @ 299.656
340.44/341.67	c bounds 5956110 >= 1681408 @ 299.721
340.44/341.67	c bounds 5956079 >= 1681408 @ 300.112
340.44/341.67	c bounds 5956055 >= 1681408 @ 300.452
340.44/341.67	c bounds 5955863 >= 1681408 @ 300.618
340.44/341.67	c bounds 5955799 >= 1681408 @ 301.102
340.44/341.67	c #Conflicts:     112000 | #Constraints:       9148
340.44/341.67	c bounds 5955751 >= 1681408 @ 301.673
340.44/341.67	c bounds 5955655 >= 1681408 @ 302.201
340.44/341.67	c bounds 5955271 >= 1681408 @ 302.499
340.44/341.67	c bounds 5955265 >= 1681408 @ 303.666
340.44/341.67	c #Conflicts:     113000 | #Constraints:      10152
340.44/341.67	c bounds 5954497 >= 1681408 @ 309.927
340.44/341.67	c bounds 5954497 >= 1736704 @ 309.943
340.44/341.67	c #Conflicts:     114000 | #Constraints:      11156
340.44/341.67	c #Conflicts:     115000 | #Constraints:      12157
340.44/341.67	c #Conflicts:     116000 | #Constraints:      13164
340.44/341.67	c #Conflicts:     117000 | #Constraints:      14165
340.44/341.67	c INPROCESSING
340.44/341.67	c GARBAGE COLLECT
340.44/341.67	c bounds 5944388 >= 1736704 @ 320.134
340.44/341.67	c #Conflicts:     118000 | #Constraints:       8333
340.44/341.67	c #Conflicts:     119000 | #Constraints:       9334
340.44/341.67	c #Conflicts:     120000 | #Constraints:      10340
340.44/341.67	c #Conflicts:     121000 | #Constraints:      11346
340.44/341.67	c #Conflicts:     122000 | #Constraints:      12349
340.44/341.67	c #Conflicts:     123000 | #Constraints:      13352
340.44/341.67	c #Conflicts:     124000 | #Constraints:      14352
340.44/341.67	c INPROCESSING
340.44/341.67	c GARBAGE COLLECT
340.44/341.67	c rational objective 3.99168e+06
413.71/415.19	c bounds 5913668 >= 1736704 @ 336.977
413.71/415.19	c bounds 5913650 >= 1736704 @ 337.285
413.71/415.19	c bounds 5913614 >= 1736704 @ 337.308
413.71/415.19	c bounds 5913542 >= 1736704 @ 337.336
413.71/415.19	c bounds 5913398 >= 1736704 @ 337.591
413.71/415.19	c bounds 5913386 >= 1736704 @ 339.872
413.71/415.19	c #Conflicts:     125000 | #Constraints:       8350
413.71/415.19	c bounds 5912874 >= 1736704 @ 340.255
413.71/415.19	c bounds 5912868 >= 1736704 @ 340.293
413.71/415.19	c bounds 5912856 >= 1736704 @ 340.778
413.71/415.19	c bounds 5912850 >= 1736704 @ 341.414
413.71/415.19	c bounds 5912814 >= 1736704 @ 341.458
413.71/415.19	c bounds 5906670 >= 1736704 @ 341.687
413.71/415.19	c bounds 5902118 >= 1736704 @ 342.049
413.71/415.19	c bounds 5902106 >= 1736704 @ 342.099
413.71/415.19	c #Conflicts:     126000 | #Constraints:       9362
413.71/415.19	c bounds 5873130 >= 1736704 @ 344.466
413.71/415.19	c bounds 5873002 >= 1736704 @ 344.519
413.71/415.19	c bounds 5871978 >= 1736704 @ 344.62
413.71/415.19	c bounds 5871970 >= 1736704 @ 347.659
413.71/415.19	c bounds 5871962 >= 1736704 @ 348.012
413.71/415.19	c #Conflicts:     127000 | #Constraints:      10372
413.71/415.19	c bounds 5871952 >= 1736704 @ 351.022
413.71/415.19	c #Conflicts:     128000 | #Constraints:      11383
413.71/415.19	c #Conflicts:     129000 | #Constraints:      12387
413.71/415.19	c #Conflicts:     130000 | #Constraints:      13392
413.71/415.19	c #Conflicts:     131000 | #Constraints:      14396
413.71/415.19	c INPROCESSING
413.71/415.19	c GARBAGE COLLECT
413.71/415.19	c bounds 5871696 >= 1736704 @ 363.3
413.71/415.19	c bounds 5871688 >= 1736704 @ 363.337
413.71/415.19	c bounds 5871680 >= 1736704 @ 363.886
413.71/415.19	c #Conflicts:     132000 | #Constraints:       8150
413.71/415.19	c bounds 5871672 >= 1736704 @ 365.799
413.71/415.19	c bounds 5871664 >= 1736704 @ 365.828
413.71/415.19	c bounds 5871656 >= 1736704 @ 365.85
413.71/415.19	c bounds 5871624 >= 1736704 @ 365.904
413.71/415.19	c bounds 5871616 >= 1736704 @ 366.091
413.71/415.19	c #Conflicts:     133000 | #Constraints:       9155
413.71/415.19	c bounds 5871456 >= 1736704 @ 368.349
413.71/415.19	c bounds 5871446 >= 1736704 @ 368.437
413.71/415.19	c bounds 5871426 >= 1736704 @ 368.757
413.71/415.19	c bounds 5871386 >= 1736704 @ 368.791
413.71/415.19	c bounds 5871306 >= 1736704 @ 369.695
413.71/415.19	c bounds 5870986 >= 1736704 @ 370.918
413.71/415.19	c #Conflicts:     134000 | #Constraints:      10162
413.71/415.19	c #Conflicts:     135000 | #Constraints:      11166
413.71/415.19	c #Conflicts:     136000 | #Constraints:      12172
413.71/415.19	c #Conflicts:     137000 | #Constraints:      13207
413.71/415.19	c #Conflicts:     138000 | #Constraints:      14208
413.71/415.19	c #Conflicts:     139000 | #Constraints:      15208
413.71/415.19	c INPROCESSING
413.71/415.19	c GARBAGE COLLECT
413.71/415.19	c bounds 5870506 >= 1736704 @ 384.393
413.71/415.19	c bounds 5870490 >= 1736704 @ 384.418
413.71/415.19	c bounds 5870482 >= 1736704 @ 384.661
413.71/415.19	c bounds 5870474 >= 1736704 @ 384.697
413.71/415.19	c bounds 5868434 >= 1736704 @ 385.58
413.71/415.19	c bounds 5868426 >= 1736704 @ 385.945
413.71/415.19	c bounds 5860234 >= 1736704 @ 386.004
413.71/415.19	c bounds 5853594 >= 1736704 @ 386.174
413.71/415.19	c bounds 5853586 >= 1736704 @ 386.194
413.71/415.19	c #Conflicts:     140000 | #Constraints:       8774
413.71/415.19	c #Conflicts:     141000 | #Constraints:       9777
413.71/415.19	c bounds 5853578 >= 1736704 @ 392.284
413.71/415.19	c bounds 5853074 >= 1736704 @ 392.436
413.71/415.19	c bounds 5853066 >= 1736704 @ 392.531
413.71/415.19	c bounds 5853058 >= 1736704 @ 396.818
413.71/415.19	c #Conflicts:     142000 | #Constraints:      10784
413.71/415.19	c #Conflicts:     143000 | #Constraints:      11785
413.71/415.19	c #Conflicts:     144000 | #Constraints:      12786
413.71/415.19	c #Conflicts:     145000 | #Constraints:      13786
413.71/415.19	c #Conflicts:     146000 | #Constraints:      14789
413.71/415.19	c #Conflicts:     147000 | #Constraints:      15793
413.71/415.19	c INPROCESSING
413.71/415.19	c GARBAGE COLLECT
413.71/415.19	c rational objective 3.99168e+06
441.02/442.53	c bounds 5827458 >= 1736704 @ 409.72
441.02/442.53	c bounds 5827442 >= 1736704 @ 409.907
441.02/442.53	c bounds 5827314 >= 1736704 @ 409.955
441.02/442.53	c bounds 5827282 >= 1736704 @ 410.531
441.02/442.53	c bounds 5764818 >= 1736704 @ 411.568
441.02/442.53	c bounds 5762770 >= 1736704 @ 411.604
441.02/442.53	c bounds 5756626 >= 1736704 @ 412.203
441.02/442.53	c bounds 5756618 >= 1736704 @ 412.227
441.02/442.53	c #Conflicts:     148000 | #Constraints:       9173
441.02/442.53	c bounds 5756554 >= 1736704 @ 413.87
441.02/442.53	c bounds 5756306 >= 1736704 @ 413.915
441.02/442.53	c bounds 5750162 >= 1736704 @ 415.977
441.02/442.53	c #Conflicts:     149000 | #Constraints:      10181
441.02/442.53	c #Conflicts:     150000 | #Constraints:      11183
441.02/442.53	c #Conflicts:     151000 | #Constraints:      12184
441.02/442.53	c #Conflicts:     152000 | #Constraints:      13184
441.02/442.53	c #Conflicts:     153000 | #Constraints:      14184
441.02/442.53	c #Conflicts:     154000 | #Constraints:      15185
441.02/442.53	c #Conflicts:     155000 | #Constraints:      16186
441.02/442.53	c INPROCESSING
441.02/442.53	c GARBAGE COLLECT
441.02/442.53	c rational objective 3.99235e+06
646.87/649.08	c bounds 5750152 >= 1736704 @ 439.116
646.87/649.08	c bounds 5749640 >= 1736704 @ 439.704
646.87/649.08	c bounds 5745544 >= 1736704 @ 440.091
646.87/649.08	c #Conflicts:     156000 | #Constraints:       9361
646.87/649.08	c bounds 5745536 >= 1736704 @ 442.483
646.87/649.08	c bounds 5720320 >= 1736704 @ 443.581
646.87/649.08	c bounds 5720300 >= 1736704 @ 443.826
646.87/649.08	c bounds 5720260 >= 1736704 @ 443.856
646.87/649.08	c bounds 5646532 >= 1736704 @ 443.901
646.87/649.08	c bounds 5646522 >= 1736704 @ 444.178
646.87/649.08	c bounds 5646442 >= 1736704 @ 444.6
646.87/649.08	c bounds 5646282 >= 1736704 @ 444.755
646.87/649.08	c bounds 5618390 >= 1736704 @ 444.996
646.87/649.08	c #Conflicts:     157000 | #Constraints:      10372
646.87/649.08	c bounds 5618374 >= 1736704 @ 446.571
646.87/649.08	c bounds 5618372 >= 1736704 @ 446.737
646.87/649.08	c bounds 5618370 >= 1736704 @ 446.781
646.87/649.08	c bounds 5618368 >= 1736704 @ 447.809
646.87/649.08	c bounds 5618364 >= 1736704 @ 448.387
646.87/649.08	c bounds 5618362 >= 1736704 @ 448.456
646.87/649.08	c bounds 5618354 >= 1736704 @ 448.56
646.87/649.08	c bounds 5618338 >= 1736704 @ 450.311
646.87/649.08	c bounds 5618306 >= 1736704 @ 450.448
646.87/649.08	c bounds 5618050 >= 1736704 @ 450.555
646.87/649.08	c #Conflicts:     158000 | #Constraints:      11384
646.87/649.08	c bounds 5618048 >= 1736704 @ 454.877
646.87/649.08	c #Conflicts:     159000 | #Constraints:      12390
646.87/649.08	c #Conflicts:     160000 | #Constraints:      13391
646.87/649.08	c #Conflicts:     161000 | #Constraints:      14393
646.87/649.08	c #Conflicts:     162000 | #Constraints:      15394
646.87/649.08	c #Conflicts:     163000 | #Constraints:      16394
646.87/649.08	c INPROCESSING
646.87/649.08	c GARBAGE COLLECT
646.87/649.08	c bounds 5617984 >= 1736704 @ 481.392
646.87/649.08	c bounds 5617952 >= 1736704 @ 481.436
646.87/649.08	c bounds 5617936 >= 1736704 @ 481.593
646.87/649.08	c #Conflicts:     164000 | #Constraints:       9361
646.87/649.08	c bounds 5617904 >= 1736704 @ 485.374
646.87/649.08	c bounds 5617840 >= 1736704 @ 485.401
646.87/649.08	c bounds 5617808 >= 1736704 @ 485.428
646.87/649.08	c bounds 5617804 >= 1736704 @ 486.089
646.87/649.08	c bounds 5617686 >= 1736704 @ 486.546
646.87/649.08	c bounds 5617684 >= 1736704 @ 486.622
646.87/649.08	c bounds 5617682 >= 1736704 @ 486.675
646.87/649.08	c bounds 5617678 >= 1736704 @ 486.724
646.87/649.08	c bounds 5617676 >= 1736704 @ 486.866
646.87/649.08	c bounds 5617672 >= 1736704 @ 487.655
646.87/649.08	c #Conflicts:     165000 | #Constraints:      10372
646.87/649.08	c bounds 5617670 >= 1736704 @ 487.971
646.87/649.08	c #Conflicts:     166000 | #Constraints:      11374
646.87/649.08	c bounds 5617158 >= 1736704 @ 492.829
646.87/649.08	c bounds 5617150 >= 1736704 @ 496.354
646.87/649.08	c bounds 5617146 >= 1736704 @ 496.445
646.87/649.08	c bounds 5617146 >= 1784832 @ 496.473
646.87/649.08	c #Conflicts:     167000 | #Constraints:      12382
646.87/649.08	c bounds 5617142 >= 1784832 @ 497.164
646.87/649.08	c #Conflicts:     168000 | #Constraints:      13384
646.87/649.08	c #Conflicts:     169000 | #Constraints:      14385
646.87/649.08	c #Conflicts:     170000 | #Constraints:      15385
646.87/649.08	c #Conflicts:     171000 | #Constraints:      16386
646.87/649.08	c INPROCESSING
646.87/649.08	c GARBAGE COLLECT
646.87/649.08	c bounds 5617126 >= 1784832 @ 536.483
646.87/649.08	c bounds 5617062 >= 1784832 @ 536.764
646.87/649.08	c bounds 5617030 >= 1784832 @ 536.809
646.87/649.08	c bounds 5617028 >= 1784832 @ 538.705
646.87/649.08	c #Conflicts:     172000 | #Constraints:       9153
646.87/649.08	c bounds 5616902 >= 1784832 @ 541.818
646.87/649.08	c bounds 5616900 >= 1784832 @ 542.183
646.87/649.08	c bounds 5616646 >= 1784832 @ 542.211
646.87/649.08	c bounds 5575686 >= 1784832 @ 542.59
646.87/649.08	c #Conflicts:     173000 | #Constraints:      10157
646.87/649.08	c bounds 5575684 >= 1784832 @ 545.014
646.87/649.08	c bounds 5574668 >= 1784832 @ 545.076
646.87/649.08	c bounds 5574662 >= 1784832 @ 545.521
646.87/649.08	c #Conflicts:     174000 | #Constraints:      11160
646.87/649.08	c #Conflicts:     175000 | #Constraints:      12160
646.87/649.08	c bounds 5574660 >= 1784832 @ 559.91
646.87/649.08	c bounds 5571594 >= 1784832 @ 563.314
646.87/649.08	c #Conflicts:     176000 | #Constraints:      13162
646.87/649.08	c #Conflicts:     177000 | #Constraints:      14162
646.87/649.08	c #Conflicts:     178000 | #Constraints:      15165
646.87/649.08	c #Conflicts:     179000 | #Constraints:      16167
646.87/649.08	c #Conflicts:     180000 | #Constraints:      17176
646.87/649.08	c INPROCESSING
646.87/649.08	c GARBAGE COLLECT
646.87/649.08	c bounds 5563402 >= 1784832 @ 614.443
646.87/649.08	c bounds 5530634 >= 1784832 @ 614.696
646.87/649.08	c bounds 5527562 >= 1784832 @ 615.087
646.87/649.08	c #Conflicts:     181000 | #Constraints:       9737
646.87/649.08	c bounds 5415946 >= 1784832 @ 618.626
646.87/649.08	c bounds 5296138 >= 1784832 @ 618.692
646.87/649.08	c bounds 5295114 >= 1784832 @ 619.953
646.87/649.08	c #Conflicts:     182000 | #Constraints:      10740
646.87/649.08	c #Conflicts:     183000 | #Constraints:      11743
646.87/649.08	c #Conflicts:     184000 | #Constraints:      12752
646.87/649.08	c #Conflicts:     185000 | #Constraints:      13757
646.87/649.08	c bounds 5295104 >= 1784832 @ 636.373
646.87/649.08	c #Conflicts:     186000 | #Constraints:      14765
646.87/649.08	c #Conflicts:     187000 | #Constraints:      15765
996.72/1000.09	c #Conflicts:     188000 | #Constraints:      16769
996.72/1000.09	c #Conflicts:     189000 | #Constraints:      17769
996.72/1000.09	c INPROCESSING
996.72/1000.09	c GARBAGE COLLECT
996.72/1000.09	c #Conflicts:     190000 | #Constraints:      10113
996.72/1000.09	c #Conflicts:     191000 | #Constraints:      11113
996.72/1000.09	c #Conflicts:     192000 | #Constraints:      12115
996.72/1000.09	c #Conflicts:     193000 | #Constraints:      13115
996.72/1000.09	c #Conflicts:     194000 | #Constraints:      14115
996.72/1000.09	c #Conflicts:     195000 | #Constraints:      15115
996.72/1000.09	c #Conflicts:     196000 | #Constraints:      16115
996.72/1000.09	c #Conflicts:     197000 | #Constraints:      17115
996.72/1000.09	c #Conflicts:     198000 | #Constraints:      18115
996.72/1000.09	c INPROCESSING
996.72/1000.09	c GARBAGE COLLECT
996.72/1000.09	c bounds 5286912 >= 1784832 @ 814.256
996.72/1000.09	c bounds 5278720 >= 1784832 @ 816.05
996.72/1000.09	c bounds 5270528 >= 1784832 @ 816.382
996.72/1000.09	c bounds 5254144 >= 1784832 @ 816.426
996.72/1000.09	c bounds 5245952 >= 1784832 @ 816.951
996.72/1000.09	c bounds 5237760 >= 1784832 @ 817.694
996.72/1000.09	c bounds 5229576 >= 1784832 @ 817.748
996.72/1000.09	c bounds 5220360 >= 1784832 @ 823.032
996.72/1000.09	c bounds 5220352 >= 1784832 @ 823.97
996.72/1000.09	c bounds 5212176 >= 1784832 @ 827.694
996.72/1000.09	c bounds 5212168 >= 1784832 @ 827.788
996.72/1000.09	c bounds 5212160 >= 1784832 @ 827.876
996.72/1000.09	c #Conflicts:     199000 | #Constraints:      10324
996.72/1000.09	c bounds 5060608 >= 1784832 @ 830.852
996.72/1000.09	c bounds 5047287 >= 1784832 @ 832.003
996.72/1000.09	c bounds 5047269 >= 1784832 @ 832.046
996.72/1000.09	c bounds 5047233 >= 1784832 @ 832.104
996.72/1000.09	c bounds 4949953 >= 1784832 @ 832.155
996.72/1000.09	c bounds 4949809 >= 1784832 @ 834.104
996.72/1000.09	c bounds 4949800 >= 1784832 @ 835.509
996.72/1000.09	c bounds 4949791 >= 1784832 @ 835.558
996.72/1000.09	c bounds 4949773 >= 1784832 @ 835.794
996.72/1000.09	c bounds 4949737 >= 1784832 @ 835.863
996.72/1000.09	c bounds 4930374 >= 1784832 @ 836.286
996.72/1000.09	c #Conflicts:     200000 | #Constraints:      11335
996.72/1000.09	c bounds 4930182 >= 1784832 @ 838.892
996.72/1000.09	c #Conflicts:     201000 | #Constraints:      12336
996.72/1000.09	c bounds 4930176 >= 1784832 @ 849.488
996.72/1000.09	c #Conflicts:     202000 | #Constraints:      13337
996.72/1000.09	c #Conflicts:     203000 | #Constraints:      14337
996.72/1000.09	c bounds 4930164 >= 1784832 @ 864.804
996.72/1000.09	c bounds 4930158 >= 1784832 @ 864.907
996.72/1000.09	c bounds 4930134 >= 1784832 @ 864.978
996.72/1000.09	c bounds 4930086 >= 1784832 @ 865.041
996.72/1000.09	c #Conflicts:     204000 | #Constraints:      15343
996.72/1000.09	c #Conflicts:     205000 | #Constraints:      16344
996.72/1000.09	c #Conflicts:     206000 | #Constraints:      17344
996.72/1000.09	c #Conflicts:     207000 | #Constraints:      18345
996.72/1000.09	c INPROCESSING
996.72/1000.09	c GARBAGE COLLECT
996.72/1000.09	c #Conflicts:     208000 | #Constraints:      10296
996.72/1000.09	c #Conflicts:     209000 | #Constraints:      11300
996.72/1000.09	c #Conflicts:     210000 | #Constraints:      12302
996.72/1000.09	c #Conflicts:     211000 | #Constraints:      13302
996.72/1000.09	c #Conflicts:     212000 | #Constraints:      14307
996.72/1000.09	c #Conflicts:     213000 | #Constraints:      15308
996.72/1000.09	c #Conflicts:     214000 | #Constraints:      16308
996.72/1000.09	c #Conflicts:     215000 | #Constraints:      17309
996.72/1000.09	c #Conflicts:     216000 | #Constraints:      18311
996.72/1000.09	c INPROCESSING
996.72/1000.09	c GARBAGE COLLECT
996.72/1000.09	c rational objective 3.99194e+06
1918.26/1924.64	c bounds 4929990 >= 1784832 @ 989.386
1918.26/1924.64	c bounds 4929798 >= 1784832 @ 989.457
1918.26/1924.64	c #Conflicts:     217000 | #Constraints:      10147
1918.26/1924.64	c #Conflicts:     218000 | #Constraints:      11147
1918.26/1924.64	c #Conflicts:     219000 | #Constraints:      12147
1918.26/1924.64	c #Conflicts:     220000 | #Constraints:      13149
1918.26/1924.64	c #Conflicts:     221000 | #Constraints:      14149
1918.26/1924.64	c #Conflicts:     222000 | #Constraints:      15149
1918.26/1924.64	c #Conflicts:     223000 | #Constraints:      16149
1918.26/1924.64	c #Conflicts:     224000 | #Constraints:      17149
1918.26/1924.64	c #Conflicts:     225000 | #Constraints:      18150
1918.26/1924.64	c #Conflicts:     226000 | #Constraints:      19150
1918.26/1924.64	c INPROCESSING
1918.26/1924.64	c GARBAGE COLLECT
1918.26/1924.64	c #Conflicts:     227000 | #Constraints:      10715
1918.26/1924.64	c #Conflicts:     228000 | #Constraints:      11715
1918.26/1924.64	c #Conflicts:     229000 | #Constraints:      12717
1918.26/1924.64	c #Conflicts:     230000 | #Constraints:      13718
1918.26/1924.64	c #Conflicts:     231000 | #Constraints:      14720
1918.26/1924.64	c #Conflicts:     232000 | #Constraints:      15723
1918.26/1924.64	c #Conflicts:     233000 | #Constraints:      16725
1918.26/1924.64	c #Conflicts:     234000 | #Constraints:      17726
1918.26/1924.65	c #Conflicts:     235000 | #Constraints:      18726
1918.26/1924.65	c #Conflicts:     236000 | #Constraints:      19726
1918.26/1924.65	c INPROCESSING
1918.26/1924.65	c GARBAGE COLLECT
1918.26/1924.65	c #Conflicts:     237000 | #Constraints:      11135
1918.26/1924.65	c #Conflicts:     238000 | #Constraints:      12135
1918.26/1924.65	c #Conflicts:     239000 | #Constraints:      13136
1918.26/1924.65	c #Conflicts:     240000 | #Constraints:      14136
1918.26/1924.65	c #Conflicts:     241000 | #Constraints:      15136
1918.26/1924.65	c #Conflicts:     242000 | #Constraints:      16139
1918.26/1924.65	c #Conflicts:     243000 | #Constraints:      17140
1918.26/1924.65	c #Conflicts:     244000 | #Constraints:      18140
1918.26/1924.65	c #Conflicts:     245000 | #Constraints:      19142
1918.26/1924.65	c #Conflicts:     246000 | #Constraints:      20142
1918.26/1924.65	c INPROCESSING
1918.26/1924.65	c GARBAGE COLLECT
1918.26/1924.65	c bounds 4922368 >= 1784832 @ 1251.13
1918.26/1924.65	c #Conflicts:     247000 | #Constraints:      11362
1918.26/1924.65	c #Conflicts:     248000 | #Constraints:      12364
1918.26/1924.65	c #Conflicts:     249000 | #Constraints:      13371
1918.26/1924.65	c #Conflicts:     250000 | #Constraints:      14371
1918.26/1924.65	c #Conflicts:     251000 | #Constraints:      15373
1918.26/1924.65	c bounds 4822016 >= 1784832 @ 1292.61
1918.26/1924.65	c #Conflicts:     252000 | #Constraints:      16383
1918.26/1924.65	c #Conflicts:     253000 | #Constraints:      17383
1918.26/1924.65	c #Conflicts:     254000 | #Constraints:      18383
1918.26/1924.65	c #Conflicts:     255000 | #Constraints:      19383
1918.26/1924.65	c #Conflicts:     256000 | #Constraints:      20383
1918.26/1924.65	c INPROCESSING
1918.26/1924.65	c GARBAGE COLLECT
1918.26/1924.65	c #Conflicts:     257000 | #Constraints:      11360
1918.26/1924.65	c #Conflicts:     258000 | #Constraints:      12360
1918.26/1924.65	c #Conflicts:     259000 | #Constraints:      13360
1918.26/1924.65	c #Conflicts:     260000 | #Constraints:      14364
1918.26/1924.65	c #Conflicts:     261000 | #Constraints:      15366
1918.26/1924.65	c #Conflicts:     262000 | #Constraints:      16368
1918.26/1924.65	c #Conflicts:     263000 | #Constraints:      17370
1918.26/1924.65	c #Conflicts:     264000 | #Constraints:      18396
1918.26/1924.65	c #Conflicts:     265000 | #Constraints:      19411
1918.26/1924.65	c #Conflicts:     266000 | #Constraints:      20417
1918.26/1924.65	c INPROCESSING
1918.26/1924.65	c GARBAGE COLLECT
1918.26/1924.65	c #Conflicts:     267000 | #Constraints:      11122
1918.26/1924.65	c #Conflicts:     268000 | #Constraints:      12126
1918.26/1924.65	c #Conflicts:     269000 | #Constraints:      13128
1918.26/1924.65	c #Conflicts:     270000 | #Constraints:      14128
1918.26/1924.65	c #Conflicts:     271000 | #Constraints:      15130
1918.26/1924.65	c #Conflicts:     272000 | #Constraints:      16131
1918.26/1924.65	c #Conflicts:     273000 | #Constraints:      17131
1918.26/1924.65	c #Conflicts:     274000 | #Constraints:      18131
1918.26/1924.65	c #Conflicts:     275000 | #Constraints:      19133
1918.26/1924.65	c #Conflicts:     276000 | #Constraints:      20134
1918.26/1924.65	c #Conflicts:     277000 | #Constraints:      21137
1918.26/1924.65	c INPROCESSING
1918.26/1924.65	c GARBAGE COLLECT
1918.26/1924.65	c #Conflicts:     278000 | #Constraints:      11739
1918.26/1924.65	c #Conflicts:     279000 | #Constraints:      12739
1918.26/1924.65	c #Conflicts:     280000 | #Constraints:      13739
1918.26/1924.65	c #Conflicts:     281000 | #Constraints:      14739
1918.26/1924.65	c #Conflicts:     282000 | #Constraints:      15739
1918.26/1924.65	c #Conflicts:     283000 | #Constraints:      16739
1918.26/1924.65	c #Conflicts:     284000 | #Constraints:      17739
1918.26/1924.65	c #Conflicts:     285000 | #Constraints:      18739
1918.26/1924.65	c #Conflicts:     286000 | #Constraints:      19739
1918.26/1924.65	c #Conflicts:     287000 | #Constraints:      20739
1918.26/1924.65	c #Conflicts:     288000 | #Constraints:      21739
1918.26/1924.65	c INPROCESSING
2008.75/2015.46	c GARBAGE COLLECT
2008.75/2015.46	c #Conflicts:     289000 | #Constraints:      12167
2008.75/2015.46	c #Conflicts:     290000 | #Constraints:      13167
2008.75/2015.46	c #Conflicts:     291000 | #Constraints:      14179
2008.75/2015.46	c #Conflicts:     292000 | #Constraints:      15191
2008.75/2015.46	c #Conflicts:     293000 | #Constraints:      16192
2008.75/2015.46	c #Conflicts:     294000 | #Constraints:      17194
2008.75/2015.46	c #Conflicts:     295000 | #Constraints:      18195
2008.75/2015.46	c #Conflicts:     296000 | #Constraints:      19195
2008.75/2015.46	c #Conflicts:     297000 | #Constraints:      20196
2008.75/2015.46	c #Conflicts:     298000 | #Constraints:      21198
2008.75/2015.46	c #Conflicts:     299000 | #Constraints:      22199
2008.75/2015.46	c INPROCESSING
2008.75/2015.46	c GARBAGE COLLECT
2008.75/2015.46	c rational objective 3.99198e+06
3600.01/3611.72	c #Conflicts:     300000 | #Constraints:      12336
3600.01/3611.72	c #Conflicts:     301000 | #Constraints:      13336
3600.01/3611.72	c #Conflicts:     302000 | #Constraints:      14336
3600.01/3611.72	c #Conflicts:     303000 | #Constraints:      15336
3600.01/3611.72	c bounds 4815872 >= 1784832 @ 2019.43
3600.01/3611.72	c bounds 4728832 >= 1784832 @ 2019.56
3600.01/3611.72	c #Conflicts:     304000 | #Constraints:      16338
3600.01/3611.72	c #Conflicts:     305000 | #Constraints:      17338
3600.01/3611.72	c #Conflicts:     306000 | #Constraints:      18339
3600.01/3611.72	c #Conflicts:     307000 | #Constraints:      19340
3600.01/3611.72	c #Conflicts:     308000 | #Constraints:      20340
3600.01/3611.72	c #Conflicts:     309000 | #Constraints:      21340
3600.01/3611.72	c #Conflicts:     310000 | #Constraints:      22340
3600.01/3611.72	c INPROCESSING
3600.01/3611.72	c GARBAGE COLLECT
3600.01/3611.72	c #Conflicts:     311000 | #Constraints:      12305
3600.01/3611.72	c #Conflicts:     312000 | #Constraints:      13307
3600.01/3611.72	c #Conflicts:     313000 | #Constraints:      14308
3600.01/3611.72	c #Conflicts:     314000 | #Constraints:      15308
3600.01/3611.72	c #Conflicts:     315000 | #Constraints:      16308
3600.01/3611.72	c #Conflicts:     316000 | #Constraints:      17308
3600.01/3611.72	c #Conflicts:     317000 | #Constraints:      18308
3600.01/3611.72	c #Conflicts:     318000 | #Constraints:      19308
3600.01/3611.72	c #Conflicts:     319000 | #Constraints:      20308
3600.01/3611.72	c #Conflicts:     320000 | #Constraints:      21308
3600.01/3611.72	c #Conflicts:     321000 | #Constraints:      22308
3600.01/3611.72	c INPROCESSING
3600.01/3611.72	c GARBAGE COLLECT
3600.01/3611.72	c #Conflicts:     322000 | #Constraints:      12131
3600.01/3611.72	c #Conflicts:     323000 | #Constraints:      13132
3600.01/3611.72	c #Conflicts:     324000 | #Constraints:      14134
3600.01/3611.72	c #Conflicts:     325000 | #Constraints:      15135
3600.01/3611.72	c bounds 4707328 >= 1784832 @ 2631.91
3600.01/3611.72	c bounds 4687872 >= 1784832 @ 2635.07
3600.01/3611.72	c #Conflicts:     326000 | #Constraints:      16138
3600.01/3611.72	c #Conflicts:     327000 | #Constraints:      17139
3600.01/3611.72	c #Conflicts:     328000 | #Constraints:      18141
3600.01/3611.72	c #Conflicts:     329000 | #Constraints:      19144
3600.01/3611.72	c #Conflicts:     330000 | #Constraints:      20147
3600.01/3611.72	c #Conflicts:     331000 | #Constraints:      21151
3600.01/3611.72	c #Conflicts:     332000 | #Constraints:      22151
3600.01/3611.72	c bounds 4685824 >= 1784832 @ 2679.86
3600.01/3611.72	c #Conflicts:     333000 | #Constraints:      23154
3600.01/3611.72	c INPROCESSING
3600.01/3611.72	c GARBAGE COLLECT
3600.01/3611.72	c #Conflicts:     334000 | #Constraints:      12706
3600.01/3611.72	c #Conflicts:     335000 | #Constraints:      13707
3600.01/3611.72	c #Conflicts:     336000 | #Constraints:      14709
3600.01/3611.72	c #Conflicts:     337000 | #Constraints:      15717
3600.01/3611.72	c #Conflicts:     338000 | #Constraints:      16718
3600.01/3611.72	c #Conflicts:     339000 | #Constraints:      17718
3600.01/3611.72	c #Conflicts:     340000 | #Constraints:      18719
3600.01/3611.72	c #Conflicts:     341000 | #Constraints:      19720
3600.01/3611.72	c #Conflicts:     342000 | #Constraints:      20721
3600.01/3611.72	c #Conflicts:     343000 | #Constraints:      21721
3600.01/3611.72	c #Conflicts:     344000 | #Constraints:      22721
3600.01/3611.72	c #Conflicts:     345000 | #Constraints:      23722
3600.01/3611.72	c INPROCESSING
3600.01/3611.72	c GARBAGE COLLECT
3600.01/3611.72	c #Conflicts:     346000 | #Constraints:      13099
3600.01/3611.72	c #Conflicts:     347000 | #Constraints:      14099
3600.01/3611.72	c #Conflicts:     348000 | #Constraints:      15099
3600.01/3611.72	c #Conflicts:     349000 | #Constraints:      16099
3600.01/3611.72	c #Conflicts:     350000 | #Constraints:      17099
3600.01/3611.72	c #Conflicts:     351000 | #Constraints:      18099
3600.01/3611.72	c #Conflicts:     352000 | #Constraints:      19101
3600.01/3611.72	c #Conflicts:     353000 | #Constraints:      20103
3600.01/3611.72	c Program interrupted by user.
3600.01/3611.72	c cpu time 3582.33 s
3600.01/3611.72	c deterministic time 407181779436 4.07e+11
3600.01/3611.72	c optimization time 434.458 s
3600.01/3611.72	c total solve time 3147.86 s
3600.01/3611.72	c core-guided solve time 1832.38 s
3600.01/3611.72	c propagation time 3102.18 s
3600.01/3611.72	c conflict analysis time 394.366 s
3600.01/3611.72	c propagations 158255271
3600.01/3611.72	c resolve steps 3501602
3600.01/3611.72	c decisions 10455451
3600.01/3611.72	c conflicts 353122
3600.01/3611.72	c restarts 833
3600.01/3611.72	c inprocessing phases 50
3600.01/3611.72	c input clauses 1
3600.01/3611.72	c input cardinalities 19
3600.01/3611.72	c input general constraints 958
3600.01/3611.72	c input average constraint length 2398.44
3600.01/3611.72	c input average constraint degree 323238113.53
3600.01/3611.72	c learned clauses 156298
3600.01/3611.72	c learned cardinalities 9
3600.01/3611.72	c learned general constraints 198518
3600.01/3611.72	c learned average constraint length 1762.36
3600.01/3611.72	c learned average constraint degree 3146750241.05
3600.01/3611.72	c watched constraints 196120
3600.01/3611.72	c counting constraints 3356
3600.01/3611.72	c gcd simplifications 39891
3600.01/3611.72	c detected cardinalities 3
3600.01/3611.72	c weakened non-implied lits 87357457
3600.01/3611.72	c weakened non-implying lits 5354696
3600.01/3611.72	c original variables 8060
3600.01/3611.72	c clausal propagations 1296795
3600.01/3611.72	c cardinality propagations 656924
3600.01/3611.72	c watched propagations 40715323
3600.01/3611.72	c counting propagations 115013212
3600.01/3611.72	c watch lookups 45826403177
3600.01/3611.72	c watch backjump lookups 42995806716
3600.01/3611.72	c watch checks 282894009006
3600.01/3611.72	c propagation checks 31580425627
3600.01/3611.72	c constraint additions 3546817091
3600.01/3611.72	c trail pops 169057126
3600.01/3611.72	c formula constraints 332
3600.01/3611.72	c learned constraints 352852
3600.01/3611.72	c bound constraints 605
3600.01/3611.72	c core-guided constraints 41
3600.01/3611.72	c encountered formula constraints 1652063
3600.01/3611.72	c encountered learned constraints 1987547
3600.01/3611.72	c encountered bound constraints 19854
3600.01/3611.72	c encountered core-guided constraints 49032
3600.01/3611.72	c LP total time 77.8618 s
3600.01/3611.72	c LP solve time 68.36 s
3600.01/3611.72	c LP constraints added 811
3600.01/3611.72	c LP constraints removed 407
3600.01/3611.72	c LP pivots internal 353257
3600.01/3611.72	c LP pivots root 196713
3600.01/3611.72	c LP calls 1871
3600.01/3611.72	c LP optimalities 186
3600.01/3611.72	c LP no pivot count 1
3600.01/3611.72	c LP infeasibilities 1577
3600.01/3611.72	c LP valid Farkas constraints 1515
3600.01/3611.72	c LP learned Farkas constraints 282
3600.01/3611.72	c LP basis resets 159
3600.01/3611.72	c LP cycling count 2
3600.01/3611.72	c LP singular count 101
3600.01/3611.72	c LP no primal count 0
3600.01/3611.72	c LP no farkas count 55
3600.01/3611.72	c LP other issue count 1
3600.01/3611.72	c LP Gomory cuts 176
3600.01/3611.72	c LP learned cuts 303
3600.01/3611.72	c LP deleted cuts 407
3600.01/3611.72	c LP encountered Gomory constraints 20026
3600.01/3611.72	c LP encountered Farkas constraints 121429
3600.01/3611.72	c LP encountered learned Farkas constraints 4491
3600.01/3611.72	c CG auxiliary variables introduced 20
3600.01/3611.72	c CG solutions found 586
3600.01/3611.72	c CG cores constructed 19
3600.01/3611.72	c CG core cardinality constraints returned 0
3600.01/3611.72	c CG unit cores 0
3600.01/3611.72	c CG single cores 18
3600.01/3611.72	c CG blocks removed during cardinality reduction 0
3600.01/3611.72	c CG first core best 0
3600.01/3611.72	c CG decision core best 0
3600.01/3611.72	c CG core reduction tie 1
3600.01/3611.72	c CG core degree average 1.00
3600.01/3611.72	c CG core slack average 26.89
3600.01/3611.72	s SATISFIABLE
3600.01/3611.72	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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7813 x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 x7821 -x7822 -x7823 -x7824 -x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 x7887 -x7888 -x7889 -x7890 -x7891 -x7892 x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 x7920 -x7921 -x7922 -x7923 x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 x8011 x8012 -x8013 -x8014 x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060

Verifier Data 

OK	4685824

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60822 MiB free)
  memory of node 1: 64510 MiB (61457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455058-1721456524/watcher-4455058-1721456524 -o /tmp/evaluation-result-4455058-1721456524/solver-4455058-1721456524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067952 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455058-1721456524.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1067997, runsolver pid=1067990

[startup+0.103383 s]*
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125152548/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=45756 memory=16224 CPUtime=0.09 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 3062 0 0 0 8 1 0 0 20 0 1 0 197822163 46854144 4056 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 11439 4056 1824 922 0 3391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45756 KiB
Current children cumulated memory: 16224 KiB

[startup+0.204707 s]*
/proc/loadavg: 1.09 2.00 3.15 5/258 1068015
/proc/meminfo: memFree=125120472/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=46716 memory=20384 CPUtime=0.2 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 3559 0 0 0 18 2 0 0 20 0 1 0 197822163 47837184 5096 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 11679 5096 1824 922 0 3631 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46716 KiB
Current children cumulated memory: 20384 KiB

[startup+0.30521 s]*
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125088264/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=47956 memory=21700 CPUtime=0.3 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 3877 0 0 0 28 2 0 0 20 0 1 0 197822163 49106944 5425 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 11989 5425 1824 922 0 3941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47956 KiB
Current children cumulated memory: 21700 KiB

[startup+0.70017 s]
/proc/loadavg: 1.09 2.00 3.15 5/258 1068015
/proc/meminfo: memFree=125076976/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=52992 memory=26900 CPUtime=0.68 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 4673 0 0 0 65 3 0 0 20 0 1 0 197822163 54263808 6725 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 13248 6725 1824 922 0 5200 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52992 KiB
Current children cumulated memory: 26900 KiB

[startup+1.50018 s]
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125058600/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=60500 memory=33348 CPUtime=1.48 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 5755 0 0 0 143 5 0 0 20 0 1 0 197822163 61952000 8337 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 15125 8337 1840 922 0 7077 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60500 KiB
Current children cumulated memory: 33348 KiB

[startup+3.10597 s]
/proc/loadavg: 1.09 2.00 3.15 6/258 1068016
/proc/meminfo: memFree=124958700/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=70400 memory=40132 CPUtime=3.08 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 6966 0 0 0 298 10 0 0 20 0 1 0 197822163 72089600 10033 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 17600 10033 1840 922 0 9552 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70400 KiB
Current children cumulated memory: 40132 KiB

[startup+6.30019 s]
/proc/loadavg: 1.32 2.03 3.15 6/258 1068016
/proc/meminfo: memFree=124826672/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=89960 memory=60044 CPUtime=6.27 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 9351 0 0 0 611 16 0 0 20 0 1 0 197822163 92119040 15011 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 22490 15011 1840 922 0 14442 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89960 KiB
Current children cumulated memory: 60044 KiB

[startup+12.7002 s]
/proc/loadavg: 1.54 2.06 3.16 6/258 1068018
/proc/meminfo: memFree=124667952/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=116012 memory=72728 CPUtime=12.64 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 11399 0 0 0 1230 34 0 0 20 0 1 0 197822163 118796288 18182 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 29003 18182 1958 922 0 20955 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 116012 KiB
Current children cumulated memory: 72728 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 2.18 3.18 6/258 1068019
/proc/meminfo: memFree=124468232/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=120760 memory=82612 CPUtime=25.4 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 14094 0 0 0 2478 62 0 0 20 0 1 0 197822163 123658240 20653 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 30190 20653 1958 922 0 22142 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 120760 KiB
Current children cumulated memory: 82612 KiB

[startup+51.106 s]
/proc/loadavg: 2.78 2.32 3.20 6/258 1068024
/proc/meminfo: memFree=124304300/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=127248 memory=97280 CPUtime=50.92 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 17657 0 0 0 4982 110 0 0 20 0 1 0 197822163 130301952 24320 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 31812 24320 1958 922 0 23764 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 127248 KiB
Current children cumulated memory: 97280 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.60 3.25 6/257 1068033
/proc/meminfo: memFree=124062032/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=171608 memory=123300 CPUtime=101.94 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 23889 0 0 0 10018 176 0 0 20 0 1 0 197822163 175726592 30825 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 42902 30825 1958 922 0 34854 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 171608 KiB
Current children cumulated memory: 123300 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.87 3.31 6/257 1068044
/proc/meminfo: memFree=123845936/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=177424 memory=147552 CPUtime=161.74 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 30022 0 0 0 15927 247 0 0 20 0 1 0 197822163 181682176 36888 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 44356 36888 1958 922 0 36308 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 177424 KiB
Current children cumulated memory: 147552 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.11 3.36 6/259 1068438
/proc/meminfo: memFree=123683004/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=183652 memory=158372 CPUtime=221.54 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 35129 0 0 0 21854 300 0 0 20 0 1 0 197822163 188059648 39593 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 45913 39593 1958 922 0 37865 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 183652 KiB
Current children cumulated memory: 158372 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.31 3.42 6/256 1068448
/proc/meminfo: memFree=123589984/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=236288 memory=164576 CPUtime=281.33 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 39180 0 0 0 27782 351 0 0 20 0 1 0 197822163 241958912 41144 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 59072 41144 1958 922 0 51024 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 236288 KiB
Current children cumulated memory: 164576 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.45 3.46 6/257 1068460
/proc/meminfo: memFree=123317860/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=247664 memory=186388 CPUtime=341.13 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 43027 0 0 0 33712 401 0 0 20 0 1 0 197822163 253607936 46597 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 61916 46597 1958 922 0 53868 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 247664 KiB
Current children cumulated memory: 186388 KiB

[startup+402.3 s]
/proc/loadavg: 4.89 3.79 3.58 6/259 1068640
/proc/meminfo: memFree=123234612/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=247756 memory=192536 CPUtime=400.94 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 47133 0 0 0 39641 453 0 0 20 0 1 0 197822163 253702144 48134 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 61939 48134 1958 922 0 53891 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 247756 KiB
Current children cumulated memory: 192536 KiB

[startup+462.3 s]
/proc/loadavg: 4.78 3.94 3.64 6/260 1068651
/proc/meminfo: memFree=123189936/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=254676 memory=199324 CPUtime=460.75 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 50706 0 0 0 45572 503 0 0 20 0 1 0 197822163 260788224 49831 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 63669 49831 1958 922 0 55621 0

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

Current children cumulated memory: 409884 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/256 1069718
/proc/meminfo: memFree=119862868/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=469440 memory=428384 CPUtime=2912.74 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 87506 0 0 0 289730 1544 0 0 20 0 1 0 197822163 480706560 107096 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 117360 107096 1958 922 0 109312 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 469440 KiB
Current children cumulated memory: 428384 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/256 1069728
/proc/meminfo: memFree=119840164/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=609160 memory=450760 CPUtime=2972.55 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 89644 0 0 0 295676 1579 0 0 20 0 1 0 197822163 623779840 112690 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 152290 112690 1958 922 0 144242 0
Current children cumulated CPU time: 2972.55 s
Current children cumulated vsize: 609160 KiB
Current children cumulated memory: 450760 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.10 6/256 1069739
/proc/meminfo: memFree=119818012/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=615816 memory=474052 CPUtime=3032.36 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 91068 0 0 0 301621 1615 0 0 20 0 1 0 197822163 630595584 118513 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 153954 118513 1958 922 0 145906 0
Current children cumulated CPU time: 3032.36 s
Current children cumulated vsize: 615816 KiB
Current children cumulated memory: 474052 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/256 1069749
/proc/meminfo: memFree=119790148/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=625164 memory=501876 CPUtime=3092.16 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 92742 0 0 0 307570 1646 0 0 20 0 1 0 197822163 640167936 125469 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 156291 125469 1958 922 0 148243 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 625164 KiB
Current children cumulated memory: 501876 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/256 1069760
/proc/meminfo: memFree=119733024/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=642576 memory=524984 CPUtime=3151.95 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 95547 0 0 0 313515 1680 0 0 20 0 1 0 197822163 657997824 131246 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 160644 131246 1958 922 0 152596 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 642576 KiB
Current children cumulated memory: 524984 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/256 1069770
/proc/meminfo: memFree=119682080/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528136 CPUtime=3211.76 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 95980 0 0 0 319469 1707 0 0 20 0 1 0 197822163 661245952 132034 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132034 1958 922 0 153389 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528136 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/254 1069780
/proc/meminfo: memFree=119639616/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3271.59 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 96145 0 0 0 325436 1723 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3271.59 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/255 1069792
/proc/meminfo: memFree=119580972/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3331.41 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 96315 0 0 0 331406 1735 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/255 1069802
/proc/meminfo: memFree=119520844/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3391.23 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 96491 0 0 0 337378 1745 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.14 4.10 6/255 1069812
/proc/meminfo: memFree=119522720/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3451.06 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 96672 0 0 0 343353 1753 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3451.06 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/257 1069827
/proc/meminfo: memFree=119513048/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3510.89 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 96858 0 0 0 349329 1760 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3510.89 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/257 1069837
/proc/meminfo: memFree=119512516/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3570.71 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 97056 0 0 0 355303 1768 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3570.71 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 1069949
/proc/meminfo: memFree=123000248/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3600.01 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 97060 0 0 0 358230 1771 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.73 s]
# the end of solver process 1067997 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3582.33 s, system=17.7229 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.7 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 1069949
/proc/meminfo: memFree=123000248/131524600 swapFree=131071996/131071996
[pid=1067997] ppid=1067990 vsize=645748 memory=528160 CPUtime=3600.01 cores=0,2
/proc/1067997/stat : 1067997 (roundingsat) R 1067990 1067997 1067942 0 -1 4194304 97060 0 0 0 358230 1771 0 0 20 0 1 0 197822163 661245952 132040 134679101440 4194304 7968373 140726270440320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 15040512 140726270444476 140726270444640 140726270444640 140726270451657 0
/proc/1067997/statm: 161437 132040 1958 922 0 153389 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 645748 KiB
Current children cumulated memory: 528160 KiB

Child status: 0

Real time (s): 3611.73
CPU time (s): 3600.06
CPU user time (s): 3582.33
CPU system time (s): 17.7229
CPU usage (%): 99.6768
Max. virtual memory (cumulated for all children) (KiB): 645748
Max. memory (cumulated for all children) (KiB): 528160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.33
system time used= 17.7229
maximum resident set size= 528160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97069
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= 131
involuntary context switches= 25440


# summary of solver processes directly reported to runsolver:
#   pid: 1067997
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3582.33
#   total CPU system time (s): 17.7229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93572 second user time and 18.6914 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-20 08:22:17
IDJOB=4455058
IDBENCH=146743
IDSOLVER=3084
FILE ID=nodeC033/4455058-1721456524
RUNJOBID= nodeC033-1721456537-1067952
SLURM_JOB_ID= 7545693
Free space on /tmp= 890084 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455058-1721456524/watcher-4455058-1721456524 -o /tmp/evaluation-result-4455058-1721456524/solver-4455058-1721456524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067952 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455058-1721456524.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=32815579

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3548.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3625.517
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3844.931
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3738.493
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3618.891
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3927.709
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3735.689
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3754.771
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125226188 kB
MemAvailable:   129626196 kB
Buffers:          600156 kB
Cached:          4592616 kB
SwapCached:            0 kB
Active:          1086280 kB
Inactive:        4482084 kB
Active(anon):       1468 kB
Inactive(anon):   420356 kB
Active(file):    1084812 kB
Inactive(file):  4061728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17684 kB
Writeback:             0 kB
AnonPages:        373316 kB
Mapped:           107872 kB
Shmem:             45908 kB
KReclaimable:     186896 kB
Slab:             311028 kB
SReclaimable:     186896 kB
SUnreclaim:       124132 kB
KernelStack:        3920 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     798696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC033 at 2024-07-20 09:22:28