Trace number 4459126

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-02? (TO) 3600.64 3607.86

DiagnosticValue
AM1LB0
LOWERBOUND1460
NAM1S0
NCORES1460
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
MD5SUM8dda82f4961ecebecfcf9bee24c61458
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 benchmark1540
Best CPU time to get the best result obtained on this benchmark1431.86
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4576880
Total number of constraints176770
Number of constraints which are clauses89155
Number of constraints which are cardinality constraints (but not clauses)81620
Number of constraints which are nor clauses,nor cardinality constraints5995
Minimum length of a constraint54
Maximum length of a constraint59
Number of terms in the objective function 3080
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3080
Number of bits of the biggest sum of numbers12
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
4.78/4.89	c [STEP] solving
4.78/4.89	c #variables 4576880 #constraints 176770
4.78/4.89	c SMALL=int, LARGE=long long
4.78/4.89	c bounds - >= 0 @ 4.26476
4.78/4.89	c stratification level: 0
62.14/62.35	c bounds - >= 1 @ 20.0314
62.14/62.35	c bounds - >= 2 @ 20.0429
62.14/62.35	c bounds - >= 3 @ 20.0588
62.14/62.35	c bounds - >= 4 @ 20.0746
62.14/62.35	c bounds - >= 5 @ 20.0896
62.14/62.35	c bounds - >= 6 @ 20.1051
62.14/62.35	c bounds - >= 7 @ 20.1218
62.14/62.35	c bounds - >= 8 @ 20.1403
62.14/62.35	c bounds - >= 9 @ 20.1604
62.14/62.35	c bounds - >= 10 @ 20.187
62.14/62.35	c bounds - >= 11 @ 20.2133
62.14/62.35	c bounds - >= 12 @ 20.2422
62.14/62.35	c bounds - >= 13 @ 20.2632
62.14/62.35	c bounds - >= 14 @ 20.289
62.14/62.35	c bounds - >= 15 @ 20.3191
62.14/62.35	c bounds - >= 16 @ 20.3539
62.14/62.35	c bounds - >= 17 @ 20.384
62.14/62.35	c bounds - >= 18 @ 20.4187
62.14/62.35	c #Conflicts:       1000 | #Constraints:     177787
62.14/62.35	c bounds - >= 19 @ 20.4484
62.14/62.35	c bounds - >= 20 @ 20.4871
62.14/62.35	c bounds - >= 21 @ 20.529
62.14/62.35	c bounds - >= 22 @ 20.5612
62.14/62.35	c bounds - >= 23 @ 20.603
62.14/62.35	c bounds - >= 24 @ 20.648
62.14/62.35	c bounds - >= 25 @ 20.6928
62.14/62.35	c bounds - >= 26 @ 20.7451
62.14/62.35	c bounds - >= 27 @ 20.7917
62.14/62.35	c bounds - >= 28 @ 20.8458
62.14/62.35	c bounds - >= 29 @ 20.8961
62.14/62.35	c bounds - >= 30 @ 20.9515
62.14/62.35	c bounds - >= 31 @ 20.999
62.14/62.35	c bounds - >= 32 @ 21.0619
62.14/62.35	c bounds - >= 33 @ 21.127
62.14/62.35	c bounds - >= 34 @ 21.1944
62.14/62.35	c bounds - >= 35 @ 21.2553
62.14/62.35	c bounds - >= 36 @ 21.3118
62.14/62.35	c bounds - >= 37 @ 21.3714
62.14/62.35	c #Conflicts:       2000 | #Constraints:     178806
62.14/62.35	c INPROCESSING
62.14/62.35	c bounds - >= 38 @ 21.5363
62.14/62.35	c bounds - >= 39 @ 21.5994
62.14/62.35	c bounds - >= 40 @ 21.6641
62.14/62.35	c bounds - >= 41 @ 21.7336
62.14/62.35	c bounds - >= 42 @ 21.8032
62.14/62.35	c bounds - >= 43 @ 21.8832
62.14/62.35	c bounds - >= 44 @ 21.9428
62.14/62.35	c bounds - >= 45 @ 22.0226
62.14/62.35	c bounds - >= 46 @ 22.0986
62.14/62.35	c bounds - >= 47 @ 22.1703
62.14/62.35	c bounds - >= 48 @ 22.2549
62.14/62.35	c bounds - >= 49 @ 22.3347
62.14/62.35	c bounds - >= 50 @ 22.4107
62.14/62.35	c bounds - >= 51 @ 22.4865
62.14/62.35	c bounds - >= 52 @ 22.5706
62.14/62.35	c bounds - >= 53 @ 22.6569
62.14/62.35	c bounds - >= 54 @ 22.7334
62.14/62.35	c bounds - >= 55 @ 22.8246
62.14/62.35	c #Conflicts:       3000 | #Constraints:     178798
62.14/62.35	c bounds - >= 56 @ 22.9355
62.14/62.35	c bounds - >= 57 @ 23.0655
62.14/62.35	c bounds - >= 58 @ 23.1981
62.14/62.35	c bounds - >= 59 @ 23.3262
62.14/62.35	c #Conflicts:       4000 | #Constraints:     179802
62.14/62.35	c bounds - >= 60 @ 23.4666
62.14/62.35	c INPROCESSING
62.14/62.35	c bounds - >= 61 @ 23.7176
62.14/62.35	c bounds - >= 62 @ 23.8427
62.14/62.35	c bounds - >= 63 @ 23.9692
62.14/62.35	c bounds - >= 64 @ 24.1049
62.14/62.35	c #Conflicts:       5000 | #Constraints:     179216
62.14/62.35	c bounds - >= 65 @ 24.2565
62.14/62.35	c bounds - >= 66 @ 24.4012
62.14/62.35	c bounds - >= 67 @ 24.5394
62.14/62.35	c bounds - >= 68 @ 24.6693
62.14/62.35	c bounds - >= 69 @ 24.8064
62.14/62.35	c #Conflicts:       6000 | #Constraints:     180221
62.14/62.35	c bounds - >= 70 @ 24.9373
62.14/62.35	c bounds - >= 71 @ 25.0692
62.14/62.35	c INPROCESSING
62.14/62.35	c GARBAGE COLLECT
62.14/62.35	c bounds - >= 72 @ 25.5213
62.14/62.35	c bounds - >= 73 @ 25.6678
62.14/62.35	c #Conflicts:       7000 | #Constraints:     179218
62.14/62.35	c bounds - >= 74 @ 25.802
62.14/62.35	c bounds - >= 75 @ 25.9524
62.14/62.35	c bounds - >= 76 @ 26.1175
62.14/62.35	c bounds - >= 77 @ 26.2657
62.14/62.35	c bounds - >= 78 @ 26.4253
62.14/62.35	c #Conflicts:       8000 | #Constraints:     180223
62.14/62.35	c bounds - >= 79 @ 26.5761
62.14/62.35	c bounds - >= 80 @ 26.7243
62.14/62.35	c bounds - >= 81 @ 26.8756
62.14/62.35	c bounds - >= 82 @ 27.0398
62.14/62.35	c #Conflicts:       9000 | #Constraints:     181227
62.14/62.35	c bounds - >= 83 @ 27.1959
62.14/62.35	c INPROCESSING
62.14/62.35	c bounds - >= 84 @ 27.4637
62.14/62.35	c bounds - >= 85 @ 27.6206
62.14/62.35	c bounds - >= 86 @ 27.7773
62.14/62.35	c bounds - >= 87 @ 27.9623
62.14/62.35	c #Conflicts:      10000 | #Constraints:     179929
62.14/62.35	c bounds - >= 88 @ 28.1236
62.14/62.35	c bounds - >= 89 @ 28.3022
62.14/62.35	c bounds - >= 90 @ 28.468
62.14/62.35	c bounds - >= 91 @ 28.6289
62.14/62.35	c bounds - >= 92 @ 28.8084
62.14/62.35	c #Conflicts:      11000 | #Constraints:     180934
62.14/62.35	c bounds - >= 93 @ 28.9753
62.14/62.35	c bounds - >= 94 @ 29.1376
62.14/62.35	c bounds - >= 95 @ 29.3059
62.14/62.35	c bounds - >= 96 @ 29.4776
62.14/62.35	c #Conflicts:      12000 | #Constraints:     181938
62.14/62.35	c INPROCESSING
62.14/62.35	c GARBAGE COLLECT
62.14/62.35	c bounds - >= 97 @ 29.971
62.14/62.35	c bounds - >= 98 @ 30.1629
62.14/62.35	c bounds - >= 99 @ 30.3535
62.14/62.35	c bounds - >= 100 @ 30.5307
62.14/62.35	c bounds - >= 101 @ 30.7159
62.14/62.35	c #Conflicts:      13000 | #Constraints:     180384
62.14/62.35	c bounds - >= 102 @ 30.9051
62.14/62.35	c bounds - >= 103 @ 31.0966
62.14/62.35	c bounds - >= 104 @ 31.2873
62.14/62.35	c bounds - >= 105 @ 31.4837
62.14/62.35	c bounds - >= 106 @ 31.6787
62.14/62.35	c #Conflicts:      14000 | #Constraints:     181389
62.14/62.35	c bounds - >= 107 @ 31.8698
62.14/62.35	c bounds - >= 108 @ 32.0677
62.14/62.35	c bounds - >= 109 @ 32.27
62.14/62.35	c bounds - >= 110 @ 32.4547
62.14/62.35	c #Conflicts:      15000 | #Constraints:     182393
62.14/62.35	c INPROCESSING
62.14/62.35	c bounds - >= 111 @ 32.7749
62.14/62.35	c bounds - >= 112 @ 32.9685
62.14/62.35	c bounds - >= 113 @ 33.1653
62.14/62.35	c bounds - >= 114 @ 33.3814
62.14/62.35	c bounds - >= 115 @ 33.5918
62.14/62.35	c #Conflicts:      16000 | #Constraints:     180628
62.14/62.35	c bounds - >= 116 @ 33.8003
62.14/62.35	c bounds - >= 117 @ 34.0047
125.52/125.86	c bounds - >= 118 @ 34.1932
125.52/125.86	c bounds - >= 119 @ 34.4061
125.52/125.86	c #Conflicts:      17000 | #Constraints:     181632
125.52/125.86	c bounds - >= 120 @ 34.6007
125.52/125.86	c bounds - >= 121 @ 34.8155
125.52/125.86	c bounds - >= 122 @ 35.0234
125.52/125.86	c bounds - >= 123 @ 35.2263
125.52/125.86	c bounds - >= 124 @ 35.4568
125.52/125.86	c #Conflicts:      18000 | #Constraints:     182637
125.52/125.86	c bounds - >= 125 @ 35.6852
125.52/125.86	c INPROCESSING
125.52/125.86	c GARBAGE COLLECT
125.52/125.86	c bounds - >= 126 @ 36.2286
125.52/125.86	c bounds - >= 127 @ 36.4469
125.52/125.86	c bounds - >= 128 @ 36.6613
125.52/125.86	c bounds - >= 129 @ 36.8913
125.52/125.86	c #Conflicts:      19000 | #Constraints:     180629
125.52/125.86	c bounds - >= 130 @ 37.1102
125.52/125.86	c bounds - >= 131 @ 37.3157
125.52/125.86	c bounds - >= 132 @ 37.5162
125.52/125.86	c bounds - >= 133 @ 37.7402
125.52/125.86	c #Conflicts:      20000 | #Constraints:     181633
125.52/125.86	c bounds - >= 134 @ 37.976
125.52/125.86	c bounds - >= 135 @ 38.1964
125.52/125.86	c bounds - >= 136 @ 38.4271
125.52/125.86	c bounds - >= 137 @ 38.6461
125.52/125.86	c bounds - >= 138 @ 38.888
125.52/125.86	c #Conflicts:      21000 | #Constraints:     182638
125.52/125.86	c bounds - >= 139 @ 39.1177
125.52/125.86	c bounds - >= 140 @ 39.3527
125.52/125.86	c bounds - >= 141 @ 39.6096
125.52/125.86	c INPROCESSING
125.52/125.86	c GARBAGE COLLECT
125.52/125.86	c bounds - >= 142 @ 40.1958
125.52/125.86	c bounds - >= 143 @ 40.4483
125.52/125.86	c #Conflicts:      22000 | #Constraints:     180453
125.52/125.86	c bounds - >= 144 @ 40.6826
125.52/125.86	c bounds - >= 145 @ 40.9279
125.52/125.86	c bounds - >= 146 @ 41.1588
125.52/125.86	c bounds - >= 147 @ 41.412
125.52/125.86	c #Conflicts:      23000 | #Constraints:     181457
125.52/125.86	c bounds - >= 148 @ 41.654
125.52/125.86	c bounds - >= 149 @ 41.9055
125.52/125.86	c bounds - >= 150 @ 42.1502
125.52/125.86	c bounds - >= 151 @ 42.3934
125.52/125.86	c bounds - >= 152 @ 42.6413
125.52/125.86	c #Conflicts:      24000 | #Constraints:     182462
125.52/125.86	c bounds - >= 153 @ 42.9048
125.52/125.86	c bounds - >= 154 @ 43.1607
125.52/125.86	c bounds - >= 155 @ 43.4116
125.52/125.86	c bounds - >= 156 @ 43.6648
125.52/125.86	c #Conflicts:      25000 | #Constraints:     183466
125.52/125.86	c bounds - >= 157 @ 43.9243
125.52/125.86	c INPROCESSING
125.52/125.86	c GARBAGE COLLECT
125.52/125.86	c bounds - >= 158 @ 44.512
125.52/125.86	c bounds - >= 159 @ 44.788
125.52/125.86	c bounds - >= 160 @ 45.0627
125.52/125.86	c bounds - >= 161 @ 45.311
125.52/125.86	c #Conflicts:      26000 | #Constraints:     181060
125.52/125.86	c bounds - >= 162 @ 45.5839
125.52/125.86	c bounds - >= 163 @ 45.8485
125.52/125.86	c bounds - >= 164 @ 46.1032
125.52/125.86	c bounds - >= 165 @ 46.3703
125.52/125.86	c bounds - >= 166 @ 46.6331
125.52/125.86	c #Conflicts:      27000 | #Constraints:     182065
125.52/125.86	c bounds - >= 167 @ 46.8947
125.52/125.86	c bounds - >= 168 @ 47.1752
125.52/125.86	c bounds - >= 169 @ 47.4516
125.52/125.86	c bounds - >= 170 @ 47.7101
125.52/125.86	c #Conflicts:      28000 | #Constraints:     183069
125.52/125.86	c bounds - >= 171 @ 47.9935
125.52/125.86	c bounds - >= 172 @ 48.2689
125.52/125.86	c bounds - >= 173 @ 48.5655
125.52/125.86	c bounds - >= 174 @ 48.8495
125.52/125.86	c bounds - >= 175 @ 49.1348
125.52/125.86	c #Conflicts:      29000 | #Constraints:     184074
125.52/125.86	c INPROCESSING
125.52/125.86	c GARBAGE COLLECT
125.52/125.86	c bounds - >= 176 @ 49.7495
125.52/125.86	c bounds - >= 177 @ 50.0517
125.52/125.86	c bounds - >= 178 @ 50.3143
125.52/125.86	c bounds - >= 179 @ 50.6155
125.52/125.86	c bounds - >= 180 @ 50.916
125.52/125.86	c #Conflicts:      30000 | #Constraints:     181446
125.52/125.86	c bounds - >= 181 @ 51.2022
125.52/125.86	c bounds - >= 182 @ 51.483
125.52/125.86	c bounds - >= 183 @ 51.7799
125.52/125.86	c bounds - >= 184 @ 52.0494
125.52/125.86	c #Conflicts:      31000 | #Constraints:     182450
125.52/125.86	c bounds - >= 185 @ 52.3438
125.52/125.86	c bounds - >= 186 @ 52.6308
125.52/125.86	c bounds - >= 187 @ 52.9226
125.52/125.86	c bounds - >= 188 @ 53.226
125.52/125.86	c bounds - >= 189 @ 53.5429
125.52/125.86	c #Conflicts:      32000 | #Constraints:     183455
125.52/125.86	c bounds - >= 190 @ 53.8439
125.52/125.86	c bounds - >= 191 @ 54.1239
125.52/125.86	c bounds - >= 192 @ 54.4503
125.52/125.86	c bounds - >= 193 @ 54.7487
125.52/125.86	c bounds - >= 194 @ 55.0621
125.52/125.86	c #Conflicts:      33000 | #Constraints:     184460
125.52/125.86	c INPROCESSING
125.52/125.86	c GARBAGE COLLECT
125.52/125.86	c bounds - >= 195 @ 55.7172
125.52/125.86	c bounds - >= 196 @ 56.0468
125.52/125.86	c bounds - >= 197 @ 56.3577
125.52/125.86	c bounds - >= 198 @ 56.6793
125.52/125.86	c #Conflicts:      34000 | #Constraints:     181639
125.52/125.86	c bounds - >= 199 @ 57.0003
125.52/125.86	c bounds - >= 200 @ 57.3025
125.52/125.86	c bounds - >= 201 @ 57.6269
125.52/125.86	c bounds - >= 202 @ 57.9364
125.52/125.86	c bounds - >= 203 @ 58.2527
125.52/125.86	c #Conflicts:      35000 | #Constraints:     182644
125.52/125.86	c bounds - >= 204 @ 58.5702
125.52/125.86	c bounds - >= 205 @ 58.892
125.52/125.86	c bounds - >= 206 @ 59.2219
125.52/125.86	c bounds - >= 207 @ 59.5509
125.52/125.86	c #Conflicts:      36000 | #Constraints:     183648
125.52/125.86	c bounds - >= 208 @ 59.8748
125.52/125.86	c bounds - >= 209 @ 60.1995
125.52/125.86	c bounds - >= 210 @ 60.5079
125.52/125.86	c bounds - >= 211 @ 60.8309
125.52/125.86	c bounds - >= 212 @ 61.1577
125.52/125.86	c #Conflicts:      37000 | #Constraints:     184653
125.52/125.86	c bounds - >= 213 @ 61.5041
125.52/125.86	c INPROCESSING
125.52/125.86	c GARBAGE COLLECT
125.52/125.86	c bounds - >= 214 @ 62.1796
125.52/125.86	c bounds - >= 215 @ 62.5124
125.52/125.86	c bounds - >= 216 @ 62.8595
125.52/125.86	c bounds - >= 217 @ 63.1983
220.55/221.01	c #Conflicts:      38000 | #Constraints:     181658
220.55/221.01	c bounds - >= 218 @ 63.5209
220.55/221.01	c bounds - >= 219 @ 63.8627
220.55/221.01	c bounds - >= 220 @ 64.2165
220.55/221.01	c bounds - >= 221 @ 64.5558
220.55/221.01	c #Conflicts:      39000 | #Constraints:     182662
220.55/221.01	c bounds - >= 222 @ 64.8966
220.55/221.01	c bounds - >= 223 @ 65.2476
220.55/221.01	c bounds - >= 224 @ 65.5947
220.55/221.01	c bounds - >= 225 @ 65.9525
220.55/221.01	c bounds - >= 226 @ 66.2998
220.55/221.01	c #Conflicts:      40000 | #Constraints:     183667
220.55/221.01	c bounds - >= 227 @ 66.6499
220.55/221.01	c bounds - >= 228 @ 67.0275
220.55/221.01	c bounds - >= 229 @ 67.3791
220.55/221.01	c bounds - >= 230 @ 67.7428
220.55/221.01	c bounds - >= 231 @ 68.1124
220.55/221.01	c #Conflicts:      41000 | #Constraints:     184672
220.55/221.01	c bounds - >= 232 @ 68.4712
220.55/221.01	c bounds - >= 233 @ 68.8615
220.55/221.01	c INPROCESSING
220.55/221.01	c GARBAGE COLLECT
220.55/221.01	c bounds - >= 234 @ 69.5799
220.55/221.01	c bounds - >= 235 @ 69.9493
220.55/221.01	c #Conflicts:      42000 | #Constraints:     181451
220.55/221.01	c bounds - >= 236 @ 70.2906
220.55/221.01	c bounds - >= 237 @ 70.6554
220.55/221.01	c bounds - >= 238 @ 71.0051
220.55/221.01	c bounds - >= 239 @ 71.3468
220.55/221.01	c bounds - >= 240 @ 71.7042
220.55/221.01	c #Conflicts:      43000 | #Constraints:     182456
220.55/221.01	c bounds - >= 241 @ 72.0695
220.55/221.01	c bounds - >= 242 @ 72.4456
220.55/221.01	c bounds - >= 243 @ 72.8359
220.55/221.01	c bounds - >= 244 @ 73.2142
220.55/221.01	c #Conflicts:      44000 | #Constraints:     183460
220.55/221.01	c bounds - >= 245 @ 73.5958
220.55/221.01	c bounds - >= 246 @ 73.988
220.55/221.01	c bounds - >= 247 @ 74.3618
220.55/221.01	c bounds - >= 248 @ 74.7481
220.55/221.01	c bounds - >= 249 @ 75.1402
220.55/221.01	c #Conflicts:      45000 | #Constraints:     184465
220.55/221.01	c bounds - >= 250 @ 75.505
220.55/221.01	c bounds - >= 251 @ 75.8792
220.55/221.01	c bounds - >= 252 @ 76.2546
220.55/221.01	c bounds - >= 253 @ 76.6237
220.55/221.01	c bounds - >= 254 @ 77.0187
220.55/221.01	c #Conflicts:      46000 | #Constraints:     185470
220.55/221.01	c bounds - >= 255 @ 77.4037
220.55/221.01	c INPROCESSING
220.55/221.01	c GARBAGE COLLECT
220.55/221.01	c bounds - >= 256 @ 78.1297
220.55/221.01	c bounds - >= 257 @ 78.5044
220.55/221.01	c bounds - >= 258 @ 78.8931
220.55/221.01	c #Conflicts:      47000 | #Constraints:     182053
220.55/221.01	c bounds - >= 259 @ 79.2728
220.55/221.01	c bounds - >= 260 @ 79.6588
220.55/221.01	c bounds - >= 261 @ 80.0406
220.55/221.01	c bounds - >= 262 @ 80.4504
220.55/221.01	c bounds - >= 263 @ 80.8443
220.55/221.01	c #Conflicts:      48000 | #Constraints:     183058
220.55/221.01	c bounds - >= 264 @ 81.2603
220.55/221.01	c bounds - >= 265 @ 81.6531
220.55/221.01	c bounds - >= 266 @ 82.0703
220.55/221.01	c bounds - >= 267 @ 82.4621
220.55/221.01	c bounds - >= 268 @ 82.8781
220.55/221.01	c #Conflicts:      49000 | #Constraints:     184063
220.55/221.01	c bounds - >= 269 @ 83.3125
220.55/221.01	c bounds - >= 270 @ 83.7067
220.55/221.01	c bounds - >= 271 @ 84.1147
220.55/221.01	c bounds - >= 272 @ 84.5241
220.55/221.01	c #Conflicts:      50000 | #Constraints:     185067
220.55/221.01	c bounds - >= 273 @ 84.9402
220.55/221.01	c bounds - >= 274 @ 85.345
220.55/221.01	c bounds - >= 275 @ 85.7856
220.55/221.01	c bounds - >= 276 @ 86.1924
220.55/221.01	c bounds - >= 277 @ 86.5901
220.55/221.01	c #Conflicts:      51000 | #Constraints:     186072
220.55/221.01	c INPROCESSING
220.55/221.01	c GARBAGE COLLECT
220.55/221.01	c bounds - >= 278 @ 87.3444
220.55/221.01	c bounds - >= 279 @ 87.7516
220.55/221.01	c bounds - >= 280 @ 88.168
220.55/221.01	c bounds - >= 281 @ 88.5772
220.55/221.01	c #Conflicts:      52000 | #Constraints:     182452
220.55/221.01	c bounds - >= 282 @ 88.9918
220.55/221.01	c bounds - >= 283 @ 89.4325
220.55/221.01	c bounds - >= 284 @ 89.8761
220.55/221.01	c bounds - >= 285 @ 90.3351
220.55/221.01	c bounds - >= 286 @ 90.7818
220.55/221.01	c #Conflicts:      53000 | #Constraints:     183457
220.55/221.01	c bounds - >= 287 @ 91.2296
220.55/221.01	c bounds - >= 288 @ 91.6738
220.55/221.01	c bounds - >= 289 @ 92.1159
220.55/221.01	c bounds - >= 290 @ 92.5216
220.55/221.01	c bounds - >= 291 @ 92.9476
220.55/221.01	c #Conflicts:      54000 | #Constraints:     184462
220.55/221.01	c bounds - >= 292 @ 93.3987
220.55/221.01	c bounds - >= 293 @ 93.8094
220.55/221.01	c bounds - >= 294 @ 94.2541
220.55/221.01	c bounds - >= 295 @ 94.6767
220.55/221.01	c #Conflicts:      55000 | #Constraints:     185466
220.55/221.01	c bounds - >= 296 @ 95.1275
220.55/221.01	c bounds - >= 297 @ 95.5691
220.55/221.01	c bounds - >= 298 @ 96.0216
220.55/221.01	c bounds - >= 299 @ 96.4762
220.55/221.01	c bounds - >= 300 @ 96.9303
220.55/221.01	c #Conflicts:      56000 | #Constraints:     186471
220.55/221.01	c INPROCESSING
220.55/221.01	c GARBAGE COLLECT
220.55/221.01	c bounds - >= 301 @ 97.7171
220.55/221.01	c bounds - >= 302 @ 98.1607
220.55/221.01	c bounds - >= 303 @ 98.6229
220.55/221.01	c bounds - >= 304 @ 99.0635
220.55/221.01	c bounds - >= 305 @ 99.4896
220.55/221.01	c #Conflicts:      57000 | #Constraints:     182641
220.55/221.01	c bounds - >= 306 @ 99.9372
220.55/221.01	c bounds - >= 307 @ 100.378
220.55/221.01	c bounds - >= 308 @ 100.859
220.55/221.01	c bounds - >= 309 @ 101.312
220.55/221.01	c #Conflicts:      58000 | #Constraints:     183645
220.55/221.01	c bounds - >= 310 @ 101.753
220.55/221.01	c bounds - >= 311 @ 102.189
220.55/221.01	c bounds - >= 312 @ 102.672
220.55/221.01	c bounds - >= 313 @ 103.126
220.55/221.01	c bounds - >= 314 @ 103.602
220.55/221.01	c #Conflicts:      59000 | #Constraints:     184650
220.55/221.01	c bounds - >= 315 @ 104.077
220.55/221.01	c bounds - >= 316 @ 104.526
220.55/221.01	c bounds - >= 317 @ 104.999
220.55/221.01	c bounds - >= 318 @ 105.452
350.79/351.58	c bounds - >= 319 @ 105.93
350.79/351.58	c #Conflicts:      60000 | #Constraints:     185655
350.79/351.58	c bounds - >= 320 @ 106.406
350.79/351.58	c bounds - >= 321 @ 106.898
350.79/351.58	c bounds - >= 322 @ 107.352
350.79/351.58	c bounds - >= 323 @ 107.854
350.79/351.58	c #Conflicts:      61000 | #Constraints:     186659
350.79/351.58	c bounds - >= 324 @ 108.306
350.79/351.58	c INPROCESSING
350.79/351.58	c GARBAGE COLLECT
350.79/351.58	c bounds - >= 325 @ 109.118
350.79/351.58	c bounds - >= 326 @ 109.583
350.79/351.58	c bounds - >= 327 @ 110.039
350.79/351.58	c bounds - >= 328 @ 110.516
350.79/351.58	c #Conflicts:      62000 | #Constraints:     182642
350.79/351.58	c bounds - >= 329 @ 110.998
350.79/351.58	c bounds - >= 330 @ 111.493
350.79/351.58	c bounds - >= 331 @ 111.974
350.79/351.58	c bounds - >= 332 @ 112.506
350.79/351.58	c #Conflicts:      63000 | #Constraints:     183646
350.79/351.58	c bounds - >= 333 @ 113.008
350.79/351.58	c bounds - >= 334 @ 113.52
350.79/351.58	c bounds - >= 335 @ 114.007
350.79/351.58	c bounds - >= 336 @ 114.505
350.79/351.58	c bounds - >= 337 @ 114.98
350.79/351.58	c #Conflicts:      64000 | #Constraints:     184651
350.79/351.58	c bounds - >= 338 @ 115.452
350.79/351.58	c bounds - >= 339 @ 115.969
350.79/351.58	c bounds - >= 340 @ 116.464
350.79/351.58	c bounds - >= 341 @ 116.967
350.79/351.58	c bounds - >= 342 @ 117.473
350.79/351.58	c #Conflicts:      65000 | #Constraints:     185656
350.79/351.58	c bounds - >= 343 @ 117.994
350.79/351.58	c bounds - >= 344 @ 118.491
350.79/351.58	c bounds - >= 345 @ 119.011
350.79/351.58	c bounds - >= 346 @ 119.537
350.79/351.58	c #Conflicts:      66000 | #Constraints:     186660
350.79/351.58	c bounds - >= 347 @ 120.037
350.79/351.58	c bounds - >= 348 @ 120.529
350.79/351.58	c bounds - >= 349 @ 121.038
350.79/351.58	c INPROCESSING
350.79/351.58	c GARBAGE COLLECT
350.79/351.58	c bounds - >= 350 @ 121.918
350.79/351.58	c bounds - >= 351 @ 122.434
350.79/351.58	c #Conflicts:      67000 | #Constraints:     182441
350.79/351.58	c bounds - >= 352 @ 122.942
350.79/351.58	c bounds - >= 353 @ 123.479
350.79/351.58	c bounds - >= 354 @ 123.989
350.79/351.58	c bounds - >= 355 @ 124.524
350.79/351.58	c bounds - >= 356 @ 125.043
350.79/351.58	c #Conflicts:      68000 | #Constraints:     183446
350.79/351.58	c bounds - >= 357 @ 125.553
350.79/351.58	c bounds - >= 358 @ 126.067
350.79/351.58	c bounds - >= 359 @ 126.596
350.79/351.58	c bounds - >= 360 @ 127.117
350.79/351.58	c #Conflicts:      69000 | #Constraints:     184450
350.79/351.58	c bounds - >= 361 @ 127.646
350.79/351.58	c bounds - >= 362 @ 128.182
350.79/351.58	c bounds - >= 363 @ 128.697
350.79/351.58	c bounds - >= 364 @ 129.227
350.79/351.58	c bounds - >= 365 @ 129.757
350.79/351.58	c #Conflicts:      70000 | #Constraints:     185455
350.79/351.58	c bounds - >= 366 @ 130.309
350.79/351.58	c bounds - >= 367 @ 130.855
350.79/351.58	c bounds - >= 368 @ 131.398
350.79/351.58	c bounds - >= 369 @ 131.938
350.79/351.58	c #Conflicts:      71000 | #Constraints:     186459
350.79/351.58	c bounds - >= 370 @ 132.465
350.79/351.58	c bounds - >= 371 @ 133.028
350.79/351.58	c bounds - >= 372 @ 133.548
350.79/351.58	c bounds - >= 373 @ 134.089
350.79/351.58	c bounds - >= 374 @ 134.638
350.79/351.58	c #Conflicts:      72000 | #Constraints:     187464
350.79/351.58	c bounds - >= 375 @ 135.207
350.79/351.58	c INPROCESSING
350.79/351.58	c GARBAGE COLLECT
350.79/351.58	c bounds - >= 376 @ 136.111
350.79/351.58	c bounds - >= 377 @ 136.703
350.79/351.58	c bounds - >= 378 @ 137.269
350.79/351.58	c bounds - >= 379 @ 137.8
350.79/351.58	c #Conflicts:      73000 | #Constraints:     183035
350.79/351.58	c bounds - >= 380 @ 138.322
350.79/351.58	c bounds - >= 381 @ 138.872
350.79/351.58	c bounds - >= 382 @ 139.432
350.79/351.58	c bounds - >= 383 @ 139.978
350.79/351.58	c #Conflicts:      74000 | #Constraints:     184039
350.79/351.58	c bounds - >= 384 @ 140.554
350.79/351.58	c bounds - >= 385 @ 141.1
350.79/351.58	c bounds - >= 386 @ 141.679
350.79/351.58	c bounds - >= 387 @ 142.23
350.79/351.58	c bounds - >= 388 @ 142.796
350.79/351.58	c #Conflicts:      75000 | #Constraints:     185044
350.79/351.58	c bounds - >= 389 @ 143.372
350.79/351.58	c bounds - >= 390 @ 143.968
350.79/351.58	c bounds - >= 391 @ 144.546
350.79/351.58	c bounds - >= 392 @ 145.1
350.79/351.58	c bounds - >= 393 @ 145.666
350.79/351.58	c #Conflicts:      76000 | #Constraints:     186049
350.79/351.58	c bounds - >= 394 @ 146.231
350.79/351.58	c bounds - >= 395 @ 146.795
350.79/351.58	c bounds - >= 396 @ 147.401
350.79/351.58	c bounds - >= 397 @ 147.989
350.79/351.58	c #Conflicts:      77000 | #Constraints:     187053
350.79/351.58	c bounds - >= 398 @ 148.552
350.79/351.58	c bounds - >= 399 @ 149.134
350.79/351.58	c bounds - >= 400 @ 149.722
350.79/351.58	c bounds - >= 401 @ 150.317
350.79/351.58	c bounds - >= 402 @ 150.921
350.79/351.58	c #Conflicts:      78000 | #Constraints:     188058
350.79/351.58	c INPROCESSING
350.79/351.58	c GARBAGE COLLECT
350.79/351.58	c bounds - >= 403 @ 151.846
350.79/351.58	c bounds - >= 404 @ 152.423
350.79/351.58	c bounds - >= 405 @ 153.028
350.79/351.58	c bounds - >= 406 @ 153.617
350.79/351.58	c #Conflicts:      79000 | #Constraints:     183442
350.79/351.58	c bounds - >= 407 @ 154.198
350.79/351.58	c bounds - >= 408 @ 154.794
350.79/351.58	c bounds - >= 409 @ 155.373
350.79/351.58	c bounds - >= 410 @ 155.974
350.79/351.58	c bounds - >= 411 @ 156.57
350.79/351.58	c #Conflicts:      80000 | #Constraints:     184447
350.79/351.58	c bounds - >= 412 @ 157.154
350.79/351.58	c bounds - >= 413 @ 157.732
350.79/351.58	c bounds - >= 414 @ 158.314
350.79/351.58	c bounds - >= 415 @ 158.89
350.79/351.58	c bounds - >= 416 @ 159.496
350.79/351.58	c #Conflicts:      81000 | #Constraints:     185452
350.79/351.58	c bounds - >= 417 @ 160.101
350.79/351.58	c bounds - >= 418 @ 160.716
350.79/351.58	c bounds - >= 419 @ 161.338
513.11/514.13	c bounds - >= 420 @ 161.946
513.11/514.13	c #Conflicts:      82000 | #Constraints:     186456
513.11/514.13	c bounds - >= 421 @ 162.571
513.11/514.13	c bounds - >= 422 @ 163.205
513.11/514.13	c bounds - >= 423 @ 163.823
513.11/514.13	c bounds - >= 424 @ 164.419
513.11/514.13	c bounds - >= 425 @ 165.026
513.11/514.13	c #Conflicts:      83000 | #Constraints:     187461
513.11/514.13	c bounds - >= 426 @ 165.643
513.11/514.13	c bounds - >= 427 @ 166.262
513.11/514.13	c bounds - >= 428 @ 166.873
513.11/514.13	c bounds - >= 429 @ 167.464
513.11/514.13	c bounds - >= 430 @ 168.078
513.11/514.13	c #Conflicts:      84000 | #Constraints:     188466
513.11/514.13	c INPROCESSING
513.11/514.13	c GARBAGE COLLECT
513.11/514.13	c bounds - >= 431 @ 169.005
513.11/514.13	c bounds - >= 432 @ 169.62
513.11/514.13	c bounds - >= 433 @ 170.213
513.11/514.13	c bounds - >= 434 @ 170.844
513.11/514.13	c #Conflicts:      85000 | #Constraints:     183647
513.11/514.13	c bounds - >= 435 @ 171.462
513.11/514.13	c bounds - >= 436 @ 172.063
513.11/514.13	c bounds - >= 437 @ 172.693
513.11/514.13	c bounds - >= 438 @ 173.343
513.11/514.13	c bounds - >= 439 @ 173.967
513.11/514.13	c #Conflicts:      86000 | #Constraints:     184652
513.11/514.13	c bounds - >= 440 @ 174.592
513.11/514.13	c bounds - >= 441 @ 175.213
513.11/514.13	c bounds - >= 442 @ 175.837
513.11/514.13	c bounds - >= 443 @ 176.48
513.11/514.13	c bounds - >= 444 @ 177.094
513.11/514.13	c #Conflicts:      87000 | #Constraints:     185657
513.11/514.13	c bounds - >= 445 @ 177.739
513.11/514.13	c bounds - >= 446 @ 178.365
513.11/514.13	c bounds - >= 447 @ 179.004
513.11/514.13	c bounds - >= 448 @ 179.681
513.11/514.13	c #Conflicts:      88000 | #Constraints:     186661
513.11/514.13	c bounds - >= 449 @ 180.283
513.11/514.13	c bounds - >= 450 @ 180.922
513.11/514.13	c bounds - >= 451 @ 181.563
513.11/514.13	c bounds - >= 452 @ 182.179
513.11/514.13	c bounds - >= 453 @ 182.798
513.11/514.13	c #Conflicts:      89000 | #Constraints:     187666
513.11/514.13	c bounds - >= 454 @ 183.448
513.11/514.13	c bounds - >= 455 @ 184.141
513.11/514.13	c bounds - >= 456 @ 184.817
513.11/514.13	c bounds - >= 457 @ 185.464
513.11/514.13	c #Conflicts:      90000 | #Constraints:     188670
513.11/514.13	c bounds - >= 458 @ 186.12
513.11/514.13	c INPROCESSING
513.11/514.13	c GARBAGE COLLECT
513.11/514.13	c bounds - >= 459 @ 187.129
513.11/514.13	c bounds - >= 460 @ 187.838
513.11/514.13	c bounds - >= 461 @ 188.46
513.11/514.13	c bounds - >= 462 @ 189.102
513.11/514.13	c #Conflicts:      91000 | #Constraints:     183645
513.11/514.13	c bounds - >= 463 @ 189.759
513.11/514.13	c bounds - >= 464 @ 190.377
513.11/514.13	c bounds - >= 465 @ 191.004
513.11/514.13	c bounds - >= 466 @ 191.663
513.11/514.13	c bounds - >= 467 @ 192.327
513.11/514.13	c #Conflicts:      92000 | #Constraints:     184650
513.11/514.13	c bounds - >= 468 @ 192.983
513.11/514.13	c bounds - >= 469 @ 193.656
513.11/514.13	c bounds - >= 470 @ 194.353
513.11/514.13	c bounds - >= 471 @ 195.018
513.11/514.13	c #Conflicts:      93000 | #Constraints:     185654
513.11/514.13	c bounds - >= 472 @ 195.66
513.11/514.13	c bounds - >= 473 @ 196.325
513.11/514.13	c bounds - >= 474 @ 197.004
513.11/514.13	c bounds - >= 475 @ 197.688
513.11/514.13	c bounds - >= 476 @ 198.375
513.11/514.13	c #Conflicts:      94000 | #Constraints:     186659
513.11/514.13	c bounds - >= 477 @ 199.086
513.11/514.13	c bounds - >= 478 @ 199.764
513.11/514.13	c bounds - >= 479 @ 200.419
513.11/514.13	c bounds - >= 480 @ 201.103
513.11/514.13	c bounds - >= 481 @ 201.79
513.11/514.13	c #Conflicts:      95000 | #Constraints:     187664
513.11/514.13	c bounds - >= 482 @ 202.491
513.11/514.13	c bounds - >= 483 @ 203.189
513.11/514.13	c bounds - >= 484 @ 203.885
513.11/514.13	c bounds - >= 485 @ 204.587
513.11/514.13	c #Conflicts:      96000 | #Constraints:     188668
513.11/514.13	c bounds - >= 486 @ 205.282
513.11/514.13	c bounds - >= 487 @ 205.988
513.11/514.13	c bounds - >= 488 @ 206.702
513.11/514.13	c INPROCESSING
513.11/514.13	c GARBAGE COLLECT
513.11/514.13	c bounds - >= 489 @ 207.715
513.11/514.13	c bounds - >= 490 @ 208.394
513.11/514.13	c #Conflicts:      97000 | #Constraints:     183456
513.11/514.13	c bounds - >= 491 @ 209.118
513.11/514.13	c bounds - >= 492 @ 209.835
513.11/514.13	c bounds - >= 493 @ 210.569
513.11/514.13	c bounds - >= 494 @ 211.267
513.11/514.13	c #Conflicts:      98000 | #Constraints:     184460
513.11/514.13	c bounds - >= 495 @ 211.961
513.11/514.13	c bounds - >= 496 @ 212.667
513.11/514.13	c bounds - >= 497 @ 213.372
513.11/514.13	c bounds - >= 498 @ 214.047
513.11/514.13	c bounds - >= 499 @ 214.76
513.11/514.13	c #Conflicts:      99000 | #Constraints:     185465
513.11/514.13	c bounds - >= 500 @ 215.5
513.11/514.13	c bounds - >= 501 @ 216.245
513.11/514.13	c bounds - >= 502 @ 216.993
513.11/514.13	c bounds - >= 503 @ 217.69
513.11/514.13	c bounds - >= 504 @ 218.422
513.11/514.13	c #Conflicts:     100000 | #Constraints:     186470
513.11/514.13	c bounds - >= 505 @ 219.143
513.11/514.13	c bounds - >= 506 @ 219.908
513.11/514.13	c bounds - >= 507 @ 220.635
513.11/514.13	c bounds - >= 508 @ 221.348
513.11/514.13	c #Conflicts:     101000 | #Constraints:     187474
513.11/514.13	c bounds - >= 509 @ 222.077
513.11/514.13	c bounds - >= 510 @ 222.758
513.11/514.13	c bounds - >= 511 @ 223.482
513.11/514.13	c bounds - >= 512 @ 224.216
513.11/514.13	c bounds - >= 513 @ 224.91
513.11/514.13	c #Conflicts:     102000 | #Constraints:     188479
513.11/514.13	c bounds - >= 514 @ 225.625
513.11/514.13	c bounds - >= 515 @ 226.392
513.11/514.13	c bounds - >= 516 @ 227.131
513.11/514.13	c bounds - >= 517 @ 227.888
513.11/514.13	c bounds - >= 518 @ 228.593
513.11/514.13	c #Conflicts:     103000 | #Constraints:     189484
513.11/514.13	c bounds - >= 519 @ 229.313
513.11/514.13	c INPROCESSING
513.11/514.13	c GARBAGE COLLECT
513.11/514.13	c bounds - >= 520 @ 230.417
513.11/514.13	c bounds - >= 521 @ 231.152
710.33/711.77	c bounds - >= 522 @ 231.907
710.33/711.77	c #Conflicts:     104000 | #Constraints:     184041
710.33/711.77	c bounds - >= 523 @ 232.683
710.33/711.77	c bounds - >= 524 @ 233.419
710.33/711.77	c bounds - >= 525 @ 234.174
710.33/711.77	c bounds - >= 526 @ 234.909
710.33/711.77	c bounds - >= 527 @ 235.701
710.33/711.77	c #Conflicts:     105000 | #Constraints:     185046
710.33/711.77	c bounds - >= 528 @ 236.483
710.33/711.77	c bounds - >= 529 @ 237.223
710.33/711.77	c bounds - >= 530 @ 237.967
710.33/711.77	c bounds - >= 531 @ 238.716
710.33/711.77	c #Conflicts:     106000 | #Constraints:     186050
710.33/711.77	c bounds - >= 532 @ 239.412
710.33/711.77	c bounds - >= 533 @ 240.178
710.33/711.77	c bounds - >= 534 @ 240.934
710.33/711.77	c bounds - >= 535 @ 241.705
710.33/711.77	c bounds - >= 536 @ 242.443
710.33/711.77	c #Conflicts:     107000 | #Constraints:     187055
710.33/711.77	c bounds - >= 537 @ 243.184
710.33/711.77	c bounds - >= 538 @ 243.942
710.33/711.77	c bounds - >= 539 @ 244.715
710.33/711.77	c bounds - >= 540 @ 245.789
710.33/711.77	c bounds - >= 541 @ 246.529
710.33/711.77	c #Conflicts:     108000 | #Constraints:     188060
710.33/711.77	c bounds - >= 542 @ 247.286
710.33/711.77	c bounds - >= 543 @ 248.032
710.33/711.77	c bounds - >= 544 @ 248.781
710.33/711.77	c bounds - >= 545 @ 249.535
710.33/711.77	c #Conflicts:     109000 | #Constraints:     189064
710.33/711.77	c bounds - >= 546 @ 250.337
710.33/711.77	c bounds - >= 547 @ 251.09
710.33/711.77	c bounds - >= 548 @ 251.852
710.33/711.77	c bounds - >= 549 @ 252.603
710.33/711.77	c bounds - >= 550 @ 253.367
710.33/711.77	c #Conflicts:     110000 | #Constraints:     190069
710.33/711.77	c INPROCESSING
710.33/711.77	c GARBAGE COLLECT
710.33/711.77	c bounds - >= 551 @ 254.521
710.33/711.77	c bounds - >= 552 @ 255.322
710.33/711.77	c bounds - >= 553 @ 256.113
710.33/711.77	c bounds - >= 554 @ 256.912
710.33/711.77	c bounds - >= 555 @ 257.743
710.33/711.77	c #Conflicts:     111000 | #Constraints:     184433
710.33/711.77	c bounds - >= 556 @ 258.507
710.33/711.77	c bounds - >= 557 @ 259.273
710.33/711.77	c bounds - >= 558 @ 260.03
710.33/711.77	c bounds - >= 559 @ 260.851
710.33/711.77	c #Conflicts:     112000 | #Constraints:     185437
710.33/711.77	c bounds - >= 560 @ 261.644
710.33/711.77	c bounds - >= 561 @ 262.427
710.33/711.77	c bounds - >= 562 @ 263.236
710.33/711.77	c bounds - >= 563 @ 264.033
710.33/711.77	c bounds - >= 564 @ 264.829
710.33/711.77	c #Conflicts:     113000 | #Constraints:     186442
710.33/711.77	c bounds - >= 565 @ 265.601
710.33/711.77	c bounds - >= 566 @ 266.397
710.33/711.77	c bounds - >= 567 @ 267.259
710.33/711.77	c bounds - >= 568 @ 268.082
710.33/711.77	c bounds - >= 569 @ 268.888
710.33/711.77	c #Conflicts:     114000 | #Constraints:     187447
710.33/711.77	c bounds - >= 570 @ 269.643
710.33/711.77	c bounds - >= 571 @ 270.436
710.33/711.77	c bounds - >= 572 @ 271.248
710.33/711.77	c bounds - >= 573 @ 272.062
710.33/711.77	c #Conflicts:     115000 | #Constraints:     188451
710.33/711.77	c bounds - >= 574 @ 272.914
710.33/711.77	c bounds - >= 575 @ 273.712
710.33/711.77	c bounds - >= 576 @ 274.521
710.33/711.77	c bounds - >= 577 @ 275.346
710.33/711.77	c bounds - >= 578 @ 276.151
710.33/711.77	c #Conflicts:     116000 | #Constraints:     189456
710.33/711.77	c bounds - >= 579 @ 276.97
710.33/711.77	c bounds - >= 580 @ 277.756
710.33/711.77	c bounds - >= 581 @ 278.577
710.33/711.77	c bounds - >= 582 @ 279.399
710.33/711.77	c #Conflicts:     117000 | #Constraints:     190460
710.33/711.77	c INPROCESSING
710.33/711.77	c GARBAGE COLLECT
710.33/711.77	c bounds - >= 583 @ 280.576
710.33/711.77	c bounds - >= 584 @ 281.386
710.33/711.77	c bounds - >= 585 @ 282.186
710.33/711.77	c bounds - >= 586 @ 283.035
710.33/711.77	c bounds - >= 587 @ 283.89
710.33/711.77	c #Conflicts:     118000 | #Constraints:     184645
710.33/711.77	c bounds - >= 588 @ 284.746
710.33/711.77	c bounds - >= 589 @ 285.586
710.33/711.77	c bounds - >= 590 @ 286.381
710.33/711.77	c bounds - >= 591 @ 287.215
710.33/711.77	c bounds - >= 592 @ 288.018
710.33/711.77	c #Conflicts:     119000 | #Constraints:     185650
710.33/711.77	c bounds - >= 593 @ 288.861
710.33/711.77	c bounds - >= 594 @ 289.743
710.33/711.77	c bounds - >= 595 @ 290.583
710.33/711.77	c bounds - >= 596 @ 291.42
710.33/711.77	c #Conflicts:     120000 | #Constraints:     186654
710.33/711.77	c bounds - >= 597 @ 292.282
710.33/711.77	c bounds - >= 598 @ 293.119
710.33/711.77	c bounds - >= 599 @ 293.991
710.33/711.77	c bounds - >= 600 @ 294.832
710.33/711.77	c bounds - >= 601 @ 295.645
710.33/711.77	c #Conflicts:     121000 | #Constraints:     187659
710.33/711.77	c bounds - >= 602 @ 296.504
710.33/711.77	c bounds - >= 603 @ 297.376
710.33/711.77	c bounds - >= 604 @ 298.205
710.33/711.77	c bounds - >= 605 @ 299.059
710.33/711.77	c bounds - >= 606 @ 299.878
710.33/711.77	c #Conflicts:     122000 | #Constraints:     188664
710.33/711.77	c bounds - >= 607 @ 300.712
710.33/711.77	c bounds - >= 608 @ 301.584
710.33/711.77	c bounds - >= 609 @ 302.487
710.33/711.77	c bounds - >= 610 @ 303.322
710.33/711.77	c #Conflicts:     123000 | #Constraints:     189668
710.33/711.77	c bounds - >= 611 @ 304.174
710.33/711.77	c bounds - >= 612 @ 305.043
710.33/711.77	c bounds - >= 613 @ 305.912
710.33/711.77	c bounds - >= 614 @ 306.782
710.33/711.77	c bounds - >= 615 @ 307.674
710.33/711.77	c #Conflicts:     124000 | #Constraints:     190673
710.33/711.77	c bounds - >= 616 @ 308.542
710.33/711.77	c INPROCESSING
710.33/711.77	c GARBAGE COLLECT
710.33/711.77	c bounds - >= 617 @ 309.746
710.33/711.77	c bounds - >= 618 @ 310.627
710.33/711.77	c bounds - >= 619 @ 311.529
710.33/711.77	c #Conflicts:     125000 | #Constraints:     184657
710.33/711.77	c bounds - >= 620 @ 312.417
710.33/711.77	c bounds - >= 621 @ 313.251
710.33/711.77	c bounds - >= 622 @ 314.149
710.33/711.77	c bounds - >= 623 @ 315.018
941.22/943.05	c bounds - >= 624 @ 315.921
941.22/943.05	c #Conflicts:     126000 | #Constraints:     185662
941.22/943.05	c bounds - >= 625 @ 316.798
941.22/943.05	c bounds - >= 626 @ 317.652
941.22/943.05	c bounds - >= 627 @ 318.504
941.22/943.05	c bounds - >= 628 @ 319.387
941.22/943.05	c bounds - >= 629 @ 320.292
941.22/943.05	c #Conflicts:     127000 | #Constraints:     186667
941.22/943.05	c bounds - >= 630 @ 321.18
941.22/943.05	c bounds - >= 631 @ 322.035
941.22/943.05	c bounds - >= 632 @ 322.916
941.22/943.05	c bounds - >= 633 @ 323.806
941.22/943.05	c #Conflicts:     128000 | #Constraints:     187671
941.22/943.05	c bounds - >= 634 @ 324.703
941.22/943.05	c bounds - >= 635 @ 325.622
941.22/943.05	c bounds - >= 636 @ 326.525
941.22/943.05	c bounds - >= 637 @ 327.433
941.22/943.05	c bounds - >= 638 @ 328.315
941.22/943.05	c #Conflicts:     129000 | #Constraints:     188676
941.22/943.05	c bounds - >= 639 @ 329.206
941.22/943.05	c bounds - >= 640 @ 330.117
941.22/943.05	c bounds - >= 641 @ 330.992
941.22/943.05	c bounds - >= 642 @ 331.856
941.22/943.05	c bounds - >= 643 @ 332.745
941.22/943.05	c #Conflicts:     130000 | #Constraints:     189681
941.22/943.05	c bounds - >= 644 @ 333.627
941.22/943.05	c bounds - >= 645 @ 334.547
941.22/943.05	c bounds - >= 646 @ 335.433
941.22/943.05	c bounds - >= 647 @ 336.317
941.22/943.05	c #Conflicts:     131000 | #Constraints:     190685
941.22/943.05	c bounds - >= 648 @ 337.189
941.22/943.05	c bounds - >= 649 @ 338.09
941.22/943.05	c bounds - >= 650 @ 338.985
941.22/943.05	c INPROCESSING
941.22/943.05	c GARBAGE COLLECT
941.22/943.05	c bounds - >= 651 @ 340.294
941.22/943.05	c bounds - >= 652 @ 341.203
941.22/943.05	c #Conflicts:     132000 | #Constraints:     184437
941.22/943.05	c bounds - >= 653 @ 342.15
941.22/943.05	c bounds - >= 654 @ 343.065
941.22/943.05	c bounds - >= 655 @ 343.982
941.22/943.05	c bounds - >= 656 @ 344.897
941.22/943.05	c #Conflicts:     133000 | #Constraints:     185441
941.22/943.05	c bounds - >= 657 @ 345.8
941.22/943.05	c bounds - >= 658 @ 346.704
941.22/943.05	c bounds - >= 659 @ 347.601
941.22/943.05	c bounds - >= 660 @ 348.539
941.22/943.05	c bounds - >= 661 @ 349.485
941.22/943.05	c #Conflicts:     134000 | #Constraints:     186446
941.22/943.05	c bounds - >= 662 @ 350.441
941.22/943.05	c bounds - >= 663 @ 351.38
941.22/943.05	c bounds - >= 664 @ 352.263
941.22/943.05	c bounds - >= 665 @ 353.22
941.22/943.05	c bounds - >= 666 @ 354.142
941.22/943.05	c #Conflicts:     135000 | #Constraints:     187451
941.22/943.05	c bounds - >= 667 @ 355.059
941.22/943.05	c bounds - >= 668 @ 355.965
941.22/943.05	c bounds - >= 669 @ 356.906
941.22/943.05	c bounds - >= 670 @ 357.824
941.22/943.05	c #Conflicts:     136000 | #Constraints:     188455
941.22/943.05	c bounds - >= 671 @ 358.755
941.22/943.05	c bounds - >= 672 @ 359.677
941.22/943.05	c bounds - >= 673 @ 360.64
941.22/943.05	c bounds - >= 674 @ 361.594
941.22/943.05	c bounds - >= 675 @ 362.532
941.22/943.05	c #Conflicts:     137000 | #Constraints:     189460
941.22/943.05	c bounds - >= 676 @ 363.463
941.22/943.05	c bounds - >= 677 @ 364.399
941.22/943.05	c bounds - >= 678 @ 365.34
941.22/943.05	c bounds - >= 679 @ 366.282
941.22/943.05	c bounds - >= 680 @ 367.214
941.22/943.05	c #Conflicts:     138000 | #Constraints:     190465
941.22/943.05	c bounds - >= 681 @ 368.158
941.22/943.05	c bounds - >= 682 @ 369.123
941.22/943.05	c bounds - >= 683 @ 370.085
941.22/943.05	c bounds - >= 684 @ 371.019
941.22/943.05	c #Conflicts:     139000 | #Constraints:     191469
941.22/943.05	c bounds - >= 685 @ 371.988
941.22/943.05	c INPROCESSING
941.22/943.05	c GARBAGE COLLECT
941.22/943.05	c bounds - >= 686 @ 373.328
941.22/943.05	c bounds - >= 687 @ 374.299
941.22/943.05	c bounds - >= 688 @ 375.279
941.22/943.05	c bounds - >= 689 @ 376.26
941.22/943.05	c #Conflicts:     140000 | #Constraints:     185049
941.22/943.05	c bounds - >= 690 @ 377.229
941.22/943.05	c bounds - >= 691 @ 378.186
941.22/943.05	c bounds - >= 692 @ 379.177
941.22/943.05	c bounds - >= 693 @ 380.154
941.22/943.05	c bounds - >= 694 @ 381.132
941.22/943.05	c #Conflicts:     141000 | #Constraints:     186054
941.22/943.05	c bounds - >= 695 @ 382.136
941.22/943.05	c bounds - >= 696 @ 383.127
941.22/943.05	c bounds - >= 697 @ 384.077
941.22/943.05	c bounds - >= 698 @ 385.072
941.22/943.05	c #Conflicts:     142000 | #Constraints:     187058
941.22/943.05	c bounds - >= 699 @ 386.049
941.22/943.05	c bounds - >= 700 @ 387.026
941.22/943.05	c bounds - >= 701 @ 387.966
941.22/943.05	c bounds - >= 702 @ 388.94
941.22/943.05	c bounds - >= 703 @ 389.922
941.22/943.05	c #Conflicts:     143000 | #Constraints:     188063
941.22/943.05	c bounds - >= 704 @ 390.897
941.22/943.05	c bounds - >= 705 @ 391.835
941.22/943.05	c bounds - >= 706 @ 392.805
941.22/943.05	c bounds - >= 707 @ 393.788
941.22/943.05	c #Conflicts:     144000 | #Constraints:     189067
941.22/943.05	c bounds - >= 708 @ 394.743
941.22/943.05	c bounds - >= 709 @ 395.748
941.22/943.05	c bounds - >= 710 @ 396.684
941.22/943.05	c bounds - >= 711 @ 397.672
941.22/943.05	c bounds - >= 712 @ 398.674
941.22/943.05	c #Conflicts:     145000 | #Constraints:     190072
941.22/943.05	c bounds - >= 713 @ 399.688
941.22/943.05	c bounds - >= 714 @ 400.681
941.22/943.05	c bounds - >= 715 @ 401.638
941.22/943.05	c bounds - >= 716 @ 402.638
941.22/943.05	c bounds - >= 717 @ 403.67
941.22/943.05	c #Conflicts:     146000 | #Constraints:     191077
941.22/943.05	c bounds - >= 718 @ 404.701
941.22/943.05	c bounds - >= 719 @ 405.74
941.22/943.05	c bounds - >= 720 @ 406.714
941.22/943.05	c bounds - >= 721 @ 407.759
941.22/943.05	c #Conflicts:     147000 | #Constraints:     192081
941.22/943.05	c INPROCESSING
941.22/943.05	c GARBAGE COLLECT
941.22/943.05	c bounds - >= 722 @ 409.138
941.22/943.05	c bounds - >= 723 @ 410.14
941.22/943.05	c bounds - >= 724 @ 411.131
941.22/943.05	c bounds - >= 725 @ 412.168
1211.22/1213.56	c bounds - >= 726 @ 413.17
1211.22/1213.56	c #Conflicts:     148000 | #Constraints:     185440
1211.22/1213.56	c bounds - >= 727 @ 414.168
1211.22/1213.56	c bounds - >= 728 @ 415.18
1211.22/1213.56	c bounds - >= 729 @ 416.183
1211.22/1213.56	c bounds - >= 730 @ 417.172
1211.22/1213.56	c bounds - >= 731 @ 418.182
1211.22/1213.56	c #Conflicts:     149000 | #Constraints:     186445
1211.22/1213.56	c bounds - >= 732 @ 419.204
1211.22/1213.56	c bounds - >= 733 @ 420.22
1211.22/1213.56	c bounds - >= 734 @ 421.241
1211.22/1213.56	c bounds - >= 735 @ 422.225
1211.22/1213.56	c #Conflicts:     150000 | #Constraints:     187449
1211.22/1213.56	c bounds - >= 736 @ 423.261
1211.22/1213.56	c bounds - >= 737 @ 424.297
1211.22/1213.56	c bounds - >= 738 @ 425.309
1211.22/1213.56	c bounds - >= 739 @ 426.351
1211.22/1213.56	c bounds - >= 740 @ 427.397
1211.22/1213.56	c #Conflicts:     151000 | #Constraints:     188454
1211.22/1213.56	c bounds - >= 741 @ 428.409
1211.22/1213.56	c bounds - >= 742 @ 429.406
1211.22/1213.56	c bounds - >= 743 @ 430.464
1211.22/1213.56	c bounds - >= 744 @ 431.488
1211.22/1213.56	c #Conflicts:     152000 | #Constraints:     189458
1211.22/1213.56	c bounds - >= 745 @ 432.513
1211.22/1213.56	c bounds - >= 746 @ 433.527
1211.22/1213.56	c bounds - >= 747 @ 434.543
1211.22/1213.56	c bounds - >= 748 @ 435.585
1211.22/1213.56	c bounds - >= 749 @ 436.665
1211.22/1213.56	c #Conflicts:     153000 | #Constraints:     190463
1211.22/1213.56	c bounds - >= 750 @ 437.676
1211.22/1213.56	c bounds - >= 751 @ 438.713
1211.22/1213.56	c bounds - >= 752 @ 439.707
1211.22/1213.56	c bounds - >= 753 @ 440.777
1211.22/1213.56	c bounds - >= 754 @ 441.849
1211.22/1213.56	c #Conflicts:     154000 | #Constraints:     191468
1211.22/1213.56	c bounds - >= 755 @ 442.877
1211.22/1213.56	c bounds - >= 756 @ 443.899
1211.22/1213.56	c bounds - >= 757 @ 444.967
1211.22/1213.56	c bounds - >= 758 @ 446.007
1211.22/1213.56	c #Conflicts:     155000 | #Constraints:     192472
1211.22/1213.56	c INPROCESSING
1211.22/1213.56	c GARBAGE COLLECT
1211.22/1213.56	c bounds - >= 759 @ 447.451
1211.22/1213.56	c bounds - >= 760 @ 448.518
1211.22/1213.56	c bounds - >= 761 @ 449.584
1211.22/1213.56	c bounds - >= 762 @ 450.642
1211.22/1213.56	c bounds - >= 763 @ 451.694
1211.22/1213.56	c #Conflicts:     156000 | #Constraints:     185639
1211.22/1213.56	c bounds - >= 764 @ 452.789
1211.22/1213.56	c bounds - >= 765 @ 453.82
1211.22/1213.56	c bounds - >= 766 @ 454.894
1211.22/1213.56	c bounds - >= 767 @ 455.968
1211.22/1213.56	c bounds - >= 768 @ 457.097
1211.22/1213.56	c #Conflicts:     157000 | #Constraints:     186644
1211.22/1213.56	c bounds - >= 769 @ 458.189
1211.22/1213.56	c bounds - >= 770 @ 459.257
1211.22/1213.56	c bounds - >= 771 @ 460.319
1211.22/1213.56	c bounds - >= 772 @ 461.367
1211.22/1213.56	c #Conflicts:     158000 | #Constraints:     187648
1211.22/1213.56	c bounds - >= 773 @ 462.409
1211.22/1213.56	c bounds - >= 774 @ 463.5
1211.22/1213.56	c bounds - >= 775 @ 464.557
1211.22/1213.56	c bounds - >= 776 @ 465.626
1211.22/1213.56	c bounds - >= 777 @ 466.645
1211.22/1213.56	c #Conflicts:     159000 | #Constraints:     188653
1211.22/1213.56	c bounds - >= 778 @ 467.692
1211.22/1213.56	c bounds - >= 779 @ 468.751
1211.22/1213.56	c bounds - >= 780 @ 469.826
1211.22/1213.56	c bounds - >= 781 @ 470.941
1211.22/1213.56	c #Conflicts:     160000 | #Constraints:     189657
1211.22/1213.56	c bounds - >= 782 @ 472.013
1211.22/1213.56	c bounds - >= 783 @ 473.143
1211.22/1213.56	c bounds - >= 784 @ 474.206
1211.22/1213.56	c bounds - >= 785 @ 475.273
1211.22/1213.56	c bounds - >= 786 @ 476.384
1211.22/1213.56	c #Conflicts:     161000 | #Constraints:     190662
1211.22/1213.56	c bounds - >= 787 @ 477.482
1211.22/1213.56	c bounds - >= 788 @ 478.602
1211.22/1213.56	c bounds - >= 789 @ 479.676
1211.22/1213.56	c bounds - >= 790 @ 480.781
1211.22/1213.56	c bounds - >= 791 @ 481.854
1211.22/1213.56	c #Conflicts:     162000 | #Constraints:     191667
1211.22/1213.56	c bounds - >= 792 @ 482.922
1211.22/1213.56	c bounds - >= 793 @ 484
1211.22/1213.56	c bounds - >= 794 @ 485.101
1211.22/1213.56	c bounds - >= 795 @ 486.187
1211.22/1213.56	c #Conflicts:     163000 | #Constraints:     192671
1211.22/1213.56	c bounds - >= 796 @ 487.287
1211.22/1213.56	c INPROCESSING
1211.22/1213.56	c GARBAGE COLLECT
1211.22/1213.56	c bounds - >= 797 @ 488.718
1211.22/1213.56	c bounds - >= 798 @ 489.83
1211.22/1213.56	c bounds - >= 799 @ 490.97
1211.22/1213.56	c bounds - >= 800 @ 492.107
1211.22/1213.56	c #Conflicts:     164000 | #Constraints:     185633
1211.22/1213.56	c bounds - >= 801 @ 493.2
1211.22/1213.56	c bounds - >= 802 @ 494.279
1211.22/1213.56	c bounds - >= 803 @ 495.402
1211.22/1213.56	c bounds - >= 804 @ 496.581
1211.22/1213.56	c bounds - >= 805 @ 497.708
1211.22/1213.56	c #Conflicts:     165000 | #Constraints:     186638
1211.22/1213.56	c bounds - >= 806 @ 498.838
1211.22/1213.56	c bounds - >= 807 @ 499.967
1211.22/1213.56	c bounds - >= 808 @ 501.126
1211.22/1213.56	c bounds - >= 809 @ 502.215
1211.22/1213.56	c #Conflicts:     166000 | #Constraints:     187642
1211.22/1213.56	c bounds - >= 810 @ 503.332
1211.22/1213.56	c bounds - >= 811 @ 504.488
1211.22/1213.56	c bounds - >= 812 @ 505.616
1211.22/1213.56	c bounds - >= 813 @ 506.753
1211.22/1213.56	c bounds - >= 814 @ 507.876
1211.22/1213.56	c #Conflicts:     167000 | #Constraints:     188647
1211.22/1213.56	c bounds - >= 815 @ 509.009
1211.22/1213.56	c bounds - >= 816 @ 510.136
1211.22/1213.56	c bounds - >= 817 @ 511.285
1211.22/1213.56	c bounds - >= 818 @ 512.445
1211.22/1213.56	c bounds - >= 819 @ 513.611
1211.22/1213.56	c #Conflicts:     168000 | #Constraints:     189652
1211.22/1213.56	c bounds - >= 820 @ 514.775
1211.22/1213.56	c bounds - >= 821 @ 515.895
1211.22/1213.56	c bounds - >= 822 @ 517.037
1211.22/1213.56	c bounds - >= 823 @ 518.146
1211.22/1213.56	c #Conflicts:     169000 | #Constraints:     190656
1211.22/1213.56	c bounds - >= 824 @ 519.267
1211.22/1213.56	c bounds - >= 825 @ 520.418
1211.22/1213.56	c bounds - >= 826 @ 521.56
1211.22/1213.56	c bounds - >= 827 @ 522.692
1211.22/1213.56	c bounds - >= 828 @ 523.832
1211.22/1213.56	c #Conflicts:     170000 | #Constraints:     191661
1509.66/1512.55	c bounds - >= 829 @ 524.98
1509.66/1512.55	c bounds - >= 830 @ 526.098
1509.66/1512.55	c bounds - >= 831 @ 527.252
1509.66/1512.55	c bounds - >= 832 @ 528.402
1509.66/1512.55	c #Conflicts:     171000 | #Constraints:     192665
1509.66/1512.55	c bounds - >= 833 @ 529.545
1509.66/1512.55	c bounds - >= 834 @ 530.696
1509.66/1512.55	c bounds - >= 835 @ 531.813
1509.66/1512.55	c INPROCESSING
1509.66/1512.55	c GARBAGE COLLECT
1509.66/1512.55	c bounds - >= 836 @ 533.366
1509.66/1512.55	c bounds - >= 837 @ 534.538
1509.66/1512.55	c #Conflicts:     172000 | #Constraints:     185443
1509.66/1512.55	c bounds - >= 838 @ 535.71
1509.66/1512.55	c bounds - >= 839 @ 536.883
1509.66/1512.55	c bounds - >= 840 @ 538.013
1509.66/1512.55	c bounds - >= 841 @ 539.169
1509.66/1512.55	c bounds - >= 842 @ 540.35
1509.66/1512.55	c #Conflicts:     173000 | #Constraints:     186448
1509.66/1512.55	c bounds - >= 843 @ 541.524
1509.66/1512.55	c bounds - >= 844 @ 542.682
1509.66/1512.55	c bounds - >= 845 @ 543.84
1509.66/1512.55	c bounds - >= 846 @ 544.988
1509.66/1512.55	c #Conflicts:     174000 | #Constraints:     187452
1509.66/1512.55	c bounds - >= 847 @ 546.138
1509.66/1512.55	c bounds - >= 848 @ 547.305
1509.66/1512.55	c bounds - >= 849 @ 548.411
1509.66/1512.55	c bounds - >= 850 @ 549.569
1509.66/1512.55	c bounds - >= 851 @ 550.686
1509.66/1512.55	c #Conflicts:     175000 | #Constraints:     188457
1509.66/1512.55	c bounds - >= 852 @ 551.863
1509.66/1512.55	c bounds - >= 853 @ 553.039
1509.66/1512.56	c bounds - >= 854 @ 554.225
1509.66/1512.56	c bounds - >= 855 @ 555.404
1509.66/1512.56	c bounds - >= 856 @ 556.579
1509.66/1512.56	c #Conflicts:     176000 | #Constraints:     189462
1509.66/1512.56	c bounds - >= 857 @ 557.756
1509.66/1512.56	c bounds - >= 858 @ 558.93
1509.66/1512.56	c bounds - >= 859 @ 560.112
1509.66/1512.56	c bounds - >= 860 @ 561.314
1509.66/1512.56	c #Conflicts:     177000 | #Constraints:     190466
1509.66/1512.56	c bounds - >= 861 @ 562.474
1509.66/1512.56	c bounds - >= 862 @ 563.694
1509.66/1512.56	c bounds - >= 863 @ 564.879
1509.66/1512.56	c bounds - >= 864 @ 566.062
1509.66/1512.56	c bounds - >= 865 @ 567.23
1509.66/1512.56	c #Conflicts:     178000 | #Constraints:     191471
1509.66/1512.56	c bounds - >= 866 @ 568.375
1509.66/1512.56	c bounds - >= 867 @ 569.531
1509.66/1512.56	c bounds - >= 868 @ 570.701
1509.66/1512.56	c bounds - >= 869 @ 571.928
1509.66/1512.56	c #Conflicts:     179000 | #Constraints:     192475
1509.66/1512.56	c bounds - >= 870 @ 573.111
1509.66/1512.56	c bounds - >= 871 @ 574.319
1509.66/1512.56	c bounds - >= 872 @ 575.509
1509.66/1512.56	c bounds - >= 873 @ 576.734
1509.66/1512.56	c bounds - >= 874 @ 577.954
1509.66/1512.56	c #Conflicts:     180000 | #Constraints:     193480
1509.66/1512.56	c bounds - >= 875 @ 579.213
1509.66/1512.56	c INPROCESSING
1509.66/1512.56	c GARBAGE COLLECT
1509.66/1512.56	c bounds - >= 876 @ 580.84
1509.66/1512.56	c bounds - >= 877 @ 582.067
1509.66/1512.56	c bounds - >= 878 @ 583.275
1509.66/1512.56	c bounds - >= 879 @ 584.515
1509.66/1512.56	c #Conflicts:     181000 | #Constraints:     186030
1509.66/1512.56	c bounds - >= 880 @ 585.705
1509.66/1512.56	c bounds - >= 881 @ 586.907
1509.66/1512.56	c bounds - >= 882 @ 588.151
1509.66/1512.56	c bounds - >= 883 @ 589.348
1509.66/1512.56	c #Conflicts:     182000 | #Constraints:     187034
1509.66/1512.56	c bounds - >= 884 @ 590.554
1509.66/1512.56	c bounds - >= 885 @ 591.762
1509.66/1512.56	c bounds - >= 886 @ 593.004
1509.66/1512.56	c bounds - >= 887 @ 594.182
1509.66/1512.56	c bounds - >= 888 @ 595.385
1509.66/1512.56	c #Conflicts:     183000 | #Constraints:     188039
1509.66/1512.56	c bounds - >= 889 @ 596.575
1509.66/1512.56	c bounds - >= 890 @ 597.805
1509.66/1512.56	c bounds - >= 891 @ 599.063
1509.66/1512.56	c bounds - >= 892 @ 600.278
1509.66/1512.56	c bounds - >= 893 @ 601.47
1509.66/1512.56	c #Conflicts:     184000 | #Constraints:     189044
1509.66/1512.56	c bounds - >= 894 @ 602.715
1509.66/1512.56	c bounds - >= 895 @ 603.969
1509.66/1512.56	c bounds - >= 896 @ 605.196
1509.66/1512.56	c bounds - >= 897 @ 606.408
1509.66/1512.56	c #Conflicts:     185000 | #Constraints:     190048
1509.66/1512.56	c bounds - >= 898 @ 607.606
1509.66/1512.56	c bounds - >= 899 @ 608.796
1509.66/1512.56	c bounds - >= 900 @ 610.015
1509.66/1512.56	c bounds - >= 901 @ 611.226
1509.66/1512.56	c bounds - >= 902 @ 612.452
1509.66/1512.56	c #Conflicts:     186000 | #Constraints:     191053
1509.66/1512.56	c bounds - >= 903 @ 613.702
1509.66/1512.56	c bounds - >= 904 @ 614.939
1509.66/1512.56	c bounds - >= 905 @ 616.206
1509.66/1512.56	c bounds - >= 906 @ 617.432
1509.66/1512.56	c #Conflicts:     187000 | #Constraints:     192057
1509.66/1512.56	c bounds - >= 907 @ 618.649
1509.66/1512.56	c bounds - >= 908 @ 619.894
1509.66/1512.56	c bounds - >= 909 @ 621.122
1509.66/1512.56	c bounds - >= 910 @ 622.344
1509.66/1512.56	c bounds - >= 911 @ 623.587
1509.66/1512.56	c #Conflicts:     188000 | #Constraints:     193062
1509.66/1512.56	c bounds - >= 912 @ 624.816
1509.66/1512.56	c bounds - >= 913 @ 626.035
1509.66/1512.56	c bounds - >= 914 @ 627.251
1509.66/1512.56	c bounds - >= 915 @ 628.533
1509.66/1512.56	c bounds - >= 916 @ 629.791
1509.66/1512.56	c #Conflicts:     189000 | #Constraints:     194067
1509.66/1512.56	c INPROCESSING
1509.66/1512.56	c GARBAGE COLLECT
1509.66/1512.56	c bounds - >= 917 @ 631.464
1509.66/1512.56	c bounds - >= 918 @ 632.727
1509.66/1512.56	c bounds - >= 919 @ 633.995
1509.66/1512.56	c bounds - >= 920 @ 635.268
1509.66/1512.56	c #Conflicts:     190000 | #Constraints:     186447
1509.66/1512.56	c bounds - >= 921 @ 636.491
1509.66/1512.56	c bounds - >= 922 @ 637.762
1509.66/1512.56	c bounds - >= 923 @ 639.052
1509.66/1512.56	c bounds - >= 924 @ 640.336
1509.66/1512.56	c bounds - >= 925 @ 641.563
1509.66/1512.56	c #Conflicts:     191000 | #Constraints:     187452
1509.66/1512.56	c bounds - >= 926 @ 642.845
1509.66/1512.56	c bounds - >= 927 @ 644.136
1509.66/1512.56	c bounds - >= 928 @ 645.373
1509.66/1512.56	c bounds - >= 929 @ 646.66
1509.66/1512.56	c bounds - >= 930 @ 647.934
1509.66/1512.56	c #Conflicts:     192000 | #Constraints:     188457
1838.25/1841.77	c bounds - >= 931 @ 649.223
1838.25/1841.77	c bounds - >= 932 @ 650.46
1838.25/1841.77	c bounds - >= 933 @ 651.712
1838.25/1841.77	c bounds - >= 934 @ 652.974
1838.25/1841.77	c #Conflicts:     193000 | #Constraints:     189461
1838.25/1841.77	c bounds - >= 935 @ 654.23
1838.25/1841.77	c bounds - >= 936 @ 655.494
1838.25/1841.77	c bounds - >= 937 @ 656.793
1838.25/1841.77	c bounds - >= 938 @ 658.086
1838.25/1841.77	c bounds - >= 939 @ 659.348
1838.25/1841.77	c #Conflicts:     194000 | #Constraints:     190466
1838.25/1841.77	c bounds - >= 940 @ 660.617
1838.25/1841.77	c bounds - >= 941 @ 661.928
1838.25/1841.77	c bounds - >= 942 @ 663.244
1838.25/1841.77	c bounds - >= 943 @ 664.52
1838.25/1841.77	c bounds - >= 944 @ 665.802
1838.25/1841.77	c #Conflicts:     195000 | #Constraints:     191471
1838.25/1841.77	c bounds - >= 945 @ 667.05
1838.25/1841.77	c bounds - >= 946 @ 668.342
1838.25/1841.77	c bounds - >= 947 @ 669.598
1838.25/1841.77	c bounds - >= 948 @ 670.896
1838.25/1841.77	c #Conflicts:     196000 | #Constraints:     192475
1838.25/1841.77	c bounds - >= 949 @ 672.194
1838.25/1841.77	c bounds - >= 950 @ 673.463
1838.25/1841.77	c bounds - >= 951 @ 674.777
1838.25/1841.77	c bounds - >= 952 @ 676.063
1838.25/1841.77	c bounds - >= 953 @ 677.324
1838.25/1841.77	c #Conflicts:     197000 | #Constraints:     193480
1838.25/1841.77	c bounds - >= 954 @ 678.625
1838.25/1841.77	c bounds - >= 955 @ 679.927
1838.25/1841.77	c bounds - >= 956 @ 681.207
1838.25/1841.77	c bounds - >= 957 @ 682.544
1838.25/1841.77	c #Conflicts:     198000 | #Constraints:     194484
1838.25/1841.77	c INPROCESSING
1838.25/1841.77	c GARBAGE COLLECT
1838.25/1841.77	c bounds - >= 958 @ 684.198
1838.25/1841.77	c bounds - >= 959 @ 685.498
1838.25/1841.77	c bounds - >= 960 @ 686.839
1838.25/1841.77	c bounds - >= 961 @ 688.157
1838.25/1841.77	c bounds - >= 962 @ 689.45
1838.25/1841.77	c #Conflicts:     199000 | #Constraints:     186648
1838.25/1841.77	c bounds - >= 963 @ 690.76
1838.25/1841.77	c bounds - >= 964 @ 692.084
1838.25/1841.77	c bounds - >= 965 @ 693.395
1838.25/1841.77	c bounds - >= 966 @ 694.66
1838.25/1841.77	c bounds - >= 967 @ 695.965
1838.25/1841.77	c #Conflicts:     200000 | #Constraints:     187653
1838.25/1841.77	c bounds - >= 968 @ 697.291
1838.25/1841.77	c bounds - >= 969 @ 698.621
1838.25/1841.77	c bounds - >= 970 @ 699.909
1838.25/1841.77	c bounds - >= 971 @ 701.258
1838.25/1841.77	c #Conflicts:     201000 | #Constraints:     188657
1838.25/1841.77	c bounds - >= 972 @ 702.557
1838.25/1841.77	c bounds - >= 973 @ 703.872
1838.25/1841.77	c bounds - >= 974 @ 705.231
1838.25/1841.77	c bounds - >= 975 @ 706.528
1838.25/1841.77	c bounds - >= 976 @ 707.834
1838.25/1841.77	c #Conflicts:     202000 | #Constraints:     189662
1838.25/1841.77	c bounds - >= 977 @ 709.127
1838.25/1841.77	c bounds - >= 978 @ 710.491
1838.25/1841.77	c bounds - >= 979 @ 711.783
1838.25/1841.77	c bounds - >= 980 @ 713.19
1838.25/1841.77	c bounds - >= 981 @ 714.511
1838.25/1841.77	c #Conflicts:     203000 | #Constraints:     190667
1838.25/1841.77	c bounds - >= 982 @ 715.886
1838.25/1841.77	c bounds - >= 983 @ 717.259
1838.25/1841.77	c bounds - >= 984 @ 718.592
1838.25/1841.77	c bounds - >= 985 @ 719.919
1838.25/1841.77	c #Conflicts:     204000 | #Constraints:     191671
1838.25/1841.77	c bounds - >= 986 @ 721.259
1838.25/1841.77	c bounds - >= 987 @ 722.613
1838.25/1841.77	c bounds - >= 988 @ 724.015
1838.25/1841.77	c bounds - >= 989 @ 725.364
1838.25/1841.77	c bounds - >= 990 @ 726.72
1838.25/1841.77	c #Conflicts:     205000 | #Constraints:     192676
1838.25/1841.77	c bounds - >= 991 @ 728.087
1838.25/1841.77	c bounds - >= 992 @ 729.481
1838.25/1841.77	c bounds - >= 993 @ 730.86
1838.25/1841.77	c bounds - >= 994 @ 732.241
1838.25/1841.77	c #Conflicts:     206000 | #Constraints:     193680
1838.25/1841.77	c bounds - >= 995 @ 733.604
1838.25/1841.77	c bounds - >= 996 @ 734.978
1838.25/1841.77	c bounds - >= 997 @ 736.365
1838.25/1841.77	c bounds - >= 998 @ 737.72
1838.25/1841.77	c bounds - >= 999 @ 739.045
1838.25/1841.77	c #Conflicts:     207000 | #Constraints:     194685
1838.25/1841.77	c bounds - >= 1000 @ 740.43
1838.25/1841.77	c INPROCESSING
1838.25/1841.77	c GARBAGE COLLECT
1838.25/1841.77	c bounds - >= 1001 @ 742.181
1838.25/1841.77	c bounds - >= 1002 @ 743.552
1838.25/1841.77	c bounds - >= 1003 @ 744.943
1838.25/1841.77	c bounds - >= 1004 @ 746.339
1838.25/1841.77	c #Conflicts:     208000 | #Constraints:     186629
1838.25/1841.77	c bounds - >= 1005 @ 747.661
1838.25/1841.77	c bounds - >= 1006 @ 749.006
1838.25/1841.77	c bounds - >= 1007 @ 750.36
1838.25/1841.77	c bounds - >= 1008 @ 751.743
1838.25/1841.77	c #Conflicts:     209000 | #Constraints:     187633
1838.25/1841.77	c bounds - >= 1009 @ 753.106
1838.25/1841.77	c bounds - >= 1010 @ 754.461
1838.25/1841.77	c bounds - >= 1011 @ 755.81
1838.25/1841.77	c bounds - >= 1012 @ 757.232
1838.25/1841.77	c bounds - >= 1013 @ 758.585
1838.25/1841.77	c #Conflicts:     210000 | #Constraints:     188638
1838.25/1841.77	c bounds - >= 1014 @ 759.95
1838.25/1841.77	c bounds - >= 1015 @ 761.292
1838.25/1841.77	c bounds - >= 1016 @ 762.685
1838.25/1841.77	c bounds - >= 1017 @ 764.04
1838.25/1841.77	c bounds - >= 1018 @ 765.452
1838.25/1841.77	c #Conflicts:     211000 | #Constraints:     189643
1838.25/1841.77	c bounds - >= 1019 @ 766.849
1838.25/1841.77	c bounds - >= 1020 @ 768.246
1838.25/1841.77	c bounds - >= 1021 @ 769.618
1838.25/1841.77	c bounds - >= 1022 @ 771.01
1838.25/1841.77	c #Conflicts:     212000 | #Constraints:     190647
1838.25/1841.77	c bounds - >= 1023 @ 772.416
1838.25/1841.77	c bounds - >= 1024 @ 773.766
1838.25/1841.77	c bounds - >= 1025 @ 775.193
1838.25/1841.77	c bounds - >= 1026 @ 776.584
1838.25/1841.77	c bounds - >= 1027 @ 777.968
1838.25/1841.77	c #Conflicts:     213000 | #Constraints:     191652
1838.25/1841.77	c bounds - >= 1028 @ 779.336
1838.25/1841.77	c bounds - >= 1029 @ 780.758
1838.25/1841.77	c bounds - >= 1030 @ 782.153
1838.25/1841.77	c bounds - >= 1031 @ 783.556
1838.25/1841.77	c #Conflicts:     214000 | #Constraints:     192656
1838.25/1841.77	c bounds - >= 1032 @ 784.935
2199.53/2203.75	c bounds - >= 1033 @ 786.346
2199.53/2203.75	c bounds - >= 1034 @ 787.709
2199.53/2203.75	c bounds - >= 1035 @ 789.114
2199.53/2203.75	c bounds - >= 1036 @ 790.559
2199.53/2203.75	c #Conflicts:     215000 | #Constraints:     193661
2199.53/2203.75	c bounds - >= 1037 @ 792.004
2199.53/2203.75	c bounds - >= 1038 @ 793.449
2199.53/2203.75	c bounds - >= 1039 @ 794.866
2199.53/2203.75	c bounds - >= 1040 @ 796.28
2199.53/2203.75	c bounds - >= 1041 @ 797.66
2199.53/2203.75	c #Conflicts:     216000 | #Constraints:     194666
2199.53/2203.75	c bounds - >= 1042 @ 799.092
2199.53/2203.75	c bounds - >= 1043 @ 800.537
2199.53/2203.75	c bounds - >= 1044 @ 801.978
2199.53/2203.75	c INPROCESSING
2199.53/2203.75	c GARBAGE COLLECT
2199.53/2203.75	c bounds - >= 1045 @ 803.801
2199.53/2203.75	c #Conflicts:     217000 | #Constraints:     186418
2199.53/2203.75	c bounds - >= 1046 @ 805.225
2199.53/2203.75	c bounds - >= 1047 @ 806.666
2199.53/2203.75	c bounds - >= 1048 @ 808.095
2199.53/2203.75	c bounds - >= 1049 @ 809.461
2199.53/2203.75	c bounds - >= 1050 @ 810.938
2199.53/2203.75	c #Conflicts:     218000 | #Constraints:     187423
2199.53/2203.75	c bounds - >= 1051 @ 812.304
2199.53/2203.75	c bounds - >= 1052 @ 813.705
2199.53/2203.75	c bounds - >= 1053 @ 815.111
2199.53/2203.75	c bounds - >= 1054 @ 816.531
2199.53/2203.75	c bounds - >= 1055 @ 817.986
2199.53/2203.75	c #Conflicts:     219000 | #Constraints:     188428
2199.53/2203.75	c bounds - >= 1056 @ 819.422
2199.53/2203.75	c bounds - >= 1057 @ 820.855
2199.53/2203.75	c bounds - >= 1058 @ 822.294
2199.53/2203.75	c bounds - >= 1059 @ 823.72
2199.53/2203.75	c #Conflicts:     220000 | #Constraints:     189432
2199.53/2203.75	c bounds - >= 1060 @ 825.143
2199.53/2203.75	c bounds - >= 1061 @ 826.551
2199.53/2203.75	c bounds - >= 1062 @ 828.006
2199.53/2203.75	c bounds - >= 1063 @ 829.432
2199.53/2203.75	c bounds - >= 1064 @ 830.851
2199.53/2203.75	c #Conflicts:     221000 | #Constraints:     190437
2199.53/2203.75	c bounds - >= 1065 @ 832.329
2199.53/2203.75	c bounds - >= 1066 @ 833.763
2199.53/2203.75	c bounds - >= 1067 @ 835.222
2199.53/2203.75	c bounds - >= 1068 @ 836.649
2199.53/2203.75	c bounds - >= 1069 @ 838.126
2199.53/2203.75	c #Conflicts:     222000 | #Constraints:     191442
2199.53/2203.75	c bounds - >= 1070 @ 839.571
2199.53/2203.75	c bounds - >= 1071 @ 841.017
2199.53/2203.75	c bounds - >= 1072 @ 842.491
2199.53/2203.75	c bounds - >= 1073 @ 843.935
2199.53/2203.75	c #Conflicts:     223000 | #Constraints:     192446
2199.53/2203.75	c bounds - >= 1074 @ 845.334
2199.53/2203.75	c bounds - >= 1075 @ 846.724
2199.53/2203.75	c bounds - >= 1076 @ 848.191
2199.53/2203.75	c bounds - >= 1077 @ 849.626
2199.53/2203.75	c bounds - >= 1078 @ 851.125
2199.53/2203.75	c #Conflicts:     224000 | #Constraints:     193451
2199.53/2203.75	c bounds - >= 1079 @ 852.557
2199.53/2203.75	c bounds - >= 1080 @ 854.067
2199.53/2203.75	c bounds - >= 1081 @ 855.5
2199.53/2203.75	c bounds - >= 1082 @ 856.974
2199.53/2203.75	c #Conflicts:     225000 | #Constraints:     194455
2199.53/2203.75	c bounds - >= 1083 @ 858.411
2199.53/2203.75	c bounds - >= 1084 @ 859.882
2199.53/2203.75	c bounds - >= 1085 @ 861.356
2199.53/2203.75	c bounds - >= 1086 @ 862.85
2199.53/2203.75	c bounds - >= 1087 @ 864.381
2199.53/2203.75	c #Conflicts:     226000 | #Constraints:     195460
2199.53/2203.75	c bounds - >= 1088 @ 865.863
2199.53/2203.75	c INPROCESSING
2199.53/2203.75	c GARBAGE COLLECT
2199.53/2203.75	c bounds - >= 1089 @ 867.759
2199.53/2203.75	c bounds - >= 1090 @ 869.24
2199.53/2203.75	c bounds - >= 1091 @ 870.689
2199.53/2203.75	c bounds - >= 1092 @ 872.18
2199.53/2203.75	c #Conflicts:     227000 | #Constraints:     187038
2199.53/2203.75	c bounds - >= 1093 @ 873.651
2199.53/2203.75	c bounds - >= 1094 @ 875.118
2199.53/2203.75	c bounds - >= 1095 @ 876.574
2199.53/2203.75	c bounds - >= 1096 @ 878.082
2199.53/2203.75	c #Conflicts:     228000 | #Constraints:     188042
2199.53/2203.75	c bounds - >= 1097 @ 879.578
2199.53/2203.75	c bounds - >= 1098 @ 881.047
2199.53/2203.75	c bounds - >= 1099 @ 882.557
2199.53/2203.75	c bounds - >= 1100 @ 884.024
2199.53/2203.75	c bounds - >= 1101 @ 885.511
2199.53/2203.75	c #Conflicts:     229000 | #Constraints:     189047
2199.53/2203.75	c bounds - >= 1102 @ 887.013
2199.53/2203.75	c bounds - >= 1103 @ 888.502
2199.53/2203.75	c bounds - >= 1104 @ 889.98
2199.53/2203.75	c bounds - >= 1105 @ 891.45
2199.53/2203.75	c bounds - >= 1106 @ 892.942
2199.53/2203.75	c #Conflicts:     230000 | #Constraints:     190052
2199.53/2203.75	c bounds - >= 1107 @ 894.393
2199.53/2203.75	c bounds - >= 1108 @ 895.886
2199.53/2203.75	c bounds - >= 1109 @ 897.314
2199.53/2203.75	c bounds - >= 1110 @ 898.839
2199.53/2203.75	c #Conflicts:     231000 | #Constraints:     191056
2199.53/2203.75	c bounds - >= 1111 @ 900.323
2199.53/2203.75	c bounds - >= 1112 @ 901.845
2199.53/2203.75	c bounds - >= 1113 @ 903.372
2199.53/2203.75	c bounds - >= 1114 @ 904.946
2199.53/2203.75	c bounds - >= 1115 @ 906.417
2199.53/2203.75	c #Conflicts:     232000 | #Constraints:     192061
2199.53/2203.75	c bounds - >= 1116 @ 907.928
2199.53/2203.75	c bounds - >= 1117 @ 909.406
2199.53/2203.75	c bounds - >= 1118 @ 910.96
2199.53/2203.75	c bounds - >= 1119 @ 912.456
2199.53/2203.75	c #Conflicts:     233000 | #Constraints:     193065
2199.53/2203.75	c bounds - >= 1120 @ 913.99
2199.53/2203.75	c bounds - >= 1121 @ 915.509
2199.53/2203.75	c bounds - >= 1122 @ 917.023
2199.53/2203.75	c bounds - >= 1123 @ 918.595
2199.53/2203.75	c bounds - >= 1124 @ 920.088
2199.53/2203.75	c #Conflicts:     234000 | #Constraints:     194070
2199.53/2203.75	c bounds - >= 1125 @ 921.626
2199.53/2203.75	c bounds - >= 1126 @ 923.183
2199.53/2203.75	c bounds - >= 1127 @ 924.721
2199.53/2203.75	c bounds - >= 1128 @ 926.3
2199.53/2203.75	c bounds - >= 1129 @ 927.826
2199.53/2203.75	c #Conflicts:     235000 | #Constraints:     195075
2199.53/2203.75	c bounds - >= 1130 @ 929.315
2199.53/2203.75	c bounds - >= 1131 @ 930.858
2199.53/2203.75	c bounds - >= 1132 @ 932.367
2199.53/2203.75	c bounds - >= 1133 @ 933.901
2585.89/2591.10	c #Conflicts:     236000 | #Constraints:     196079
2585.89/2591.10	c INPROCESSING
2585.89/2591.10	c GARBAGE COLLECT
2585.89/2591.10	c bounds - >= 1134 @ 935.829
2585.89/2591.10	c bounds - >= 1135 @ 937.309
2585.89/2591.10	c bounds - >= 1136 @ 938.791
2585.89/2591.10	c bounds - >= 1137 @ 940.325
2585.89/2591.10	c bounds - >= 1138 @ 941.906
2585.89/2591.10	c #Conflicts:     237000 | #Constraints:     187433
2585.89/2591.10	c bounds - >= 1139 @ 943.448
2585.89/2591.10	c bounds - >= 1140 @ 944.974
2585.89/2591.10	c bounds - >= 1141 @ 946.481
2585.89/2591.10	c bounds - >= 1142 @ 948.011
2585.89/2591.10	c bounds - >= 1143 @ 949.536
2585.89/2591.10	c #Conflicts:     238000 | #Constraints:     188438
2585.89/2591.10	c bounds - >= 1144 @ 951.044
2585.89/2591.10	c bounds - >= 1145 @ 952.62
2585.89/2591.10	c bounds - >= 1146 @ 954.138
2585.89/2591.10	c bounds - >= 1147 @ 955.64
2585.89/2591.10	c #Conflicts:     239000 | #Constraints:     189442
2585.89/2591.10	c bounds - >= 1148 @ 957.189
2585.89/2591.10	c bounds - >= 1149 @ 958.794
2585.89/2591.10	c bounds - >= 1150 @ 960.356
2585.89/2591.10	c bounds - >= 1151 @ 961.882
2585.89/2591.10	c bounds - >= 1152 @ 963.428
2585.89/2591.10	c #Conflicts:     240000 | #Constraints:     190447
2585.89/2591.10	c bounds - >= 1153 @ 965.005
2585.89/2591.10	c bounds - >= 1154 @ 966.547
2585.89/2591.10	c bounds - >= 1155 @ 968.122
2585.89/2591.10	c bounds - >= 1156 @ 969.704
2585.89/2591.10	c #Conflicts:     241000 | #Constraints:     191451
2585.89/2591.10	c bounds - >= 1157 @ 971.265
2585.89/2591.10	c bounds - >= 1158 @ 972.843
2585.89/2591.10	c bounds - >= 1159 @ 974.358
2585.89/2591.10	c bounds - >= 1160 @ 975.899
2585.89/2591.10	c bounds - >= 1161 @ 977.473
2585.89/2591.10	c #Conflicts:     242000 | #Constraints:     192456
2585.89/2591.10	c bounds - >= 1162 @ 979.049
2585.89/2591.10	c bounds - >= 1163 @ 980.659
2585.89/2591.10	c bounds - >= 1164 @ 982.229
2585.89/2591.10	c bounds - >= 1165 @ 983.788
2585.89/2591.10	c bounds - >= 1166 @ 985.314
2585.89/2591.10	c #Conflicts:     243000 | #Constraints:     193461
2585.89/2591.10	c bounds - >= 1167 @ 986.901
2585.89/2591.10	c bounds - >= 1168 @ 988.454
2585.89/2591.10	c bounds - >= 1169 @ 990.044
2585.89/2591.10	c bounds - >= 1170 @ 991.671
2585.89/2591.10	c #Conflicts:     244000 | #Constraints:     194465
2585.89/2591.10	c bounds - >= 1171 @ 993.294
2585.89/2591.10	c bounds - >= 1172 @ 994.898
2585.89/2591.10	c bounds - >= 1173 @ 996.487
2585.89/2591.10	c bounds - >= 1174 @ 998.094
2585.89/2591.10	c bounds - >= 1175 @ 999.703
2585.89/2591.10	c #Conflicts:     245000 | #Constraints:     195470
2585.89/2591.10	c bounds - >= 1176 @ 1001.24
2585.89/2591.10	c bounds - >= 1177 @ 1002.84
2585.89/2591.10	c bounds - >= 1178 @ 1004.45
2585.89/2591.10	c bounds - >= 1179 @ 1006.05
2585.89/2591.10	c bounds - >= 1180 @ 1007.61
2585.89/2591.10	c #Conflicts:     246000 | #Constraints:     196475
2585.89/2591.10	c INPROCESSING
2585.89/2591.10	c GARBAGE COLLECT
2585.89/2591.10	c bounds - >= 1181 @ 1009.71
2585.89/2591.10	c bounds - >= 1182 @ 1011.31
2585.89/2591.11	c bounds - >= 1183 @ 1012.88
2585.89/2591.11	c bounds - >= 1184 @ 1014.43
2585.89/2591.11	c #Conflicts:     247000 | #Constraints:     187632
2585.89/2591.11	c bounds - >= 1185 @ 1016.07
2585.89/2591.11	c bounds - >= 1186 @ 1017.58
2585.89/2591.11	c bounds - >= 1187 @ 1019.2
2585.89/2591.11	c bounds - >= 1188 @ 1020.83
2585.89/2591.11	c bounds - >= 1189 @ 1022.43
2585.89/2591.11	c #Conflicts:     248000 | #Constraints:     188637
2585.89/2591.11	c bounds - >= 1190 @ 1024.06
2585.89/2591.11	c bounds - >= 1191 @ 1025.63
2585.89/2591.11	c bounds - >= 1192 @ 1027.27
2585.89/2591.11	c bounds - >= 1193 @ 1028.91
2585.89/2591.11	c bounds - >= 1194 @ 1030.49
2585.89/2591.11	c #Conflicts:     249000 | #Constraints:     189642
2585.89/2591.11	c bounds - >= 1195 @ 1032.09
2585.89/2591.11	c bounds - >= 1196 @ 1033.73
2585.89/2591.11	c bounds - >= 1197 @ 1035.32
2585.89/2591.11	c bounds - >= 1198 @ 1036.94
2585.89/2591.11	c #Conflicts:     250000 | #Constraints:     190646
2585.89/2591.11	c bounds - >= 1199 @ 1038.51
2585.89/2591.11	c bounds - >= 1200 @ 1040.16
2585.89/2591.11	c bounds - >= 1201 @ 1041.74
2585.89/2591.11	c bounds - >= 1202 @ 1043.39
2585.89/2591.11	c bounds - >= 1203 @ 1045.05
2585.89/2591.11	c #Conflicts:     251000 | #Constraints:     191651
2585.89/2591.11	c bounds - >= 1204 @ 1046.66
2585.89/2591.11	c bounds - >= 1205 @ 1048.27
2585.89/2591.11	c bounds - >= 1206 @ 1049.91
2585.89/2591.11	c bounds - >= 1207 @ 1051.58
2585.89/2591.11	c #Conflicts:     252000 | #Constraints:     192655
2585.89/2591.11	c bounds - >= 1208 @ 1053.12
2585.89/2591.11	c bounds - >= 1209 @ 1054.77
2585.89/2591.11	c bounds - >= 1210 @ 1056.42
2585.89/2591.11	c bounds - >= 1211 @ 1058.07
2585.89/2591.11	c bounds - >= 1212 @ 1059.69
2585.89/2591.11	c #Conflicts:     253000 | #Constraints:     193660
2585.89/2591.11	c bounds - >= 1213 @ 1061.37
2585.89/2591.11	c bounds - >= 1214 @ 1063
2585.89/2591.11	c bounds - >= 1215 @ 1064.65
2585.89/2591.11	c bounds - >= 1216 @ 1066.29
2585.89/2591.11	c bounds - >= 1217 @ 1067.93
2585.89/2591.11	c #Conflicts:     254000 | #Constraints:     194665
2585.89/2591.11	c bounds - >= 1218 @ 1069.6
2585.89/2591.11	c bounds - >= 1219 @ 1071.21
2585.89/2591.11	c bounds - >= 1220 @ 1072.87
2585.89/2591.11	c bounds - >= 1221 @ 1074.51
2585.89/2591.11	c #Conflicts:     255000 | #Constraints:     195669
2585.89/2591.11	c bounds - >= 1222 @ 1076.2
2585.89/2591.11	c bounds - >= 1223 @ 1077.89
2585.89/2591.11	c bounds - >= 1224 @ 1079.51
2585.89/2591.11	c bounds - >= 1225 @ 1081.19
2585.89/2591.11	c bounds - >= 1226 @ 1082.81
2585.89/2591.11	c #Conflicts:     256000 | #Constraints:     196674
2585.89/2591.11	c bounds - >= 1227 @ 1084.5
2585.89/2591.11	c INPROCESSING
2585.89/2591.11	c GARBAGE COLLECT
2585.89/2591.11	c bounds - >= 1228 @ 1086.61
2585.89/2591.11	c bounds - >= 1229 @ 1088.25
2585.89/2591.11	c bounds - >= 1230 @ 1089.89
2585.89/2591.11	c bounds - >= 1231 @ 1091.57
2585.89/2591.11	c #Conflicts:     257000 | #Constraints:     187629
2585.89/2591.11	c bounds - >= 1232 @ 1093.21
3012.82/3019.09	c bounds - >= 1233 @ 1094.89
3012.82/3019.09	c bounds - >= 1234 @ 1096.54
3012.82/3019.09	c bounds - >= 1235 @ 1098.25
3012.82/3019.09	c #Conflicts:     258000 | #Constraints:     188633
3012.82/3019.09	c bounds - >= 1236 @ 1099.9
3012.82/3019.09	c bounds - >= 1237 @ 1101.57
3012.82/3019.09	c bounds - >= 1238 @ 1103.22
3012.82/3019.09	c bounds - >= 1239 @ 1104.9
3012.82/3019.09	c bounds - >= 1240 @ 1106.58
3012.82/3019.09	c #Conflicts:     259000 | #Constraints:     189638
3012.82/3019.09	c bounds - >= 1241 @ 1108.27
3012.82/3019.09	c bounds - >= 1242 @ 1109.94
3012.82/3019.09	c bounds - >= 1243 @ 1111.62
3012.82/3019.09	c bounds - >= 1244 @ 1113.32
3012.82/3019.09	c #Conflicts:     260000 | #Constraints:     190642
3012.82/3019.09	c bounds - >= 1245 @ 1114.97
3012.82/3019.09	c bounds - >= 1246 @ 1116.69
3012.82/3019.09	c bounds - >= 1247 @ 1118.37
3012.82/3019.09	c bounds - >= 1248 @ 1120.05
3012.82/3019.09	c bounds - >= 1249 @ 1121.78
3012.82/3019.09	c #Conflicts:     261000 | #Constraints:     191647
3012.82/3019.09	c bounds - >= 1250 @ 1123.47
3012.82/3019.09	c bounds - >= 1251 @ 1125.13
3012.82/3019.09	c bounds - >= 1252 @ 1126.85
3012.82/3019.09	c bounds - >= 1253 @ 1128.57
3012.82/3019.09	c bounds - >= 1254 @ 1130.23
3012.82/3019.09	c #Conflicts:     262000 | #Constraints:     192652
3012.82/3019.09	c bounds - >= 1255 @ 1131.95
3012.82/3019.09	c bounds - >= 1256 @ 1133.64
3012.82/3019.09	c bounds - >= 1257 @ 1135.34
3012.82/3019.09	c bounds - >= 1258 @ 1137.05
3012.82/3019.09	c #Conflicts:     263000 | #Constraints:     193656
3012.82/3019.09	c bounds - >= 1259 @ 1138.7
3012.82/3019.09	c bounds - >= 1260 @ 1140.39
3012.82/3019.09	c bounds - >= 1261 @ 1142.16
3012.82/3019.09	c bounds - >= 1262 @ 1143.85
3012.82/3019.09	c bounds - >= 1263 @ 1145.53
3012.82/3019.09	c #Conflicts:     264000 | #Constraints:     194661
3012.82/3019.09	c bounds - >= 1264 @ 1147.22
3012.82/3019.09	c bounds - >= 1265 @ 1148.96
3012.82/3019.09	c bounds - >= 1266 @ 1150.68
3012.82/3019.09	c bounds - >= 1267 @ 1152.36
3012.82/3019.09	c bounds - >= 1268 @ 1154.09
3012.82/3019.09	c #Conflicts:     265000 | #Constraints:     195666
3012.82/3019.09	c bounds - >= 1269 @ 1155.78
3012.82/3019.09	c bounds - >= 1270 @ 1157.51
3012.82/3019.09	c bounds - >= 1271 @ 1159.17
3012.82/3019.09	c bounds - >= 1272 @ 1160.91
3012.82/3019.09	c #Conflicts:     266000 | #Constraints:     196670
3012.82/3019.09	c bounds - >= 1273 @ 1162.65
3012.82/3019.09	c bounds - >= 1274 @ 1164.4
3012.82/3019.09	c bounds - >= 1275 @ 1166.13
3012.82/3019.09	c INPROCESSING
3012.82/3019.09	c GARBAGE COLLECT
3012.82/3019.09	c bounds - >= 1276 @ 1168.32
3012.82/3019.09	c bounds - >= 1277 @ 1170.07
3012.82/3019.09	c #Conflicts:     267000 | #Constraints:     187413
3012.82/3019.09	c bounds - >= 1278 @ 1171.78
3012.82/3019.09	c bounds - >= 1279 @ 1173.52
3012.82/3019.09	c bounds - >= 1280 @ 1175.26
3012.82/3019.09	c bounds - >= 1281 @ 1176.99
3012.82/3019.09	c #Conflicts:     268000 | #Constraints:     188417
3012.82/3019.09	c bounds - >= 1282 @ 1178.73
3012.82/3019.09	c bounds - >= 1283 @ 1180.44
3012.82/3019.09	c bounds - >= 1284 @ 1182.13
3012.82/3019.09	c bounds - >= 1285 @ 1183.87
3012.82/3019.09	c bounds - >= 1286 @ 1185.6
3012.82/3019.09	c #Conflicts:     269000 | #Constraints:     189422
3012.82/3019.09	c bounds - >= 1287 @ 1187.36
3012.82/3019.09	c bounds - >= 1288 @ 1189.12
3012.82/3019.09	c bounds - >= 1289 @ 1190.88
3012.82/3019.09	c bounds - >= 1290 @ 1192.66
3012.82/3019.09	c bounds - >= 1291 @ 1194.36
3012.82/3019.09	c #Conflicts:     270000 | #Constraints:     190427
3012.82/3019.09	c bounds - >= 1292 @ 1196.15
3012.82/3019.09	c bounds - >= 1293 @ 1197.87
3012.82/3019.09	c bounds - >= 1294 @ 1199.62
3012.82/3019.09	c bounds - >= 1295 @ 1201.37
3012.82/3019.09	c #Conflicts:     271000 | #Constraints:     191431
3012.82/3019.09	c bounds - >= 1296 @ 1203.13
3012.82/3019.09	c bounds - >= 1297 @ 1204.83
3012.82/3019.09	c bounds - >= 1298 @ 1206.57
3012.82/3019.09	c bounds - >= 1299 @ 1208.3
3012.82/3019.09	c bounds - >= 1300 @ 1210.1
3012.82/3019.09	c #Conflicts:     272000 | #Constraints:     192436
3012.82/3019.09	c bounds - >= 1301 @ 1211.82
3012.82/3019.09	c bounds - >= 1302 @ 1213.52
3012.82/3019.09	c bounds - >= 1303 @ 1215.29
3012.82/3019.09	c bounds - >= 1304 @ 1217.05
3012.82/3019.09	c bounds - >= 1305 @ 1218.8
3012.82/3019.09	c #Conflicts:     273000 | #Constraints:     193441
3012.82/3019.09	c bounds - >= 1306 @ 1220.55
3012.82/3019.09	c bounds - >= 1307 @ 1222.34
3012.82/3019.09	c bounds - >= 1308 @ 1224.08
3012.82/3019.09	c bounds - >= 1309 @ 1225.81
3012.82/3019.09	c #Conflicts:     274000 | #Constraints:     194445
3012.82/3019.09	c bounds - >= 1310 @ 1227.54
3012.82/3019.09	c bounds - >= 1311 @ 1229.28
3012.82/3019.09	c bounds - >= 1312 @ 1231.06
3012.82/3019.09	c bounds - >= 1313 @ 1232.8
3012.82/3019.09	c bounds - >= 1314 @ 1234.54
3012.82/3019.09	c #Conflicts:     275000 | #Constraints:     195450
3012.82/3019.09	c bounds - >= 1315 @ 1236.34
3012.82/3019.09	c bounds - >= 1316 @ 1238.1
3012.82/3019.09	c bounds - >= 1317 @ 1239.9
3012.82/3019.09	c bounds - >= 1318 @ 1241.68
3012.82/3019.09	c bounds - >= 1319 @ 1243.41
3012.82/3019.09	c #Conflicts:     276000 | #Constraints:     196455
3012.82/3019.09	c bounds - >= 1320 @ 1245.21
3012.82/3019.09	c bounds - >= 1321 @ 1247.01
3012.82/3019.09	c bounds - >= 1322 @ 1248.84
3012.82/3019.09	c bounds - >= 1323 @ 1250.64
3012.82/3019.09	c #Conflicts:     277000 | #Constraints:     197459
3012.82/3019.09	c bounds - >= 1324 @ 1252.42
3012.82/3019.09	c INPROCESSING
3012.82/3019.09	c GARBAGE COLLECT
3012.82/3019.09	c bounds - >= 1325 @ 1254.63
3012.82/3019.09	c bounds - >= 1326 @ 1256.42
3012.82/3019.09	c bounds - >= 1327 @ 1258.18
3012.82/3019.09	c bounds - >= 1328 @ 1259.98
3012.82/3019.09	c #Conflicts:     278000 | #Constraints:     188015
3012.82/3019.09	c bounds - >= 1329 @ 1261.79
3012.82/3019.09	c bounds - >= 1330 @ 1263.64
3012.82/3019.09	c bounds - >= 1331 @ 1265.44
3012.82/3019.09	c bounds - >= 1332 @ 1267.24
3012.82/3019.09	c #Conflicts:     279000 | #Constraints:     189019
3472.79/3479.84	c bounds - >= 1333 @ 1269.06
3472.79/3479.84	c bounds - >= 1334 @ 1270.86
3472.79/3479.84	c bounds - >= 1335 @ 1272.68
3472.79/3479.84	c bounds - >= 1336 @ 1274.51
3472.79/3479.84	c bounds - >= 1337 @ 1276.3
3472.79/3479.84	c #Conflicts:     280000 | #Constraints:     190024
3472.79/3479.84	c bounds - >= 1338 @ 1278.12
3472.79/3479.84	c bounds - >= 1339 @ 1279.96
3472.79/3479.84	c bounds - >= 1340 @ 1281.77
3472.79/3479.84	c bounds - >= 1341 @ 1283.55
3472.79/3479.84	c bounds - >= 1342 @ 1285.34
3472.79/3479.84	c #Conflicts:     281000 | #Constraints:     191029
3472.79/3479.84	c bounds - >= 1343 @ 1287.14
3472.79/3479.84	c bounds - >= 1344 @ 1288.97
3472.79/3479.84	c bounds - >= 1345 @ 1290.84
3472.79/3479.84	c bounds - >= 1346 @ 1292.64
3472.79/3479.84	c #Conflicts:     282000 | #Constraints:     192033
3472.79/3479.84	c bounds - >= 1347 @ 1294.45
3472.79/3479.84	c bounds - >= 1348 @ 1296.25
3472.79/3479.84	c bounds - >= 1349 @ 1298.08
3472.79/3479.84	c bounds - >= 1350 @ 1299.91
3472.79/3479.84	c bounds - >= 1351 @ 1301.73
3472.79/3479.84	c #Conflicts:     283000 | #Constraints:     193038
3472.79/3479.84	c bounds - >= 1352 @ 1303.58
3472.79/3479.84	c bounds - >= 1353 @ 1305.47
3472.79/3479.84	c bounds - >= 1354 @ 1307.35
3472.79/3479.84	c bounds - >= 1355 @ 1309.16
3472.79/3479.84	c bounds - >= 1356 @ 1310.97
3472.79/3479.84	c #Conflicts:     284000 | #Constraints:     194043
3472.79/3479.84	c bounds - >= 1357 @ 1312.82
3472.79/3479.84	c bounds - >= 1358 @ 1314.67
3472.79/3479.84	c bounds - >= 1359 @ 1316.48
3472.79/3479.84	c bounds - >= 1360 @ 1318.3
3472.79/3479.84	c #Conflicts:     285000 | #Constraints:     195047
3472.79/3479.84	c bounds - >= 1361 @ 1320.12
3472.79/3479.84	c bounds - >= 1362 @ 1321.96
3472.79/3479.84	c bounds - >= 1363 @ 1323.81
3472.79/3479.84	c bounds - >= 1364 @ 1325.61
3472.79/3479.84	c bounds - >= 1365 @ 1327.39
3472.79/3479.84	c #Conflicts:     286000 | #Constraints:     196052
3472.79/3479.84	c bounds - >= 1366 @ 1329.21
3472.79/3479.84	c bounds - >= 1367 @ 1331.07
3472.79/3479.84	c bounds - >= 1368 @ 1332.93
3472.79/3479.84	c bounds - >= 1369 @ 1334.78
3472.79/3479.84	c #Conflicts:     287000 | #Constraints:     197056
3472.79/3479.84	c bounds - >= 1370 @ 1336.63
3472.79/3479.84	c bounds - >= 1371 @ 1338.49
3472.79/3479.84	c bounds - >= 1372 @ 1340.33
3472.79/3479.84	c bounds - >= 1373 @ 1342.15
3472.79/3479.84	c bounds - >= 1374 @ 1344
3472.79/3479.84	c #Conflicts:     288000 | #Constraints:     198061
3472.79/3479.84	c INPROCESSING
3472.79/3479.84	c GARBAGE COLLECT
3472.79/3479.84	c bounds - >= 1375 @ 1346.23
3472.79/3479.84	c bounds - >= 1376 @ 1348.11
3472.79/3479.84	c bounds - >= 1377 @ 1349.98
3472.79/3479.84	c bounds - >= 1378 @ 1351.79
3472.79/3479.84	c bounds - >= 1379 @ 1353.7
3472.79/3479.84	c #Conflicts:     289000 | #Constraints:     188415
3472.79/3479.84	c bounds - >= 1380 @ 1355.57
3472.79/3479.84	c bounds - >= 1381 @ 1357.41
3472.79/3479.84	c bounds - >= 1382 @ 1359.26
3472.79/3479.84	c bounds - >= 1383 @ 1361.12
3472.79/3479.84	c #Conflicts:     290000 | #Constraints:     189419
3472.79/3479.84	c bounds - >= 1384 @ 1363
3472.79/3479.84	c bounds - >= 1385 @ 1364.86
3472.79/3479.84	c bounds - >= 1386 @ 1366.75
3472.79/3479.84	c bounds - >= 1387 @ 1368.59
3472.79/3479.84	c bounds - >= 1388 @ 1370.48
3472.79/3479.84	c #Conflicts:     291000 | #Constraints:     190424
3472.79/3479.84	c bounds - >= 1389 @ 1372.35
3472.79/3479.84	c bounds - >= 1390 @ 1374.19
3472.79/3479.84	c bounds - >= 1391 @ 1376.12
3472.79/3479.84	c bounds - >= 1392 @ 1378
3472.79/3479.84	c bounds - >= 1393 @ 1379.91
3472.79/3479.84	c #Conflicts:     292000 | #Constraints:     191429
3472.79/3479.84	c bounds - >= 1394 @ 1381.79
3472.79/3479.84	c bounds - >= 1395 @ 1383.74
3472.79/3479.84	c bounds - >= 1396 @ 1385.59
3472.79/3479.84	c bounds - >= 1397 @ 1387.45
3472.79/3479.84	c #Conflicts:     293000 | #Constraints:     192433
3472.79/3479.84	c bounds - >= 1398 @ 1389.36
3472.79/3479.84	c bounds - >= 1399 @ 1391.24
3472.79/3479.84	c bounds - >= 1400 @ 1393.14
3472.79/3479.84	c bounds - >= 1401 @ 1395.08
3472.79/3479.84	c bounds - >= 1402 @ 1396.97
3472.79/3479.84	c #Conflicts:     294000 | #Constraints:     193438
3472.79/3479.84	c bounds - >= 1403 @ 1398.87
3472.79/3479.84	c bounds - >= 1404 @ 1400.76
3472.79/3479.84	c bounds - >= 1405 @ 1402.62
3472.79/3479.84	c bounds - >= 1406 @ 1404.5
3472.79/3479.84	c #Conflicts:     295000 | #Constraints:     194442
3472.79/3479.84	c bounds - >= 1407 @ 1406.35
3472.79/3479.84	c bounds - >= 1408 @ 1408.25
3472.79/3479.84	c bounds - >= 1409 @ 1410.17
3472.79/3479.84	c bounds - >= 1410 @ 1412.07
3472.79/3479.84	c bounds - >= 1411 @ 1413.94
3472.79/3479.84	c #Conflicts:     296000 | #Constraints:     195447
3472.79/3479.84	c bounds - >= 1412 @ 1415.86
3472.79/3479.84	c bounds - >= 1413 @ 1417.77
3472.79/3479.84	c bounds - >= 1414 @ 1419.71
3472.79/3479.84	c bounds - >= 1415 @ 1421.7
3472.79/3479.84	c bounds - >= 1416 @ 1423.58
3472.79/3479.84	c #Conflicts:     297000 | #Constraints:     196452
3472.79/3479.84	c bounds - >= 1417 @ 1425.48
3472.79/3479.84	c bounds - >= 1418 @ 1427.42
3472.79/3479.84	c bounds - >= 1419 @ 1429.3
3472.79/3479.84	c bounds - >= 1420 @ 1431.22
3472.79/3479.84	c #Conflicts:     298000 | #Constraints:     197456
3472.79/3479.84	c bounds - >= 1421 @ 1433.11
3472.79/3479.84	c bounds - >= 1422 @ 1435.01
3472.79/3479.84	c bounds - >= 1423 @ 1436.9
3472.79/3479.84	c bounds - >= 1424 @ 1438.8
3472.79/3479.84	c bounds - >= 1425 @ 1440.75
3472.79/3479.84	c #Conflicts:     299000 | #Constraints:     198461
3472.79/3479.84	c INPROCESSING
3472.79/3479.84	c GARBAGE COLLECT
3472.79/3479.84	c bounds - >= 1426 @ 1443.16
3472.79/3479.84	c bounds - >= 1427 @ 1445.06
3472.79/3479.84	c bounds - >= 1428 @ 1446.95
3472.79/3479.84	c bounds - >= 1429 @ 1448.87
3472.79/3479.84	c bounds - >= 1430 @ 1450.79
3472.79/3479.84	c #Conflicts:     300000 | #Constraints:     188605
3472.79/3479.84	c bounds - >= 1431 @ 1452.69
3472.79/3479.84	c bounds - >= 1432 @ 1454.63
3472.79/3479.84	c bounds - >= 1433 @ 1456.56
3472.79/3479.84	c bounds - >= 1434 @ 1458.48
3600.07/3607.30	c #Conflicts:     301000 | #Constraints:     189609
3600.07/3607.30	c bounds - >= 1435 @ 1460.37
3600.07/3607.30	c bounds - >= 1436 @ 1462.25
3600.07/3607.30	c bounds - >= 1437 @ 1464.13
3600.07/3607.30	c bounds - >= 1438 @ 1466.06
3600.07/3607.30	c bounds - >= 1439 @ 1468.04
3600.07/3607.30	c #Conflicts:     302000 | #Constraints:     190614
3600.07/3607.30	c bounds - >= 1440 @ 1469.96
3600.07/3607.30	c bounds - >= 1441 @ 1471.87
3600.07/3607.30	c bounds - >= 1442 @ 1473.9
3600.07/3607.30	c bounds - >= 1443 @ 1475.89
3600.07/3607.30	c bounds - >= 1444 @ 1477.85
3600.07/3607.30	c #Conflicts:     303000 | #Constraints:     191619
3600.07/3607.30	c bounds - >= 1445 @ 1479.8
3600.07/3607.30	c bounds - >= 1446 @ 1481.71
3600.07/3607.30	c bounds - >= 1447 @ 1483.62
3600.07/3607.30	c bounds - >= 1448 @ 1485.59
3600.07/3607.30	c #Conflicts:     304000 | #Constraints:     192623
3600.07/3607.30	c bounds - >= 1449 @ 1487.57
3600.07/3607.30	c bounds - >= 1450 @ 1489.55
3600.07/3607.30	c bounds - >= 1451 @ 1491.45
3600.07/3607.30	c bounds - >= 1452 @ 1493.38
3600.07/3607.30	c bounds - >= 1453 @ 1495.32
3600.07/3607.30	c #Conflicts:     305000 | #Constraints:     193628
3600.07/3607.30	c bounds - >= 1454 @ 1497.25
3600.07/3607.30	c bounds - >= 1455 @ 1499.22
3600.07/3607.30	c bounds - >= 1456 @ 1501.18
3600.07/3607.30	c bounds - >= 1457 @ 1503.13
3600.07/3607.30	c #Conflicts:     306000 | #Constraints:     194632
3600.07/3607.30	c bounds - >= 1458 @ 1505.06
3600.07/3607.30	c bounds - >= 1459 @ 1507.04
3600.07/3607.30	c bounds - >= 1460 @ 1509.01
3600.07/3607.30	c Program interrupted by user.
3600.07/3607.30	c cpu time 1510.38 s
3600.07/3607.30	c deterministic time 13435446858 1.34e+10
3600.07/3607.30	c optimization time 30.0086 s
3600.07/3607.30	c total solve time 1476.11 s
3600.07/3607.30	c core-guided solve time 1476.11 s
3600.07/3607.30	c propagation time 793.996 s
3600.07/3607.30	c conflict analysis time 12.6671 s
3600.07/3607.30	c propagations 110676877
3600.07/3607.30	c resolve steps 614250
3600.07/3607.30	c decisions 3087805377
3600.07/3607.30	c conflicts 306450
3600.07/3607.30	c restarts 713
3600.07/3607.30	c inprocessing phases 46
3600.07/3607.30	c input clauses 89156
3600.07/3607.30	c input cardinalities 89074
3600.07/3607.30	c input general constraints 0
3600.07/3607.30	c input average constraint length 79.55
3600.07/3607.30	c input average constraint degree 33.03
3600.07/3607.30	c learned clauses 5675
3600.07/3607.30	c learned cardinalities 300775
3600.07/3607.30	c learned general constraints 0
3600.07/3607.30	c learned average constraint length 1001.15
3600.07/3607.30	c learned average constraint degree 512.35
3600.07/3607.30	c watched constraints 0
3600.07/3607.30	c counting constraints 0
3600.07/3607.30	c gcd simplifications 0
3600.07/3607.30	c detected cardinalities 0
3600.07/3607.30	c weakened non-implied lits 0
3600.07/3607.30	c weakened non-implying lits 0
3600.07/3607.30	c original variables 4576880
3600.07/3607.30	c clausal propagations 56970298
3600.07/3607.30	c cardinality propagations 50800821
3600.07/3607.30	c watched propagations 0
3600.07/3607.30	c counting propagations 0
3600.07/3607.30	c watch lookups 121156549
3600.07/3607.30	c watch backjump lookups 0
3600.07/3607.30	c watch checks 3242090800
3600.07/3607.30	c propagation checks 3338030891
3600.07/3607.30	c constraint additions 340566155
3600.07/3607.30	c trail pops 3195120208
3600.07/3607.30	c formula constraints 176770
3600.07/3607.30	c learned constraints 306450
3600.07/3607.30	c bound constraints 1460
3600.07/3607.30	c core-guided constraints 0
3600.07/3607.30	c encountered formula constraints 618575
3600.07/3607.30	c encountered learned constraints 302125
3600.07/3607.30	c encountered bound constraints 0
3600.07/3607.30	c encountered core-guided constraints 0
3600.07/3607.30	c LP total time 0 s
3600.07/3607.30	c LP solve time 0 s
3600.07/3607.30	c LP constraints added 0
3600.07/3607.30	c LP constraints removed 0
3600.07/3607.30	c LP pivots internal 0
3600.07/3607.30	c LP pivots root 0
3600.07/3607.30	c LP calls 0
3600.07/3607.30	c LP optimalities 0
3600.07/3607.30	c LP no pivot count 0
3600.07/3607.30	c LP infeasibilities 0
3600.07/3607.30	c LP valid Farkas constraints 0
3600.07/3607.30	c LP learned Farkas constraints 0
3600.07/3607.30	c LP basis resets 0
3600.07/3607.30	c LP cycling count 0
3600.07/3607.30	c LP singular count 0
3600.07/3607.30	c LP no primal count 0
3600.07/3607.30	c LP no farkas count 0
3600.07/3607.30	c LP other issue count 0
3600.07/3607.30	c LP Gomory cuts 0
3600.07/3607.30	c LP learned cuts 0
3600.07/3607.30	c LP deleted cuts 0
3600.07/3607.30	c LP encountered Gomory constraints 0
3600.07/3607.30	c LP encountered Farkas constraints 0
3600.07/3607.30	c LP encountered learned Farkas constraints 0
3600.07/3607.30	c CG auxiliary variables introduced 0
3600.07/3607.30	c CG solutions found 0
3600.07/3607.30	c CG cores constructed 1460
3600.07/3607.30	c CG core cardinality constraints returned 0
3600.07/3607.30	c CG unit cores 0
3600.07/3607.30	c CG single cores 1460
3600.07/3607.30	c CG blocks removed during cardinality reduction 0
3600.07/3607.30	c CG first core best 0
3600.07/3607.30	c CG decision core best 0
3600.07/3607.30	c CG core reduction tie 0
3600.07/3607.30	c CG core degree average 1.00
3600.07/3607.30	c CG core slack average 1.00
3600.07/3607.30	c CG exhausted 0
3600.07/3607.30	c CG exhaust time 0 s
3600.07/3607.30	c CG trimmed 0
3600.07/3607.30	c CG trim time 4.25191 s
3600.07/3607.30	c CG minimized 0
3600.07/3607.30	c CG minimize time 0 s
3600.07/3607.30	c CG am1 prop time 0.049655 s
3600.07/3607.30	c CG # am1s reformulated 0
3600.07/3607.30	c CG lower bound derived from am1s 0
3600.07/3607.30	c CG # clausal cores 1460
3600.07/3607.30	c CG # cardinality cores 0
3600.07/3607.30	c CG # pb cores 0
3600.07/3607.30	c CG # pb reforms 0
3600.07/3607.30	c CG # cores discarded because of pb reform 0
3600.07/3607.30	d LOWERBOUND 1460
3600.07/3607.30	d NCORES 1460
3600.07/3607.30	d NPBCORES 0
3600.07/3607.30	d NPBREFORM 0
3600.07/3607.30	d NTRIMMED 0
3600.07/3607.30	d NEXHAUSTED 0
3600.07/3607.30	d NAM1S 0
3600.07/3607.30	d AM1LB 0
3600.58/3607.84	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459126-1721893076/watcher-4459126-1721893076 -o /tmp/evaluation-result-4459126-1721893076/solver-4459126-1721893076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273806 --watchdog 3760 pb-oll-rs HOME/instance-4459126-1721893076.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
solver pid=276903, runsolver pid=276900
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.09 4.09 4.09 5/241 276904
/proc/meminfo: memFree=108870176/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=431876 memory=397900 CPUtime=0.09 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 923 0 0 0 0 9 0 0 20 0 1 0 25297084 442241024 99475 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 107969 99475 1125 291 0 99503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 431876 KiB
Current children cumulated memory: 397900 KiB

[startup+0.206096 s]*
/proc/loadavg: 4.09 4.09 4.09 5/241 276904
/proc/meminfo: memFree=108870008/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=431876 memory=397900 CPUtime=0.19 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 923 0 0 0 10 9 0 0 20 0 1 0 25297084 442241024 99475 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 107969 99475 1125 291 0 99503 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 431876 KiB
Current children cumulated memory: 397900 KiB

[startup+0.306122 s]*
/proc/loadavg: 4.09 4.09 4.09 5/241 276904
/proc/meminfo: memFree=108769108/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=604692 memory=505260 CPUtime=0.3 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 3210 0 0 0 18 12 0 0 20 0 1 0 25297084 619204608 126315 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 151173 126315 1125 291 0 142707 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 505260 KiB

[startup+0.700239 s]
/proc/loadavg: 4.09 4.09 4.09 5/241 276904
/proc/meminfo: memFree=108602956/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=808268 memory=761196 CPUtime=0.68 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 32463 0 0 0 45 23 0 0 20 0 1 0 25297084 827666432 190299 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 202067 190299 1125 291 0 193601 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 808268 KiB
Current children cumulated memory: 761196 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 4.09 4.09 5/241 276904
/proc/meminfo: memFree=108286924/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1147264 memory=1115952 CPUtime=1.48 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 80325 0 0 0 111 37 0 0 20 0 1 0 25297084 1174798336 278988 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 286816 278988 1180 291 0 278350 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1147264 KiB
Current children cumulated memory: 1115952 KiB

[startup+3.11241 s]
/proc/loadavg: 4.09 4.09 4.09 5/241 276904
/proc/meminfo: memFree=108073188/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1235440 memory=1197216 CPUtime=3.09 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 97571 0 0 0 261 48 0 0 20 0 1 0 25297084 1265090560 299304 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 308860 299304 1180 291 0 300394 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1235440 KiB
Current children cumulated memory: 1197216 KiB

[startup+6.30031 s]
/proc/loadavg: 4.08 4.09 4.09 5/241 276905
/proc/meminfo: memFree=107833380/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1462840 memory=1431012 CPUtime=6.27 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 126043 0 0 0 561 66 0 0 20 0 1 0 25297084 1497948160 357753 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 365710 357753 1292 291 0 357244 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1462840 KiB
Current children cumulated memory: 1431012 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.09 5/241 276905
/proc/meminfo: memFree=107839656/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1484036 memory=1452520 CPUtime=12.65 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 306695 0 0 0 961 304 0 0 20 0 1 0 25297084 1519652864 363130 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 371009 363130 1292 291 0 362543 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1484036 KiB
Current children cumulated memory: 1452520 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 276907
/proc/meminfo: memFree=107802120/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1484036 memory=1452520 CPUtime=25.42 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 807330 0 0 0 1576 966 0 0 20 0 1 0 25297084 1519652864 363130 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 371009 363130 1292 291 0 362543 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1484036 KiB
Current children cumulated memory: 1452520 KiB

[startup+51.1125 s]
/proc/loadavg: 4.08 4.09 4.09 5/243 276915
/proc/meminfo: memFree=107463820/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1827172 memory=1791044 CPUtime=50.97 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1035393 0 0 0 2847 2250 0 0 20 0 1 0 25297084 1871024128 447761 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 456793 447761 1426 291 0 448327 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1827172 KiB
Current children cumulated memory: 1791044 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/244 276926
/proc/meminfo: memFree=107305304/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=1973048 memory=1943192 CPUtime=102.07 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1066726 0 0 0 5269 4938 0 0 20 0 1 0 25297084 2020401152 485798 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 493262 485798 1426 291 0 484796 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 1973048 KiB
Current children cumulated memory: 1943192 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/245 276939
/proc/meminfo: memFree=107205812/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2069472 memory=2039368 CPUtime=161.95 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1091263 0 0 0 7975 8220 0 0 20 0 1 0 25297084 2119139328 509842 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 517368 509842 1426 291 0 508902 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 2069472 KiB
Current children cumulated memory: 2039368 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 276950
/proc/meminfo: memFree=107123540/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2146616 memory=2116584 CPUtime=221.83 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1110783 0 0 0 10599 11584 0 0 20 0 1 0 25297084 2198134784 529146 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 536654 529146 1426 291 0 528188 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 2146616 KiB
Current children cumulated memory: 2116584 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/245 276961
/proc/meminfo: memFree=107010640/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2250368 memory=2220564 CPUtime=281.73 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1123753 0 0 0 13203 14970 0 0 20 0 1 0 25297084 2304376832 555141 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 562592 555141 1426 291 0 554126 0
Current children cumulated CPU time: 281.73 s
Current children cumulated vsize: 2250368 KiB
Current children cumulated memory: 2220564 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/245 276971
/proc/meminfo: memFree=106957708/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2302016 memory=2272672 CPUtime=341.61 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1136116 0 0 0 15795 18366 0 0 20 0 1 0 25297084 2357264384 568168 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 575504 568168 1426 291 0 567038 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 2302016 KiB
Current children cumulated memory: 2272672 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/243 276981
/proc/meminfo: memFree=106903648/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2354784 memory=2325464 CPUtime=401.5 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1149244 0 0 0 18328 21822 0 0 20 0 1 0 25297084 2411298816 581366 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 588696 581366 1426 291 0 580230 0
Current children cumulated CPU time: 401.5 s
Current children cumulated vsize: 2354784 KiB
Current children cumulated memory: 2325464 KiB

[startup+462.3 s]
/proc/loadavg: 4.67 4.29 4.16 5/241 276992
/proc/meminfo: memFree=106852128/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2405448 memory=2376252 CPUtime=461.39 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1160385 0 0 0 20896 25243 0 0 20 0 1 0 25297084 2463178752 594063 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 601362 594063 1426 291 0 592896 0

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

Current children cumulated memory: 3495312 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.11 4.15 5/243 278717
/proc/meminfo: memFree=105055116/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3583816 memory=3513988 CPUtime=2976.2 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1777070 0 0 0 125350 172270 0 0 20 0 1 0 25297084 3669827584 878497 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 895954 878497 1426 291 0 887488 0
Current children cumulated CPU time: 2976.2 s
Current children cumulated vsize: 3583816 KiB
Current children cumulated memory: 3513988 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/245 278897
/proc/meminfo: memFree=105020396/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3601972 memory=3534144 CPUtime=3036.05 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1789946 0 0 0 127856 175749 0 0 20 0 1 0 25297084 3688419328 883536 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 900493 883536 1426 291 0 892027 0
Current children cumulated CPU time: 3036.05 s
Current children cumulated vsize: 3601972 KiB
Current children cumulated memory: 3534144 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/246 278908
/proc/meminfo: memFree=104962920/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3619120 memory=3551328 CPUtime=3095.95 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1802242 0 0 0 130305 179290 0 0 20 0 1 0 25297084 3705978880 887832 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 904780 887832 1426 291 0 896314 0
Current children cumulated CPU time: 3095.95 s
Current children cumulated vsize: 3619120 KiB
Current children cumulated memory: 3551328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/249 278977
/proc/meminfo: memFree=104929964/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3637744 memory=3569856 CPUtime=3155.85 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1815445 0 0 0 132775 182810 0 0 20 0 1 0 25297084 3725049856 892464 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 909436 892464 1426 291 0 900970 0
Current children cumulated CPU time: 3155.85 s
Current children cumulated vsize: 3637744 KiB
Current children cumulated memory: 3569856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.14 5/247 278989
/proc/meminfo: memFree=104901028/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3660324 memory=3592532 CPUtime=3215.74 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1828531 0 0 0 135249 186325 0 0 20 0 1 0 25297084 3748171776 898133 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 915081 898133 1426 291 0 906615 0
Current children cumulated CPU time: 3215.74 s
Current children cumulated vsize: 3660324 KiB
Current children cumulated memory: 3592532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/247 278999
/proc/meminfo: memFree=104878684/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3671616 memory=3603884 CPUtime=3275.64 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1839292 0 0 0 137712 189852 0 0 20 0 1 0 25297084 3759734784 900971 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 917904 900971 1426 291 0 909438 0
Current children cumulated CPU time: 3275.64 s
Current children cumulated vsize: 3671616 KiB
Current children cumulated memory: 3603884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/247 279009
/proc/meminfo: memFree=104806664/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3688912 memory=3621100 CPUtime=3335.54 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1851557 0 0 0 140176 193378 0 0 20 0 1 0 25297084 3777445888 905275 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 922228 905275 1426 291 0 913762 0
Current children cumulated CPU time: 3335.54 s
Current children cumulated vsize: 3688912 KiB
Current children cumulated memory: 3621100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/244 279020
/proc/meminfo: memFree=104688728/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3763672 memory=3680752 CPUtime=3395.43 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1862922 0 0 0 142644 196899 0 0 20 0 1 0 25297084 3854000128 920188 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 940918 920188 1426 291 0 932452 0
Current children cumulated CPU time: 3395.43 s
Current children cumulated vsize: 3763672 KiB
Current children cumulated memory: 3680752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/245 279031
/proc/meminfo: memFree=104672492/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3776548 memory=3695612 CPUtime=3455.32 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1874484 0 0 0 145125 200407 0 0 20 0 1 0 25297084 3867185152 923903 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 944137 923903 1426 291 0 935671 0
Current children cumulated CPU time: 3455.32 s
Current children cumulated vsize: 3776548 KiB
Current children cumulated memory: 3695612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/242 279041
/proc/meminfo: memFree=104656664/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3788084 memory=3707208 CPUtime=3515.22 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1885331 0 0 0 147578 203944 0 0 20 0 1 0 25297084 3878998016 926802 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 947021 926802 1426 291 0 938555 0
Current children cumulated CPU time: 3515.22 s
Current children cumulated vsize: 3788084 KiB
Current children cumulated memory: 3707208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/242 279052
/proc/meminfo: memFree=104638236/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3805148 memory=3724228 CPUtime=3575.12 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1898087 0 0 0 150019 207493 0 0 20 0 1 0 25297084 3896471552 931057 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 951287 931057 1426 291 0 942821 0
Current children cumulated CPU time: 3575.12 s
Current children cumulated vsize: 3805148 KiB
Current children cumulated memory: 3724228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/242 279056
/proc/meminfo: memFree=104573288/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3875924 memory=3780632 CPUtime=3600.07 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1903912 0 0 0 151037 208970 0 0 20 0 1 0 25297084 3968946176 945158 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 968981 945158 1426 291 0 960515 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3875924 KiB
Current children cumulated memory: 3780632 KiB

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

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

# cumulated CPU time of all completed processes:  user=1510.92 s, system=2089.72 s

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

[startup+3607.6 s]
/proc/loadavg: 4.06 4.08 4.11 5/242 279056
/proc/meminfo: memFree=104573288/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=3560120 memory=3494708 CPUtime=3600.38 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1904068 0 0 0 151067 208971 0 0 20 0 1 0 25297084 3645562880 873677 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 890030 873677 1499 291 0 881564 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 3560120 KiB
Current children cumulated memory: 3494708 KiB

[startup+3607.8 s]
/proc/loadavg: 4.06 4.08 4.11 5/242 279056
/proc/meminfo: memFree=104573288/131655788 swapFree=131070704/131071996
[pid=276903] ppid=276900 vsize=2754616 memory=2689204 CPUtime=3600.58 cores=5,7
/proc/276903/stat : 276903 (pb-oll-rs) R 276900 276903 273793 0 -1 4194304 1904214 0 0 0 151087 208971 0 0 20 0 1 0 25297084 2820726784 672301 134679101440 4194304 5384005 140735255080336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 27373568 140735255086103 140735255086180 140735255086180 140735255093195 0
/proc/276903/statm: 688654 672301 1499 291 0 680188 0
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 2754616 KiB
Current children cumulated memory: 2689204 KiB

Child status: 0

Real time (s): 3607.86
CPU time (s): 3600.64
CPU user time (s): 1510.92
CPU system time (s): 2089.72
CPU usage (%): 99.7999
Max. virtual memory (cumulated for all children) (KiB): 3875924
Max. memory (cumulated for all children) (KiB): 3780632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1510.92
system time used= 2089.72
maximum resident set size= 3845988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1904223
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= 24
involuntary context switches= 3806


# summary of solver processes directly reported to runsolver:
#   pid: 276903
#   total CPU time (s): 3600.64
#   total CPU user time (s): 1510.92
#   total CPU system time (s): 2089.72

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9869 second user time and 34.0402 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-25 09:37:57
IDJOB=4459126
IDBENCH=178517
IDSOLVER=3067
FILE ID=nodeC008/4459126-1721893076
RUNJOBID= nodeC008-1721887939-273806
SLURM_JOB_ID= 8089302
Free space on /tmp= 723636 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459126-1721893076/watcher-4459126-1721893076 -o /tmp/evaluation-result-4459126-1721893076/solver-4459126-1721893076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273806 --watchdog 3760  pb-oll-rs HOME/instance-4459126-1721893076.opb

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

MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1913462980

nodeC008.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	: 0xb00001f
cpu MHz		: 3585.505
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 3655.584
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.367
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 1197.595
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 3573.415
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 1197.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.286
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.19
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	: 0xb00001f
cpu MHz		: 3093.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        109264964 kB
MemAvailable:   129367504 kB
Buffers:          314068 kB
Cached:         20549264 kB
SwapCached:          732 kB
Active:          2765852 kB
Inactive:       18916800 kB
Active(anon):       1620 kB
Inactive(anon):   871596 kB
Active(file):    2764232 kB
Inactive(file): 18045204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:            114616 kB
Writeback:             0 kB
AnonPages:        814924 kB
Mapped:           123528 kB
Shmem:             53860 kB
KReclaimable:     266272 kB
Slab:             386268 kB
SReclaimable:     266272 kB
SUnreclaim:       119996 kB
KernelStack:        3888 kB
PageTables:        11184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1142720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723648 MiB
End job on nodeC008 at 2024-07-25 10:38:05