Trace number 4454375

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
pb-oll-rs 2024-07-19SAT (TO)2642 3600.03 3610.01

DiagnosticValue
AM1LB263
LOWERBOUND1531
NAM1S142
NCORES290
NEXHAUSTED1
NPBCORES11
NPBREFORM1
NTRIMMED103

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM9e8345160c873e2ecbeb2fceb1264fd1
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 benchmark2642
Best CPU time to get the best result obtained on this benchmark0.026526
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
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.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 907 #constraints 663
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -175 @ 0.002394
0.00/0.00	c stratification level: 1
0.00/0.01	c bounds - >= 92 @ 0.005271
0.00/0.01	c bounds - >= 107 @ 0.006294
0.00/0.01	c bounds - >= 207 @ 0.006834
0.00/0.01	c bounds - >= 208 @ 0.006915
0.00/0.01	c bounds - >= 209 @ 0.006915
0.00/0.01	c bounds - >= 210 @ 0.006958
0.00/0.01	c bounds - >= 211 @ 0.00733
0.00/0.01	c bounds - >= 212 @ 0.007715
0.00/0.01	c bounds - >= 213 @ 0.00791
0.00/0.01	c bounds - >= 214 @ 0.00791
0.00/0.01	c bounds - >= 215 @ 0.00793
0.00/0.01	c bounds - >= 216 @ 0.00793
0.00/0.01	c finalizing WCE round: reformulating cores
0.78/0.88	c #Conflicts:       1000 | #Constraints:       1851
0.78/0.88	c #Conflicts:       2000 | #Constraints:       2853
0.78/0.88	c INPROCESSING
0.78/0.88	c GARBAGE COLLECT
0.78/0.88	c #Conflicts:       3000 | #Constraints:       2847
0.78/0.88	c bounds 2648 >= 216 @ 0.750137
0.78/0.88	c bounds 2648 >= 316 @ 0.752546
0.78/0.88	c bounds 2648 >= 317 @ 0.753327
0.78/0.88	c bounds 2648 >= 318 @ 0.755535
0.78/0.88	c bounds 2648 >= 319 @ 0.757537
0.78/0.88	c bounds 2648 >= 320 @ 0.759894
0.78/0.88	c bounds 2648 >= 321 @ 0.762094
0.78/0.88	c bounds 2648 >= 322 @ 0.76327
0.78/0.88	c bounds 2648 >= 323 @ 0.765482
0.78/0.88	c bounds 2648 >= 324 @ 0.768735
0.78/0.88	c bounds 2648 >= 325 @ 0.775073
0.78/0.88	c bounds 2648 >= 424 @ 0.785945
0.78/0.88	c bounds 2648 >= 425 @ 0.787047
0.78/0.88	c bounds 2648 >= 426 @ 0.791079
0.78/0.88	c bounds 2648 >= 427 @ 0.79169
0.78/0.88	c bounds 2648 >= 428 @ 0.793243
0.78/0.88	c bounds 2648 >= 429 @ 0.794777
0.78/0.88	c bounds 2648 >= 430 @ 0.796306
0.78/0.88	c bounds 2648 >= 431 @ 0.797841
0.78/0.88	c bounds 2648 >= 432 @ 0.799446
0.78/0.88	c bounds 2648 >= 525 @ 0.801203
0.78/0.88	c bounds 2648 >= 526 @ 0.807916
0.78/0.88	c bounds 2648 >= 531 @ 0.809802
0.78/0.88	c bounds 2648 >= 532 @ 0.811441
0.78/0.88	c finalizing WCE round: reformulating cores
8.37/8.45	c #Conflicts:       4000 | #Constraints:       3973
8.37/8.45	c INPROCESSING
8.37/8.45	c GARBAGE COLLECT
8.37/8.45	c #Conflicts:       5000 | #Constraints:       3334
8.37/8.45	c #Conflicts:       6000 | #Constraints:       4338
8.37/8.45	c INPROCESSING
8.37/8.45	c GARBAGE COLLECT
8.37/8.45	c #Conflicts:       7000 | #Constraints:       3332
8.37/8.45	c #Conflicts:       8000 | #Constraints:       4334
8.37/8.45	c #Conflicts:       9000 | #Constraints:       5338
8.37/8.45	c INPROCESSING
8.37/8.45	c GARBAGE COLLECT
8.37/8.45	c #Conflicts:      10000 | #Constraints:       4031
8.37/8.45	c #Conflicts:      11000 | #Constraints:       5033
8.37/8.45	c #Conflicts:      12000 | #Constraints:       6038
8.37/8.45	c INPROCESSING
8.37/8.45	c GARBAGE COLLECT
8.37/8.45	c #Conflicts:      13000 | #Constraints:       4470
8.37/8.45	c #Conflicts:      14000 | #Constraints:       5472
8.37/8.45	c #Conflicts:      15000 | #Constraints:       6474
8.37/8.45	c INPROCESSING
8.37/8.45	c GARBAGE COLLECT
8.37/8.45	c #Conflicts:      16000 | #Constraints:       4706
8.37/8.45	c #Conflicts:      17000 | #Constraints:       5708
8.37/8.45	c #Conflicts:      18000 | #Constraints:       6710
8.37/8.45	c INPROCESSING
8.37/8.45	c GARBAGE COLLECT
8.37/8.45	c #Conflicts:      19000 | #Constraints:       4736
8.37/8.45	c #Conflicts:      20000 | #Constraints:       5738
8.37/8.45	c bounds 2643 >= 533 @ 6.5388
8.37/8.45	c bounds 2643 >= 626 @ 6.54652
8.37/8.45	c bounds 2643 >= 627 @ 6.55294
8.37/8.45	c bounds 2643 >= 634 @ 6.56162
8.37/8.45	c bounds 2643 >= 720 @ 6.56379
8.37/8.45	c bounds 2643 >= 726 @ 6.5687
8.37/8.45	c bounds 2643 >= 727 @ 6.56948
8.37/8.45	c bounds 2643 >= 728 @ 6.59909
8.37/8.45	c bounds 2643 >= 729 @ 6.60905
8.37/8.45	c bounds 2643 >= 730 @ 6.61099
8.37/8.45	c bounds 2643 >= 731 @ 6.6151
8.37/8.45	c bounds 2643 >= 732 @ 6.8597
8.37/8.45	c bounds 2643 >= 733 @ 6.89247
8.37/8.45	c bounds 2643 >= 734 @ 6.89481
8.37/8.45	c bounds 2643 >= 735 @ 6.90008
8.37/8.45	c bounds 2643 >= 736 @ 6.90176
8.37/8.45	c bounds 2643 >= 737 @ 6.90245
8.37/8.45	c bounds 2643 >= 738 @ 6.90407
8.37/8.45	c bounds 2643 >= 739 @ 6.90475
8.37/8.45	c bounds 2643 >= 740 @ 6.90544
8.37/8.45	c bounds 2643 >= 741 @ 6.90663
8.37/8.45	c bounds 2643 >= 742 @ 6.90806
8.37/8.45	c bounds 2643 >= 743 @ 6.9095
8.37/8.45	c bounds 2643 >= 744 @ 6.91146
8.37/8.45	c bounds 2643 >= 818 @ 6.91218
8.37/8.45	c bounds 2643 >= 824 @ 6.95187
8.37/8.45	c bounds 2643 >= 827 @ 6.95862
8.37/8.45	c bounds 2643 >= 828 @ 7.04213
8.37/8.45	c bounds 2643 >= 829 @ 7.074
8.37/8.45	c bounds 2643 >= 830 @ 7.10279
8.37/8.45	c #Conflicts:      21000 | #Constraints:       6923
8.37/8.45	c bounds 2643 >= 831 @ 7.24022
8.37/8.45	c bounds 2643 >= 832 @ 7.28798
8.37/8.45	c bounds 2643 >= 833 @ 7.28966
8.37/8.45	c bounds 2643 >= 834 @ 7.29383
8.37/8.45	c bounds 2643 >= 835 @ 7.29885
8.37/8.45	c bounds 2643 >= 840 @ 7.31061
8.37/8.45	c bounds 2643 >= 841 @ 7.31784
8.37/8.45	c bounds 2643 >= 842 @ 7.32709
8.37/8.45	c bounds 2643 >= 843 @ 7.33134
8.37/8.45	c bounds 2643 >= 844 @ 7.33427
8.37/8.45	c bounds 2643 >= 845 @ 7.3384
8.37/8.45	c bounds 2643 >= 846 @ 7.34235
8.37/8.45	c bounds 2643 >= 847 @ 7.34555
8.37/8.45	c bounds 2643 >= 848 @ 7.3495
8.37/8.45	c bounds 2643 >= 849 @ 7.35379
8.37/8.45	c bounds 2643 >= 850 @ 7.35798
8.37/8.45	c bounds 2643 >= 851 @ 7.36185
8.37/8.45	c bounds 2643 >= 852 @ 7.36601
8.37/8.45	c bounds 2643 >= 853 @ 7.37001
8.37/8.45	c bounds 2643 >= 854 @ 7.37429
8.37/8.45	c bounds 2643 >= 855 @ 7.37841
8.37/8.45	c bounds 2643 >= 856 @ 7.38258
8.37/8.45	c bounds 2643 >= 857 @ 7.38659
8.37/8.45	c bounds 2643 >= 858 @ 7.39013
8.37/8.45	c bounds 2643 >= 859 @ 7.3936
8.37/8.45	c bounds 2643 >= 860 @ 7.3974
8.37/8.45	c bounds 2643 >= 919 @ 7.4019
8.37/8.45	c bounds 2643 >= 927 @ 7.40286
8.37/8.45	c bounds 2643 >= 934 @ 7.4589
8.37/8.45	c bounds 2643 >= 935 @ 7.48346
8.37/8.45	c bounds 2643 >= 936 @ 7.49579
8.37/8.45	c bounds 2643 >= 937 @ 7.50673
8.37/8.45	c bounds 2643 >= 938 @ 7.51956
8.37/8.45	c bounds 2643 >= 939 @ 7.53293
8.37/8.45	c bounds 2643 >= 940 @ 7.54448
8.37/8.45	c bounds 2643 >= 941 @ 7.55608
8.37/8.45	c bounds 2643 >= 942 @ 7.56785
8.37/8.45	c bounds 2643 >= 943 @ 7.57841
8.37/8.45	c bounds 2643 >= 944 @ 7.58878
8.37/8.45	c bounds 2643 >= 945 @ 7.59945
8.37/8.45	c bounds 2643 >= 946 @ 7.61064
8.37/8.45	c bounds 2643 >= 947 @ 7.62133
8.37/8.45	c bounds 2643 >= 948 @ 7.63338
8.37/8.45	c bounds 2643 >= 949 @ 7.64546
8.37/8.45	c bounds 2643 >= 950 @ 7.65729
8.37/8.45	c bounds 2643 >= 951 @ 7.6708
8.37/8.45	c bounds 2643 >= 952 @ 7.68309
8.37/8.45	c bounds 2643 >= 953 @ 7.69469
8.37/8.45	c bounds 2643 >= 954 @ 7.7067
8.37/8.45	c bounds 2643 >= 955 @ 7.71834
8.37/8.45	c bounds 2643 >= 956 @ 7.72954
8.37/8.45	c bounds 2643 >= 957 @ 7.74138
8.37/8.45	c bounds 2643 >= 958 @ 7.75242
8.37/8.45	c bounds 2643 >= 959 @ 7.76437
8.37/8.45	c bounds 2643 >= 960 @ 7.77628
8.37/8.45	c bounds 2643 >= 1027 @ 7.79178
8.37/8.45	c bounds 2643 >= 1028 @ 7.87741
8.37/8.45	c bounds 2643 >= 1034 @ 7.89062
8.37/8.45	c bounds 2643 >= 1035 @ 7.90992
8.37/8.45	c bounds 2643 >= 1036 @ 7.93312
8.37/8.45	c bounds 2643 >= 1037 @ 7.95735
8.37/8.45	c bounds 2643 >= 1038 @ 8.01883
8.37/8.45	c bounds 2643 >= 1039 @ 8.03185
8.37/8.45	c bounds 2643 >= 1040 @ 8.05471
8.37/8.45	c bounds 2643 >= 1041 @ 8.08667
8.37/8.45	c bounds 2643 >= 1042 @ 8.08927
8.96/9.06	c bounds 2643 >= 1043 @ 8.09407
8.96/9.06	c bounds 2643 >= 1044 @ 8.09681
8.96/9.06	c bounds 2643 >= 1045 @ 8.10127
8.96/9.06	c bounds 2643 >= 1046 @ 8.11737
8.96/9.06	c bounds 2643 >= 1047 @ 8.13977
8.96/9.06	c bounds 2643 >= 1048 @ 8.15435
8.96/9.06	c bounds 2643 >= 1049 @ 8.16696
8.96/9.06	c bounds 2643 >= 1050 @ 8.18183
8.96/9.06	c bounds 2643 >= 1051 @ 8.19814
8.96/9.06	c bounds 2643 >= 1052 @ 8.21135
8.96/9.06	c bounds 2643 >= 1053 @ 8.22532
8.96/9.06	c bounds 2643 >= 1054 @ 8.23996
8.96/9.06	c bounds 2643 >= 1055 @ 8.25324
8.96/9.06	c bounds 2643 >= 1056 @ 8.26735
8.96/9.06	c bounds 2643 >= 1057 @ 8.28081
8.96/9.06	c bounds 2643 >= 1058 @ 8.29523
8.96/9.06	c INPROCESSING
8.96/9.06	c GARBAGE COLLECT
8.96/9.06	c bounds 2643 >= 1059 @ 8.34423
8.96/9.06	c bounds 2643 >= 1060 @ 8.34992
8.96/9.06	c bounds 2643 >= 1061 @ 8.35608
8.96/9.06	c bounds 2643 >= 1062 @ 8.36099
8.96/9.06	c bounds 2643 >= 1124 @ 8.36775
8.96/9.06	c bounds 2643 >= 1127 @ 8.36961
8.96/9.06	c bounds 2643 >= 1136 @ 8.40603
8.96/9.06	c bounds 2643 >= 1137 @ 8.43614
8.96/9.06	c bounds 2643 >= 1138 @ 8.4514
8.96/9.06	c bounds 2643 >= 1139 @ 8.46328
8.96/9.06	c bounds 2643 >= 1140 @ 8.47069
8.96/9.06	c bounds 2643 >= 1141 @ 8.54424
8.96/9.06	c bounds 2643 >= 1142 @ 8.58175
8.96/9.06	c bounds 2643 >= 1143 @ 8.59326
8.96/9.06	c bounds 2643 >= 1144 @ 8.60349
8.96/9.06	c #Conflicts:      22000 | #Constraints:       4935
8.96/9.06	c bounds 2643 >= 1145 @ 8.66892
8.96/9.06	c finalizing WCE round: reformulating cores
43.08/43.29	c #Conflicts:      23000 | #Constraints:       5953
43.08/43.29	c #Conflicts:      24000 | #Constraints:       6955
43.08/43.29	c #Conflicts:      25000 | #Constraints:       7957
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c bounds 2642 >= 727 @ 10.0888
43.08/43.29	c #Conflicts:      26000 | #Constraints:       5453
43.08/43.29	c #Conflicts:      27000 | #Constraints:       6455
43.08/43.29	c #Conflicts:      28000 | #Constraints:       7457
43.08/43.29	c #Conflicts:      29000 | #Constraints:       8461
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      30000 | #Constraints:       5800
43.08/43.29	c #Conflicts:      31000 | #Constraints:       6802
43.08/43.29	c #Conflicts:      32000 | #Constraints:       7804
43.08/43.29	c #Conflicts:      33000 | #Constraints:       8808
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      34000 | #Constraints:       5993
43.08/43.29	c #Conflicts:      35000 | #Constraints:       6995
43.08/43.29	c #Conflicts:      36000 | #Constraints:       7997
43.08/43.29	c #Conflicts:      37000 | #Constraints:       9001
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      38000 | #Constraints:       6001
43.08/43.29	c #Conflicts:      39000 | #Constraints:       7003
43.08/43.29	c #Conflicts:      40000 | #Constraints:       8005
43.08/43.29	c #Conflicts:      41000 | #Constraints:       9009
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      42000 | #Constraints:       5826
43.08/43.29	c #Conflicts:      43000 | #Constraints:       6828
43.08/43.29	c #Conflicts:      44000 | #Constraints:       7832
43.08/43.29	c #Conflicts:      45000 | #Constraints:       8834
43.08/43.29	c #Conflicts:      46000 | #Constraints:       9836
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      47000 | #Constraints:       6431
43.08/43.29	c #Conflicts:      48000 | #Constraints:       7433
43.08/43.29	c #Conflicts:      49000 | #Constraints:       8435
43.08/43.29	c #Conflicts:      50000 | #Constraints:       9439
43.08/43.29	c #Conflicts:      51000 | #Constraints:      10441
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      52000 | #Constraints:       6847
43.08/43.29	c #Conflicts:      53000 | #Constraints:       7849
43.08/43.29	c #Conflicts:      54000 | #Constraints:       8851
43.08/43.29	c #Conflicts:      55000 | #Constraints:       9855
43.08/43.29	c #Conflicts:      56000 | #Constraints:      10857
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      57000 | #Constraints:       7066
43.08/43.29	c #Conflicts:      58000 | #Constraints:       8068
43.08/43.29	c #Conflicts:      59000 | #Constraints:       9070
43.08/43.29	c #Conflicts:      60000 | #Constraints:      10074
43.08/43.29	c #Conflicts:      61000 | #Constraints:      11076
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      62000 | #Constraints:       7086
43.08/43.29	c #Conflicts:      63000 | #Constraints:       8088
43.08/43.29	c #Conflicts:      64000 | #Constraints:       9090
43.08/43.29	c #Conflicts:      65000 | #Constraints:      10094
43.08/43.29	c #Conflicts:      66000 | #Constraints:      11096
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      67000 | #Constraints:       6899
43.08/43.29	c #Conflicts:      68000 | #Constraints:       7901
43.08/43.29	c #Conflicts:      69000 | #Constraints:       8905
43.08/43.29	c #Conflicts:      70000 | #Constraints:       9907
43.08/43.29	c #Conflicts:      71000 | #Constraints:      10909
43.08/43.29	c #Conflicts:      72000 | #Constraints:      11913
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      73000 | #Constraints:       7509
43.08/43.29	c #Conflicts:      74000 | #Constraints:       8511
43.08/43.29	c #Conflicts:      75000 | #Constraints:       9513
43.08/43.29	c #Conflicts:      76000 | #Constraints:      10517
43.08/43.29	c #Conflicts:      77000 | #Constraints:      11519
43.08/43.29	c #Conflicts:      78000 | #Constraints:      12521
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      79000 | #Constraints:       7932
43.08/43.29	c #Conflicts:      80000 | #Constraints:       8934
43.08/43.29	c #Conflicts:      81000 | #Constraints:       9936
43.08/43.29	c #Conflicts:      82000 | #Constraints:      10940
43.08/43.29	c #Conflicts:      83000 | #Constraints:      11942
43.08/43.29	c #Conflicts:      84000 | #Constraints:      12944
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      85000 | #Constraints:       8149
43.08/43.29	c #Conflicts:      86000 | #Constraints:       9151
43.08/43.29	c #Conflicts:      87000 | #Constraints:      10153
43.08/43.29	c #Conflicts:      88000 | #Constraints:      11157
43.08/43.29	c #Conflicts:      89000 | #Constraints:      12159
43.08/43.29	c #Conflicts:      90000 | #Constraints:      13161
43.08/43.29	c INPROCESSING
43.08/43.29	c GARBAGE COLLECT
43.08/43.29	c #Conflicts:      91000 | #Constraints:       8169
43.08/43.29	c #Conflicts:      92000 | #Constraints:       9171
65.52/65.74	c #Conflicts:      93000 | #Constraints:      10173
65.52/65.74	c #Conflicts:      94000 | #Constraints:      11177
65.52/65.74	c #Conflicts:      95000 | #Constraints:      12179
65.52/65.74	c #Conflicts:      96000 | #Constraints:      13181
65.52/65.74	c INPROCESSING
65.52/65.74	c GARBAGE COLLECT
65.52/65.74	c #Conflicts:      97000 | #Constraints:       7975
65.52/65.74	c #Conflicts:      98000 | #Constraints:       8977
65.52/65.74	c #Conflicts:      99000 | #Constraints:       9981
65.52/65.74	c #Conflicts:     100000 | #Constraints:      10983
65.52/65.74	c #Conflicts:     101000 | #Constraints:      11985
65.52/65.74	c #Conflicts:     102000 | #Constraints:      12989
65.52/65.74	c #Conflicts:     103000 | #Constraints:      13991
65.52/65.74	c INPROCESSING
65.52/65.74	c GARBAGE COLLECT
65.52/65.74	c #Conflicts:     104000 | #Constraints:       8606
65.52/65.74	c #Conflicts:     105000 | #Constraints:       9608
65.52/65.74	c #Conflicts:     106000 | #Constraints:      10610
65.52/65.74	c #Conflicts:     107000 | #Constraints:      11614
65.52/65.74	c #Conflicts:     108000 | #Constraints:      12616
65.52/65.74	c #Conflicts:     109000 | #Constraints:      13618
65.52/65.74	c #Conflicts:     110000 | #Constraints:      14622
65.52/65.74	c INPROCESSING
65.52/65.74	c GARBAGE COLLECT
65.52/65.74	c #Conflicts:     111000 | #Constraints:       9023
65.52/65.74	c #Conflicts:     112000 | #Constraints:      10025
65.52/65.74	c #Conflicts:     113000 | #Constraints:      11027
65.52/65.74	c #Conflicts:     114000 | #Constraints:      12031
65.52/65.74	c #Conflicts:     115000 | #Constraints:      13033
65.52/65.74	c #Conflicts:     116000 | #Constraints:      14035
65.52/65.74	c #Conflicts:     117000 | #Constraints:      15039
65.52/65.74	c INPROCESSING
65.52/65.74	c GARBAGE COLLECT
65.52/65.74	c #Conflicts:     118000 | #Constraints:       9239
65.52/65.74	c #Conflicts:     119000 | #Constraints:      10241
65.52/65.74	c #Conflicts:     120000 | #Constraints:      11243
65.52/65.74	c #Conflicts:     121000 | #Constraints:      12247
65.52/65.74	c #Conflicts:     122000 | #Constraints:      13249
65.52/65.74	c #Conflicts:     123000 | #Constraints:      14251
65.52/65.74	c bounds 2642 >= 1146 @ 60.1756
65.52/65.74	c bounds 2642 >= 1148 @ 60.1904
65.52/65.74	c bounds 2642 >= 1149 @ 60.1936
65.52/65.74	c bounds 2642 >= 1150 @ 60.1956
65.52/65.74	c bounds 2642 >= 1151 @ 60.1976
65.52/65.74	c bounds 2642 >= 1225 @ 60.1986
65.52/65.74	c bounds 2642 >= 1228 @ 60.2012
65.52/65.74	c bounds 2642 >= 1229 @ 60.2238
65.52/65.74	c bounds 2642 >= 1230 @ 60.2388
65.52/65.74	c bounds 2642 >= 1231 @ 60.3069
65.52/65.74	c bounds 2642 >= 1234 @ 60.5191
65.52/65.74	c bounds 2642 >= 1235 @ 60.5259
65.52/65.74	c bounds 2642 >= 1236 @ 60.5278
65.52/65.74	c bounds 2642 >= 1237 @ 60.5467
65.52/65.74	c bounds 2642 >= 1238 @ 60.5899
65.52/65.74	c bounds 2642 >= 1240 @ 60.692
65.52/65.74	c bounds 2642 >= 1241 @ 60.704
65.52/65.74	c bounds 2642 >= 1242 @ 60.7087
65.52/65.74	c bounds 2642 >= 1243 @ 60.7164
65.52/65.74	c bounds 2642 >= 1287 @ 60.7312
65.52/65.74	c bounds 2642 >= 1290 @ 60.733
65.52/65.74	c bounds 2642 >= 1291 @ 60.7331
65.52/65.74	c bounds 2642 >= 1292 @ 60.7337
65.52/65.74	c bounds 2642 >= 1293 @ 60.7357
65.52/65.74	c bounds 2642 >= 1294 @ 60.7382
65.52/65.74	c bounds 2642 >= 1295 @ 60.7391
65.52/65.74	c bounds 2642 >= 1296 @ 60.7404
65.52/65.74	c bounds 2642 >= 1297 @ 60.7419
65.52/65.74	c bounds 2642 >= 1298 @ 60.7421
65.52/65.74	c bounds 2642 >= 1299 @ 60.7429
65.52/65.74	c bounds 2642 >= 1300 @ 60.7439
65.52/65.74	c bounds 2642 >= 1301 @ 60.7451
65.52/65.74	c bounds 2642 >= 1302 @ 60.7471
65.52/65.74	c bounds 2642 >= 1303 @ 60.7486
65.52/65.74	c bounds 2642 >= 1304 @ 60.7505
65.52/65.74	c bounds 2642 >= 1305 @ 60.7514
65.52/65.74	c bounds 2642 >= 1306 @ 60.7528
65.52/65.74	c bounds 2642 >= 1307 @ 60.7542
65.52/65.74	c bounds 2642 >= 1308 @ 60.7555
65.52/65.74	c bounds 2642 >= 1309 @ 60.7576
65.52/65.74	c bounds 2642 >= 1310 @ 60.759
65.52/65.74	c bounds 2642 >= 1311 @ 60.7601
65.52/65.74	c bounds 2642 >= 1312 @ 60.7667
65.52/65.74	c bounds 2642 >= 1313 @ 60.7728
65.52/65.74	c bounds 2642 >= 1314 @ 60.7776
65.52/65.74	c bounds 2642 >= 1315 @ 60.781
65.52/65.74	c bounds 2642 >= 1316 @ 60.7841
65.52/65.74	c bounds 2642 >= 1317 @ 60.7876
65.52/65.74	c bounds 2642 >= 1318 @ 60.7916
65.52/65.74	c bounds 2642 >= 1319 @ 60.7982
65.52/65.74	c bounds 2642 >= 1320 @ 60.8009
65.52/65.74	c bounds 2642 >= 1321 @ 60.8052
65.52/65.74	c bounds 2642 >= 1322 @ 60.8156
65.52/65.74	c bounds 2642 >= 1323 @ 60.8212
65.52/65.74	c bounds 2642 >= 1324 @ 60.8249
65.52/65.74	c bounds 2642 >= 1325 @ 60.8317
65.52/65.74	c bounds 2642 >= 1326 @ 60.8326
65.52/65.74	c bounds 2642 >= 1327 @ 60.862
65.52/65.74	c bounds 2642 >= 1328 @ 60.8674
65.52/65.74	c bounds 2642 >= 1329 @ 60.8814
65.52/65.74	c bounds 2642 >= 1330 @ 60.8975
65.52/65.74	c bounds 2642 >= 1331 @ 60.9004
65.52/65.74	c bounds 2642 >= 1332 @ 62.6733
65.52/65.74	c #Conflicts:     124000 | #Constraints:      15806
65.52/65.74	c INPROCESSING
65.52/65.74	c GARBAGE COLLECT
65.52/65.74	c bounds 2642 >= 1333 @ 63.648
65.52/65.74	c bounds 2642 >= 1334 @ 63.6553
65.52/65.74	c bounds 2642 >= 1338 @ 63.6578
65.52/65.74	c bounds 2642 >= 1367 @ 63.6584
65.52/65.74	c bounds 2642 >= 1368 @ 63.6586
65.52/65.74	c bounds 2642 >= 1369 @ 63.8312
65.52/65.74	c bounds 2642 >= 1370 @ 63.8936
101.84/102.10	c bounds 2642 >= 1371 @ 64.2646
101.84/102.10	c #Conflicts:     125000 | #Constraints:       9732
101.84/102.10	c bounds 2642 >= 1372 @ 64.3534
101.84/102.10	c bounds 2642 >= 1373 @ 64.3909
101.84/102.10	c bounds 2642 >= 1374 @ 64.4025
101.84/102.10	c bounds 2642 >= 1375 @ 64.4068
101.84/102.10	c bounds 2642 >= 1376 @ 64.4172
101.84/102.10	c bounds 2642 >= 1377 @ 64.425
101.84/102.10	c bounds 2642 >= 1378 @ 64.4289
101.84/102.10	c bounds 2642 >= 1379 @ 64.4337
101.84/102.10	c bounds 2642 >= 1380 @ 64.4413
101.84/102.10	c bounds 2642 >= 1381 @ 64.448
101.84/102.10	c bounds 2642 >= 1382 @ 64.4507
101.84/102.10	c bounds 2642 >= 1383 @ 64.4586
101.84/102.10	c bounds 2642 >= 1384 @ 64.4621
101.84/102.10	c bounds 2642 >= 1390 @ 64.4676
101.84/102.10	c bounds 2642 >= 1391 @ 64.4697
101.84/102.10	c bounds 2642 >= 1392 @ 64.4706
101.84/102.10	c bounds 2642 >= 1415 @ 64.4729
101.84/102.10	c bounds 2642 >= 1420 @ 64.5004
101.84/102.10	c bounds 2642 >= 1431 @ 64.5033
101.84/102.10	c bounds 2642 >= 1432 @ 65.0879
101.84/102.10	c bounds 2642 >= 1433 @ 65.1324
101.84/102.10	c #Conflicts:     126000 | #Constraints:      10856
101.84/102.10	c #Conflicts:     127000 | #Constraints:      11856
101.84/102.10	c #Conflicts:     128000 | #Constraints:      12856
101.84/102.10	c #Conflicts:     129000 | #Constraints:      13856
101.84/102.10	c #Conflicts:     130000 | #Constraints:      14856
101.84/102.10	c #Conflicts:     131000 | #Constraints:      15856
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     132000 | #Constraints:       9525
101.84/102.10	c #Conflicts:     133000 | #Constraints:      10525
101.84/102.10	c #Conflicts:     134000 | #Constraints:      11525
101.84/102.10	c #Conflicts:     135000 | #Constraints:      12525
101.84/102.10	c #Conflicts:     136000 | #Constraints:      13525
101.84/102.10	c #Conflicts:     137000 | #Constraints:      14525
101.84/102.10	c #Conflicts:     138000 | #Constraints:      15525
101.84/102.10	c #Conflicts:     139000 | #Constraints:      16525
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     140000 | #Constraints:      10064
101.84/102.10	c #Conflicts:     141000 | #Constraints:      11064
101.84/102.10	c #Conflicts:     142000 | #Constraints:      12064
101.84/102.10	c #Conflicts:     143000 | #Constraints:      13064
101.84/102.10	c #Conflicts:     144000 | #Constraints:      14064
101.84/102.10	c #Conflicts:     145000 | #Constraints:      15064
101.84/102.10	c #Conflicts:     146000 | #Constraints:      16064
101.84/102.10	c #Conflicts:     147000 | #Constraints:      17064
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     148000 | #Constraints:      10432
101.84/102.10	c #Conflicts:     149000 | #Constraints:      11432
101.84/102.10	c #Conflicts:     150000 | #Constraints:      12432
101.84/102.10	c #Conflicts:     151000 | #Constraints:      13432
101.84/102.10	c #Conflicts:     152000 | #Constraints:      14432
101.84/102.10	c #Conflicts:     153000 | #Constraints:      15432
101.84/102.10	c #Conflicts:     154000 | #Constraints:      16432
101.84/102.10	c #Conflicts:     155000 | #Constraints:      17432
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     156000 | #Constraints:      10625
101.84/102.10	c #Conflicts:     157000 | #Constraints:      11625
101.84/102.10	c #Conflicts:     158000 | #Constraints:      12625
101.84/102.10	c #Conflicts:     159000 | #Constraints:      13625
101.84/102.10	c #Conflicts:     160000 | #Constraints:      14625
101.84/102.10	c #Conflicts:     161000 | #Constraints:      15625
101.84/102.10	c #Conflicts:     162000 | #Constraints:      16625
101.84/102.10	c #Conflicts:     163000 | #Constraints:      17625
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     164000 | #Constraints:      10619
101.84/102.10	c #Conflicts:     165000 | #Constraints:      11619
101.84/102.10	c #Conflicts:     166000 | #Constraints:      12619
101.84/102.10	c #Conflicts:     167000 | #Constraints:      13619
101.84/102.10	c #Conflicts:     168000 | #Constraints:      14619
101.84/102.10	c #Conflicts:     169000 | #Constraints:      15619
101.84/102.10	c #Conflicts:     170000 | #Constraints:      16619
101.84/102.10	c #Conflicts:     171000 | #Constraints:      17619
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     172000 | #Constraints:      10407
101.84/102.10	c #Conflicts:     173000 | #Constraints:      11407
101.84/102.10	c #Conflicts:     174000 | #Constraints:      12407
101.84/102.10	c #Conflicts:     175000 | #Constraints:      13407
101.84/102.10	c #Conflicts:     176000 | #Constraints:      14407
101.84/102.10	c #Conflicts:     177000 | #Constraints:      15407
101.84/102.10	c #Conflicts:     178000 | #Constraints:      16407
101.84/102.10	c #Conflicts:     179000 | #Constraints:      17407
101.84/102.10	c #Conflicts:     180000 | #Constraints:      18407
101.84/102.10	c INPROCESSING
101.84/102.10	c GARBAGE COLLECT
101.84/102.10	c #Conflicts:     181000 | #Constraints:      11007
101.84/102.10	c #Conflicts:     182000 | #Constraints:      12007
101.84/102.10	c #Conflicts:     183000 | #Constraints:      13007
101.84/102.10	c #Conflicts:     184000 | #Constraints:      14007
101.84/102.10	c #Conflicts:     185000 | #Constraints:      15007
197.19/197.75	c #Conflicts:     186000 | #Constraints:      16007
197.19/197.75	c #Conflicts:     187000 | #Constraints:      17007
197.19/197.75	c #Conflicts:     188000 | #Constraints:      18007
197.19/197.75	c #Conflicts:     189000 | #Constraints:      19007
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     190000 | #Constraints:      11406
197.19/197.75	c #Conflicts:     191000 | #Constraints:      12406
197.19/197.75	c #Conflicts:     192000 | #Constraints:      13406
197.19/197.75	c #Conflicts:     193000 | #Constraints:      14406
197.19/197.75	c #Conflicts:     194000 | #Constraints:      15406
197.19/197.75	c #Conflicts:     195000 | #Constraints:      16406
197.19/197.75	c #Conflicts:     196000 | #Constraints:      17406
197.19/197.75	c #Conflicts:     197000 | #Constraints:      18406
197.19/197.75	c #Conflicts:     198000 | #Constraints:      19406
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     199000 | #Constraints:      11636
197.19/197.75	c #Conflicts:     200000 | #Constraints:      12636
197.19/197.75	c #Conflicts:     201000 | #Constraints:      13636
197.19/197.75	c #Conflicts:     202000 | #Constraints:      14636
197.19/197.75	c #Conflicts:     203000 | #Constraints:      15636
197.19/197.75	c #Conflicts:     204000 | #Constraints:      16636
197.19/197.75	c #Conflicts:     205000 | #Constraints:      17636
197.19/197.75	c #Conflicts:     206000 | #Constraints:      18636
197.19/197.75	c #Conflicts:     207000 | #Constraints:      19636
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     208000 | #Constraints:      11622
197.19/197.75	c #Conflicts:     209000 | #Constraints:      12622
197.19/197.75	c #Conflicts:     210000 | #Constraints:      13622
197.19/197.75	c #Conflicts:     211000 | #Constraints:      14622
197.19/197.75	c #Conflicts:     212000 | #Constraints:      15622
197.19/197.75	c #Conflicts:     213000 | #Constraints:      16622
197.19/197.75	c #Conflicts:     214000 | #Constraints:      17622
197.19/197.75	c #Conflicts:     215000 | #Constraints:      18622
197.19/197.75	c #Conflicts:     216000 | #Constraints:      19622
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     217000 | #Constraints:      11417
197.19/197.75	c #Conflicts:     218000 | #Constraints:      12417
197.19/197.75	c #Conflicts:     219000 | #Constraints:      13417
197.19/197.75	c #Conflicts:     220000 | #Constraints:      14417
197.19/197.75	c #Conflicts:     221000 | #Constraints:      15417
197.19/197.75	c #Conflicts:     222000 | #Constraints:      16417
197.19/197.75	c #Conflicts:     223000 | #Constraints:      17417
197.19/197.75	c #Conflicts:     224000 | #Constraints:      18417
197.19/197.75	c #Conflicts:     225000 | #Constraints:      19417
197.19/197.75	c #Conflicts:     226000 | #Constraints:      20417
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     227000 | #Constraints:      12008
197.19/197.75	c #Conflicts:     228000 | #Constraints:      13008
197.19/197.75	c #Conflicts:     229000 | #Constraints:      14008
197.19/197.75	c #Conflicts:     230000 | #Constraints:      15008
197.19/197.75	c #Conflicts:     231000 | #Constraints:      16008
197.19/197.75	c #Conflicts:     232000 | #Constraints:      17008
197.19/197.75	c #Conflicts:     233000 | #Constraints:      18008
197.19/197.75	c #Conflicts:     234000 | #Constraints:      19008
197.19/197.75	c #Conflicts:     235000 | #Constraints:      20008
197.19/197.75	c #Conflicts:     236000 | #Constraints:      21008
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     237000 | #Constraints:      12395
197.19/197.75	c #Conflicts:     238000 | #Constraints:      13395
197.19/197.75	c #Conflicts:     239000 | #Constraints:      14395
197.19/197.75	c #Conflicts:     240000 | #Constraints:      15395
197.19/197.75	c #Conflicts:     241000 | #Constraints:      16395
197.19/197.75	c #Conflicts:     242000 | #Constraints:      17395
197.19/197.75	c #Conflicts:     243000 | #Constraints:      18395
197.19/197.75	c #Conflicts:     244000 | #Constraints:      19395
197.19/197.75	c #Conflicts:     245000 | #Constraints:      20395
197.19/197.75	c #Conflicts:     246000 | #Constraints:      21395
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     247000 | #Constraints:      12588
197.19/197.75	c #Conflicts:     248000 | #Constraints:      13588
197.19/197.75	c #Conflicts:     249000 | #Constraints:      14588
197.19/197.75	c #Conflicts:     250000 | #Constraints:      15588
197.19/197.75	c #Conflicts:     251000 | #Constraints:      16588
197.19/197.75	c #Conflicts:     252000 | #Constraints:      17588
197.19/197.75	c #Conflicts:     253000 | #Constraints:      18588
197.19/197.75	c #Conflicts:     254000 | #Constraints:      19588
197.19/197.75	c #Conflicts:     255000 | #Constraints:      20588
197.19/197.75	c #Conflicts:     256000 | #Constraints:      21588
197.19/197.75	c INPROCESSING
197.19/197.75	c GARBAGE COLLECT
197.19/197.75	c #Conflicts:     257000 | #Constraints:      12608
197.19/197.75	c #Conflicts:     258000 | #Constraints:      13608
197.19/197.75	c #Conflicts:     259000 | #Constraints:      14608
307.69/308.55	c #Conflicts:     260000 | #Constraints:      15608
307.69/308.55	c #Conflicts:     261000 | #Constraints:      16608
307.69/308.55	c #Conflicts:     262000 | #Constraints:      17608
307.69/308.55	c #Conflicts:     263000 | #Constraints:      18608
307.69/308.55	c #Conflicts:     264000 | #Constraints:      19608
307.69/308.55	c #Conflicts:     265000 | #Constraints:      20608
307.69/308.55	c #Conflicts:     266000 | #Constraints:      21608
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
307.69/308.55	c #Conflicts:     267000 | #Constraints:      12404
307.69/308.55	c #Conflicts:     268000 | #Constraints:      13404
307.69/308.55	c #Conflicts:     269000 | #Constraints:      14404
307.69/308.55	c #Conflicts:     270000 | #Constraints:      15404
307.69/308.55	c #Conflicts:     271000 | #Constraints:      16404
307.69/308.55	c #Conflicts:     272000 | #Constraints:      17404
307.69/308.55	c #Conflicts:     273000 | #Constraints:      18404
307.69/308.55	c #Conflicts:     274000 | #Constraints:      19404
307.69/308.55	c #Conflicts:     275000 | #Constraints:      20404
307.69/308.55	c #Conflicts:     276000 | #Constraints:      21404
307.69/308.55	c #Conflicts:     277000 | #Constraints:      22404
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
307.69/308.55	c #Conflicts:     278000 | #Constraints:      13006
307.69/308.55	c #Conflicts:     279000 | #Constraints:      14006
307.69/308.55	c #Conflicts:     280000 | #Constraints:      15006
307.69/308.55	c #Conflicts:     281000 | #Constraints:      16006
307.69/308.55	c #Conflicts:     282000 | #Constraints:      17006
307.69/308.55	c #Conflicts:     283000 | #Constraints:      18006
307.69/308.55	c #Conflicts:     284000 | #Constraints:      19006
307.69/308.55	c #Conflicts:     285000 | #Constraints:      20006
307.69/308.55	c #Conflicts:     286000 | #Constraints:      21006
307.69/308.55	c #Conflicts:     287000 | #Constraints:      22006
307.69/308.55	c #Conflicts:     288000 | #Constraints:      23006
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
307.69/308.55	c #Conflicts:     289000 | #Constraints:      13399
307.69/308.55	c #Conflicts:     290000 | #Constraints:      14399
307.69/308.55	c #Conflicts:     291000 | #Constraints:      15399
307.69/308.55	c #Conflicts:     292000 | #Constraints:      16399
307.69/308.55	c #Conflicts:     293000 | #Constraints:      17399
307.69/308.55	c #Conflicts:     294000 | #Constraints:      18399
307.69/308.55	c #Conflicts:     295000 | #Constraints:      19399
307.69/308.55	c #Conflicts:     296000 | #Constraints:      20399
307.69/308.55	c #Conflicts:     297000 | #Constraints:      21399
307.69/308.55	c #Conflicts:     298000 | #Constraints:      22399
307.69/308.55	c #Conflicts:     299000 | #Constraints:      23399
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
307.69/308.55	c #Conflicts:     300000 | #Constraints:      13600
307.69/308.55	c #Conflicts:     301000 | #Constraints:      14600
307.69/308.55	c #Conflicts:     302000 | #Constraints:      15600
307.69/308.55	c #Conflicts:     303000 | #Constraints:      16600
307.69/308.55	c #Conflicts:     304000 | #Constraints:      17600
307.69/308.55	c #Conflicts:     305000 | #Constraints:      18600
307.69/308.55	c #Conflicts:     306000 | #Constraints:      19600
307.69/308.55	c #Conflicts:     307000 | #Constraints:      20600
307.69/308.55	c #Conflicts:     308000 | #Constraints:      21600
307.69/308.55	c #Conflicts:     309000 | #Constraints:      22600
307.69/308.55	c #Conflicts:     310000 | #Constraints:      23600
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
307.69/308.55	c #Conflicts:     311000 | #Constraints:      13625
307.69/308.55	c #Conflicts:     312000 | #Constraints:      14625
307.69/308.55	c #Conflicts:     313000 | #Constraints:      15625
307.69/308.55	c #Conflicts:     314000 | #Constraints:      16625
307.69/308.55	c #Conflicts:     315000 | #Constraints:      17625
307.69/308.55	c #Conflicts:     316000 | #Constraints:      18625
307.69/308.55	c #Conflicts:     317000 | #Constraints:      19625
307.69/308.55	c #Conflicts:     318000 | #Constraints:      20625
307.69/308.55	c #Conflicts:     319000 | #Constraints:      21625
307.69/308.55	c #Conflicts:     320000 | #Constraints:      22625
307.69/308.55	c #Conflicts:     321000 | #Constraints:      23625
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
307.69/308.55	c #Conflicts:     322000 | #Constraints:      13413
307.69/308.55	c #Conflicts:     323000 | #Constraints:      14413
307.69/308.55	c #Conflicts:     324000 | #Constraints:      15413
307.69/308.55	c #Conflicts:     325000 | #Constraints:      16413
307.69/308.55	c #Conflicts:     326000 | #Constraints:      17413
307.69/308.55	c #Conflicts:     327000 | #Constraints:      18413
307.69/308.55	c #Conflicts:     328000 | #Constraints:      19413
307.69/308.55	c #Conflicts:     329000 | #Constraints:      20413
307.69/308.55	c #Conflicts:     330000 | #Constraints:      21413
307.69/308.55	c #Conflicts:     331000 | #Constraints:      22413
307.69/308.55	c #Conflicts:     332000 | #Constraints:      23413
307.69/308.55	c #Conflicts:     333000 | #Constraints:      24413
307.69/308.55	c INPROCESSING
307.69/308.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     334000 | #Constraints:      14003
442.35/443.55	c #Conflicts:     335000 | #Constraints:      15003
442.35/443.55	c #Conflicts:     336000 | #Constraints:      16003
442.35/443.55	c #Conflicts:     337000 | #Constraints:      17003
442.35/443.55	c #Conflicts:     338000 | #Constraints:      18003
442.35/443.55	c #Conflicts:     339000 | #Constraints:      19003
442.35/443.55	c #Conflicts:     340000 | #Constraints:      20003
442.35/443.55	c #Conflicts:     341000 | #Constraints:      21003
442.35/443.55	c #Conflicts:     342000 | #Constraints:      22003
442.35/443.55	c #Conflicts:     343000 | #Constraints:      23003
442.35/443.55	c #Conflicts:     344000 | #Constraints:      24003
442.35/443.55	c #Conflicts:     345000 | #Constraints:      25003
442.35/443.55	c INPROCESSING
442.35/443.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     346000 | #Constraints:      14400
442.35/443.55	c #Conflicts:     347000 | #Constraints:      15400
442.35/443.55	c #Conflicts:     348000 | #Constraints:      16400
442.35/443.55	c #Conflicts:     349000 | #Constraints:      17400
442.35/443.55	c #Conflicts:     350000 | #Constraints:      18400
442.35/443.55	c #Conflicts:     351000 | #Constraints:      19400
442.35/443.55	c #Conflicts:     352000 | #Constraints:      20400
442.35/443.55	c #Conflicts:     353000 | #Constraints:      21400
442.35/443.55	c #Conflicts:     354000 | #Constraints:      22400
442.35/443.55	c #Conflicts:     355000 | #Constraints:      23400
442.35/443.55	c #Conflicts:     356000 | #Constraints:      24400
442.35/443.55	c #Conflicts:     357000 | #Constraints:      25400
442.35/443.55	c INPROCESSING
442.35/443.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     358000 | #Constraints:      14636
442.35/443.55	c #Conflicts:     359000 | #Constraints:      15636
442.35/443.55	c #Conflicts:     360000 | #Constraints:      16636
442.35/443.55	c #Conflicts:     361000 | #Constraints:      17636
442.35/443.55	c #Conflicts:     362000 | #Constraints:      18636
442.35/443.55	c #Conflicts:     363000 | #Constraints:      19636
442.35/443.55	c #Conflicts:     364000 | #Constraints:      20636
442.35/443.55	c #Conflicts:     365000 | #Constraints:      21636
442.35/443.55	c #Conflicts:     366000 | #Constraints:      22636
442.35/443.55	c #Conflicts:     367000 | #Constraints:      23636
442.35/443.55	c #Conflicts:     368000 | #Constraints:      24636
442.35/443.55	c #Conflicts:     369000 | #Constraints:      25636
442.35/443.55	c INPROCESSING
442.35/443.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     370000 | #Constraints:      14620
442.35/443.55	c #Conflicts:     371000 | #Constraints:      15620
442.35/443.55	c #Conflicts:     372000 | #Constraints:      16620
442.35/443.55	c #Conflicts:     373000 | #Constraints:      17620
442.35/443.55	c #Conflicts:     374000 | #Constraints:      18620
442.35/443.55	c #Conflicts:     375000 | #Constraints:      19620
442.35/443.55	c #Conflicts:     376000 | #Constraints:      20620
442.35/443.55	c #Conflicts:     377000 | #Constraints:      21620
442.35/443.55	c #Conflicts:     378000 | #Constraints:      22620
442.35/443.55	c #Conflicts:     379000 | #Constraints:      23620
442.35/443.55	c #Conflicts:     380000 | #Constraints:      24620
442.35/443.55	c #Conflicts:     381000 | #Constraints:      25620
442.35/443.55	c INPROCESSING
442.35/443.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     382000 | #Constraints:      14442
442.35/443.55	c #Conflicts:     383000 | #Constraints:      15442
442.35/443.55	c #Conflicts:     384000 | #Constraints:      16442
442.35/443.55	c #Conflicts:     385000 | #Constraints:      17442
442.35/443.55	c #Conflicts:     386000 | #Constraints:      18442
442.35/443.55	c #Conflicts:     387000 | #Constraints:      19442
442.35/443.55	c #Conflicts:     388000 | #Constraints:      20442
442.35/443.55	c #Conflicts:     389000 | #Constraints:      21442
442.35/443.55	c #Conflicts:     390000 | #Constraints:      22442
442.35/443.55	c #Conflicts:     391000 | #Constraints:      23442
442.35/443.55	c #Conflicts:     392000 | #Constraints:      24442
442.35/443.55	c #Conflicts:     393000 | #Constraints:      25442
442.35/443.55	c #Conflicts:     394000 | #Constraints:      26442
442.35/443.55	c INPROCESSING
442.35/443.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     395000 | #Constraints:      15026
442.35/443.55	c #Conflicts:     396000 | #Constraints:      16026
442.35/443.55	c #Conflicts:     397000 | #Constraints:      17026
442.35/443.55	c #Conflicts:     398000 | #Constraints:      18026
442.35/443.55	c #Conflicts:     399000 | #Constraints:      19026
442.35/443.55	c #Conflicts:     400000 | #Constraints:      20026
442.35/443.55	c #Conflicts:     401000 | #Constraints:      21026
442.35/443.55	c #Conflicts:     402000 | #Constraints:      22026
442.35/443.55	c #Conflicts:     403000 | #Constraints:      23026
442.35/443.55	c #Conflicts:     404000 | #Constraints:      24026
442.35/443.55	c #Conflicts:     405000 | #Constraints:      25026
442.35/443.55	c #Conflicts:     406000 | #Constraints:      26026
442.35/443.55	c #Conflicts:     407000 | #Constraints:      27026
442.35/443.55	c INPROCESSING
442.35/443.55	c GARBAGE COLLECT
442.35/443.55	c #Conflicts:     408000 | #Constraints:      15422
543.10/544.56	c #Conflicts:     409000 | #Constraints:      16422
543.10/544.56	c #Conflicts:     410000 | #Constraints:      17422
543.10/544.56	c #Conflicts:     411000 | #Constraints:      18422
543.10/544.56	c #Conflicts:     412000 | #Constraints:      19422
543.10/544.56	c #Conflicts:     413000 | #Constraints:      20422
543.10/544.56	c #Conflicts:     414000 | #Constraints:      21422
543.10/544.56	c #Conflicts:     415000 | #Constraints:      22422
543.10/544.56	c #Conflicts:     416000 | #Constraints:      23422
543.10/544.56	c #Conflicts:     417000 | #Constraints:      24422
543.10/544.56	c #Conflicts:     418000 | #Constraints:      25422
543.10/544.56	c #Conflicts:     419000 | #Constraints:      26422
543.10/544.56	c #Conflicts:     420000 | #Constraints:      27422
543.10/544.56	c INPROCESSING
543.10/544.56	c GARBAGE COLLECT
543.10/544.56	c #Conflicts:     421000 | #Constraints:      15615
543.10/544.56	c #Conflicts:     422000 | #Constraints:      16615
543.10/544.56	c #Conflicts:     423000 | #Constraints:      17615
543.10/544.56	c #Conflicts:     424000 | #Constraints:      18615
543.10/544.56	c #Conflicts:     425000 | #Constraints:      19615
543.10/544.56	c #Conflicts:     426000 | #Constraints:      20615
543.10/544.56	c #Conflicts:     427000 | #Constraints:      21615
543.10/544.56	c #Conflicts:     428000 | #Constraints:      22615
543.10/544.56	c #Conflicts:     429000 | #Constraints:      23615
543.10/544.56	c #Conflicts:     430000 | #Constraints:      24615
543.10/544.56	c #Conflicts:     431000 | #Constraints:      25615
543.10/544.56	c #Conflicts:     432000 | #Constraints:      26615
543.10/544.56	c #Conflicts:     433000 | #Constraints:      27615
543.10/544.56	c INPROCESSING
543.10/544.56	c GARBAGE COLLECT
543.10/544.56	c #Conflicts:     434000 | #Constraints:      15611
543.10/544.56	c #Conflicts:     435000 | #Constraints:      16611
543.10/544.56	c #Conflicts:     436000 | #Constraints:      17611
543.10/544.56	c #Conflicts:     437000 | #Constraints:      18611
543.10/544.56	c #Conflicts:     438000 | #Constraints:      19611
543.10/544.56	c #Conflicts:     439000 | #Constraints:      20611
543.10/544.56	c #Conflicts:     440000 | #Constraints:      21611
543.10/544.56	c #Conflicts:     441000 | #Constraints:      22611
543.10/544.56	c #Conflicts:     442000 | #Constraints:      23611
543.10/544.56	c #Conflicts:     443000 | #Constraints:      24611
543.10/544.56	c #Conflicts:     444000 | #Constraints:      25611
543.10/544.56	c #Conflicts:     445000 | #Constraints:      26611
543.10/544.56	c #Conflicts:     446000 | #Constraints:      27611
543.10/544.56	c INPROCESSING
543.10/544.56	c GARBAGE COLLECT
543.10/544.56	c #Conflicts:     447000 | #Constraints:      15408
543.10/544.56	c #Conflicts:     448000 | #Constraints:      16408
543.10/544.56	c #Conflicts:     449000 | #Constraints:      17408
543.10/544.56	c #Conflicts:     450000 | #Constraints:      18408
543.10/544.56	c #Conflicts:     451000 | #Constraints:      19408
543.10/544.56	c bounds 2642 >= 1434 @ 512.368
543.10/544.56	c bounds 2642 >= 1435 @ 512.68
543.10/544.56	c bounds 2642 >= 1436 @ 512.703
543.10/544.56	c bounds 2642 >= 1437 @ 512.714
543.10/544.56	c bounds 2642 >= 1438 @ 513.069
543.10/544.56	c bounds 2642 >= 1441 @ 513.687
543.10/544.56	c bounds 2642 >= 1458 @ 513.703
543.10/544.56	c bounds 2642 >= 1459 @ 513.84
543.10/544.56	c bounds 2642 >= 1460 @ 513.931
543.10/544.56	c bounds 2642 >= 1461 @ 514.093
543.10/544.56	c bounds 2642 >= 1462 @ 514.316
543.10/544.56	c bounds 2642 >= 1463 @ 514.403
543.10/544.56	c bounds 2642 >= 1464 @ 514.497
543.10/544.56	c bounds 2642 >= 1465 @ 514.554
543.10/544.56	c bounds 2642 >= 1466 @ 514.612
543.10/544.56	c bounds 2642 >= 1467 @ 514.665
543.10/544.56	c bounds 2642 >= 1468 @ 514.721
543.10/544.56	c bounds 2642 >= 1469 @ 514.773
543.10/544.56	c bounds 2642 >= 1470 @ 514.83
543.10/544.56	c bounds 2642 >= 1471 @ 514.881
543.10/544.56	c #Conflicts:     452000 | #Constraints:      20512
543.10/544.56	c bounds 2642 >= 1472 @ 515.563
543.10/544.56	c bounds 2642 >= 1473 @ 515.674
543.10/544.56	c bounds 2642 >= 1474 @ 515.791
543.10/544.56	c bounds 2642 >= 1475 @ 515.914
543.10/544.56	c bounds 2642 >= 1476 @ 515.971
543.10/544.56	c bounds 2642 >= 1477 @ 516.076
543.10/544.56	c bounds 2642 >= 1478 @ 516.186
543.10/544.56	c bounds 2642 >= 1479 @ 516.243
543.10/544.56	c bounds 2642 >= 1480 @ 516.329
543.10/544.56	c bounds 2642 >= 1481 @ 516.415
543.10/544.56	c bounds 2642 >= 1482 @ 516.457
543.10/544.56	c bounds 2642 >= 1483 @ 516.496
543.10/544.56	c bounds 2642 >= 1484 @ 516.542
543.10/544.56	c bounds 2642 >= 1501 @ 516.565
543.10/544.56	c #Conflicts:     453000 | #Constraints:      21568
543.10/544.56	c #Conflicts:     454000 | #Constraints:      22568
543.10/544.56	c bounds 2642 >= 1502 @ 523.775
543.10/544.56	c bounds 2642 >= 1509 @ 525.114
543.10/544.56	c bounds 2642 >= 1531 @ 525.124
543.10/544.56	c #Conflicts:     455000 | #Constraints:      23581
543.10/544.56	c #Conflicts:     456000 | #Constraints:      24581
543.10/544.56	c #Conflicts:     457000 | #Constraints:      25581
543.10/544.56	c #Conflicts:     458000 | #Constraints:      26581
543.10/544.56	c #Conflicts:     459000 | #Constraints:      27581
543.10/544.56	c #Conflicts:     460000 | #Constraints:      28581
543.10/544.56	c INPROCESSING
543.10/544.56	c GARBAGE COLLECT
543.10/544.56	c #Conflicts:     461000 | #Constraints:      16099
543.10/544.56	c #Conflicts:     462000 | #Constraints:      17099
661.61/663.31	c #Conflicts:     463000 | #Constraints:      18099
661.61/663.31	c #Conflicts:     464000 | #Constraints:      19099
661.61/663.31	c #Conflicts:     465000 | #Constraints:      20099
661.61/663.31	c #Conflicts:     466000 | #Constraints:      21099
661.61/663.31	c #Conflicts:     467000 | #Constraints:      22099
661.61/663.31	c #Conflicts:     468000 | #Constraints:      23099
661.61/663.31	c #Conflicts:     469000 | #Constraints:      24099
661.61/663.31	c #Conflicts:     470000 | #Constraints:      25099
661.61/663.31	c #Conflicts:     471000 | #Constraints:      26099
661.61/663.31	c #Conflicts:     472000 | #Constraints:      27099
661.61/663.31	c #Conflicts:     473000 | #Constraints:      28099
661.61/663.31	c #Conflicts:     474000 | #Constraints:      29099
661.61/663.31	c INPROCESSING
661.61/663.31	c GARBAGE COLLECT
661.61/663.31	c #Conflicts:     475000 | #Constraints:      16468
661.61/663.31	c #Conflicts:     476000 | #Constraints:      17468
661.61/663.31	c #Conflicts:     477000 | #Constraints:      18468
661.61/663.31	c #Conflicts:     478000 | #Constraints:      19468
661.61/663.31	c #Conflicts:     479000 | #Constraints:      20468
661.61/663.31	c #Conflicts:     480000 | #Constraints:      21468
661.61/663.31	c #Conflicts:     481000 | #Constraints:      22468
661.61/663.31	c #Conflicts:     482000 | #Constraints:      23468
661.61/663.31	c #Conflicts:     483000 | #Constraints:      24468
661.61/663.31	c #Conflicts:     484000 | #Constraints:      25468
661.61/663.31	c #Conflicts:     485000 | #Constraints:      26468
661.61/663.31	c #Conflicts:     486000 | #Constraints:      27468
661.61/663.31	c #Conflicts:     487000 | #Constraints:      28468
661.61/663.31	c #Conflicts:     488000 | #Constraints:      29468
661.61/663.31	c INPROCESSING
661.61/663.31	c GARBAGE COLLECT
661.61/663.31	c #Conflicts:     489000 | #Constraints:      16654
661.61/663.31	c #Conflicts:     490000 | #Constraints:      17654
661.61/663.31	c #Conflicts:     491000 | #Constraints:      18654
661.61/663.31	c #Conflicts:     492000 | #Constraints:      19654
661.61/663.31	c #Conflicts:     493000 | #Constraints:      20654
661.61/663.31	c #Conflicts:     494000 | #Constraints:      21654
661.61/663.31	c #Conflicts:     495000 | #Constraints:      22654
661.61/663.31	c #Conflicts:     496000 | #Constraints:      23654
661.61/663.31	c #Conflicts:     497000 | #Constraints:      24654
661.61/663.31	c #Conflicts:     498000 | #Constraints:      25654
661.61/663.31	c #Conflicts:     499000 | #Constraints:      26654
661.61/663.31	c #Conflicts:     500000 | #Constraints:      27654
661.61/663.31	c #Conflicts:     501000 | #Constraints:      28654
661.61/663.31	c #Conflicts:     502000 | #Constraints:      29654
661.61/663.31	c INPROCESSING
661.61/663.31	c GARBAGE COLLECT
661.61/663.31	c #Conflicts:     503000 | #Constraints:      16647
661.61/663.31	c #Conflicts:     504000 | #Constraints:      17647
661.61/663.31	c #Conflicts:     505000 | #Constraints:      18647
661.61/663.31	c #Conflicts:     506000 | #Constraints:      19647
661.61/663.31	c #Conflicts:     507000 | #Constraints:      20647
661.61/663.31	c #Conflicts:     508000 | #Constraints:      21647
661.61/663.31	c #Conflicts:     509000 | #Constraints:      22647
661.61/663.31	c #Conflicts:     510000 | #Constraints:      23647
661.61/663.31	c #Conflicts:     511000 | #Constraints:      24647
661.61/663.31	c #Conflicts:     512000 | #Constraints:      25647
661.61/663.31	c #Conflicts:     513000 | #Constraints:      26647
661.61/663.31	c #Conflicts:     514000 | #Constraints:      27647
661.61/663.31	c #Conflicts:     515000 | #Constraints:      28647
661.61/663.31	c #Conflicts:     516000 | #Constraints:      29647
661.61/663.31	c INPROCESSING
661.61/663.31	c GARBAGE COLLECT
661.61/663.31	c #Conflicts:     517000 | #Constraints:      16448
661.61/663.31	c #Conflicts:     518000 | #Constraints:      17448
661.61/663.31	c #Conflicts:     519000 | #Constraints:      18448
661.61/663.31	c #Conflicts:     520000 | #Constraints:      19448
661.61/663.31	c #Conflicts:     521000 | #Constraints:      20448
661.61/663.31	c #Conflicts:     522000 | #Constraints:      21448
661.61/663.31	c #Conflicts:     523000 | #Constraints:      22448
661.61/663.31	c #Conflicts:     524000 | #Constraints:      23448
661.61/663.31	c #Conflicts:     525000 | #Constraints:      24448
661.61/663.31	c #Conflicts:     526000 | #Constraints:      25448
661.61/663.31	c #Conflicts:     527000 | #Constraints:      26448
661.61/663.31	c #Conflicts:     528000 | #Constraints:      27448
661.61/663.31	c #Conflicts:     529000 | #Constraints:      28448
661.61/663.31	c #Conflicts:     530000 | #Constraints:      29448
661.61/663.31	c #Conflicts:     531000 | #Constraints:      30448
661.61/663.31	c INPROCESSING
661.61/663.31	c GARBAGE COLLECT
661.61/663.31	c #Conflicts:     532000 | #Constraints:      17045
661.61/663.31	c #Conflicts:     533000 | #Constraints:      18045
661.61/663.31	c #Conflicts:     534000 | #Constraints:      19045
661.61/663.31	c #Conflicts:     535000 | #Constraints:      20045
661.61/663.31	c #Conflicts:     536000 | #Constraints:      21045
661.61/663.31	c #Conflicts:     537000 | #Constraints:      22045
789.75/791.82	c #Conflicts:     538000 | #Constraints:      23045
789.75/791.82	c #Conflicts:     539000 | #Constraints:      24045
789.75/791.82	c #Conflicts:     540000 | #Constraints:      25045
789.75/791.82	c #Conflicts:     541000 | #Constraints:      26045
789.75/791.82	c #Conflicts:     542000 | #Constraints:      27045
789.75/791.82	c #Conflicts:     543000 | #Constraints:      28045
789.75/791.82	c #Conflicts:     544000 | #Constraints:      29045
789.75/791.82	c #Conflicts:     545000 | #Constraints:      30045
789.75/791.82	c #Conflicts:     546000 | #Constraints:      31045
789.75/791.82	c INPROCESSING
789.75/791.82	c GARBAGE COLLECT
789.75/791.82	c #Conflicts:     547000 | #Constraints:      17439
789.75/791.82	c #Conflicts:     548000 | #Constraints:      18439
789.75/791.82	c #Conflicts:     549000 | #Constraints:      19439
789.75/791.82	c #Conflicts:     550000 | #Constraints:      20439
789.75/791.82	c #Conflicts:     551000 | #Constraints:      21439
789.75/791.82	c #Conflicts:     552000 | #Constraints:      22439
789.75/791.82	c #Conflicts:     553000 | #Constraints:      23439
789.75/791.82	c #Conflicts:     554000 | #Constraints:      24439
789.75/791.82	c #Conflicts:     555000 | #Constraints:      25439
789.75/791.82	c #Conflicts:     556000 | #Constraints:      26439
789.75/791.82	c #Conflicts:     557000 | #Constraints:      27439
789.75/791.82	c #Conflicts:     558000 | #Constraints:      28439
789.75/791.82	c #Conflicts:     559000 | #Constraints:      29439
789.75/791.82	c #Conflicts:     560000 | #Constraints:      30439
789.75/791.82	c #Conflicts:     561000 | #Constraints:      31439
789.75/791.82	c INPROCESSING
789.75/791.82	c GARBAGE COLLECT
789.75/791.82	c #Conflicts:     562000 | #Constraints:      17640
789.75/791.82	c #Conflicts:     563000 | #Constraints:      18640
789.75/791.82	c #Conflicts:     564000 | #Constraints:      19640
789.75/791.82	c #Conflicts:     565000 | #Constraints:      20640
789.75/791.82	c #Conflicts:     566000 | #Constraints:      21640
789.75/791.82	c #Conflicts:     567000 | #Constraints:      22640
789.75/791.82	c #Conflicts:     568000 | #Constraints:      23640
789.75/791.82	c #Conflicts:     569000 | #Constraints:      24640
789.75/791.82	c #Conflicts:     570000 | #Constraints:      25640
789.75/791.82	c #Conflicts:     571000 | #Constraints:      26640
789.75/791.82	c #Conflicts:     572000 | #Constraints:      27640
789.75/791.82	c #Conflicts:     573000 | #Constraints:      28640
789.75/791.82	c #Conflicts:     574000 | #Constraints:      29640
789.75/791.82	c #Conflicts:     575000 | #Constraints:      30640
789.75/791.82	c #Conflicts:     576000 | #Constraints:      31640
789.75/791.82	c INPROCESSING
789.75/791.82	c GARBAGE COLLECT
789.75/791.82	c #Conflicts:     577000 | #Constraints:      17634
789.75/791.82	c #Conflicts:     578000 | #Constraints:      18634
789.75/791.82	c #Conflicts:     579000 | #Constraints:      19634
789.75/791.82	c #Conflicts:     580000 | #Constraints:      20634
789.75/791.82	c #Conflicts:     581000 | #Constraints:      21634
789.75/791.82	c #Conflicts:     582000 | #Constraints:      22634
789.75/791.82	c #Conflicts:     583000 | #Constraints:      23634
789.75/791.82	c #Conflicts:     584000 | #Constraints:      24634
789.75/791.82	c #Conflicts:     585000 | #Constraints:      25634
789.75/791.82	c #Conflicts:     586000 | #Constraints:      26634
789.75/791.82	c #Conflicts:     587000 | #Constraints:      27634
789.75/791.82	c #Conflicts:     588000 | #Constraints:      28634
789.75/791.82	c #Conflicts:     589000 | #Constraints:      29634
789.75/791.82	c #Conflicts:     590000 | #Constraints:      30634
789.75/791.82	c #Conflicts:     591000 | #Constraints:      31634
789.75/791.82	c INPROCESSING
789.75/791.82	c GARBAGE COLLECT
789.75/791.82	c #Conflicts:     592000 | #Constraints:      17434
789.75/791.82	c #Conflicts:     593000 | #Constraints:      18434
789.75/791.82	c #Conflicts:     594000 | #Constraints:      19434
789.75/791.82	c #Conflicts:     595000 | #Constraints:      20434
789.75/791.82	c #Conflicts:     596000 | #Constraints:      21434
789.75/791.82	c #Conflicts:     597000 | #Constraints:      22434
789.75/791.82	c #Conflicts:     598000 | #Constraints:      23434
789.75/791.82	c #Conflicts:     599000 | #Constraints:      24434
789.75/791.82	c #Conflicts:     600000 | #Constraints:      25434
789.75/791.82	c #Conflicts:     601000 | #Constraints:      26434
789.75/791.82	c #Conflicts:     602000 | #Constraints:      27434
789.75/791.82	c #Conflicts:     603000 | #Constraints:      28434
789.75/791.82	c #Conflicts:     604000 | #Constraints:      29434
789.75/791.82	c #Conflicts:     605000 | #Constraints:      30434
789.75/791.82	c #Conflicts:     606000 | #Constraints:      31434
789.75/791.82	c #Conflicts:     607000 | #Constraints:      32434
789.75/791.82	c INPROCESSING
789.75/791.82	c GARBAGE COLLECT
789.75/791.82	c #Conflicts:     608000 | #Constraints:      18038
789.75/791.82	c #Conflicts:     609000 | #Constraints:      19038
789.75/791.82	c #Conflicts:     610000 | #Constraints:      20038
789.75/791.82	c #Conflicts:     611000 | #Constraints:      21038
789.75/791.82	c #Conflicts:     612000 | #Constraints:      22038
789.75/791.82	c #Conflicts:     613000 | #Constraints:      23038
924.48/926.99	c #Conflicts:     614000 | #Constraints:      24038
924.48/926.99	c #Conflicts:     615000 | #Constraints:      25038
924.48/926.99	c #Conflicts:     616000 | #Constraints:      26038
924.48/926.99	c #Conflicts:     617000 | #Constraints:      27038
924.48/926.99	c #Conflicts:     618000 | #Constraints:      28038
924.48/926.99	c #Conflicts:     619000 | #Constraints:      29038
924.48/926.99	c #Conflicts:     620000 | #Constraints:      30038
924.48/926.99	c #Conflicts:     621000 | #Constraints:      31038
924.48/926.99	c #Conflicts:     622000 | #Constraints:      32038
924.48/926.99	c #Conflicts:     623000 | #Constraints:      33038
924.48/926.99	c INPROCESSING
924.48/926.99	c GARBAGE COLLECT
924.48/926.99	c #Conflicts:     624000 | #Constraints:      18432
924.48/926.99	c #Conflicts:     625000 | #Constraints:      19432
924.48/926.99	c #Conflicts:     626000 | #Constraints:      20432
924.48/926.99	c #Conflicts:     627000 | #Constraints:      21432
924.48/926.99	c #Conflicts:     628000 | #Constraints:      22432
924.48/926.99	c #Conflicts:     629000 | #Constraints:      23432
924.48/926.99	c #Conflicts:     630000 | #Constraints:      24432
924.48/926.99	c #Conflicts:     631000 | #Constraints:      25432
924.48/926.99	c #Conflicts:     632000 | #Constraints:      26432
924.48/926.99	c #Conflicts:     633000 | #Constraints:      27432
924.48/926.99	c #Conflicts:     634000 | #Constraints:      28432
924.48/926.99	c #Conflicts:     635000 | #Constraints:      29432
924.48/926.99	c #Conflicts:     636000 | #Constraints:      30432
924.48/926.99	c #Conflicts:     637000 | #Constraints:      31432
924.48/926.99	c #Conflicts:     638000 | #Constraints:      32432
924.48/926.99	c #Conflicts:     639000 | #Constraints:      33432
924.48/926.99	c INPROCESSING
924.48/926.99	c GARBAGE COLLECT
924.48/926.99	c #Conflicts:     640000 | #Constraints:      18634
924.48/926.99	c #Conflicts:     641000 | #Constraints:      19634
924.48/926.99	c #Conflicts:     642000 | #Constraints:      20634
924.48/926.99	c #Conflicts:     643000 | #Constraints:      21634
924.48/926.99	c #Conflicts:     644000 | #Constraints:      22634
924.48/926.99	c #Conflicts:     645000 | #Constraints:      23634
924.48/926.99	c #Conflicts:     646000 | #Constraints:      24634
924.48/926.99	c #Conflicts:     647000 | #Constraints:      25634
924.48/926.99	c #Conflicts:     648000 | #Constraints:      26634
924.48/926.99	c #Conflicts:     649000 | #Constraints:      27634
924.48/926.99	c #Conflicts:     650000 | #Constraints:      28634
924.48/926.99	c #Conflicts:     651000 | #Constraints:      29634
924.48/926.99	c #Conflicts:     652000 | #Constraints:      30634
924.48/926.99	c #Conflicts:     653000 | #Constraints:      31634
924.48/926.99	c #Conflicts:     654000 | #Constraints:      32634
924.48/926.99	c #Conflicts:     655000 | #Constraints:      33634
924.48/926.99	c INPROCESSING
924.48/926.99	c GARBAGE COLLECT
924.48/926.99	c #Conflicts:     656000 | #Constraints:      18639
924.48/926.99	c #Conflicts:     657000 | #Constraints:      19639
924.48/926.99	c #Conflicts:     658000 | #Constraints:      20639
924.48/926.99	c #Conflicts:     659000 | #Constraints:      21639
924.48/926.99	c #Conflicts:     660000 | #Constraints:      22639
924.48/926.99	c #Conflicts:     661000 | #Constraints:      23639
924.48/926.99	c #Conflicts:     662000 | #Constraints:      24639
924.48/926.99	c #Conflicts:     663000 | #Constraints:      25639
924.48/926.99	c #Conflicts:     664000 | #Constraints:      26639
924.48/926.99	c #Conflicts:     665000 | #Constraints:      27639
924.48/926.99	c #Conflicts:     666000 | #Constraints:      28639
924.48/926.99	c #Conflicts:     667000 | #Constraints:      29639
924.48/926.99	c #Conflicts:     668000 | #Constraints:      30639
924.48/926.99	c #Conflicts:     669000 | #Constraints:      31639
924.48/926.99	c #Conflicts:     670000 | #Constraints:      32639
924.48/926.99	c #Conflicts:     671000 | #Constraints:      33639
924.48/926.99	c INPROCESSING
924.48/926.99	c GARBAGE COLLECT
924.48/926.99	c #Conflicts:     672000 | #Constraints:      18436
924.48/926.99	c #Conflicts:     673000 | #Constraints:      19436
924.48/926.99	c #Conflicts:     674000 | #Constraints:      20436
924.48/926.99	c #Conflicts:     675000 | #Constraints:      21436
924.48/926.99	c #Conflicts:     676000 | #Constraints:      22436
924.48/926.99	c #Conflicts:     677000 | #Constraints:      23436
924.48/926.99	c #Conflicts:     678000 | #Constraints:      24436
924.48/926.99	c #Conflicts:     679000 | #Constraints:      25436
924.48/926.99	c #Conflicts:     680000 | #Constraints:      26436
924.48/926.99	c #Conflicts:     681000 | #Constraints:      27436
924.48/926.99	c #Conflicts:     682000 | #Constraints:      28436
924.48/926.99	c #Conflicts:     683000 | #Constraints:      29436
924.48/926.99	c #Conflicts:     684000 | #Constraints:      30436
924.48/926.99	c #Conflicts:     685000 | #Constraints:      31436
924.48/926.99	c #Conflicts:     686000 | #Constraints:      32436
924.48/926.99	c #Conflicts:     687000 | #Constraints:      33436
924.48/926.99	c #Conflicts:     688000 | #Constraints:      34436
924.48/926.99	c INPROCESSING
924.48/926.99	c GARBAGE COLLECT
924.48/926.99	c #Conflicts:     689000 | #Constraints:      19033
1065.21/1068.01	c #Conflicts:     690000 | #Constraints:      20033
1065.21/1068.01	c #Conflicts:     691000 | #Constraints:      21033
1065.21/1068.01	c #Conflicts:     692000 | #Constraints:      22033
1065.21/1068.01	c #Conflicts:     693000 | #Constraints:      23033
1065.21/1068.01	c #Conflicts:     694000 | #Constraints:      24033
1065.21/1068.01	c #Conflicts:     695000 | #Constraints:      25033
1065.21/1068.01	c #Conflicts:     696000 | #Constraints:      26033
1065.21/1068.01	c #Conflicts:     697000 | #Constraints:      27033
1065.21/1068.01	c #Conflicts:     698000 | #Constraints:      28033
1065.21/1068.01	c #Conflicts:     699000 | #Constraints:      29033
1065.21/1068.01	c #Conflicts:     700000 | #Constraints:      30033
1065.21/1068.01	c #Conflicts:     701000 | #Constraints:      31033
1065.21/1068.01	c #Conflicts:     702000 | #Constraints:      32033
1065.21/1068.01	c #Conflicts:     703000 | #Constraints:      33033
1065.21/1068.01	c #Conflicts:     704000 | #Constraints:      34033
1065.21/1068.01	c #Conflicts:     705000 | #Constraints:      35033
1065.21/1068.01	c INPROCESSING
1065.21/1068.01	c GARBAGE COLLECT
1065.21/1068.01	c #Conflicts:     706000 | #Constraints:      19435
1065.21/1068.01	c #Conflicts:     707000 | #Constraints:      20435
1065.21/1068.01	c #Conflicts:     708000 | #Constraints:      21435
1065.21/1068.01	c #Conflicts:     709000 | #Constraints:      22435
1065.21/1068.01	c #Conflicts:     710000 | #Constraints:      23435
1065.21/1068.01	c #Conflicts:     711000 | #Constraints:      24435
1065.21/1068.01	c #Conflicts:     712000 | #Constraints:      25435
1065.21/1068.01	c #Conflicts:     713000 | #Constraints:      26435
1065.21/1068.01	c #Conflicts:     714000 | #Constraints:      27435
1065.21/1068.01	c #Conflicts:     715000 | #Constraints:      28435
1065.21/1068.01	c #Conflicts:     716000 | #Constraints:      29435
1065.21/1068.01	c #Conflicts:     717000 | #Constraints:      30435
1065.21/1068.01	c #Conflicts:     718000 | #Constraints:      31435
1065.21/1068.01	c #Conflicts:     719000 | #Constraints:      32435
1065.21/1068.01	c #Conflicts:     720000 | #Constraints:      33435
1065.21/1068.01	c #Conflicts:     721000 | #Constraints:      34435
1065.21/1068.01	c #Conflicts:     722000 | #Constraints:      35435
1065.21/1068.01	c INPROCESSING
1065.21/1068.01	c GARBAGE COLLECT
1065.21/1068.01	c #Conflicts:     723000 | #Constraints:      19643
1065.21/1068.01	c #Conflicts:     724000 | #Constraints:      20643
1065.21/1068.01	c #Conflicts:     725000 | #Constraints:      21643
1065.21/1068.01	c #Conflicts:     726000 | #Constraints:      22643
1065.21/1068.01	c #Conflicts:     727000 | #Constraints:      23643
1065.21/1068.01	c #Conflicts:     728000 | #Constraints:      24643
1065.21/1068.01	c #Conflicts:     729000 | #Constraints:      25643
1065.21/1068.01	c #Conflicts:     730000 | #Constraints:      26643
1065.21/1068.01	c #Conflicts:     731000 | #Constraints:      27643
1065.21/1068.01	c #Conflicts:     732000 | #Constraints:      28643
1065.21/1068.01	c #Conflicts:     733000 | #Constraints:      29643
1065.21/1068.01	c #Conflicts:     734000 | #Constraints:      30643
1065.21/1068.01	c #Conflicts:     735000 | #Constraints:      31643
1065.21/1068.01	c #Conflicts:     736000 | #Constraints:      32643
1065.21/1068.01	c #Conflicts:     737000 | #Constraints:      33643
1065.21/1068.01	c #Conflicts:     738000 | #Constraints:      34643
1065.21/1068.01	c #Conflicts:     739000 | #Constraints:      35643
1065.21/1068.01	c INPROCESSING
1065.21/1068.01	c GARBAGE COLLECT
1065.21/1068.01	c #Conflicts:     740000 | #Constraints:      19641
1065.21/1068.01	c #Conflicts:     741000 | #Constraints:      20641
1065.21/1068.01	c #Conflicts:     742000 | #Constraints:      21641
1065.21/1068.01	c #Conflicts:     743000 | #Constraints:      22641
1065.21/1068.01	c #Conflicts:     744000 | #Constraints:      23641
1065.21/1068.01	c #Conflicts:     745000 | #Constraints:      24641
1065.21/1068.01	c #Conflicts:     746000 | #Constraints:      25641
1065.21/1068.01	c #Conflicts:     747000 | #Constraints:      26641
1065.21/1068.01	c #Conflicts:     748000 | #Constraints:      27641
1065.21/1068.01	c #Conflicts:     749000 | #Constraints:      28641
1065.21/1068.01	c #Conflicts:     750000 | #Constraints:      29641
1065.21/1068.01	c #Conflicts:     751000 | #Constraints:      30641
1065.21/1068.01	c #Conflicts:     752000 | #Constraints:      31641
1065.21/1068.01	c #Conflicts:     753000 | #Constraints:      32641
1065.21/1068.01	c #Conflicts:     754000 | #Constraints:      33641
1065.21/1068.01	c #Conflicts:     755000 | #Constraints:      34641
1065.21/1068.01	c #Conflicts:     756000 | #Constraints:      35641
1065.21/1068.01	c INPROCESSING
1065.21/1068.01	c GARBAGE COLLECT
1065.21/1068.01	c #Conflicts:     757000 | #Constraints:      19455
1065.21/1068.01	c #Conflicts:     758000 | #Constraints:      20455
1065.21/1068.01	c #Conflicts:     759000 | #Constraints:      21455
1065.21/1068.01	c #Conflicts:     760000 | #Constraints:      22455
1065.21/1068.01	c #Conflicts:     761000 | #Constraints:      23455
1065.21/1068.01	c #Conflicts:     762000 | #Constraints:      24455
1065.21/1068.01	c #Conflicts:     763000 | #Constraints:      25455
1065.21/1068.01	c #Conflicts:     764000 | #Constraints:      26455
1065.21/1068.01	c #Conflicts:     765000 | #Constraints:      27455
1218.96/1222.20	c #Conflicts:     766000 | #Constraints:      28455
1218.96/1222.20	c #Conflicts:     767000 | #Constraints:      29455
1218.96/1222.20	c #Conflicts:     768000 | #Constraints:      30455
1218.96/1222.20	c #Conflicts:     769000 | #Constraints:      31455
1218.96/1222.20	c #Conflicts:     770000 | #Constraints:      32455
1218.96/1222.20	c #Conflicts:     771000 | #Constraints:      33455
1218.96/1222.20	c #Conflicts:     772000 | #Constraints:      34455
1218.96/1222.20	c #Conflicts:     773000 | #Constraints:      35455
1218.96/1222.20	c #Conflicts:     774000 | #Constraints:      36455
1218.96/1222.20	c INPROCESSING
1218.96/1222.20	c GARBAGE COLLECT
1218.96/1222.20	c #Conflicts:     775000 | #Constraints:      20046
1218.96/1222.20	c #Conflicts:     776000 | #Constraints:      21046
1218.96/1222.20	c #Conflicts:     777000 | #Constraints:      22046
1218.96/1222.20	c #Conflicts:     778000 | #Constraints:      23046
1218.96/1222.20	c #Conflicts:     779000 | #Constraints:      24046
1218.96/1222.20	c #Conflicts:     780000 | #Constraints:      25046
1218.96/1222.20	c #Conflicts:     781000 | #Constraints:      26046
1218.96/1222.20	c #Conflicts:     782000 | #Constraints:      27046
1218.96/1222.20	c #Conflicts:     783000 | #Constraints:      28046
1218.96/1222.20	c #Conflicts:     784000 | #Constraints:      29046
1218.96/1222.20	c #Conflicts:     785000 | #Constraints:      30046
1218.96/1222.20	c #Conflicts:     786000 | #Constraints:      31046
1218.96/1222.20	c #Conflicts:     787000 | #Constraints:      32046
1218.96/1222.20	c #Conflicts:     788000 | #Constraints:      33046
1218.96/1222.20	c #Conflicts:     789000 | #Constraints:      34046
1218.96/1222.20	c #Conflicts:     790000 | #Constraints:      35046
1218.96/1222.20	c #Conflicts:     791000 | #Constraints:      36046
1218.96/1222.20	c #Conflicts:     792000 | #Constraints:      37046
1218.96/1222.20	c INPROCESSING
1218.96/1222.20	c GARBAGE COLLECT
1218.96/1222.20	c #Conflicts:     793000 | #Constraints:      20452
1218.96/1222.20	c #Conflicts:     794000 | #Constraints:      21452
1218.96/1222.20	c #Conflicts:     795000 | #Constraints:      22452
1218.96/1222.20	c #Conflicts:     796000 | #Constraints:      23452
1218.96/1222.20	c #Conflicts:     797000 | #Constraints:      24452
1218.96/1222.20	c #Conflicts:     798000 | #Constraints:      25452
1218.96/1222.20	c #Conflicts:     799000 | #Constraints:      26452
1218.96/1222.20	c #Conflicts:     800000 | #Constraints:      27452
1218.96/1222.20	c #Conflicts:     801000 | #Constraints:      28452
1218.96/1222.20	c #Conflicts:     802000 | #Constraints:      29452
1218.96/1222.20	c #Conflicts:     803000 | #Constraints:      30452
1218.96/1222.20	c #Conflicts:     804000 | #Constraints:      31452
1218.96/1222.20	c #Conflicts:     805000 | #Constraints:      32452
1218.96/1222.20	c #Conflicts:     806000 | #Constraints:      33452
1218.96/1222.20	c #Conflicts:     807000 | #Constraints:      34452
1218.96/1222.20	c #Conflicts:     808000 | #Constraints:      35452
1218.96/1222.20	c #Conflicts:     809000 | #Constraints:      36452
1218.96/1222.20	c #Conflicts:     810000 | #Constraints:      37452
1218.96/1222.20	c INPROCESSING
1218.96/1222.20	c GARBAGE COLLECT
1218.96/1222.20	c #Conflicts:     811000 | #Constraints:      20652
1218.96/1222.20	c #Conflicts:     812000 | #Constraints:      21652
1218.96/1222.20	c #Conflicts:     813000 | #Constraints:      22652
1218.96/1222.20	c #Conflicts:     814000 | #Constraints:      23652
1218.96/1222.20	c #Conflicts:     815000 | #Constraints:      24652
1218.96/1222.20	c #Conflicts:     816000 | #Constraints:      25652
1218.96/1222.20	c #Conflicts:     817000 | #Constraints:      26652
1218.96/1222.20	c #Conflicts:     818000 | #Constraints:      27652
1218.96/1222.20	c #Conflicts:     819000 | #Constraints:      28652
1218.96/1222.20	c #Conflicts:     820000 | #Constraints:      29652
1218.96/1222.20	c #Conflicts:     821000 | #Constraints:      30652
1218.96/1222.20	c #Conflicts:     822000 | #Constraints:      31652
1218.96/1222.20	c #Conflicts:     823000 | #Constraints:      32652
1218.96/1222.20	c #Conflicts:     824000 | #Constraints:      33652
1218.96/1222.20	c #Conflicts:     825000 | #Constraints:      34652
1218.96/1222.20	c #Conflicts:     826000 | #Constraints:      35652
1218.96/1222.20	c #Conflicts:     827000 | #Constraints:      36652
1218.96/1222.20	c #Conflicts:     828000 | #Constraints:      37652
1218.96/1222.20	c INPROCESSING
1218.96/1222.20	c GARBAGE COLLECT
1218.96/1222.20	c #Conflicts:     829000 | #Constraints:      20645
1218.96/1222.20	c #Conflicts:     830000 | #Constraints:      21645
1218.96/1222.20	c #Conflicts:     831000 | #Constraints:      22645
1218.96/1222.20	c #Conflicts:     832000 | #Constraints:      23645
1218.96/1222.20	c #Conflicts:     833000 | #Constraints:      24645
1218.96/1222.20	c #Conflicts:     834000 | #Constraints:      25645
1218.96/1222.20	c #Conflicts:     835000 | #Constraints:      26645
1218.96/1222.20	c #Conflicts:     836000 | #Constraints:      27645
1218.96/1222.20	c #Conflicts:     837000 | #Constraints:      28645
1218.96/1222.20	c #Conflicts:     838000 | #Constraints:      29645
1218.96/1222.20	c #Conflicts:     839000 | #Constraints:      30645
1218.96/1222.20	c #Conflicts:     840000 | #Constraints:      31645
1218.96/1222.20	c #Conflicts:     841000 | #Constraints:      32645
1390.58/1394.30	c #Conflicts:     842000 | #Constraints:      33645
1390.58/1394.30	c #Conflicts:     843000 | #Constraints:      34645
1390.58/1394.30	c #Conflicts:     844000 | #Constraints:      35645
1390.58/1394.30	c #Conflicts:     845000 | #Constraints:      36645
1390.58/1394.30	c #Conflicts:     846000 | #Constraints:      37645
1390.58/1394.30	c INPROCESSING
1390.58/1394.30	c GARBAGE COLLECT
1390.58/1394.30	c #Conflicts:     847000 | #Constraints:      20443
1390.58/1394.30	c #Conflicts:     848000 | #Constraints:      21443
1390.58/1394.30	c #Conflicts:     849000 | #Constraints:      22443
1390.58/1394.30	c #Conflicts:     850000 | #Constraints:      23443
1390.58/1394.30	c #Conflicts:     851000 | #Constraints:      24443
1390.58/1394.30	c #Conflicts:     852000 | #Constraints:      25443
1390.58/1394.30	c #Conflicts:     853000 | #Constraints:      26443
1390.58/1394.30	c #Conflicts:     854000 | #Constraints:      27443
1390.58/1394.30	c #Conflicts:     855000 | #Constraints:      28443
1390.58/1394.30	c #Conflicts:     856000 | #Constraints:      29443
1390.58/1394.30	c #Conflicts:     857000 | #Constraints:      30443
1390.58/1394.30	c #Conflicts:     858000 | #Constraints:      31443
1390.58/1394.30	c #Conflicts:     859000 | #Constraints:      32443
1390.58/1394.30	c #Conflicts:     860000 | #Constraints:      33443
1390.58/1394.30	c #Conflicts:     861000 | #Constraints:      34443
1390.58/1394.30	c #Conflicts:     862000 | #Constraints:      35443
1390.58/1394.30	c #Conflicts:     863000 | #Constraints:      36443
1390.58/1394.30	c #Conflicts:     864000 | #Constraints:      37443
1390.58/1394.30	c #Conflicts:     865000 | #Constraints:      38443
1390.58/1394.30	c INPROCESSING
1390.58/1394.30	c GARBAGE COLLECT
1390.58/1394.30	c #Conflicts:     866000 | #Constraints:      21040
1390.58/1394.30	c #Conflicts:     867000 | #Constraints:      22040
1390.58/1394.30	c #Conflicts:     868000 | #Constraints:      23040
1390.58/1394.30	c #Conflicts:     869000 | #Constraints:      24040
1390.58/1394.30	c #Conflicts:     870000 | #Constraints:      25040
1390.58/1394.30	c #Conflicts:     871000 | #Constraints:      26040
1390.58/1394.30	c #Conflicts:     872000 | #Constraints:      27040
1390.58/1394.30	c #Conflicts:     873000 | #Constraints:      28040
1390.58/1394.30	c #Conflicts:     874000 | #Constraints:      29040
1390.58/1394.30	c #Conflicts:     875000 | #Constraints:      30040
1390.58/1394.30	c #Conflicts:     876000 | #Constraints:      31040
1390.58/1394.30	c #Conflicts:     877000 | #Constraints:      32040
1390.58/1394.30	c #Conflicts:     878000 | #Constraints:      33040
1390.58/1394.30	c #Conflicts:     879000 | #Constraints:      34040
1390.58/1394.30	c #Conflicts:     880000 | #Constraints:      35040
1390.58/1394.30	c #Conflicts:     881000 | #Constraints:      36040
1390.58/1394.30	c #Conflicts:     882000 | #Constraints:      37040
1390.58/1394.30	c #Conflicts:     883000 | #Constraints:      38040
1390.58/1394.30	c #Conflicts:     884000 | #Constraints:      39040
1390.58/1394.30	c INPROCESSING
1390.58/1394.30	c GARBAGE COLLECT
1390.58/1394.30	c #Conflicts:     885000 | #Constraints:      21444
1390.58/1394.30	c #Conflicts:     886000 | #Constraints:      22444
1390.58/1394.30	c #Conflicts:     887000 | #Constraints:      23444
1390.58/1394.30	c #Conflicts:     888000 | #Constraints:      24444
1390.58/1394.30	c #Conflicts:     889000 | #Constraints:      25444
1390.58/1394.30	c #Conflicts:     890000 | #Constraints:      26444
1390.58/1394.30	c #Conflicts:     891000 | #Constraints:      27444
1390.58/1394.30	c #Conflicts:     892000 | #Constraints:      28444
1390.58/1394.30	c #Conflicts:     893000 | #Constraints:      29444
1390.58/1394.30	c #Conflicts:     894000 | #Constraints:      30444
1390.58/1394.30	c #Conflicts:     895000 | #Constraints:      31444
1390.58/1394.30	c #Conflicts:     896000 | #Constraints:      32444
1390.58/1394.30	c #Conflicts:     897000 | #Constraints:      33444
1390.58/1394.30	c #Conflicts:     898000 | #Constraints:      34444
1390.58/1394.30	c #Conflicts:     899000 | #Constraints:      35444
1390.58/1394.30	c #Conflicts:     900000 | #Constraints:      36444
1390.58/1394.30	c #Conflicts:     901000 | #Constraints:      37444
1390.58/1394.30	c #Conflicts:     902000 | #Constraints:      38444
1390.58/1394.30	c #Conflicts:     903000 | #Constraints:      39444
1390.58/1394.30	c INPROCESSING
1390.58/1394.30	c GARBAGE COLLECT
1390.58/1394.30	c #Conflicts:     904000 | #Constraints:      21665
1390.58/1394.30	c #Conflicts:     905000 | #Constraints:      22665
1390.58/1394.30	c #Conflicts:     906000 | #Constraints:      23665
1390.58/1394.30	c #Conflicts:     907000 | #Constraints:      24665
1390.58/1394.30	c #Conflicts:     908000 | #Constraints:      25665
1390.58/1394.30	c #Conflicts:     909000 | #Constraints:      26665
1390.58/1394.30	c #Conflicts:     910000 | #Constraints:      27665
1390.58/1394.30	c #Conflicts:     911000 | #Constraints:      28665
1390.58/1394.30	c #Conflicts:     912000 | #Constraints:      29665
1390.58/1394.30	c #Conflicts:     913000 | #Constraints:      30665
1390.58/1394.30	c #Conflicts:     914000 | #Constraints:      31665
1390.58/1394.30	c #Conflicts:     915000 | #Constraints:      32665
1390.58/1394.30	c #Conflicts:     916000 | #Constraints:      33665
1390.58/1394.30	c #Conflicts:     917000 | #Constraints:      34665
1573.37/1577.67	c #Conflicts:     918000 | #Constraints:      35665
1573.37/1577.67	c #Conflicts:     919000 | #Constraints:      36665
1573.37/1577.67	c #Conflicts:     920000 | #Constraints:      37665
1573.37/1577.67	c #Conflicts:     921000 | #Constraints:      38665
1573.37/1577.67	c #Conflicts:     922000 | #Constraints:      39665
1573.37/1577.67	c INPROCESSING
1573.37/1577.67	c GARBAGE COLLECT
1573.37/1577.67	c #Conflicts:     923000 | #Constraints:      21648
1573.37/1577.67	c #Conflicts:     924000 | #Constraints:      22648
1573.37/1577.67	c #Conflicts:     925000 | #Constraints:      23648
1573.37/1577.67	c #Conflicts:     926000 | #Constraints:      24648
1573.37/1577.67	c #Conflicts:     927000 | #Constraints:      25648
1573.37/1577.67	c #Conflicts:     928000 | #Constraints:      26648
1573.37/1577.67	c #Conflicts:     929000 | #Constraints:      27648
1573.37/1577.67	c #Conflicts:     930000 | #Constraints:      28648
1573.37/1577.67	c #Conflicts:     931000 | #Constraints:      29648
1573.37/1577.67	c #Conflicts:     932000 | #Constraints:      30648
1573.37/1577.67	c #Conflicts:     933000 | #Constraints:      31648
1573.37/1577.67	c #Conflicts:     934000 | #Constraints:      32648
1573.37/1577.67	c #Conflicts:     935000 | #Constraints:      33648
1573.37/1577.67	c #Conflicts:     936000 | #Constraints:      34648
1573.37/1577.67	c #Conflicts:     937000 | #Constraints:      35648
1573.37/1577.67	c #Conflicts:     938000 | #Constraints:      36648
1573.37/1577.67	c #Conflicts:     939000 | #Constraints:      37648
1573.37/1577.67	c #Conflicts:     940000 | #Constraints:      38648
1573.37/1577.67	c #Conflicts:     941000 | #Constraints:      39648
1573.37/1577.67	c INPROCESSING
1573.37/1577.67	c GARBAGE COLLECT
1573.37/1577.67	c #Conflicts:     942000 | #Constraints:      21450
1573.37/1577.67	c #Conflicts:     943000 | #Constraints:      22450
1573.37/1577.67	c #Conflicts:     944000 | #Constraints:      23450
1573.37/1577.67	c #Conflicts:     945000 | #Constraints:      24450
1573.37/1577.67	c #Conflicts:     946000 | #Constraints:      25450
1573.37/1577.67	c #Conflicts:     947000 | #Constraints:      26450
1573.37/1577.67	c #Conflicts:     948000 | #Constraints:      27450
1573.37/1577.67	c #Conflicts:     949000 | #Constraints:      28450
1573.37/1577.67	c #Conflicts:     950000 | #Constraints:      29450
1573.37/1577.67	c #Conflicts:     951000 | #Constraints:      30450
1573.37/1577.67	c #Conflicts:     952000 | #Constraints:      31450
1573.37/1577.67	c #Conflicts:     953000 | #Constraints:      32450
1573.37/1577.67	c #Conflicts:     954000 | #Constraints:      33450
1573.37/1577.67	c #Conflicts:     955000 | #Constraints:      34450
1573.37/1577.67	c #Conflicts:     956000 | #Constraints:      35450
1573.37/1577.67	c #Conflicts:     957000 | #Constraints:      36450
1573.37/1577.67	c #Conflicts:     958000 | #Constraints:      37450
1573.37/1577.67	c #Conflicts:     959000 | #Constraints:      38450
1573.37/1577.67	c #Conflicts:     960000 | #Constraints:      39450
1573.37/1577.67	c #Conflicts:     961000 | #Constraints:      40450
1573.37/1577.67	c INPROCESSING
1573.37/1577.67	c GARBAGE COLLECT
1573.37/1577.67	c #Conflicts:     962000 | #Constraints:      22050
1573.37/1577.67	c #Conflicts:     963000 | #Constraints:      23050
1573.37/1577.67	c #Conflicts:     964000 | #Constraints:      24050
1573.37/1577.67	c #Conflicts:     965000 | #Constraints:      25050
1573.37/1577.67	c #Conflicts:     966000 | #Constraints:      26050
1573.37/1577.67	c #Conflicts:     967000 | #Constraints:      27050
1573.37/1577.67	c #Conflicts:     968000 | #Constraints:      28050
1573.37/1577.67	c #Conflicts:     969000 | #Constraints:      29050
1573.37/1577.67	c #Conflicts:     970000 | #Constraints:      30050
1573.37/1577.67	c #Conflicts:     971000 | #Constraints:      31050
1573.37/1577.67	c #Conflicts:     972000 | #Constraints:      32050
1573.37/1577.67	c #Conflicts:     973000 | #Constraints:      33050
1573.37/1577.67	c #Conflicts:     974000 | #Constraints:      34050
1573.37/1577.67	c #Conflicts:     975000 | #Constraints:      35050
1573.37/1577.67	c #Conflicts:     976000 | #Constraints:      36050
1573.37/1577.67	c #Conflicts:     977000 | #Constraints:      37050
1573.37/1577.67	c #Conflicts:     978000 | #Constraints:      38050
1573.37/1577.67	c #Conflicts:     979000 | #Constraints:      39050
1573.37/1577.67	c #Conflicts:     980000 | #Constraints:      40050
1573.37/1577.67	c #Conflicts:     981000 | #Constraints:      41050
1573.37/1577.67	c INPROCESSING
1573.37/1577.67	c GARBAGE COLLECT
1573.37/1577.67	c #Conflicts:     982000 | #Constraints:      22441
1573.37/1577.67	c #Conflicts:     983000 | #Constraints:      23441
1573.37/1577.67	c #Conflicts:     984000 | #Constraints:      24441
1573.37/1577.67	c #Conflicts:     985000 | #Constraints:      25441
1573.37/1577.67	c #Conflicts:     986000 | #Constraints:      26441
1573.37/1577.67	c #Conflicts:     987000 | #Constraints:      27441
1573.37/1577.67	c #Conflicts:     988000 | #Constraints:      28441
1573.37/1577.67	c #Conflicts:     989000 | #Constraints:      29441
1573.37/1577.67	c #Conflicts:     990000 | #Constraints:      30441
1573.37/1577.67	c #Conflicts:     991000 | #Constraints:      31441
1573.37/1577.67	c #Conflicts:     992000 | #Constraints:      32441
1573.37/1577.67	c #Conflicts:     993000 | #Constraints:      33441
1775.29/1780.18	c #Conflicts:     994000 | #Constraints:      34441
1775.29/1780.18	c #Conflicts:     995000 | #Constraints:      35441
1775.29/1780.18	c #Conflicts:     996000 | #Constraints:      36441
1775.29/1780.18	c #Conflicts:     997000 | #Constraints:      37441
1775.29/1780.18	c #Conflicts:     998000 | #Constraints:      38441
1775.29/1780.18	c #Conflicts:     999000 | #Constraints:      39441
1775.29/1780.18	c #Conflicts:    1000000 | #Constraints:      40441
1775.29/1780.18	c #Conflicts:    1001000 | #Constraints:      41441
1775.29/1780.18	c INPROCESSING
1775.29/1780.18	c GARBAGE COLLECT
1775.29/1780.18	c #Conflicts:    1002000 | #Constraints:      22647
1775.29/1780.18	c #Conflicts:    1003000 | #Constraints:      23647
1775.29/1780.18	c #Conflicts:    1004000 | #Constraints:      24647
1775.29/1780.18	c #Conflicts:    1005000 | #Constraints:      25647
1775.29/1780.18	c #Conflicts:    1006000 | #Constraints:      26647
1775.29/1780.18	c #Conflicts:    1007000 | #Constraints:      27647
1775.29/1780.18	c #Conflicts:    1008000 | #Constraints:      28647
1775.29/1780.18	c #Conflicts:    1009000 | #Constraints:      29647
1775.29/1780.18	c #Conflicts:    1010000 | #Constraints:      30647
1775.29/1780.18	c #Conflicts:    1011000 | #Constraints:      31647
1775.29/1780.18	c #Conflicts:    1012000 | #Constraints:      32647
1775.29/1780.18	c #Conflicts:    1013000 | #Constraints:      33647
1775.29/1780.18	c #Conflicts:    1014000 | #Constraints:      34647
1775.29/1780.18	c #Conflicts:    1015000 | #Constraints:      35647
1775.29/1780.18	c #Conflicts:    1016000 | #Constraints:      36647
1775.29/1780.18	c #Conflicts:    1017000 | #Constraints:      37647
1775.29/1780.18	c #Conflicts:    1018000 | #Constraints:      38647
1775.29/1780.18	c #Conflicts:    1019000 | #Constraints:      39647
1775.29/1780.18	c #Conflicts:    1020000 | #Constraints:      40647
1775.29/1780.18	c #Conflicts:    1021000 | #Constraints:      41647
1775.29/1780.18	c INPROCESSING
1775.29/1780.18	c GARBAGE COLLECT
1775.29/1780.18	c #Conflicts:    1022000 | #Constraints:      22653
1775.29/1780.18	c #Conflicts:    1023000 | #Constraints:      23653
1775.29/1780.18	c #Conflicts:    1024000 | #Constraints:      24653
1775.29/1780.18	c #Conflicts:    1025000 | #Constraints:      25653
1775.29/1780.18	c #Conflicts:    1026000 | #Constraints:      26653
1775.29/1780.18	c #Conflicts:    1027000 | #Constraints:      27653
1775.29/1780.18	c #Conflicts:    1028000 | #Constraints:      28653
1775.29/1780.18	c #Conflicts:    1029000 | #Constraints:      29653
1775.29/1780.18	c #Conflicts:    1030000 | #Constraints:      30653
1775.29/1780.18	c #Conflicts:    1031000 | #Constraints:      31653
1775.29/1780.18	c #Conflicts:    1032000 | #Constraints:      32653
1775.29/1780.18	c #Conflicts:    1033000 | #Constraints:      33653
1775.29/1780.18	c #Conflicts:    1034000 | #Constraints:      34653
1775.29/1780.18	c #Conflicts:    1035000 | #Constraints:      35653
1775.29/1780.18	c #Conflicts:    1036000 | #Constraints:      36653
1775.29/1780.18	c #Conflicts:    1037000 | #Constraints:      37653
1775.29/1780.18	c #Conflicts:    1038000 | #Constraints:      38653
1775.29/1780.18	c #Conflicts:    1039000 | #Constraints:      39653
1775.29/1780.18	c #Conflicts:    1040000 | #Constraints:      40653
1775.29/1780.18	c #Conflicts:    1041000 | #Constraints:      41653
1775.29/1780.18	c INPROCESSING
1775.29/1780.18	c GARBAGE COLLECT
1775.29/1780.18	c #Conflicts:    1042000 | #Constraints:      22457
1775.29/1780.18	c #Conflicts:    1043000 | #Constraints:      23457
1775.29/1780.18	c #Conflicts:    1044000 | #Constraints:      24457
1775.29/1780.18	c #Conflicts:    1045000 | #Constraints:      25457
1775.29/1780.18	c #Conflicts:    1046000 | #Constraints:      26457
1775.29/1780.18	c #Conflicts:    1047000 | #Constraints:      27457
1775.29/1780.18	c #Conflicts:    1048000 | #Constraints:      28457
1775.29/1780.18	c #Conflicts:    1049000 | #Constraints:      29457
1775.29/1780.18	c #Conflicts:    1050000 | #Constraints:      30457
1775.29/1780.18	c #Conflicts:    1051000 | #Constraints:      31457
1775.29/1780.18	c #Conflicts:    1052000 | #Constraints:      32457
1775.29/1780.18	c #Conflicts:    1053000 | #Constraints:      33457
1775.29/1780.18	c #Conflicts:    1054000 | #Constraints:      34457
1775.29/1780.18	c #Conflicts:    1055000 | #Constraints:      35457
1775.29/1780.18	c #Conflicts:    1056000 | #Constraints:      36457
1775.29/1780.18	c #Conflicts:    1057000 | #Constraints:      37457
1775.29/1780.18	c #Conflicts:    1058000 | #Constraints:      38457
1775.29/1780.18	c #Conflicts:    1059000 | #Constraints:      39457
1775.29/1780.18	c #Conflicts:    1060000 | #Constraints:      40457
1775.29/1780.18	c #Conflicts:    1061000 | #Constraints:      41457
1775.29/1780.18	c #Conflicts:    1062000 | #Constraints:      42457
1775.29/1780.18	c INPROCESSING
1775.29/1780.18	c GARBAGE COLLECT
1775.29/1780.18	c #Conflicts:    1063000 | #Constraints:      23057
1775.29/1780.18	c #Conflicts:    1064000 | #Constraints:      24057
1775.29/1780.18	c #Conflicts:    1065000 | #Constraints:      25057
1775.29/1780.18	c #Conflicts:    1066000 | #Constraints:      26057
1775.29/1780.18	c #Conflicts:    1067000 | #Constraints:      27057
1775.29/1780.18	c #Conflicts:    1068000 | #Constraints:      28057
1775.29/1780.18	c #Conflicts:    1069000 | #Constraints:      29057
1775.29/1780.18	c #Conflicts:    1070000 | #Constraints:      30057
2003.31/2008.85	c #Conflicts:    1071000 | #Constraints:      31057
2003.31/2008.85	c #Conflicts:    1072000 | #Constraints:      32057
2003.31/2008.85	c #Conflicts:    1073000 | #Constraints:      33057
2003.31/2008.85	c #Conflicts:    1074000 | #Constraints:      34057
2003.31/2008.85	c #Conflicts:    1075000 | #Constraints:      35057
2003.31/2008.85	c #Conflicts:    1076000 | #Constraints:      36057
2003.31/2008.85	c #Conflicts:    1077000 | #Constraints:      37057
2003.31/2008.85	c #Conflicts:    1078000 | #Constraints:      38057
2003.31/2008.85	c #Conflicts:    1079000 | #Constraints:      39057
2003.31/2008.85	c #Conflicts:    1080000 | #Constraints:      40057
2003.31/2008.85	c #Conflicts:    1081000 | #Constraints:      41057
2003.31/2008.85	c #Conflicts:    1082000 | #Constraints:      42057
2003.31/2008.85	c #Conflicts:    1083000 | #Constraints:      43057
2003.31/2008.85	c INPROCESSING
2003.31/2008.85	c GARBAGE COLLECT
2003.31/2008.85	c #Conflicts:    1084000 | #Constraints:      23458
2003.31/2008.85	c #Conflicts:    1085000 | #Constraints:      24458
2003.31/2008.85	c #Conflicts:    1086000 | #Constraints:      25458
2003.31/2008.85	c #Conflicts:    1087000 | #Constraints:      26458
2003.31/2008.85	c #Conflicts:    1088000 | #Constraints:      27458
2003.31/2008.85	c #Conflicts:    1089000 | #Constraints:      28458
2003.31/2008.85	c #Conflicts:    1090000 | #Constraints:      29458
2003.31/2008.85	c #Conflicts:    1091000 | #Constraints:      30458
2003.31/2008.85	c #Conflicts:    1092000 | #Constraints:      31458
2003.31/2008.85	c #Conflicts:    1093000 | #Constraints:      32458
2003.31/2008.85	c #Conflicts:    1094000 | #Constraints:      33458
2003.31/2008.85	c #Conflicts:    1095000 | #Constraints:      34458
2003.31/2008.85	c #Conflicts:    1096000 | #Constraints:      35458
2003.31/2008.85	c #Conflicts:    1097000 | #Constraints:      36458
2003.31/2008.85	c #Conflicts:    1098000 | #Constraints:      37458
2003.31/2008.85	c #Conflicts:    1099000 | #Constraints:      38458
2003.31/2008.85	c #Conflicts:    1100000 | #Constraints:      39458
2003.31/2008.85	c #Conflicts:    1101000 | #Constraints:      40458
2003.31/2008.85	c #Conflicts:    1102000 | #Constraints:      41458
2003.31/2008.85	c #Conflicts:    1103000 | #Constraints:      42458
2003.31/2008.85	c #Conflicts:    1104000 | #Constraints:      43458
2003.31/2008.85	c INPROCESSING
2003.31/2008.85	c GARBAGE COLLECT
2003.31/2008.85	c #Conflicts:    1105000 | #Constraints:      23658
2003.31/2008.85	c #Conflicts:    1106000 | #Constraints:      24658
2003.31/2008.85	c #Conflicts:    1107000 | #Constraints:      25658
2003.31/2008.85	c #Conflicts:    1108000 | #Constraints:      26658
2003.31/2008.85	c #Conflicts:    1109000 | #Constraints:      27658
2003.31/2008.85	c #Conflicts:    1110000 | #Constraints:      28658
2003.31/2008.85	c #Conflicts:    1111000 | #Constraints:      29658
2003.31/2008.85	c #Conflicts:    1112000 | #Constraints:      30658
2003.31/2008.85	c #Conflicts:    1113000 | #Constraints:      31658
2003.31/2008.85	c #Conflicts:    1114000 | #Constraints:      32658
2003.31/2008.85	c #Conflicts:    1115000 | #Constraints:      33658
2003.31/2008.85	c #Conflicts:    1116000 | #Constraints:      34658
2003.31/2008.85	c #Conflicts:    1117000 | #Constraints:      35658
2003.31/2008.85	c #Conflicts:    1118000 | #Constraints:      36658
2003.31/2008.85	c #Conflicts:    1119000 | #Constraints:      37658
2003.31/2008.85	c #Conflicts:    1120000 | #Constraints:      38658
2003.31/2008.85	c #Conflicts:    1121000 | #Constraints:      39658
2003.31/2008.85	c #Conflicts:    1122000 | #Constraints:      40658
2003.31/2008.85	c #Conflicts:    1123000 | #Constraints:      41658
2003.31/2008.85	c #Conflicts:    1124000 | #Constraints:      42658
2003.31/2008.85	c #Conflicts:    1125000 | #Constraints:      43658
2003.31/2008.85	c INPROCESSING
2003.31/2008.85	c GARBAGE COLLECT
2003.31/2008.85	c #Conflicts:    1126000 | #Constraints:      23659
2003.31/2008.85	c #Conflicts:    1127000 | #Constraints:      24659
2003.31/2008.85	c #Conflicts:    1128000 | #Constraints:      25659
2003.31/2008.85	c #Conflicts:    1129000 | #Constraints:      26659
2003.31/2008.85	c #Conflicts:    1130000 | #Constraints:      27659
2003.31/2008.85	c #Conflicts:    1131000 | #Constraints:      28659
2003.31/2008.85	c #Conflicts:    1132000 | #Constraints:      29659
2003.31/2008.85	c #Conflicts:    1133000 | #Constraints:      30659
2003.31/2008.85	c #Conflicts:    1134000 | #Constraints:      31659
2003.31/2008.85	c #Conflicts:    1135000 | #Constraints:      32659
2003.31/2008.85	c #Conflicts:    1136000 | #Constraints:      33659
2003.31/2008.85	c #Conflicts:    1137000 | #Constraints:      34659
2003.31/2008.85	c #Conflicts:    1138000 | #Constraints:      35659
2003.31/2008.85	c #Conflicts:    1139000 | #Constraints:      36659
2003.31/2008.85	c #Conflicts:    1140000 | #Constraints:      37659
2003.31/2008.85	c #Conflicts:    1141000 | #Constraints:      38659
2003.31/2008.85	c #Conflicts:    1142000 | #Constraints:      39659
2003.31/2008.85	c #Conflicts:    1143000 | #Constraints:      40659
2003.31/2008.85	c #Conflicts:    1144000 | #Constraints:      41659
2003.31/2008.85	c #Conflicts:    1145000 | #Constraints:      42659
2003.31/2008.85	c #Conflicts:    1146000 | #Constraints:      43659
2003.31/2008.85	c INPROCESSING
2226.05/2232.16	c GARBAGE COLLECT
2226.05/2232.16	c #Conflicts:    1147000 | #Constraints:      23453
2226.05/2232.16	c #Conflicts:    1148000 | #Constraints:      24453
2226.05/2232.16	c #Conflicts:    1149000 | #Constraints:      25453
2226.05/2232.16	c #Conflicts:    1150000 | #Constraints:      26453
2226.05/2232.16	c #Conflicts:    1151000 | #Constraints:      27453
2226.05/2232.16	c #Conflicts:    1152000 | #Constraints:      28453
2226.05/2232.16	c #Conflicts:    1153000 | #Constraints:      29453
2226.05/2232.16	c #Conflicts:    1154000 | #Constraints:      30453
2226.05/2232.16	c #Conflicts:    1155000 | #Constraints:      31453
2226.05/2232.16	c #Conflicts:    1156000 | #Constraints:      32453
2226.05/2232.16	c #Conflicts:    1157000 | #Constraints:      33453
2226.05/2232.16	c #Conflicts:    1158000 | #Constraints:      34453
2226.05/2232.16	c #Conflicts:    1159000 | #Constraints:      35453
2226.05/2232.16	c #Conflicts:    1160000 | #Constraints:      36453
2226.05/2232.16	c #Conflicts:    1161000 | #Constraints:      37453
2226.05/2232.16	c #Conflicts:    1162000 | #Constraints:      38453
2226.05/2232.16	c #Conflicts:    1163000 | #Constraints:      39453
2226.05/2232.16	c #Conflicts:    1164000 | #Constraints:      40453
2226.05/2232.16	c #Conflicts:    1165000 | #Constraints:      41453
2226.05/2232.16	c #Conflicts:    1166000 | #Constraints:      42453
2226.05/2232.16	c #Conflicts:    1167000 | #Constraints:      43453
2226.05/2232.16	c #Conflicts:    1168000 | #Constraints:      44453
2226.05/2232.16	c INPROCESSING
2226.05/2232.16	c GARBAGE COLLECT
2226.05/2232.16	c #Conflicts:    1169000 | #Constraints:      24055
2226.05/2232.16	c #Conflicts:    1170000 | #Constraints:      25055
2226.05/2232.16	c #Conflicts:    1171000 | #Constraints:      26055
2226.05/2232.16	c #Conflicts:    1172000 | #Constraints:      27055
2226.05/2232.16	c #Conflicts:    1173000 | #Constraints:      28055
2226.05/2232.16	c #Conflicts:    1174000 | #Constraints:      29055
2226.05/2232.16	c #Conflicts:    1175000 | #Constraints:      30055
2226.05/2232.16	c #Conflicts:    1176000 | #Constraints:      31055
2226.05/2232.16	c #Conflicts:    1177000 | #Constraints:      32055
2226.05/2232.16	c #Conflicts:    1178000 | #Constraints:      33055
2226.05/2232.16	c #Conflicts:    1179000 | #Constraints:      34055
2226.05/2232.16	c #Conflicts:    1180000 | #Constraints:      35055
2226.05/2232.16	c #Conflicts:    1181000 | #Constraints:      36055
2226.05/2232.16	c #Conflicts:    1182000 | #Constraints:      37055
2226.05/2232.16	c #Conflicts:    1183000 | #Constraints:      38055
2226.05/2232.16	c #Conflicts:    1184000 | #Constraints:      39055
2226.05/2232.16	c #Conflicts:    1185000 | #Constraints:      40055
2226.05/2232.16	c #Conflicts:    1186000 | #Constraints:      41055
2226.05/2232.16	c #Conflicts:    1187000 | #Constraints:      42055
2226.05/2232.16	c #Conflicts:    1188000 | #Constraints:      43055
2226.05/2232.16	c #Conflicts:    1189000 | #Constraints:      44055
2226.05/2232.16	c #Conflicts:    1190000 | #Constraints:      45055
2226.05/2232.16	c INPROCESSING
2226.05/2232.16	c GARBAGE COLLECT
2226.05/2232.16	c #Conflicts:    1191000 | #Constraints:      24457
2226.05/2232.16	c #Conflicts:    1192000 | #Constraints:      25457
2226.05/2232.16	c #Conflicts:    1193000 | #Constraints:      26457
2226.05/2232.16	c #Conflicts:    1194000 | #Constraints:      27457
2226.05/2232.16	c #Conflicts:    1195000 | #Constraints:      28457
2226.05/2232.16	c #Conflicts:    1196000 | #Constraints:      29457
2226.05/2232.16	c #Conflicts:    1197000 | #Constraints:      30457
2226.05/2232.16	c #Conflicts:    1198000 | #Constraints:      31457
2226.05/2232.16	c #Conflicts:    1199000 | #Constraints:      32457
2226.05/2232.16	c #Conflicts:    1200000 | #Constraints:      33457
2226.05/2232.16	c #Conflicts:    1201000 | #Constraints:      34457
2226.05/2232.16	c #Conflicts:    1202000 | #Constraints:      35457
2226.05/2232.16	c #Conflicts:    1203000 | #Constraints:      36457
2226.05/2232.16	c #Conflicts:    1204000 | #Constraints:      37457
2226.05/2232.16	c #Conflicts:    1205000 | #Constraints:      38457
2226.05/2232.16	c #Conflicts:    1206000 | #Constraints:      39457
2226.05/2232.16	c #Conflicts:    1207000 | #Constraints:      40457
2226.05/2232.16	c #Conflicts:    1208000 | #Constraints:      41457
2226.05/2232.16	c #Conflicts:    1209000 | #Constraints:      42457
2226.05/2232.16	c #Conflicts:    1210000 | #Constraints:      43457
2226.05/2232.16	c #Conflicts:    1211000 | #Constraints:      44457
2226.05/2232.16	c #Conflicts:    1212000 | #Constraints:      45457
2226.05/2232.16	c INPROCESSING
2226.05/2232.16	c GARBAGE COLLECT
2226.05/2232.16	c #Conflicts:    1213000 | #Constraints:      24658
2226.05/2232.16	c #Conflicts:    1214000 | #Constraints:      25658
2226.05/2232.16	c #Conflicts:    1215000 | #Constraints:      26658
2226.05/2232.16	c #Conflicts:    1216000 | #Constraints:      27658
2226.05/2232.16	c #Conflicts:    1217000 | #Constraints:      28658
2226.05/2232.16	c #Conflicts:    1218000 | #Constraints:      29658
2226.05/2232.16	c #Conflicts:    1219000 | #Constraints:      30658
2226.05/2232.16	c #Conflicts:    1220000 | #Constraints:      31658
2226.05/2232.16	c #Conflicts:    1221000 | #Constraints:      32658
2226.05/2232.16	c #Conflicts:    1222000 | #Constraints:      33658
2226.05/2232.16	c #Conflicts:    1223000 | #Constraints:      34658
2463.98/2470.71	c #Conflicts:    1224000 | #Constraints:      35658
2463.98/2470.71	c #Conflicts:    1225000 | #Constraints:      36658
2463.98/2470.71	c #Conflicts:    1226000 | #Constraints:      37658
2463.98/2470.71	c #Conflicts:    1227000 | #Constraints:      38658
2463.98/2470.71	c #Conflicts:    1228000 | #Constraints:      39658
2463.98/2470.71	c #Conflicts:    1229000 | #Constraints:      40658
2463.98/2470.71	c #Conflicts:    1230000 | #Constraints:      41658
2463.98/2470.71	c #Conflicts:    1231000 | #Constraints:      42658
2463.98/2470.71	c #Conflicts:    1232000 | #Constraints:      43658
2463.98/2470.71	c #Conflicts:    1233000 | #Constraints:      44658
2463.98/2470.71	c #Conflicts:    1234000 | #Constraints:      45658
2463.98/2470.71	c INPROCESSING
2463.98/2470.71	c GARBAGE COLLECT
2463.98/2470.71	c #Conflicts:    1235000 | #Constraints:      24658
2463.98/2470.71	c #Conflicts:    1236000 | #Constraints:      25658
2463.98/2470.71	c #Conflicts:    1237000 | #Constraints:      26658
2463.98/2470.71	c #Conflicts:    1238000 | #Constraints:      27658
2463.98/2470.71	c #Conflicts:    1239000 | #Constraints:      28658
2463.98/2470.71	c #Conflicts:    1240000 | #Constraints:      29658
2463.98/2470.71	c #Conflicts:    1241000 | #Constraints:      30658
2463.98/2470.71	c #Conflicts:    1242000 | #Constraints:      31658
2463.98/2470.71	c #Conflicts:    1243000 | #Constraints:      32658
2463.98/2470.71	c #Conflicts:    1244000 | #Constraints:      33658
2463.98/2470.71	c #Conflicts:    1245000 | #Constraints:      34658
2463.98/2470.71	c #Conflicts:    1246000 | #Constraints:      35658
2463.98/2470.71	c #Conflicts:    1247000 | #Constraints:      36658
2463.98/2470.71	c #Conflicts:    1248000 | #Constraints:      37658
2463.98/2470.71	c #Conflicts:    1249000 | #Constraints:      38658
2463.98/2470.71	c #Conflicts:    1250000 | #Constraints:      39658
2463.98/2470.71	c #Conflicts:    1251000 | #Constraints:      40658
2463.98/2470.71	c #Conflicts:    1252000 | #Constraints:      41658
2463.98/2470.71	c #Conflicts:    1253000 | #Constraints:      42658
2463.98/2470.71	c #Conflicts:    1254000 | #Constraints:      43658
2463.98/2470.71	c #Conflicts:    1255000 | #Constraints:      44658
2463.98/2470.71	c #Conflicts:    1256000 | #Constraints:      45658
2463.98/2470.71	c INPROCESSING
2463.98/2470.71	c GARBAGE COLLECT
2463.98/2470.71	c #Conflicts:    1257000 | #Constraints:      24451
2463.98/2470.71	c #Conflicts:    1258000 | #Constraints:      25451
2463.98/2470.71	c #Conflicts:    1259000 | #Constraints:      26451
2463.98/2470.71	c #Conflicts:    1260000 | #Constraints:      27451
2463.98/2470.71	c #Conflicts:    1261000 | #Constraints:      28451
2463.98/2470.71	c #Conflicts:    1262000 | #Constraints:      29451
2463.98/2470.71	c #Conflicts:    1263000 | #Constraints:      30451
2463.98/2470.71	c #Conflicts:    1264000 | #Constraints:      31451
2463.98/2470.71	c #Conflicts:    1265000 | #Constraints:      32451
2463.98/2470.71	c #Conflicts:    1266000 | #Constraints:      33451
2463.98/2470.71	c #Conflicts:    1267000 | #Constraints:      34451
2463.98/2470.71	c #Conflicts:    1268000 | #Constraints:      35451
2463.98/2470.71	c #Conflicts:    1269000 | #Constraints:      36451
2463.98/2470.71	c #Conflicts:    1270000 | #Constraints:      37451
2463.98/2470.71	c #Conflicts:    1271000 | #Constraints:      38451
2463.98/2470.71	c #Conflicts:    1272000 | #Constraints:      39451
2463.98/2470.71	c #Conflicts:    1273000 | #Constraints:      40451
2463.98/2470.71	c #Conflicts:    1274000 | #Constraints:      41451
2463.98/2470.71	c #Conflicts:    1275000 | #Constraints:      42451
2463.98/2470.71	c #Conflicts:    1276000 | #Constraints:      43451
2463.98/2470.71	c #Conflicts:    1277000 | #Constraints:      44451
2463.98/2470.71	c #Conflicts:    1278000 | #Constraints:      45451
2463.98/2470.71	c #Conflicts:    1279000 | #Constraints:      46451
2463.98/2470.71	c INPROCESSING
2463.98/2470.71	c GARBAGE COLLECT
2463.98/2470.71	c #Conflicts:    1280000 | #Constraints:      25052
2463.98/2470.71	c #Conflicts:    1281000 | #Constraints:      26052
2463.98/2470.71	c #Conflicts:    1282000 | #Constraints:      27052
2463.98/2470.71	c #Conflicts:    1283000 | #Constraints:      28052
2463.98/2470.71	c #Conflicts:    1284000 | #Constraints:      29052
2463.98/2470.71	c #Conflicts:    1285000 | #Constraints:      30052
2463.98/2470.71	c #Conflicts:    1286000 | #Constraints:      31052
2463.98/2470.71	c #Conflicts:    1287000 | #Constraints:      32052
2463.98/2470.71	c #Conflicts:    1288000 | #Constraints:      33052
2463.98/2470.71	c #Conflicts:    1289000 | #Constraints:      34052
2463.98/2470.71	c #Conflicts:    1290000 | #Constraints:      35052
2463.98/2470.71	c #Conflicts:    1291000 | #Constraints:      36052
2463.98/2470.71	c #Conflicts:    1292000 | #Constraints:      37052
2463.98/2470.71	c #Conflicts:    1293000 | #Constraints:      38052
2463.98/2470.71	c #Conflicts:    1294000 | #Constraints:      39052
2463.98/2470.71	c #Conflicts:    1295000 | #Constraints:      40052
2463.98/2470.71	c #Conflicts:    1296000 | #Constraints:      41052
2463.98/2470.71	c #Conflicts:    1297000 | #Constraints:      42052
2463.98/2470.71	c #Conflicts:    1298000 | #Constraints:      43052
2463.98/2470.71	c #Conflicts:    1299000 | #Constraints:      44052
2463.98/2470.71	c #Conflicts:    1300000 | #Constraints:      45052
2686.15/2693.52	c #Conflicts:    1301000 | #Constraints:      46052
2686.15/2693.52	c #Conflicts:    1302000 | #Constraints:      47052
2686.15/2693.52	c INPROCESSING
2686.15/2693.52	c GARBAGE COLLECT
2686.15/2693.52	c #Conflicts:    1303000 | #Constraints:      25456
2686.15/2693.52	c #Conflicts:    1304000 | #Constraints:      26456
2686.15/2693.52	c #Conflicts:    1305000 | #Constraints:      27456
2686.15/2693.52	c #Conflicts:    1306000 | #Constraints:      28456
2686.15/2693.52	c #Conflicts:    1307000 | #Constraints:      29456
2686.15/2693.52	c #Conflicts:    1308000 | #Constraints:      30456
2686.15/2693.52	c #Conflicts:    1309000 | #Constraints:      31456
2686.15/2693.52	c #Conflicts:    1310000 | #Constraints:      32456
2686.15/2693.52	c #Conflicts:    1311000 | #Constraints:      33456
2686.15/2693.52	c #Conflicts:    1312000 | #Constraints:      34456
2686.15/2693.52	c #Conflicts:    1313000 | #Constraints:      35456
2686.15/2693.52	c #Conflicts:    1314000 | #Constraints:      36456
2686.15/2693.52	c #Conflicts:    1315000 | #Constraints:      37456
2686.15/2693.52	c #Conflicts:    1316000 | #Constraints:      38456
2686.15/2693.52	c #Conflicts:    1317000 | #Constraints:      39456
2686.15/2693.52	c #Conflicts:    1318000 | #Constraints:      40456
2686.15/2693.52	c #Conflicts:    1319000 | #Constraints:      41456
2686.15/2693.52	c #Conflicts:    1320000 | #Constraints:      42456
2686.15/2693.52	c #Conflicts:    1321000 | #Constraints:      43456
2686.15/2693.52	c #Conflicts:    1322000 | #Constraints:      44456
2686.15/2693.52	c #Conflicts:    1323000 | #Constraints:      45456
2686.15/2693.52	c #Conflicts:    1324000 | #Constraints:      46456
2686.15/2693.52	c #Conflicts:    1325000 | #Constraints:      47456
2686.15/2693.52	c INPROCESSING
2686.15/2693.52	c GARBAGE COLLECT
2686.15/2693.52	c #Conflicts:    1326000 | #Constraints:      25680
2686.15/2693.52	c #Conflicts:    1327000 | #Constraints:      26680
2686.15/2693.52	c #Conflicts:    1328000 | #Constraints:      27680
2686.15/2693.52	c #Conflicts:    1329000 | #Constraints:      28680
2686.15/2693.52	c #Conflicts:    1330000 | #Constraints:      29680
2686.15/2693.52	c #Conflicts:    1331000 | #Constraints:      30680
2686.15/2693.52	c #Conflicts:    1332000 | #Constraints:      31680
2686.15/2693.52	c #Conflicts:    1333000 | #Constraints:      32680
2686.15/2693.52	c #Conflicts:    1334000 | #Constraints:      33680
2686.15/2693.52	c #Conflicts:    1335000 | #Constraints:      34680
2686.15/2693.52	c #Conflicts:    1336000 | #Constraints:      35680
2686.15/2693.52	c #Conflicts:    1337000 | #Constraints:      36680
2686.15/2693.52	c #Conflicts:    1338000 | #Constraints:      37680
2686.15/2693.52	c #Conflicts:    1339000 | #Constraints:      38680
2686.15/2693.52	c #Conflicts:    1340000 | #Constraints:      39680
2686.15/2693.52	c #Conflicts:    1341000 | #Constraints:      40680
2686.15/2693.52	c #Conflicts:    1342000 | #Constraints:      41680
2686.15/2693.52	c #Conflicts:    1343000 | #Constraints:      42680
2686.15/2693.52	c #Conflicts:    1344000 | #Constraints:      43680
2686.15/2693.52	c #Conflicts:    1345000 | #Constraints:      44680
2686.15/2693.52	c #Conflicts:    1346000 | #Constraints:      45680
2686.15/2693.52	c #Conflicts:    1347000 | #Constraints:      46680
2686.15/2693.52	c #Conflicts:    1348000 | #Constraints:      47680
2686.15/2693.52	c INPROCESSING
2686.15/2693.52	c GARBAGE COLLECT
2686.15/2693.52	c #Conflicts:    1349000 | #Constraints:      25669
2686.15/2693.52	c #Conflicts:    1350000 | #Constraints:      26669
2686.15/2693.52	c #Conflicts:    1351000 | #Constraints:      27669
2686.15/2693.52	c #Conflicts:    1352000 | #Constraints:      28669
2686.15/2693.52	c #Conflicts:    1353000 | #Constraints:      29669
2686.15/2693.52	c #Conflicts:    1354000 | #Constraints:      30669
2686.15/2693.52	c #Conflicts:    1355000 | #Constraints:      31669
2686.15/2693.52	c #Conflicts:    1356000 | #Constraints:      32669
2686.15/2693.52	c #Conflicts:    1357000 | #Constraints:      33669
2686.15/2693.52	c #Conflicts:    1358000 | #Constraints:      34669
2686.15/2693.52	c #Conflicts:    1359000 | #Constraints:      35669
2686.15/2693.52	c #Conflicts:    1360000 | #Constraints:      36669
2686.15/2693.52	c #Conflicts:    1361000 | #Constraints:      37669
2686.15/2693.52	c #Conflicts:    1362000 | #Constraints:      38669
2686.15/2693.52	c #Conflicts:    1363000 | #Constraints:      39669
2686.15/2693.52	c #Conflicts:    1364000 | #Constraints:      40669
2686.15/2693.52	c #Conflicts:    1365000 | #Constraints:      41669
2686.15/2693.52	c #Conflicts:    1366000 | #Constraints:      42669
2686.15/2693.52	c #Conflicts:    1367000 | #Constraints:      43669
2686.15/2693.52	c #Conflicts:    1368000 | #Constraints:      44669
2686.15/2693.52	c #Conflicts:    1369000 | #Constraints:      45669
2686.15/2693.52	c #Conflicts:    1370000 | #Constraints:      46669
2686.15/2693.52	c #Conflicts:    1371000 | #Constraints:      47669
2686.15/2693.52	c INPROCESSING
2686.15/2693.52	c GARBAGE COLLECT
2686.15/2693.52	c #Conflicts:    1372000 | #Constraints:      25461
2686.15/2693.52	c #Conflicts:    1373000 | #Constraints:      26461
2686.15/2693.52	c #Conflicts:    1374000 | #Constraints:      27461
2686.15/2693.52	c #Conflicts:    1375000 | #Constraints:      28461
2686.15/2693.52	c #Conflicts:    1376000 | #Constraints:      29461
2917.79/2925.84	c #Conflicts:    1377000 | #Constraints:      30461
2917.79/2925.84	c #Conflicts:    1378000 | #Constraints:      31461
2917.79/2925.84	c #Conflicts:    1379000 | #Constraints:      32461
2917.79/2925.84	c #Conflicts:    1380000 | #Constraints:      33461
2917.79/2925.84	c #Conflicts:    1381000 | #Constraints:      34461
2917.79/2925.84	c #Conflicts:    1382000 | #Constraints:      35461
2917.79/2925.84	c #Conflicts:    1383000 | #Constraints:      36461
2917.79/2925.84	c #Conflicts:    1384000 | #Constraints:      37461
2917.79/2925.84	c #Conflicts:    1385000 | #Constraints:      38461
2917.79/2925.84	c #Conflicts:    1386000 | #Constraints:      39461
2917.79/2925.84	c #Conflicts:    1387000 | #Constraints:      40461
2917.79/2925.84	c #Conflicts:    1388000 | #Constraints:      41461
2917.79/2925.84	c #Conflicts:    1389000 | #Constraints:      42461
2917.79/2925.84	c #Conflicts:    1390000 | #Constraints:      43461
2917.79/2925.84	c #Conflicts:    1391000 | #Constraints:      44461
2917.79/2925.84	c #Conflicts:    1392000 | #Constraints:      45461
2917.79/2925.84	c #Conflicts:    1393000 | #Constraints:      46461
2917.79/2925.84	c #Conflicts:    1394000 | #Constraints:      47461
2917.79/2925.84	c #Conflicts:    1395000 | #Constraints:      48461
2917.79/2925.84	c INPROCESSING
2917.79/2925.84	c GARBAGE COLLECT
2917.79/2925.84	c #Conflicts:    1396000 | #Constraints:      26064
2917.79/2925.84	c #Conflicts:    1397000 | #Constraints:      27064
2917.79/2925.84	c #Conflicts:    1398000 | #Constraints:      28064
2917.79/2925.84	c #Conflicts:    1399000 | #Constraints:      29064
2917.79/2925.84	c #Conflicts:    1400000 | #Constraints:      30064
2917.79/2925.84	c #Conflicts:    1401000 | #Constraints:      31064
2917.79/2925.84	c #Conflicts:    1402000 | #Constraints:      32064
2917.79/2925.84	c #Conflicts:    1403000 | #Constraints:      33064
2917.79/2925.84	c #Conflicts:    1404000 | #Constraints:      34064
2917.79/2925.84	c #Conflicts:    1405000 | #Constraints:      35064
2917.79/2925.84	c #Conflicts:    1406000 | #Constraints:      36064
2917.79/2925.84	c #Conflicts:    1407000 | #Constraints:      37064
2917.79/2925.84	c #Conflicts:    1408000 | #Constraints:      38064
2917.79/2925.84	c #Conflicts:    1409000 | #Constraints:      39064
2917.79/2925.84	c #Conflicts:    1410000 | #Constraints:      40064
2917.79/2925.84	c #Conflicts:    1411000 | #Constraints:      41064
2917.79/2925.84	c #Conflicts:    1412000 | #Constraints:      42064
2917.79/2925.84	c #Conflicts:    1413000 | #Constraints:      43064
2917.79/2925.84	c #Conflicts:    1414000 | #Constraints:      44064
2917.79/2925.84	c #Conflicts:    1415000 | #Constraints:      45064
2917.79/2925.84	c #Conflicts:    1416000 | #Constraints:      46064
2917.79/2925.84	c #Conflicts:    1417000 | #Constraints:      47064
2917.79/2925.84	c #Conflicts:    1418000 | #Constraints:      48064
2917.79/2925.84	c #Conflicts:    1419000 | #Constraints:      49064
2917.79/2925.84	c INPROCESSING
2917.79/2925.84	c GARBAGE COLLECT
2917.79/2925.84	c #Conflicts:    1420000 | #Constraints:      26456
2917.79/2925.84	c #Conflicts:    1421000 | #Constraints:      27456
2917.79/2925.84	c #Conflicts:    1422000 | #Constraints:      28456
2917.79/2925.84	c #Conflicts:    1423000 | #Constraints:      29456
2917.79/2925.84	c #Conflicts:    1424000 | #Constraints:      30456
2917.79/2925.84	c #Conflicts:    1425000 | #Constraints:      31456
2917.79/2925.84	c #Conflicts:    1426000 | #Constraints:      32456
2917.79/2925.84	c #Conflicts:    1427000 | #Constraints:      33456
2917.79/2925.84	c #Conflicts:    1428000 | #Constraints:      34456
2917.79/2925.84	c #Conflicts:    1429000 | #Constraints:      35456
2917.79/2925.84	c #Conflicts:    1430000 | #Constraints:      36456
2917.79/2925.84	c #Conflicts:    1431000 | #Constraints:      37456
2917.79/2925.84	c #Conflicts:    1432000 | #Constraints:      38456
2917.79/2925.84	c #Conflicts:    1433000 | #Constraints:      39456
2917.79/2925.84	c #Conflicts:    1434000 | #Constraints:      40456
2917.79/2925.84	c #Conflicts:    1435000 | #Constraints:      41456
2917.79/2925.84	c #Conflicts:    1436000 | #Constraints:      42456
2917.79/2925.84	c #Conflicts:    1437000 | #Constraints:      43456
2917.79/2925.84	c #Conflicts:    1438000 | #Constraints:      44456
2917.79/2925.84	c #Conflicts:    1439000 | #Constraints:      45456
2917.79/2925.84	c #Conflicts:    1440000 | #Constraints:      46456
2917.79/2925.84	c #Conflicts:    1441000 | #Constraints:      47456
2917.79/2925.84	c #Conflicts:    1442000 | #Constraints:      48456
2917.79/2925.84	c #Conflicts:    1443000 | #Constraints:      49456
2917.79/2925.84	c INPROCESSING
2917.79/2925.84	c GARBAGE COLLECT
2917.79/2925.84	c #Conflicts:    1444000 | #Constraints:      26656
2917.79/2925.84	c #Conflicts:    1445000 | #Constraints:      27656
2917.79/2925.84	c #Conflicts:    1446000 | #Constraints:      28656
2917.79/2925.84	c #Conflicts:    1447000 | #Constraints:      29656
2917.79/2925.84	c #Conflicts:    1448000 | #Constraints:      30656
2917.79/2925.84	c #Conflicts:    1449000 | #Constraints:      31656
2917.79/2925.84	c #Conflicts:    1450000 | #Constraints:      32656
2917.79/2925.84	c #Conflicts:    1451000 | #Constraints:      33656
2917.79/2925.84	c #Conflicts:    1452000 | #Constraints:      34656
2917.79/2925.84	c #Conflicts:    1453000 | #Constraints:      35656
3180.04/3188.86	c #Conflicts:    1454000 | #Constraints:      36656
3180.04/3188.86	c #Conflicts:    1455000 | #Constraints:      37656
3180.04/3188.86	c #Conflicts:    1456000 | #Constraints:      38656
3180.04/3188.86	c #Conflicts:    1457000 | #Constraints:      39656
3180.04/3188.86	c #Conflicts:    1458000 | #Constraints:      40656
3180.04/3188.86	c #Conflicts:    1459000 | #Constraints:      41656
3180.04/3188.86	c #Conflicts:    1460000 | #Constraints:      42656
3180.04/3188.86	c #Conflicts:    1461000 | #Constraints:      43656
3180.04/3188.86	c #Conflicts:    1462000 | #Constraints:      44656
3180.04/3188.86	c #Conflicts:    1463000 | #Constraints:      45656
3180.04/3188.86	c #Conflicts:    1464000 | #Constraints:      46656
3180.04/3188.86	c #Conflicts:    1465000 | #Constraints:      47656
3180.04/3188.86	c #Conflicts:    1466000 | #Constraints:      48656
3180.04/3188.86	c #Conflicts:    1467000 | #Constraints:      49656
3180.04/3188.86	c INPROCESSING
3180.04/3188.86	c GARBAGE COLLECT
3180.04/3188.86	c #Conflicts:    1468000 | #Constraints:      26656
3180.04/3188.86	c #Conflicts:    1469000 | #Constraints:      27656
3180.04/3188.86	c #Conflicts:    1470000 | #Constraints:      28656
3180.04/3188.86	c #Conflicts:    1471000 | #Constraints:      29656
3180.04/3188.86	c #Conflicts:    1472000 | #Constraints:      30656
3180.04/3188.86	c #Conflicts:    1473000 | #Constraints:      31656
3180.04/3188.86	c #Conflicts:    1474000 | #Constraints:      32656
3180.04/3188.86	c #Conflicts:    1475000 | #Constraints:      33656
3180.04/3188.86	c #Conflicts:    1476000 | #Constraints:      34656
3180.04/3188.86	c #Conflicts:    1477000 | #Constraints:      35656
3180.04/3188.86	c #Conflicts:    1478000 | #Constraints:      36656
3180.04/3188.86	c #Conflicts:    1479000 | #Constraints:      37656
3180.04/3188.86	c #Conflicts:    1480000 | #Constraints:      38656
3180.04/3188.86	c #Conflicts:    1481000 | #Constraints:      39656
3180.04/3188.86	c #Conflicts:    1482000 | #Constraints:      40656
3180.04/3188.86	c #Conflicts:    1483000 | #Constraints:      41656
3180.04/3188.86	c #Conflicts:    1484000 | #Constraints:      42656
3180.04/3188.86	c #Conflicts:    1485000 | #Constraints:      43656
3180.04/3188.86	c #Conflicts:    1486000 | #Constraints:      44656
3180.04/3188.86	c #Conflicts:    1487000 | #Constraints:      45656
3180.04/3188.86	c #Conflicts:    1488000 | #Constraints:      46656
3180.04/3188.86	c #Conflicts:    1489000 | #Constraints:      47656
3180.04/3188.86	c #Conflicts:    1490000 | #Constraints:      48656
3180.04/3188.86	c #Conflicts:    1491000 | #Constraints:      49656
3180.04/3188.86	c INPROCESSING
3180.04/3188.86	c GARBAGE COLLECT
3180.04/3188.86	c #Conflicts:    1492000 | #Constraints:      26460
3180.04/3188.86	c #Conflicts:    1493000 | #Constraints:      27460
3180.04/3188.86	c #Conflicts:    1494000 | #Constraints:      28460
3180.04/3188.86	c #Conflicts:    1495000 | #Constraints:      29460
3180.04/3188.86	c #Conflicts:    1496000 | #Constraints:      30460
3180.04/3188.86	c #Conflicts:    1497000 | #Constraints:      31460
3180.04/3188.86	c #Conflicts:    1498000 | #Constraints:      32460
3180.04/3188.86	c #Conflicts:    1499000 | #Constraints:      33460
3180.04/3188.86	c #Conflicts:    1500000 | #Constraints:      34460
3180.04/3188.86	c #Conflicts:    1501000 | #Constraints:      35460
3180.04/3188.86	c #Conflicts:    1502000 | #Constraints:      36460
3180.04/3188.86	c #Conflicts:    1503000 | #Constraints:      37460
3180.04/3188.86	c #Conflicts:    1504000 | #Constraints:      38460
3180.04/3188.86	c #Conflicts:    1505000 | #Constraints:      39460
3180.04/3188.86	c #Conflicts:    1506000 | #Constraints:      40460
3180.04/3188.86	c #Conflicts:    1507000 | #Constraints:      41460
3180.04/3188.86	c #Conflicts:    1508000 | #Constraints:      42460
3180.04/3188.86	c #Conflicts:    1509000 | #Constraints:      43460
3180.04/3188.86	c #Conflicts:    1510000 | #Constraints:      44460
3180.04/3188.86	c #Conflicts:    1511000 | #Constraints:      45460
3180.04/3188.86	c #Conflicts:    1512000 | #Constraints:      46460
3180.04/3188.86	c #Conflicts:    1513000 | #Constraints:      47460
3180.04/3188.86	c #Conflicts:    1514000 | #Constraints:      48460
3180.04/3188.86	c #Conflicts:    1515000 | #Constraints:      49460
3180.04/3188.86	c #Conflicts:    1516000 | #Constraints:      50460
3180.04/3188.86	c INPROCESSING
3180.04/3188.86	c GARBAGE COLLECT
3180.04/3188.86	c #Conflicts:    1517000 | #Constraints:      27056
3180.04/3188.86	c #Conflicts:    1518000 | #Constraints:      28056
3180.04/3188.86	c #Conflicts:    1519000 | #Constraints:      29056
3180.04/3188.86	c #Conflicts:    1520000 | #Constraints:      30056
3180.04/3188.86	c #Conflicts:    1521000 | #Constraints:      31056
3180.04/3188.86	c #Conflicts:    1522000 | #Constraints:      32056
3180.04/3188.86	c #Conflicts:    1523000 | #Constraints:      33056
3180.04/3188.86	c #Conflicts:    1524000 | #Constraints:      34056
3180.04/3188.86	c #Conflicts:    1525000 | #Constraints:      35056
3180.04/3188.86	c #Conflicts:    1526000 | #Constraints:      36056
3180.04/3188.86	c #Conflicts:    1527000 | #Constraints:      37056
3180.04/3188.86	c #Conflicts:    1528000 | #Constraints:      38056
3180.04/3188.86	c #Conflicts:    1529000 | #Constraints:      39056
3180.04/3188.86	c #Conflicts:    1530000 | #Constraints:      40056
3434.51/3444.00	c #Conflicts:    1531000 | #Constraints:      41056
3434.51/3444.00	c #Conflicts:    1532000 | #Constraints:      42056
3434.51/3444.00	c #Conflicts:    1533000 | #Constraints:      43056
3434.51/3444.00	c #Conflicts:    1534000 | #Constraints:      44056
3434.51/3444.00	c #Conflicts:    1535000 | #Constraints:      45056
3434.51/3444.00	c #Conflicts:    1536000 | #Constraints:      46056
3434.51/3444.00	c #Conflicts:    1537000 | #Constraints:      47056
3434.51/3444.00	c #Conflicts:    1538000 | #Constraints:      48056
3434.51/3444.00	c #Conflicts:    1539000 | #Constraints:      49056
3434.51/3444.00	c #Conflicts:    1540000 | #Constraints:      50056
3434.51/3444.00	c #Conflicts:    1541000 | #Constraints:      51056
3434.51/3444.00	c INPROCESSING
3434.51/3444.00	c GARBAGE COLLECT
3434.51/3444.00	c #Conflicts:    1542000 | #Constraints:      27461
3434.51/3444.00	c #Conflicts:    1543000 | #Constraints:      28461
3434.51/3444.00	c #Conflicts:    1544000 | #Constraints:      29461
3434.51/3444.00	c #Conflicts:    1545000 | #Constraints:      30461
3434.51/3444.00	c #Conflicts:    1546000 | #Constraints:      31461
3434.51/3444.00	c #Conflicts:    1547000 | #Constraints:      32461
3434.51/3444.00	c #Conflicts:    1548000 | #Constraints:      33461
3434.51/3444.00	c #Conflicts:    1549000 | #Constraints:      34461
3434.51/3444.00	c #Conflicts:    1550000 | #Constraints:      35461
3434.51/3444.00	c #Conflicts:    1551000 | #Constraints:      36461
3434.51/3444.00	c #Conflicts:    1552000 | #Constraints:      37461
3434.51/3444.00	c #Conflicts:    1553000 | #Constraints:      38461
3434.51/3444.00	c #Conflicts:    1554000 | #Constraints:      39461
3434.51/3444.00	c #Conflicts:    1555000 | #Constraints:      40461
3434.51/3444.00	c #Conflicts:    1556000 | #Constraints:      41461
3434.51/3444.00	c #Conflicts:    1557000 | #Constraints:      42461
3434.51/3444.00	c #Conflicts:    1558000 | #Constraints:      43461
3434.51/3444.00	c #Conflicts:    1559000 | #Constraints:      44461
3434.51/3444.00	c #Conflicts:    1560000 | #Constraints:      45461
3434.51/3444.00	c #Conflicts:    1561000 | #Constraints:      46461
3434.51/3444.00	c #Conflicts:    1562000 | #Constraints:      47461
3434.51/3444.00	c #Conflicts:    1563000 | #Constraints:      48461
3434.51/3444.00	c #Conflicts:    1564000 | #Constraints:      49461
3434.51/3444.00	c #Conflicts:    1565000 | #Constraints:      50461
3434.51/3444.00	c #Conflicts:    1566000 | #Constraints:      51461
3434.51/3444.00	c INPROCESSING
3434.51/3444.00	c GARBAGE COLLECT
3434.51/3444.00	c #Conflicts:    1567000 | #Constraints:      27658
3434.51/3444.00	c #Conflicts:    1568000 | #Constraints:      28658
3434.51/3444.00	c #Conflicts:    1569000 | #Constraints:      29658
3434.51/3444.00	c #Conflicts:    1570000 | #Constraints:      30658
3434.51/3444.00	c #Conflicts:    1571000 | #Constraints:      31658
3434.51/3444.00	c #Conflicts:    1572000 | #Constraints:      32658
3434.51/3444.00	c #Conflicts:    1573000 | #Constraints:      33658
3434.51/3444.00	c #Conflicts:    1574000 | #Constraints:      34658
3434.51/3444.00	c #Conflicts:    1575000 | #Constraints:      35658
3434.51/3444.00	c #Conflicts:    1576000 | #Constraints:      36658
3434.51/3444.00	c #Conflicts:    1577000 | #Constraints:      37658
3434.51/3444.00	c #Conflicts:    1578000 | #Constraints:      38658
3434.51/3444.00	c #Conflicts:    1579000 | #Constraints:      39658
3434.51/3444.00	c #Conflicts:    1580000 | #Constraints:      40658
3434.51/3444.00	c #Conflicts:    1581000 | #Constraints:      41658
3434.51/3444.00	c #Conflicts:    1582000 | #Constraints:      42658
3434.51/3444.00	c #Conflicts:    1583000 | #Constraints:      43658
3434.51/3444.00	c #Conflicts:    1584000 | #Constraints:      44658
3434.51/3444.00	c #Conflicts:    1585000 | #Constraints:      45658
3434.51/3444.00	c #Conflicts:    1586000 | #Constraints:      46658
3434.51/3444.00	c #Conflicts:    1587000 | #Constraints:      47658
3434.51/3444.00	c #Conflicts:    1588000 | #Constraints:      48658
3434.51/3444.00	c #Conflicts:    1589000 | #Constraints:      49658
3434.51/3444.00	c #Conflicts:    1590000 | #Constraints:      50658
3434.51/3444.00	c #Conflicts:    1591000 | #Constraints:      51658
3434.51/3444.00	c INPROCESSING
3434.51/3444.00	c GARBAGE COLLECT
3434.51/3444.00	c #Conflicts:    1592000 | #Constraints:      27682
3434.51/3444.00	c #Conflicts:    1593000 | #Constraints:      28682
3434.51/3444.00	c #Conflicts:    1594000 | #Constraints:      29682
3434.51/3444.00	c #Conflicts:    1595000 | #Constraints:      30682
3434.51/3444.00	c #Conflicts:    1596000 | #Constraints:      31682
3434.51/3444.00	c #Conflicts:    1597000 | #Constraints:      32682
3434.51/3444.00	c #Conflicts:    1598000 | #Constraints:      33682
3434.51/3444.00	c #Conflicts:    1599000 | #Constraints:      34682
3434.51/3444.00	c #Conflicts:    1600000 | #Constraints:      35682
3434.51/3444.00	c #Conflicts:    1601000 | #Constraints:      36682
3434.51/3444.00	c #Conflicts:    1602000 | #Constraints:      37682
3434.51/3444.00	c #Conflicts:    1603000 | #Constraints:      38682
3434.51/3444.00	c #Conflicts:    1604000 | #Constraints:      39682
3434.51/3444.00	c #Conflicts:    1605000 | #Constraints:      40682
3434.51/3444.00	c #Conflicts:    1606000 | #Constraints:      41682
3600.01/3610.00	c #Conflicts:    1607000 | #Constraints:      42682
3600.01/3610.00	c #Conflicts:    1608000 | #Constraints:      43682
3600.01/3610.00	c #Conflicts:    1609000 | #Constraints:      44682
3600.01/3610.00	c #Conflicts:    1610000 | #Constraints:      45682
3600.01/3610.00	c #Conflicts:    1611000 | #Constraints:      46682
3600.01/3610.00	c #Conflicts:    1612000 | #Constraints:      47682
3600.01/3610.00	c #Conflicts:    1613000 | #Constraints:      48682
3600.01/3610.00	c #Conflicts:    1614000 | #Constraints:      49682
3600.01/3610.00	c #Conflicts:    1615000 | #Constraints:      50682
3600.01/3610.00	c #Conflicts:    1616000 | #Constraints:      51682
3600.01/3610.00	c INPROCESSING
3600.01/3610.00	c GARBAGE COLLECT
3600.01/3610.00	c #Conflicts:    1617000 | #Constraints:      27470
3600.01/3610.00	c #Conflicts:    1618000 | #Constraints:      28470
3600.01/3610.00	c #Conflicts:    1619000 | #Constraints:      29470
3600.01/3610.00	c #Conflicts:    1620000 | #Constraints:      30470
3600.01/3610.00	c #Conflicts:    1621000 | #Constraints:      31470
3600.01/3610.00	c #Conflicts:    1622000 | #Constraints:      32470
3600.01/3610.00	c #Conflicts:    1623000 | #Constraints:      33470
3600.01/3610.00	c #Conflicts:    1624000 | #Constraints:      34470
3600.01/3610.00	c #Conflicts:    1625000 | #Constraints:      35470
3600.01/3610.00	c #Conflicts:    1626000 | #Constraints:      36470
3600.01/3610.00	c #Conflicts:    1627000 | #Constraints:      37470
3600.01/3610.00	c #Conflicts:    1628000 | #Constraints:      38470
3600.01/3610.00	c #Conflicts:    1629000 | #Constraints:      39470
3600.01/3610.00	c #Conflicts:    1630000 | #Constraints:      40470
3600.01/3610.00	c #Conflicts:    1631000 | #Constraints:      41470
3600.01/3610.00	c #Conflicts:    1632000 | #Constraints:      42470
3600.01/3610.00	c #Conflicts:    1633000 | #Constraints:      43470
3600.01/3610.00	c #Conflicts:    1634000 | #Constraints:      44470
3600.01/3610.00	c #Conflicts:    1635000 | #Constraints:      45470
3600.01/3610.00	c #Conflicts:    1636000 | #Constraints:      46470
3600.01/3610.00	c #Conflicts:    1637000 | #Constraints:      47470
3600.01/3610.00	c #Conflicts:    1638000 | #Constraints:      48470
3600.01/3610.00	c #Conflicts:    1639000 | #Constraints:      49470
3600.01/3610.00	c #Conflicts:    1640000 | #Constraints:      50470
3600.01/3610.00	c #Conflicts:    1641000 | #Constraints:      51470
3600.01/3610.00	c #Conflicts:    1642000 | #Constraints:      52470
3600.01/3610.00	c INPROCESSING
3600.01/3610.00	c GARBAGE COLLECT
3600.01/3610.00	c #Conflicts:    1643000 | #Constraints:      28060
3600.01/3610.00	c #Conflicts:    1644000 | #Constraints:      29060
3600.01/3610.00	c #Conflicts:    1645000 | #Constraints:      30060
3600.01/3610.00	c #Conflicts:    1646000 | #Constraints:      31060
3600.01/3610.00	c #Conflicts:    1647000 | #Constraints:      32060
3600.01/3610.00	c #Conflicts:    1648000 | #Constraints:      33060
3600.01/3610.00	c #Conflicts:    1649000 | #Constraints:      34060
3600.01/3610.00	c #Conflicts:    1650000 | #Constraints:      35060
3600.01/3610.00	c #Conflicts:    1651000 | #Constraints:      36060
3600.01/3610.00	c #Conflicts:    1652000 | #Constraints:      37060
3600.01/3610.00	c #Conflicts:    1653000 | #Constraints:      38060
3600.01/3610.00	c Program interrupted by user.
3600.01/3610.00	c cpu time 3582.11 s
3600.01/3610.00	c deterministic time 274670780427 2.75e+11
3600.01/3610.00	c optimization time 92.7245 s
3600.01/3610.00	c total solve time 3489.39 s
3600.01/3610.00	c core-guided solve time 3489.39 s
3600.01/3610.00	c propagation time 3312 s
3600.01/3610.00	c conflict analysis time 204.847 s
3600.01/3610.00	c propagations 98989154
3600.01/3610.00	c resolve steps 3550644
3600.01/3610.00	c decisions 13451286
3600.01/3610.00	c conflicts 1653979
3600.01/3610.00	c restarts 3131
3600.01/3610.00	c inprocessing phases 119
3600.01/3610.00	c input clauses 1013
3600.01/3610.00	c input cardinalities 847
3600.01/3610.00	c input general constraints 958
3600.01/3610.00	c input average constraint length 104.42
3600.01/3610.00	c input average constraint degree 536.50
3600.01/3610.00	c learned clauses 208689
3600.01/3610.00	c learned cardinalities 7370
3600.01/3610.00	c learned general constraints 1437986
3600.01/3610.00	c learned average constraint length 278.30
3600.01/3610.00	c learned average constraint degree 7804.21
3600.01/3610.00	c watched constraints 127147
3600.01/3610.00	c counting constraints 1311797
3600.01/3610.00	c gcd simplifications 1201
3600.01/3610.00	c detected cardinalities 96
3600.01/3610.00	c weakened non-implied lits 52993473
3600.01/3610.00	c weakened non-implying lits 9223
3600.01/3610.00	c original variables 907
3600.01/3610.00	c clausal propagations 35477541
3600.01/3610.00	c cardinality propagations 24705486
3600.01/3610.00	c watched propagations 967684
3600.01/3610.00	c counting propagations 36598225
3600.01/3610.00	c watch lookups 94067952353
3600.01/3610.00	c watch backjump lookups 93383620990
3600.01/3610.00	c watch checks 48143938586
3600.01/3610.00	c propagation checks 38102773709
3600.01/3610.00	c constraint additions 745960786
3600.01/3610.00	c trail pops 114093562
3600.01/3610.00	c formula constraints 663
3600.01/3610.00	c learned constraints 1654045
3600.01/3610.00	c bound constraints 306
3600.01/3610.00	c core-guided constraints 1849
3600.01/3610.00	c encountered formula constraints 1921405
3600.01/3610.00	c encountered learned constraints 2949309
3600.01/3610.00	c encountered bound constraints 148
3600.01/3610.00	c encountered core-guided constraints 333761
3600.01/3610.00	c LP total time 0 s
3600.01/3610.00	c LP solve time 0 s
3600.01/3610.00	c LP constraints added 0
3600.01/3610.00	c LP constraints removed 0
3600.01/3610.00	c LP pivots internal 0
3600.01/3610.00	c LP pivots root 0
3600.01/3610.00	c LP calls 0
3600.01/3610.00	c LP optimalities 0
3600.01/3610.00	c LP no pivot count 0
3600.01/3610.00	c LP infeasibilities 0
3600.01/3610.00	c LP valid Farkas constraints 0
3600.01/3610.00	c LP learned Farkas constraints 0
3600.01/3610.00	c LP basis resets 0
3600.01/3610.00	c LP cycling count 0
3600.01/3610.00	c LP singular count 0
3600.01/3610.00	c LP no primal count 0
3600.01/3610.00	c LP no farkas count 0
3600.01/3610.00	c LP other issue count 0
3600.01/3610.00	c LP Gomory cuts 0
3600.01/3610.00	c LP learned cuts 0
3600.01/3610.00	c LP deleted cuts 0
3600.01/3610.00	c LP encountered Gomory constraints 0
3600.01/3610.00	c LP encountered Farkas constraints 0
3600.01/3610.00	c LP encountered learned Farkas constraints 0
3600.01/3610.00	c CG auxiliary variables introduced 765
3600.01/3610.00	c CG solutions found 3
3600.01/3610.00	c CG cores constructed 290
3600.01/3610.00	c CG core cardinality constraints returned 1
3600.01/3610.00	c CG unit cores 0
3600.01/3610.00	c CG single cores 284
3600.01/3610.00	c CG blocks removed during cardinality reduction 0
3600.01/3610.00	c CG first core best 0
3600.01/3610.00	c CG decision core best 0
3600.01/3610.00	c CG core reduction tie 6
3600.01/3610.00	c CG core degree average 1.05
3600.01/3610.00	c CG core slack average 5.60
3600.01/3610.00	c CG exhausted 1
3600.01/3610.00	c CG exhaust time 57.3871 s
3600.01/3610.00	c CG trimmed 103
3600.01/3610.00	c CG trim time 0.177483 s
3600.01/3610.00	c CG minimized 0
3600.01/3610.00	c CG minimize time 0 s
3600.01/3610.00	c CG am1 prop time 0.023857 s
3600.01/3610.00	c CG # am1s reformulated 142
3600.01/3610.00	c CG lower bound derived from am1s 263
3600.01/3610.00	c CG # clausal cores 283
3600.01/3610.00	c CG # cardinality cores 2
3600.01/3610.00	c CG # pb cores 11
3600.01/3610.00	c CG # pb reforms 1
3600.01/3610.00	c CG # cores discarded because of pb reform 0
3600.01/3610.00	d LOWERBOUND 1531
3600.01/3610.00	d NCORES 290
3600.01/3610.00	d NPBCORES 11
3600.01/3610.00	d NPBREFORM 1
3600.01/3610.00	d NTRIMMED 103
3600.01/3610.00	d NEXHAUSTED 1
3600.01/3610.00	d NAM1S 142
3600.01/3610.00	d AM1LB 263
3600.01/3610.00	o 2642
3600.01/3610.00	s SATISFIABLE
3600.01/3610.00	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

Verifier Data 

OK	2642

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 (59847 MiB free)
  memory of node 1: 64510 MiB (61492 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454375-1721426758/watcher-4454375-1721426758 -o /tmp/evaluation-result-4454375-1721426758/solver-4454375-1721426758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721423159-1047835 --watchdog 3760 pb-oll-rs HOME/instance-4454375-1721426758.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1049930, runsolver pid=1049927

[startup+0.100276 s]*
/proc/loadavg: 4.02 4.09 4.08 5/258 1049931
/proc/meminfo: memFree=124247868/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=41224 memory=9920 CPUtime=0.08 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 1237 0 0 0 7 1 0 0 20 0 1 0 194845482 42213376 2480 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 10306 2480 1408 291 0 1840 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41224 KiB
Current children cumulated memory: 9920 KiB

[startup+0.205321 s]*
/proc/loadavg: 4.02 4.09 4.08 4/257 1049931
/proc/meminfo: memFree=124243472/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=44284 memory=15032 CPUtime=0.19 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 2050 0 0 0 17 2 0 0 20 0 1 0 194845482 45346816 3758 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 11071 3758 1408 291 0 2605 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 15032 KiB

[startup+0.305249 s]*
/proc/loadavg: 4.02 4.09 4.08 4/254 1049948
/proc/meminfo: memFree=124254184/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=44828 memory=16088 CPUtime=0.3 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 2309 0 0 0 27 3 0 0 20 0 1 0 194845482 45903872 4022 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 11207 4022 1408 291 0 2741 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 16088 KiB

[startup+0.700208 s]
/proc/loadavg: 4.02 4.09 4.08 4/258 1049963
/proc/meminfo: memFree=124244488/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=57400 memory=24896 CPUtime=0.69 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 3913 0 0 0 64 5 0 0 20 0 1 0 194845482 58777600 6224 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 14350 6224 1462 291 0 5884 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57400 KiB
Current children cumulated memory: 24896 KiB

[startup+1.50019 s]
/proc/loadavg: 4.02 4.09 4.08 5/260 1050009
/proc/meminfo: memFree=124226184/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=72184 memory=35388 CPUtime=1.49 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 6032 0 0 0 140 9 0 0 20 0 1 0 194845482 73916416 8847 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 18046 8847 1462 291 0 9580 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72184 KiB
Current children cumulated memory: 35388 KiB

[startup+3.10563 s]
/proc/loadavg: 4.02 4.09 4.08 5/257 1050009
/proc/meminfo: memFree=124136984/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=81820 memory=47128 CPUtime=3.09 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 7941 0 0 0 294 15 0 0 20 0 1 0 194845482 83783680 11782 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 20455 11782 1462 291 0 11989 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81820 KiB
Current children cumulated memory: 47128 KiB

[startup+6.30024 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1050010
/proc/meminfo: memFree=124090236/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=85852 memory=52328 CPUtime=6.27 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 8785 0 0 0 601 26 0 0 20 0 1 0 194845482 87912448 13082 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 21463 13082 1462 291 0 12997 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85852 KiB
Current children cumulated memory: 52328 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.13 4.10 5/257 1050010
/proc/meminfo: memFree=124018612/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=89116 memory=54936 CPUtime=12.66 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 9393 0 0 0 1218 48 0 0 20 0 1 0 194845482 91254784 13734 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 22279 13734 1462 291 0 13813 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 89116 KiB
Current children cumulated memory: 54936 KiB

[startup+25.5003 s]
/proc/loadavg: 4.42 4.18 4.12 5/257 1050058
/proc/meminfo: memFree=124740724/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=103912 memory=65928 CPUtime=25.42 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 11116 0 0 0 2461 81 0 0 20 0 1 0 194845482 106405888 16482 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 25978 16482 1462 291 0 17512 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 103912 KiB
Current children cumulated memory: 65928 KiB

[startup+51.1056 s]
/proc/loadavg: 4.40 4.19 4.12 5/257 1050062
/proc/meminfo: memFree=124646484/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=124992 memory=86604 CPUtime=50.96 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 14762 0 0 0 4955 141 0 0 20 0 1 0 194845482 127991808 21651 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 31248 21651 1462 291 0 22782 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 124992 KiB
Current children cumulated memory: 86604 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.21 4.13 5/259 1050086
/proc/meminfo: memFree=124518476/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=154544 memory=105620 CPUtime=102.03 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 17501 0 0 0 9965 238 0 0 20 0 1 0 194845482 158253056 26405 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 38636 26405 1462 291 0 30170 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 154544 KiB
Current children cumulated memory: 105620 KiB

[startup+162.3 s]
/proc/loadavg: 4.51 4.28 4.16 5/259 1050096
/proc/meminfo: memFree=124390916/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=161268 memory=119340 CPUtime=161.88 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 19429 0 0 0 15872 316 0 0 20 0 1 0 194845482 165138432 29835 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 40317 29835 1462 291 0 31851 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 161268 KiB
Current children cumulated memory: 119340 KiB

[startup+222.3 s]
/proc/loadavg: 4.34 4.27 4.16 5/261 1050332
/proc/meminfo: memFree=124300292/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=196468 memory=127516 CPUtime=221.73 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 21306 0 0 0 21792 381 0 0 20 0 1 0 194845482 201183232 31879 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 49117 31879 1462 291 0 40651 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 196468 KiB
Current children cumulated memory: 127516 KiB

[startup+282.3 s]
/proc/loadavg: 4.40 4.29 4.17 5/263 1050634
/proc/meminfo: memFree=124322920/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=197876 memory=138584 CPUtime=281.56 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 22520 0 0 0 27712 444 0 0 20 0 1 0 194845482 202625024 34646 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 49469 34646 1462 291 0 41003 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 197876 KiB
Current children cumulated memory: 138584 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.25 4.17 5/261 1050644
/proc/meminfo: memFree=124270648/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=229304 memory=167736 CPUtime=341.41 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 29673 0 0 0 33646 495 0 0 20 0 1 0 194845482 234807296 41934 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 57326 41934 1462 291 0 48860 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 229304 KiB
Current children cumulated memory: 167736 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.23 4.17 5/261 1050655
/proc/meminfo: memFree=124244864/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=232212 memory=170892 CPUtime=401.25 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 30429 0 0 0 39590 535 0 0 20 0 1 0 194845482 237785088 42723 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 58053 42723 1462 291 0 49587 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 232212 KiB
Current children cumulated memory: 170892 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/259 1050665
/proc/meminfo: memFree=124235752/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=236196 memory=176648 CPUtime=461.11 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 31684 0 0 0 45537 574 0 0 20 0 1 0 194845482 241864704 44162 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 59049 44162 1462 291 0 50583 0

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

Current children cumulated memory: 273688 KiB

[startup+2862.3 s]
/proc/loadavg: 4.42 4.26 4.15 5/256 1051758
/proc/meminfo: memFree=122571356/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=278424 CPUtime=2854.48 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 54230 0 0 0 283874 1574 0 0 20 0 1 0 194845482 369229824 69606 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 69606 1462 291 0 81678 0
Current children cumulated CPU time: 2854.48 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 278424 KiB

[startup+2922.3 s]
/proc/loadavg: 4.30 4.25 4.16 5/256 1051769
/proc/meminfo: memFree=122544796/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=278428 CPUtime=2914.3 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 54360 0 0 0 289839 1591 0 0 20 0 1 0 194845482 369229824 69607 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 69607 1462 291 0 81678 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 278428 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.24 4.16 5/257 1052162
/proc/meminfo: memFree=122538380/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=280664 CPUtime=2974.13 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 54555 0 0 0 295806 1607 0 0 20 0 1 0 194845482 369229824 70166 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 70166 1462 291 0 81678 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 280664 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/256 1052172
/proc/meminfo: memFree=122538476/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=280860 CPUtime=3033.96 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 54663 0 0 0 301768 1628 0 0 20 0 1 0 194845482 369229824 70215 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 70215 1462 291 0 81678 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 280860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.21 4.16 5/256 1052183
/proc/meminfo: memFree=122536456/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=281136 CPUtime=3093.78 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 55277 0 0 0 307732 1646 0 0 20 0 1 0 194845482 369229824 70284 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 70284 1462 291 0 81678 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 281136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.19 4.15 5/258 1052363
/proc/meminfo: memFree=122532952/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=281140 CPUtime=3153.61 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 55423 0 0 0 313697 1664 0 0 20 0 1 0 194845482 369229824 70285 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 70285 1462 291 0 81678 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 281140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/258 1052373
/proc/meminfo: memFree=122485580/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=360576 memory=281240 CPUtime=3213.44 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 55540 0 0 0 319661 1683 0 0 20 0 1 0 194845482 369229824 70310 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90144 70310 1462 291 0 81678 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 360576 KiB
Current children cumulated memory: 281240 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/256 1052384
/proc/meminfo: memFree=122434660/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=361032 memory=284072 CPUtime=3273.26 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 55839 0 0 0 325627 1699 0 0 20 0 1 0 194845482 369696768 71018 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90258 71018 1462 291 0 81792 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 361032 KiB
Current children cumulated memory: 284072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/257 1052410
/proc/meminfo: memFree=122376556/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=361228 memory=284368 CPUtime=3333.09 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 56021 0 0 0 331593 1716 0 0 20 0 1 0 194845482 369897472 71092 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90307 71092 1462 291 0 81841 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 361228 KiB
Current children cumulated memory: 284368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/258 1052422
/proc/meminfo: memFree=122324060/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=361684 memory=286752 CPUtime=3392.91 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 56375 0 0 0 337562 1729 0 0 20 0 1 0 194845482 370364416 71688 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90421 71688 1462 291 0 81955 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 361684 KiB
Current children cumulated memory: 286752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/258 1052432
/proc/meminfo: memFree=122263696/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=361684 memory=286876 CPUtime=3452.74 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 56482 0 0 0 343526 1748 0 0 20 0 1 0 194845482 370364416 71719 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90421 71719 1462 291 0 81955 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 361684 KiB
Current children cumulated memory: 286876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.12 5/257 1052443
/proc/meminfo: memFree=122237476/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=361684 memory=287124 CPUtime=3512.57 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 56650 0 0 0 349491 1766 0 0 20 0 1 0 194845482 370364416 71781 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90421 71781 1462 291 0 81955 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 361684 KiB
Current children cumulated memory: 287124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/257 1052453
/proc/meminfo: memFree=122233028/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=362000 memory=287372 CPUtime=3572.39 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 56907 0 0 0 355458 1781 0 0 20 0 1 0 194845482 370688000 71843 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90500 71843 1462 291 0 82034 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 362000 KiB
Current children cumulated memory: 287372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.13 4.12 4.12 5/255 1052458
/proc/meminfo: memFree=122229556/131524600 swapFree=131071996/131071996
[pid=1049930] ppid=1049927 vsize=362000 memory=287372 CPUtime=3600.01 cores=5,7
/proc/1049930/stat : 1049930 (pb-oll-rs) R 1049927 1049930 1047822 0 -1 4194304 56911 0 0 0 358211 1790 0 0 20 0 1 0 194845482 370688000 71843 134679101440 4194304 5384485 140721618964512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7561216 140721618969621 140721618969698 140721618969698 140721618976715 0
/proc/1049930/statm: 90500 71843 1462 291 0 82034 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 362000 KiB
Current children cumulated memory: 287372 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.12 s, system=17.9098 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.03
CPU user time (s): 3582.12
CPU system time (s): 17.9098
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 362000
Max. memory (cumulated for all children) (KiB): 287372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.12
system time used= 17.9098
maximum resident set size= 287652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56929
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= 91
involuntary context switches= 2227


# summary of solver processes directly reported to runsolver:
#   pid: 1049930
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3582.12
#   total CPU system time (s): 17.9098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.51632 second user time and 18.7404 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-20 00:06:10
IDJOB=4454375
IDBENCH=146650
IDSOLVER=3082
FILE ID=nodeC033/4454375-1721426758
RUNJOBID= nodeC033-1721423159-1047835
SLURM_JOB_ID= 7545610
Free space on /tmp= 890068 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454375-1721426758/watcher-4454375-1721426758 -o /tmp/evaluation-result-4454375-1721426758/solver-4454375-1721426758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721423159-1047835 --watchdog 3760  pb-oll-rs HOME/instance-4454375-1721426758.opb

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

MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=469702670

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		: 3671.941
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		: 3679.962
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		: 3600.180
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		: 3611.107
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		: 3671.980
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		: 3636.931
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		: 3599.998
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		: 3656.901
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:        124252728 kB
MemAvailable:   128557372 kB
Buffers:          584748 kB
Cached:          4512272 kB
SwapCached:            0 kB
Active:          1058504 kB
Inactive:        5482700 kB
Active(anon):       1556 kB
Inactive(anon):  1488536 kB
Active(file):    1056948 kB
Inactive(file):  3994164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2824 kB
Writeback:             0 kB
AnonPages:       1437644 kB
Mapped:           110716 kB
Shmem:             45908 kB
KReclaimable:     186356 kB
Slab:             309824 kB
SReclaimable:     186356 kB
SUnreclaim:       123468 kB
KernelStack:        4160 kB
PageTables:        12364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1950968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71584 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 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= 890076 MiB
End job on nodeC033 at 2024-07-20 01:06:20