Trace number 4521902

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 2025-05-06? (TO) 3600.63 3608.42

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

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 benchmark1304.08
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
5.05/5.14	c [STEP] solving
5.05/5.14	c #variables 4576880 #constraints 176770
5.05/5.14	c SMALL=int, LARGE=long long
5.05/5.14	c bounds - >= 0 @ 4.58738
5.05/5.14	c stratification level: 0
60.50/60.79	c bounds - >= 1 @ 19.6622
60.50/60.79	c bounds - >= 2 @ 19.6739
60.50/60.79	c bounds - >= 3 @ 19.6895
60.50/60.79	c bounds - >= 4 @ 19.7032
60.50/60.79	c bounds - >= 5 @ 19.7184
60.50/60.79	c bounds - >= 6 @ 19.7365
60.50/60.79	c bounds - >= 7 @ 19.7566
60.50/60.79	c bounds - >= 8 @ 19.7769
60.50/60.79	c bounds - >= 9 @ 19.7985
60.50/60.79	c bounds - >= 10 @ 19.8195
60.50/60.79	c bounds - >= 11 @ 19.8446
60.50/60.79	c bounds - >= 12 @ 19.8751
60.50/60.79	c bounds - >= 13 @ 19.907
60.50/60.79	c bounds - >= 14 @ 19.9364
60.50/60.79	c bounds - >= 15 @ 19.9704
60.50/60.79	c bounds - >= 16 @ 20.0072
60.50/60.79	c bounds - >= 17 @ 20.048
60.50/60.79	c bounds - >= 18 @ 20.0826
60.50/60.79	c #Conflicts:       1000 | #Constraints:     177787
60.50/60.79	c bounds - >= 19 @ 20.1186
60.50/60.79	c bounds - >= 20 @ 20.1526
60.50/60.79	c bounds - >= 21 @ 20.196
60.50/60.79	c bounds - >= 22 @ 20.2293
60.50/60.79	c bounds - >= 23 @ 20.2701
60.50/60.79	c bounds - >= 24 @ 20.3126
60.50/60.79	c bounds - >= 25 @ 20.357
60.50/60.79	c bounds - >= 26 @ 20.4027
60.50/60.79	c bounds - >= 27 @ 20.446
60.50/60.79	c bounds - >= 28 @ 20.5046
60.50/60.79	c bounds - >= 29 @ 20.5507
60.50/60.79	c bounds - >= 30 @ 20.6071
60.50/60.79	c bounds - >= 31 @ 20.6608
60.50/60.79	c bounds - >= 32 @ 20.7127
60.50/60.79	c bounds - >= 33 @ 20.7745
60.50/60.79	c bounds - >= 34 @ 20.8204
60.50/60.79	c bounds - >= 35 @ 20.8773
60.50/60.79	c bounds - >= 36 @ 20.9449
60.50/60.79	c bounds - >= 37 @ 21.0047
60.50/60.79	c #Conflicts:       2000 | #Constraints:     178806
60.50/60.79	c INPROCESSING
60.50/60.79	c bounds - >= 38 @ 21.1634
60.50/60.79	c bounds - >= 39 @ 21.2338
60.50/60.79	c bounds - >= 40 @ 21.3038
60.50/60.79	c bounds - >= 41 @ 21.3717
60.50/60.79	c bounds - >= 42 @ 21.4361
60.50/60.79	c bounds - >= 43 @ 21.5
60.50/60.79	c bounds - >= 44 @ 21.5782
60.50/60.79	c bounds - >= 45 @ 21.6561
60.50/60.79	c bounds - >= 46 @ 21.7242
60.50/60.79	c bounds - >= 47 @ 21.7953
60.50/60.79	c bounds - >= 48 @ 21.8725
60.50/60.79	c bounds - >= 49 @ 21.9388
60.50/60.79	c bounds - >= 50 @ 22.011
60.50/60.79	c bounds - >= 51 @ 22.1031
60.50/60.79	c bounds - >= 52 @ 22.1899
60.50/60.79	c bounds - >= 53 @ 22.2793
60.50/60.79	c bounds - >= 54 @ 22.3536
60.50/60.79	c bounds - >= 55 @ 22.4377
60.50/60.79	c #Conflicts:       3000 | #Constraints:     178798
60.50/60.79	c bounds - >= 56 @ 22.5522
60.50/60.79	c bounds - >= 57 @ 22.6825
60.50/60.79	c bounds - >= 58 @ 22.8043
60.50/60.79	c bounds - >= 59 @ 22.9326
60.50/60.79	c #Conflicts:       4000 | #Constraints:     179802
60.50/60.79	c bounds - >= 60 @ 23.0654
60.50/60.79	c INPROCESSING
60.50/60.79	c bounds - >= 61 @ 23.2944
60.50/60.79	c bounds - >= 62 @ 23.4303
60.50/60.79	c bounds - >= 63 @ 23.5663
60.50/60.79	c bounds - >= 64 @ 23.7008
60.50/60.79	c #Conflicts:       5000 | #Constraints:     179216
60.50/60.79	c bounds - >= 65 @ 23.8387
60.50/60.79	c bounds - >= 66 @ 23.9716
60.50/60.79	c bounds - >= 67 @ 24.1151
60.50/60.79	c bounds - >= 68 @ 24.2561
60.50/60.79	c bounds - >= 69 @ 24.3833
60.50/60.79	c #Conflicts:       6000 | #Constraints:     180221
60.50/60.79	c bounds - >= 70 @ 24.5266
60.50/60.79	c bounds - >= 71 @ 24.6812
60.50/60.79	c INPROCESSING
60.50/60.79	c GARBAGE COLLECT
60.50/60.79	c bounds - >= 72 @ 25.1201
60.50/60.79	c bounds - >= 73 @ 25.2704
60.50/60.79	c #Conflicts:       7000 | #Constraints:     179218
60.50/60.79	c bounds - >= 74 @ 25.4204
60.50/60.79	c bounds - >= 75 @ 25.5767
60.50/60.79	c bounds - >= 76 @ 25.7298
60.50/60.79	c bounds - >= 77 @ 25.8891
60.50/60.79	c bounds - >= 78 @ 26.0458
60.50/60.79	c #Conflicts:       8000 | #Constraints:     180223
60.50/60.79	c bounds - >= 79 @ 26.2178
60.50/60.79	c bounds - >= 80 @ 26.3758
60.50/60.79	c bounds - >= 81 @ 26.5326
60.50/60.79	c bounds - >= 82 @ 26.6834
60.50/60.79	c #Conflicts:       9000 | #Constraints:     181227
60.50/60.79	c bounds - >= 83 @ 26.8508
60.50/60.79	c INPROCESSING
60.50/60.79	c bounds - >= 84 @ 27.1259
60.50/60.79	c bounds - >= 85 @ 27.2909
60.50/60.79	c bounds - >= 86 @ 27.4495
60.50/60.79	c bounds - >= 87 @ 27.6098
60.50/60.79	c #Conflicts:      10000 | #Constraints:     179929
60.50/60.79	c bounds - >= 88 @ 27.7739
60.50/60.79	c bounds - >= 89 @ 27.9367
60.50/60.79	c bounds - >= 90 @ 28.1104
60.50/60.79	c bounds - >= 91 @ 28.2803
60.50/60.79	c bounds - >= 92 @ 28.4501
60.50/60.79	c #Conflicts:      11000 | #Constraints:     180934
60.50/60.79	c bounds - >= 93 @ 28.6184
60.50/60.79	c bounds - >= 94 @ 28.8081
60.50/60.79	c bounds - >= 95 @ 28.9946
60.50/60.79	c bounds - >= 96 @ 29.1774
60.50/60.79	c #Conflicts:      12000 | #Constraints:     181938
60.50/60.79	c INPROCESSING
60.50/60.79	c GARBAGE COLLECT
60.50/60.79	c bounds - >= 97 @ 29.6633
60.50/60.79	c bounds - >= 98 @ 29.8529
60.50/60.79	c bounds - >= 99 @ 30.0399
60.50/60.79	c bounds - >= 100 @ 30.2299
60.50/60.79	c bounds - >= 101 @ 30.4243
60.50/60.79	c #Conflicts:      13000 | #Constraints:     180384
60.50/60.79	c bounds - >= 102 @ 30.6068
60.50/60.79	c bounds - >= 103 @ 30.8036
60.50/60.79	c bounds - >= 104 @ 30.984
60.50/60.79	c bounds - >= 105 @ 31.1668
60.50/60.79	c bounds - >= 106 @ 31.355
60.50/60.79	c #Conflicts:      14000 | #Constraints:     181389
60.50/60.79	c bounds - >= 107 @ 31.5508
60.50/60.79	c bounds - >= 108 @ 31.7394
60.50/60.79	c bounds - >= 109 @ 31.9439
60.50/60.79	c bounds - >= 110 @ 32.1389
60.50/60.79	c #Conflicts:      15000 | #Constraints:     182393
60.50/60.79	c INPROCESSING
60.50/60.79	c bounds - >= 111 @ 32.4451
60.50/60.79	c bounds - >= 112 @ 32.6561
60.50/60.79	c bounds - >= 113 @ 32.862
60.50/60.79	c bounds - >= 114 @ 33.0664
60.50/60.79	c bounds - >= 115 @ 33.2848
60.50/60.79	c #Conflicts:      16000 | #Constraints:     180628
60.50/60.79	c bounds - >= 116 @ 33.4801
60.50/60.79	c bounds - >= 117 @ 33.685
121.08/121.45	c bounds - >= 118 @ 33.8956
121.08/121.45	c bounds - >= 119 @ 34.1064
121.08/121.45	c #Conflicts:      17000 | #Constraints:     181632
121.08/121.45	c bounds - >= 120 @ 34.3159
121.08/121.45	c bounds - >= 121 @ 34.5245
121.08/121.45	c bounds - >= 122 @ 34.7528
121.08/121.45	c bounds - >= 123 @ 34.9809
121.08/121.45	c bounds - >= 124 @ 35.2065
121.08/121.45	c #Conflicts:      18000 | #Constraints:     182637
121.08/121.45	c bounds - >= 125 @ 35.4231
121.08/121.45	c INPROCESSING
121.08/121.45	c GARBAGE COLLECT
121.08/121.45	c bounds - >= 126 @ 35.9429
121.08/121.45	c bounds - >= 127 @ 36.1549
121.08/121.45	c bounds - >= 128 @ 36.3796
121.08/121.45	c bounds - >= 129 @ 36.6012
121.08/121.45	c #Conflicts:      19000 | #Constraints:     180629
121.08/121.45	c bounds - >= 130 @ 36.8068
121.08/121.45	c bounds - >= 131 @ 37.0282
121.08/121.45	c bounds - >= 132 @ 37.2603
121.08/121.45	c bounds - >= 133 @ 37.5001
121.08/121.45	c #Conflicts:      20000 | #Constraints:     181633
121.08/121.45	c bounds - >= 134 @ 37.7312
121.08/121.45	c bounds - >= 135 @ 37.9556
121.08/121.45	c bounds - >= 136 @ 38.1948
121.08/121.45	c bounds - >= 137 @ 38.4222
121.08/121.45	c bounds - >= 138 @ 38.6491
121.08/121.45	c #Conflicts:      21000 | #Constraints:     182638
121.08/121.45	c bounds - >= 139 @ 38.8732
121.08/121.45	c bounds - >= 140 @ 39.1061
121.08/121.45	c bounds - >= 141 @ 39.3442
121.08/121.45	c INPROCESSING
121.08/121.45	c GARBAGE COLLECT
121.08/121.45	c bounds - >= 142 @ 39.9023
121.08/121.45	c bounds - >= 143 @ 40.1453
121.08/121.45	c #Conflicts:      22000 | #Constraints:     180453
121.08/121.45	c bounds - >= 144 @ 40.3927
121.08/121.45	c bounds - >= 145 @ 40.6588
121.08/121.45	c bounds - >= 146 @ 40.9241
121.08/121.45	c bounds - >= 147 @ 41.1683
121.08/121.45	c #Conflicts:      23000 | #Constraints:     181457
121.08/121.45	c bounds - >= 148 @ 41.4114
121.08/121.45	c bounds - >= 149 @ 41.6565
121.08/121.45	c bounds - >= 150 @ 41.9041
121.08/121.45	c bounds - >= 151 @ 42.1656
121.08/121.45	c bounds - >= 152 @ 42.4158
121.08/121.45	c #Conflicts:      24000 | #Constraints:     182462
121.08/121.45	c bounds - >= 153 @ 42.6818
121.08/121.45	c bounds - >= 154 @ 42.9431
121.08/121.45	c bounds - >= 155 @ 43.1903
121.08/121.45	c bounds - >= 156 @ 43.428
121.08/121.45	c #Conflicts:      25000 | #Constraints:     183466
121.08/121.45	c bounds - >= 157 @ 43.6848
121.08/121.45	c INPROCESSING
121.08/121.45	c GARBAGE COLLECT
121.08/121.45	c bounds - >= 158 @ 44.2572
121.08/121.45	c bounds - >= 159 @ 44.5317
121.08/121.45	c bounds - >= 160 @ 44.808
121.08/121.45	c bounds - >= 161 @ 45.0887
121.08/121.45	c #Conflicts:      26000 | #Constraints:     181060
121.08/121.45	c bounds - >= 162 @ 45.3591
121.08/121.45	c bounds - >= 163 @ 45.6291
121.08/121.45	c bounds - >= 164 @ 45.8881
121.08/121.45	c bounds - >= 165 @ 46.1475
121.08/121.45	c bounds - >= 166 @ 46.4241
121.08/121.45	c #Conflicts:      27000 | #Constraints:     182065
121.08/121.45	c bounds - >= 167 @ 46.6995
121.08/121.45	c bounds - >= 168 @ 46.9664
121.08/121.45	c bounds - >= 169 @ 47.2337
121.08/121.45	c bounds - >= 170 @ 47.5202
121.08/121.45	c #Conflicts:      28000 | #Constraints:     183069
121.08/121.45	c bounds - >= 171 @ 47.8276
121.08/121.45	c bounds - >= 172 @ 48.1076
121.08/121.45	c bounds - >= 173 @ 48.3894
121.08/121.45	c bounds - >= 174 @ 48.6868
121.08/121.45	c bounds - >= 175 @ 48.9653
121.08/121.45	c #Conflicts:      29000 | #Constraints:     184074
121.08/121.45	c INPROCESSING
121.08/121.45	c GARBAGE COLLECT
121.08/121.45	c bounds - >= 176 @ 49.587
121.08/121.45	c bounds - >= 177 @ 49.8982
121.08/121.45	c bounds - >= 178 @ 50.1842
121.08/121.45	c bounds - >= 179 @ 50.4839
121.08/121.45	c bounds - >= 180 @ 50.7631
121.08/121.45	c #Conflicts:      30000 | #Constraints:     181446
121.08/121.45	c bounds - >= 181 @ 51.0639
121.08/121.45	c bounds - >= 182 @ 51.3539
121.08/121.45	c bounds - >= 183 @ 51.6553
121.08/121.45	c bounds - >= 184 @ 51.9547
121.08/121.45	c #Conflicts:      31000 | #Constraints:     182450
121.08/121.45	c bounds - >= 185 @ 52.2456
121.08/121.45	c bounds - >= 186 @ 52.5456
121.08/121.45	c bounds - >= 187 @ 52.8383
121.08/121.45	c bounds - >= 188 @ 53.1449
121.08/121.45	c bounds - >= 189 @ 53.4564
121.08/121.45	c #Conflicts:      32000 | #Constraints:     183455
121.08/121.45	c bounds - >= 190 @ 53.7561
121.08/121.45	c bounds - >= 191 @ 54.0548
121.08/121.45	c bounds - >= 192 @ 54.378
121.08/121.45	c bounds - >= 193 @ 54.6989
121.08/121.45	c bounds - >= 194 @ 55.0299
121.08/121.45	c #Conflicts:      33000 | #Constraints:     184460
121.08/121.45	c INPROCESSING
121.08/121.45	c GARBAGE COLLECT
121.08/121.45	c bounds - >= 195 @ 55.6497
121.08/121.45	c bounds - >= 196 @ 55.9503
121.08/121.45	c bounds - >= 197 @ 56.2515
121.08/121.45	c bounds - >= 198 @ 56.5718
121.08/121.45	c #Conflicts:      34000 | #Constraints:     181639
121.08/121.45	c bounds - >= 199 @ 56.898
121.08/121.45	c bounds - >= 200 @ 57.2099
121.08/121.45	c bounds - >= 201 @ 57.5267
121.08/121.45	c bounds - >= 202 @ 57.8539
121.08/121.45	c bounds - >= 203 @ 58.1777
121.08/121.45	c #Conflicts:      35000 | #Constraints:     182644
121.08/121.45	c bounds - >= 204 @ 58.509
121.08/121.45	c bounds - >= 205 @ 58.8405
121.08/121.45	c bounds - >= 206 @ 59.1582
121.08/121.45	c bounds - >= 207 @ 59.4913
121.08/121.45	c #Conflicts:      36000 | #Constraints:     183648
121.08/121.45	c bounds - >= 208 @ 59.8309
121.08/121.45	c bounds - >= 209 @ 60.1485
121.08/121.45	c bounds - >= 210 @ 60.4585
121.08/121.45	c bounds - >= 211 @ 60.7817
121.08/121.45	c bounds - >= 212 @ 61.1013
121.08/121.45	c #Conflicts:      37000 | #Constraints:     184653
121.08/121.45	c bounds - >= 213 @ 61.4386
121.08/121.45	c INPROCESSING
121.08/121.45	c GARBAGE COLLECT
121.08/121.45	c bounds - >= 214 @ 62.1071
121.08/121.45	c bounds - >= 215 @ 62.4669
121.08/121.45	c bounds - >= 216 @ 62.792
121.08/121.45	c bounds - >= 217 @ 63.1276
214.40/214.92	c #Conflicts:      38000 | #Constraints:     181658
214.40/214.92	c bounds - >= 218 @ 63.4754
214.40/214.92	c bounds - >= 219 @ 63.8389
214.40/214.92	c bounds - >= 220 @ 64.1793
214.40/214.92	c bounds - >= 221 @ 64.5296
214.40/214.92	c #Conflicts:      39000 | #Constraints:     182662
214.40/214.92	c bounds - >= 222 @ 64.8775
214.40/214.92	c bounds - >= 223 @ 65.2311
214.40/214.92	c bounds - >= 224 @ 65.5731
214.40/214.92	c bounds - >= 225 @ 65.9214
214.40/214.92	c bounds - >= 226 @ 66.29
214.40/214.92	c #Conflicts:      40000 | #Constraints:     183667
214.40/214.92	c bounds - >= 227 @ 66.6549
214.40/214.92	c bounds - >= 228 @ 67.0009
214.40/214.92	c bounds - >= 229 @ 67.3618
214.40/214.92	c bounds - >= 230 @ 67.7109
214.40/214.92	c bounds - >= 231 @ 68.0807
214.40/214.92	c #Conflicts:      41000 | #Constraints:     184672
214.40/214.92	c bounds - >= 232 @ 68.417
214.40/214.92	c bounds - >= 233 @ 68.7783
214.40/214.92	c INPROCESSING
214.40/214.92	c GARBAGE COLLECT
214.40/214.92	c bounds - >= 234 @ 69.4918
214.40/214.92	c bounds - >= 235 @ 69.833
214.40/214.92	c #Conflicts:      42000 | #Constraints:     181451
214.40/214.92	c bounds - >= 236 @ 70.1809
214.40/214.92	c bounds - >= 237 @ 70.5485
214.40/214.92	c bounds - >= 238 @ 70.9071
214.40/214.92	c bounds - >= 239 @ 71.2756
214.40/214.92	c bounds - >= 240 @ 71.6364
214.40/214.92	c #Conflicts:      43000 | #Constraints:     182456
214.40/214.92	c bounds - >= 241 @ 72.0182
214.40/214.92	c bounds - >= 242 @ 72.3877
214.40/214.92	c bounds - >= 243 @ 72.7611
214.40/214.92	c bounds - >= 244 @ 73.135
214.40/214.92	c #Conflicts:      44000 | #Constraints:     183460
214.40/214.92	c bounds - >= 245 @ 73.5332
214.40/214.92	c bounds - >= 246 @ 73.9444
214.40/214.92	c bounds - >= 247 @ 74.3015
214.40/214.92	c bounds - >= 248 @ 74.6858
214.40/214.92	c bounds - >= 249 @ 75.0793
214.40/214.92	c #Conflicts:      45000 | #Constraints:     184465
214.40/214.92	c bounds - >= 250 @ 75.4478
214.40/214.92	c bounds - >= 251 @ 75.8202
214.40/214.92	c bounds - >= 252 @ 76.198
214.40/214.92	c bounds - >= 253 @ 76.6073
214.40/214.92	c bounds - >= 254 @ 76.9983
214.40/214.92	c #Conflicts:      46000 | #Constraints:     185470
214.40/214.92	c bounds - >= 255 @ 77.4015
214.40/214.92	c INPROCESSING
214.40/214.92	c GARBAGE COLLECT
214.40/214.92	c bounds - >= 256 @ 78.1141
214.40/214.92	c bounds - >= 257 @ 78.4903
214.40/214.92	c bounds - >= 258 @ 78.8995
214.40/214.92	c #Conflicts:      47000 | #Constraints:     182053
214.40/214.92	c bounds - >= 259 @ 79.3037
214.40/214.92	c bounds - >= 260 @ 79.6941
214.40/214.92	c bounds - >= 261 @ 80.0958
214.40/214.92	c bounds - >= 262 @ 80.4949
214.40/214.92	c bounds - >= 263 @ 80.8841
214.40/214.92	c #Conflicts:      48000 | #Constraints:     183058
214.40/214.92	c bounds - >= 264 @ 81.3138
214.40/214.92	c bounds - >= 265 @ 81.7305
214.40/214.92	c bounds - >= 266 @ 82.1364
214.40/214.92	c bounds - >= 267 @ 82.5444
214.40/214.92	c bounds - >= 268 @ 82.9223
214.40/214.92	c #Conflicts:      49000 | #Constraints:     184063
214.40/214.92	c bounds - >= 269 @ 83.3277
214.40/214.92	c bounds - >= 270 @ 83.728
214.40/214.92	c bounds - >= 271 @ 84.1522
214.40/214.92	c bounds - >= 272 @ 84.575
214.40/214.92	c #Conflicts:      50000 | #Constraints:     185067
214.40/214.92	c bounds - >= 273 @ 84.9886
214.40/214.92	c bounds - >= 274 @ 85.4263
214.40/214.92	c bounds - >= 275 @ 85.8352
214.40/214.92	c bounds - >= 276 @ 86.2561
214.40/214.92	c bounds - >= 277 @ 86.666
214.40/214.92	c #Conflicts:      51000 | #Constraints:     186072
214.40/214.92	c INPROCESSING
214.40/214.92	c GARBAGE COLLECT
214.40/214.92	c bounds - >= 278 @ 87.4119
214.40/214.92	c bounds - >= 279 @ 87.8494
214.40/214.92	c bounds - >= 280 @ 88.2606
214.40/214.92	c bounds - >= 281 @ 88.6973
214.40/214.92	c #Conflicts:      52000 | #Constraints:     182452
214.40/214.92	c bounds - >= 282 @ 89.1286
214.40/214.92	c bounds - >= 283 @ 89.5495
214.40/214.92	c bounds - >= 284 @ 89.9841
214.40/214.92	c bounds - >= 285 @ 90.397
214.40/214.92	c bounds - >= 286 @ 90.8465
214.40/214.92	c #Conflicts:      53000 | #Constraints:     183457
214.40/214.92	c bounds - >= 287 @ 91.2916
214.40/214.92	c bounds - >= 288 @ 91.7253
214.40/214.92	c bounds - >= 289 @ 92.1364
214.40/214.92	c bounds - >= 290 @ 92.5804
214.40/214.92	c bounds - >= 291 @ 93.0282
214.40/214.92	c #Conflicts:      54000 | #Constraints:     184462
214.40/214.92	c bounds - >= 292 @ 93.4644
214.40/214.92	c bounds - >= 293 @ 93.939
214.40/214.92	c bounds - >= 294 @ 94.3984
214.40/214.92	c bounds - >= 295 @ 94.8287
214.40/214.92	c #Conflicts:      55000 | #Constraints:     185466
214.40/214.92	c bounds - >= 296 @ 95.2603
214.40/214.92	c bounds - >= 297 @ 95.729
214.40/214.92	c bounds - >= 298 @ 96.1768
214.40/214.92	c bounds - >= 299 @ 96.6347
214.40/214.92	c bounds - >= 300 @ 97.091
214.40/214.92	c #Conflicts:      56000 | #Constraints:     186471
214.40/214.92	c INPROCESSING
214.40/214.92	c GARBAGE COLLECT
214.40/214.92	c bounds - >= 301 @ 97.8658
214.40/214.92	c bounds - >= 302 @ 98.3175
214.40/214.92	c bounds - >= 303 @ 98.7751
214.40/214.92	c bounds - >= 304 @ 99.221
214.40/214.92	c bounds - >= 305 @ 99.6936
214.40/214.92	c #Conflicts:      57000 | #Constraints:     182641
214.40/214.92	c bounds - >= 306 @ 100.172
214.40/214.92	c bounds - >= 307 @ 100.636
214.40/214.92	c bounds - >= 308 @ 101.098
214.40/214.92	c bounds - >= 309 @ 101.531
214.40/214.92	c #Conflicts:      58000 | #Constraints:     183645
214.40/214.92	c bounds - >= 310 @ 101.994
214.40/214.92	c bounds - >= 311 @ 102.44
214.40/214.92	c bounds - >= 312 @ 102.918
214.40/214.92	c bounds - >= 313 @ 103.426
214.40/214.92	c bounds - >= 314 @ 103.912
214.40/214.92	c #Conflicts:      59000 | #Constraints:     184650
214.40/214.92	c bounds - >= 315 @ 104.417
214.40/214.92	c bounds - >= 316 @ 104.883
214.40/214.92	c bounds - >= 317 @ 105.382
214.40/214.92	c bounds - >= 318 @ 105.859
214.40/214.92	c bounds - >= 319 @ 106.339
339.40/340.24	c #Conflicts:      60000 | #Constraints:     185655
339.40/340.24	c bounds - >= 320 @ 106.836
339.40/340.24	c bounds - >= 321 @ 107.327
339.40/340.24	c bounds - >= 322 @ 107.826
339.40/340.24	c bounds - >= 323 @ 108.318
339.40/340.24	c #Conflicts:      61000 | #Constraints:     186659
339.40/340.24	c bounds - >= 324 @ 108.822
339.40/340.24	c INPROCESSING
339.40/340.24	c GARBAGE COLLECT
339.40/340.24	c bounds - >= 325 @ 109.634
339.40/340.24	c bounds - >= 326 @ 110.136
339.40/340.24	c bounds - >= 327 @ 110.607
339.40/340.24	c bounds - >= 328 @ 111.079
339.40/340.24	c #Conflicts:      62000 | #Constraints:     182642
339.40/340.24	c bounds - >= 329 @ 111.558
339.40/340.24	c bounds - >= 330 @ 112.046
339.40/340.24	c bounds - >= 331 @ 112.538
339.40/340.24	c bounds - >= 332 @ 113.024
339.40/340.24	c #Conflicts:      63000 | #Constraints:     183646
339.40/340.24	c bounds - >= 333 @ 113.539
339.40/340.24	c bounds - >= 334 @ 114.001
339.40/340.24	c bounds - >= 335 @ 114.502
339.40/340.24	c bounds - >= 336 @ 114.992
339.40/340.24	c bounds - >= 337 @ 115.499
339.40/340.24	c #Conflicts:      64000 | #Constraints:     184651
339.40/340.24	c bounds - >= 338 @ 115.977
339.40/340.24	c bounds - >= 339 @ 116.485
339.40/340.24	c bounds - >= 340 @ 116.988
339.40/340.24	c bounds - >= 341 @ 117.499
339.40/340.24	c bounds - >= 342 @ 118.023
339.40/340.24	c #Conflicts:      65000 | #Constraints:     185656
339.40/340.24	c bounds - >= 343 @ 118.517
339.40/340.24	c bounds - >= 344 @ 119.021
339.40/340.24	c bounds - >= 345 @ 119.517
339.40/340.24	c bounds - >= 346 @ 120.047
339.40/340.24	c #Conflicts:      66000 | #Constraints:     186660
339.40/340.24	c bounds - >= 347 @ 120.556
339.40/340.24	c bounds - >= 348 @ 121.078
339.40/340.24	c bounds - >= 349 @ 121.588
339.40/340.24	c INPROCESSING
339.40/340.24	c GARBAGE COLLECT
339.40/340.24	c bounds - >= 350 @ 122.407
339.40/340.24	c bounds - >= 351 @ 122.921
339.40/340.24	c #Conflicts:      67000 | #Constraints:     182441
339.40/340.24	c bounds - >= 352 @ 123.4
339.40/340.24	c bounds - >= 353 @ 123.936
339.40/340.24	c bounds - >= 354 @ 124.441
339.40/340.24	c bounds - >= 355 @ 124.969
339.40/340.24	c bounds - >= 356 @ 125.487
339.40/340.24	c #Conflicts:      68000 | #Constraints:     183446
339.40/340.24	c bounds - >= 357 @ 126.021
339.40/340.24	c bounds - >= 358 @ 126.571
339.40/340.24	c bounds - >= 359 @ 127.123
339.40/340.24	c bounds - >= 360 @ 127.677
339.40/340.24	c #Conflicts:      69000 | #Constraints:     184450
339.40/340.24	c bounds - >= 361 @ 128.253
339.40/340.24	c bounds - >= 362 @ 128.78
339.40/340.24	c bounds - >= 363 @ 129.32
339.40/340.24	c bounds - >= 364 @ 129.847
339.40/340.24	c bounds - >= 365 @ 130.384
339.40/340.24	c #Conflicts:      70000 | #Constraints:     185455
339.40/340.24	c bounds - >= 366 @ 130.963
339.40/340.24	c bounds - >= 367 @ 131.542
339.40/340.24	c bounds - >= 368 @ 132.08
339.40/340.24	c bounds - >= 369 @ 132.615
339.40/340.24	c #Conflicts:      71000 | #Constraints:     186459
339.40/340.24	c bounds - >= 370 @ 133.182
339.40/340.24	c bounds - >= 371 @ 133.784
339.40/340.24	c bounds - >= 372 @ 134.321
339.40/340.24	c bounds - >= 373 @ 134.868
339.40/340.24	c bounds - >= 374 @ 135.444
339.40/340.24	c #Conflicts:      72000 | #Constraints:     187464
339.40/340.24	c bounds - >= 375 @ 136.026
339.40/340.24	c INPROCESSING
339.40/340.24	c GARBAGE COLLECT
339.40/340.24	c bounds - >= 376 @ 136.904
339.40/340.24	c bounds - >= 377 @ 137.481
339.40/340.24	c bounds - >= 378 @ 138.034
339.40/340.24	c bounds - >= 379 @ 138.576
339.40/340.24	c #Conflicts:      73000 | #Constraints:     183035
339.40/340.24	c bounds - >= 380 @ 139.128
339.40/340.24	c bounds - >= 381 @ 139.659
339.40/340.24	c bounds - >= 382 @ 140.2
339.40/340.24	c bounds - >= 383 @ 140.767
339.40/340.24	c #Conflicts:      74000 | #Constraints:     184039
339.40/340.24	c bounds - >= 384 @ 141.351
339.40/340.24	c bounds - >= 385 @ 141.922
339.40/340.24	c bounds - >= 386 @ 142.496
339.40/340.24	c bounds - >= 387 @ 143.065
339.40/340.24	c bounds - >= 388 @ 143.653
339.40/340.24	c #Conflicts:      75000 | #Constraints:     185044
339.40/340.24	c bounds - >= 389 @ 144.255
339.40/340.24	c bounds - >= 390 @ 144.85
339.40/340.24	c bounds - >= 391 @ 145.412
339.40/340.24	c bounds - >= 392 @ 146.002
339.40/340.24	c bounds - >= 393 @ 146.596
339.40/340.24	c #Conflicts:      76000 | #Constraints:     186049
339.40/340.24	c bounds - >= 394 @ 147.189
339.40/340.24	c bounds - >= 395 @ 147.78
339.40/340.24	c bounds - >= 396 @ 148.353
339.40/340.24	c bounds - >= 397 @ 148.945
339.40/340.24	c #Conflicts:      77000 | #Constraints:     187053
339.40/340.24	c bounds - >= 398 @ 149.552
339.40/340.24	c bounds - >= 399 @ 150.125
339.40/340.24	c bounds - >= 400 @ 150.733
339.40/340.24	c bounds - >= 401 @ 151.322
339.40/340.24	c bounds - >= 402 @ 151.909
339.40/340.24	c #Conflicts:      78000 | #Constraints:     188058
339.40/340.24	c INPROCESSING
339.40/340.24	c GARBAGE COLLECT
339.40/340.24	c bounds - >= 403 @ 152.851
339.40/340.24	c bounds - >= 404 @ 153.421
339.40/340.24	c bounds - >= 405 @ 154.059
339.40/340.24	c bounds - >= 406 @ 154.656
339.40/340.24	c #Conflicts:      79000 | #Constraints:     183442
339.40/340.24	c bounds - >= 407 @ 155.248
339.40/340.24	c bounds - >= 408 @ 155.842
339.40/340.24	c bounds - >= 409 @ 156.456
339.40/340.24	c bounds - >= 410 @ 157.072
339.40/340.24	c bounds - >= 411 @ 157.698
339.40/340.24	c #Conflicts:      80000 | #Constraints:     184447
339.40/340.24	c bounds - >= 412 @ 158.309
339.40/340.24	c bounds - >= 413 @ 158.903
339.40/340.24	c bounds - >= 414 @ 159.525
339.40/340.24	c bounds - >= 415 @ 160.12
339.40/340.24	c bounds - >= 416 @ 160.73
339.40/340.24	c #Conflicts:      81000 | #Constraints:     185452
339.40/340.24	c bounds - >= 417 @ 161.32
339.40/340.24	c bounds - >= 418 @ 161.927
339.40/340.24	c bounds - >= 419 @ 162.559
339.40/340.24	c bounds - >= 420 @ 163.18
496.36/497.53	c #Conflicts:      82000 | #Constraints:     186456
496.36/497.53	c bounds - >= 421 @ 163.801
496.36/497.53	c bounds - >= 422 @ 164.417
496.36/497.53	c bounds - >= 423 @ 165.049
496.36/497.53	c bounds - >= 424 @ 165.676
496.36/497.53	c bounds - >= 425 @ 166.322
496.36/497.53	c #Conflicts:      83000 | #Constraints:     187461
496.36/497.53	c bounds - >= 426 @ 166.951
496.36/497.53	c bounds - >= 427 @ 167.593
496.36/497.53	c bounds - >= 428 @ 168.204
496.36/497.53	c bounds - >= 429 @ 168.856
496.36/497.53	c bounds - >= 430 @ 169.504
496.36/497.53	c #Conflicts:      84000 | #Constraints:     188466
496.36/497.53	c INPROCESSING
496.36/497.53	c GARBAGE COLLECT
496.36/497.53	c bounds - >= 431 @ 170.477
496.36/497.53	c bounds - >= 432 @ 171.097
496.36/497.53	c bounds - >= 433 @ 171.74
496.36/497.53	c bounds - >= 434 @ 172.371
496.36/497.53	c #Conflicts:      85000 | #Constraints:     183647
496.36/497.53	c bounds - >= 435 @ 172.994
496.36/497.53	c bounds - >= 436 @ 173.651
496.36/497.53	c bounds - >= 437 @ 174.265
496.36/497.53	c bounds - >= 438 @ 174.915
496.36/497.53	c bounds - >= 439 @ 175.556
496.36/497.53	c #Conflicts:      86000 | #Constraints:     184652
496.36/497.53	c bounds - >= 440 @ 176.223
496.36/497.53	c bounds - >= 441 @ 176.871
496.36/497.53	c bounds - >= 442 @ 177.515
496.36/497.53	c bounds - >= 443 @ 178.141
496.36/497.53	c bounds - >= 444 @ 178.784
496.36/497.53	c #Conflicts:      87000 | #Constraints:     185657
496.36/497.53	c bounds - >= 445 @ 179.423
496.36/497.53	c bounds - >= 446 @ 180.11
496.36/497.53	c bounds - >= 447 @ 180.72
496.36/497.53	c bounds - >= 448 @ 181.355
496.36/497.53	c #Conflicts:      88000 | #Constraints:     186661
496.36/497.53	c bounds - >= 449 @ 182.028
496.36/497.53	c bounds - >= 450 @ 182.696
496.36/497.53	c bounds - >= 451 @ 183.364
496.36/497.53	c bounds - >= 452 @ 184.016
496.36/497.53	c bounds - >= 453 @ 184.701
496.36/497.53	c #Conflicts:      89000 | #Constraints:     187666
496.36/497.53	c bounds - >= 454 @ 185.363
496.36/497.53	c bounds - >= 455 @ 186.023
496.36/497.53	c bounds - >= 456 @ 186.687
496.36/497.53	c bounds - >= 457 @ 187.369
496.36/497.53	c #Conflicts:      90000 | #Constraints:     188670
496.36/497.53	c bounds - >= 458 @ 187.992
496.36/497.53	c INPROCESSING
496.36/497.53	c GARBAGE COLLECT
496.36/497.53	c bounds - >= 459 @ 189.032
496.36/497.53	c bounds - >= 460 @ 189.69
496.36/497.53	c bounds - >= 461 @ 190.359
496.36/497.53	c bounds - >= 462 @ 191.05
496.36/497.53	c #Conflicts:      91000 | #Constraints:     183645
496.36/497.53	c bounds - >= 463 @ 191.74
496.36/497.53	c bounds - >= 464 @ 192.42
496.36/497.53	c bounds - >= 465 @ 193.088
496.36/497.53	c bounds - >= 466 @ 193.786
496.36/497.53	c bounds - >= 467 @ 194.494
496.36/497.53	c #Conflicts:      92000 | #Constraints:     184650
496.36/497.53	c bounds - >= 468 @ 195.168
496.36/497.53	c bounds - >= 469 @ 195.842
496.36/497.53	c bounds - >= 470 @ 196.532
496.36/497.53	c bounds - >= 471 @ 197.227
496.36/497.53	c #Conflicts:      93000 | #Constraints:     185654
496.36/497.53	c bounds - >= 472 @ 197.885
496.36/497.53	c bounds - >= 473 @ 198.562
496.36/497.53	c bounds - >= 474 @ 199.226
496.36/497.53	c bounds - >= 475 @ 199.885
496.36/497.53	c bounds - >= 476 @ 200.602
496.36/497.53	c #Conflicts:      94000 | #Constraints:     186659
496.36/497.53	c bounds - >= 477 @ 201.326
496.36/497.53	c bounds - >= 478 @ 201.997
496.36/497.53	c bounds - >= 479 @ 202.681
496.36/497.53	c bounds - >= 480 @ 203.365
496.36/497.53	c bounds - >= 481 @ 204.066
496.36/497.53	c #Conflicts:      95000 | #Constraints:     187664
496.36/497.53	c bounds - >= 482 @ 204.752
496.36/497.53	c bounds - >= 483 @ 205.441
496.36/497.53	c bounds - >= 484 @ 206.125
496.36/497.53	c bounds - >= 485 @ 206.851
496.36/497.53	c #Conflicts:      96000 | #Constraints:     188668
496.36/497.53	c bounds - >= 486 @ 207.557
496.36/497.53	c bounds - >= 487 @ 208.266
496.36/497.53	c bounds - >= 488 @ 208.986
496.36/497.53	c INPROCESSING
496.36/497.53	c GARBAGE COLLECT
496.36/497.53	c bounds - >= 489 @ 210.038
496.36/497.53	c bounds - >= 490 @ 210.726
496.36/497.53	c #Conflicts:      97000 | #Constraints:     183456
496.36/497.53	c bounds - >= 491 @ 211.458
496.36/497.53	c bounds - >= 492 @ 212.148
496.36/497.53	c bounds - >= 493 @ 212.868
496.36/497.53	c bounds - >= 494 @ 213.57
496.36/497.53	c #Conflicts:      98000 | #Constraints:     184460
496.36/497.53	c bounds - >= 495 @ 214.286
496.36/497.53	c bounds - >= 496 @ 215.011
496.36/497.53	c bounds - >= 497 @ 215.764
496.36/497.53	c bounds - >= 498 @ 216.469
496.36/497.53	c bounds - >= 499 @ 217.199
496.36/497.53	c #Conflicts:      99000 | #Constraints:     185465
496.36/497.53	c bounds - >= 500 @ 217.91
496.36/497.53	c bounds - >= 501 @ 218.665
496.36/497.53	c bounds - >= 502 @ 219.351
496.36/497.53	c bounds - >= 503 @ 220.106
496.36/497.53	c bounds - >= 504 @ 220.827
496.36/497.53	c #Conflicts:     100000 | #Constraints:     186470
496.36/497.53	c bounds - >= 505 @ 221.548
496.36/497.53	c bounds - >= 506 @ 222.299
496.36/497.53	c bounds - >= 507 @ 222.992
496.36/497.53	c bounds - >= 508 @ 223.729
496.36/497.53	c #Conflicts:     101000 | #Constraints:     187474
496.36/497.53	c bounds - >= 509 @ 224.454
496.36/497.53	c bounds - >= 510 @ 225.199
496.36/497.53	c bounds - >= 511 @ 225.92
496.36/497.53	c bounds - >= 512 @ 226.653
496.36/497.53	c bounds - >= 513 @ 227.39
496.36/497.53	c #Conflicts:     102000 | #Constraints:     188479
496.36/497.53	c bounds - >= 514 @ 228.141
496.36/497.53	c bounds - >= 515 @ 228.897
496.36/497.53	c bounds - >= 516 @ 229.626
496.36/497.53	c bounds - >= 517 @ 230.38
496.36/497.53	c bounds - >= 518 @ 231.149
496.36/497.53	c #Conflicts:     103000 | #Constraints:     189484
496.36/497.53	c bounds - >= 519 @ 231.896
496.36/497.53	c INPROCESSING
496.36/497.53	c GARBAGE COLLECT
496.36/497.53	c bounds - >= 520 @ 233.008
496.36/497.53	c bounds - >= 521 @ 233.752
686.95/688.57	c bounds - >= 522 @ 234.528
686.95/688.57	c #Conflicts:     104000 | #Constraints:     184041
686.95/688.57	c bounds - >= 523 @ 235.288
686.95/688.57	c bounds - >= 524 @ 236.065
686.95/688.57	c bounds - >= 525 @ 236.819
686.95/688.57	c bounds - >= 526 @ 237.606
686.95/688.57	c bounds - >= 527 @ 238.369
686.95/688.57	c #Conflicts:     105000 | #Constraints:     185046
686.95/688.57	c bounds - >= 528 @ 239.145
686.95/688.57	c bounds - >= 529 @ 239.924
686.95/688.57	c bounds - >= 530 @ 240.708
686.95/688.57	c bounds - >= 531 @ 241.476
686.95/688.57	c #Conflicts:     106000 | #Constraints:     186050
686.95/688.57	c bounds - >= 532 @ 242.226
686.95/688.57	c bounds - >= 533 @ 242.968
686.95/688.57	c bounds - >= 534 @ 243.731
686.95/688.57	c bounds - >= 535 @ 244.534
686.95/688.57	c bounds - >= 536 @ 245.306
686.95/688.57	c #Conflicts:     107000 | #Constraints:     187055
686.95/688.57	c bounds - >= 537 @ 246.074
686.95/688.57	c bounds - >= 538 @ 246.854
686.95/688.57	c bounds - >= 539 @ 247.626
686.95/688.57	c bounds - >= 540 @ 248.677
686.95/688.57	c bounds - >= 541 @ 249.448
686.95/688.57	c #Conflicts:     108000 | #Constraints:     188060
686.95/688.57	c bounds - >= 542 @ 250.183
686.95/688.57	c bounds - >= 543 @ 250.986
686.95/688.57	c bounds - >= 544 @ 251.799
686.95/688.57	c bounds - >= 545 @ 252.615
686.95/688.57	c #Conflicts:     109000 | #Constraints:     189064
686.95/688.57	c bounds - >= 546 @ 253.401
686.95/688.57	c bounds - >= 547 @ 254.17
686.95/688.57	c bounds - >= 548 @ 254.979
686.95/688.57	c bounds - >= 549 @ 255.771
686.95/688.57	c bounds - >= 550 @ 256.533
686.95/688.57	c #Conflicts:     110000 | #Constraints:     190069
686.95/688.57	c INPROCESSING
686.95/688.57	c GARBAGE COLLECT
686.95/688.57	c bounds - >= 551 @ 257.678
686.95/688.57	c bounds - >= 552 @ 258.505
686.95/688.57	c bounds - >= 553 @ 259.325
686.95/688.57	c bounds - >= 554 @ 260.08
686.95/688.57	c bounds - >= 555 @ 260.839
686.95/688.57	c #Conflicts:     111000 | #Constraints:     184433
686.95/688.57	c bounds - >= 556 @ 261.657
686.95/688.57	c bounds - >= 557 @ 262.488
686.95/688.57	c bounds - >= 558 @ 263.29
686.95/688.57	c bounds - >= 559 @ 264.106
686.95/688.57	c #Conflicts:     112000 | #Constraints:     185437
686.95/688.57	c bounds - >= 560 @ 264.886
686.95/688.57	c bounds - >= 561 @ 265.724
686.95/688.57	c bounds - >= 562 @ 266.504
686.95/688.57	c bounds - >= 563 @ 267.287
686.95/688.57	c bounds - >= 564 @ 268.087
686.95/688.57	c #Conflicts:     113000 | #Constraints:     186442
686.95/688.57	c bounds - >= 565 @ 268.885
686.95/688.57	c bounds - >= 566 @ 269.676
686.95/688.57	c bounds - >= 567 @ 270.527
686.95/688.57	c bounds - >= 568 @ 271.344
686.95/688.57	c bounds - >= 569 @ 272.163
686.95/688.57	c #Conflicts:     114000 | #Constraints:     187447
686.95/688.57	c bounds - >= 570 @ 272.951
686.95/688.57	c bounds - >= 571 @ 273.771
686.95/688.57	c bounds - >= 572 @ 274.574
686.95/688.57	c bounds - >= 573 @ 275.389
686.95/688.57	c #Conflicts:     115000 | #Constraints:     188451
686.95/688.57	c bounds - >= 574 @ 276.223
686.95/688.57	c bounds - >= 575 @ 277.045
686.95/688.57	c bounds - >= 576 @ 277.881
686.95/688.57	c bounds - >= 577 @ 278.741
686.95/688.57	c bounds - >= 578 @ 279.564
686.95/688.57	c #Conflicts:     116000 | #Constraints:     189456
686.95/688.57	c bounds - >= 579 @ 280.362
686.95/688.57	c bounds - >= 580 @ 281.218
686.95/688.57	c bounds - >= 581 @ 282.003
686.95/688.57	c bounds - >= 582 @ 282.777
686.95/688.57	c #Conflicts:     117000 | #Constraints:     190460
686.95/688.57	c INPROCESSING
686.95/688.57	c GARBAGE COLLECT
686.95/688.57	c bounds - >= 583 @ 283.95
686.95/688.57	c bounds - >= 584 @ 284.781
686.95/688.57	c bounds - >= 585 @ 285.621
686.95/688.57	c bounds - >= 586 @ 286.472
686.95/688.57	c bounds - >= 587 @ 287.316
686.95/688.57	c #Conflicts:     118000 | #Constraints:     184645
686.95/688.57	c bounds - >= 588 @ 288.124
686.95/688.57	c bounds - >= 589 @ 288.945
686.95/688.57	c bounds - >= 590 @ 289.758
686.95/688.57	c bounds - >= 591 @ 290.6
686.95/688.57	c bounds - >= 592 @ 291.431
686.95/688.57	c #Conflicts:     119000 | #Constraints:     185650
686.95/688.57	c bounds - >= 593 @ 292.271
686.95/688.57	c bounds - >= 594 @ 293.114
686.95/688.57	c bounds - >= 595 @ 293.961
686.95/688.57	c bounds - >= 596 @ 294.795
686.95/688.57	c #Conflicts:     120000 | #Constraints:     186654
686.95/688.57	c bounds - >= 597 @ 295.644
686.95/688.57	c bounds - >= 598 @ 296.517
686.95/688.57	c bounds - >= 599 @ 297.411
686.95/688.57	c bounds - >= 600 @ 298.242
686.95/688.57	c bounds - >= 601 @ 299.115
686.95/688.57	c #Conflicts:     121000 | #Constraints:     187659
686.95/688.57	c bounds - >= 602 @ 299.961
686.95/688.57	c bounds - >= 603 @ 300.778
686.95/688.57	c bounds - >= 604 @ 301.656
686.95/688.57	c bounds - >= 605 @ 302.507
686.95/688.57	c bounds - >= 606 @ 303.386
686.95/688.57	c #Conflicts:     122000 | #Constraints:     188664
686.95/688.57	c bounds - >= 607 @ 304.276
686.95/688.57	c bounds - >= 608 @ 305.148
686.95/688.57	c bounds - >= 609 @ 306.029
686.95/688.57	c bounds - >= 610 @ 306.913
686.95/688.57	c #Conflicts:     123000 | #Constraints:     189668
686.95/688.57	c bounds - >= 611 @ 307.779
686.95/688.57	c bounds - >= 612 @ 308.633
686.95/688.57	c bounds - >= 613 @ 309.484
686.95/688.57	c bounds - >= 614 @ 310.357
686.95/688.57	c bounds - >= 615 @ 311.252
686.95/688.57	c #Conflicts:     124000 | #Constraints:     190673
686.95/688.57	c bounds - >= 616 @ 312.11
686.95/688.57	c INPROCESSING
686.95/688.57	c GARBAGE COLLECT
686.95/688.57	c bounds - >= 617 @ 313.353
686.95/688.57	c bounds - >= 618 @ 314.232
686.95/688.57	c bounds - >= 619 @ 315.137
686.95/688.57	c #Conflicts:     125000 | #Constraints:     184657
686.95/688.57	c bounds - >= 620 @ 316.035
686.95/688.57	c bounds - >= 621 @ 316.917
686.95/688.57	c bounds - >= 622 @ 317.782
686.95/688.57	c bounds - >= 623 @ 318.703
910.00/912.02	c bounds - >= 624 @ 319.613
910.00/912.02	c #Conflicts:     126000 | #Constraints:     185662
910.00/912.02	c bounds - >= 625 @ 320.524
910.00/912.02	c bounds - >= 626 @ 321.418
910.00/912.02	c bounds - >= 627 @ 322.311
910.00/912.02	c bounds - >= 628 @ 323.202
910.00/912.02	c bounds - >= 629 @ 324.123
910.00/912.02	c #Conflicts:     127000 | #Constraints:     186667
910.00/912.02	c bounds - >= 630 @ 325.001
910.00/912.02	c bounds - >= 631 @ 325.887
910.00/912.02	c bounds - >= 632 @ 326.796
910.00/912.02	c bounds - >= 633 @ 327.682
910.00/912.02	c #Conflicts:     128000 | #Constraints:     187671
910.00/912.02	c bounds - >= 634 @ 328.589
910.00/912.02	c bounds - >= 635 @ 329.459
910.00/912.02	c bounds - >= 636 @ 330.37
910.00/912.02	c bounds - >= 637 @ 331.293
910.00/912.02	c bounds - >= 638 @ 332.184
910.00/912.02	c #Conflicts:     129000 | #Constraints:     188676
910.00/912.02	c bounds - >= 639 @ 333.078
910.00/912.02	c bounds - >= 640 @ 334.005
910.00/912.02	c bounds - >= 641 @ 334.945
910.00/912.02	c bounds - >= 642 @ 335.865
910.00/912.02	c bounds - >= 643 @ 336.782
910.00/912.02	c #Conflicts:     130000 | #Constraints:     189681
910.00/912.02	c bounds - >= 644 @ 337.703
910.00/912.02	c bounds - >= 645 @ 338.644
910.00/912.02	c bounds - >= 646 @ 339.541
910.00/912.02	c bounds - >= 647 @ 340.435
910.00/912.02	c #Conflicts:     131000 | #Constraints:     190685
910.00/912.02	c bounds - >= 648 @ 341.379
910.00/912.02	c bounds - >= 649 @ 342.294
910.00/912.02	c bounds - >= 650 @ 343.178
910.00/912.02	c INPROCESSING
910.00/912.02	c GARBAGE COLLECT
910.00/912.02	c bounds - >= 651 @ 344.484
910.00/912.02	c bounds - >= 652 @ 345.418
910.00/912.02	c #Conflicts:     132000 | #Constraints:     184437
910.00/912.02	c bounds - >= 653 @ 346.36
910.00/912.02	c bounds - >= 654 @ 347.275
910.00/912.02	c bounds - >= 655 @ 348.223
910.00/912.02	c bounds - >= 656 @ 349.167
910.00/912.02	c #Conflicts:     133000 | #Constraints:     185441
910.00/912.02	c bounds - >= 657 @ 350.11
910.00/912.02	c bounds - >= 658 @ 351.07
910.00/912.02	c bounds - >= 659 @ 352.021
910.00/912.02	c bounds - >= 660 @ 352.945
910.00/912.02	c bounds - >= 661 @ 353.899
910.00/912.02	c #Conflicts:     134000 | #Constraints:     186446
910.00/912.02	c bounds - >= 662 @ 354.835
910.00/912.02	c bounds - >= 663 @ 355.79
910.00/912.02	c bounds - >= 664 @ 356.718
910.00/912.02	c bounds - >= 665 @ 357.666
910.00/912.02	c bounds - >= 666 @ 358.628
910.00/912.02	c #Conflicts:     135000 | #Constraints:     187451
910.00/912.02	c bounds - >= 667 @ 359.57
910.00/912.02	c bounds - >= 668 @ 360.514
910.00/912.02	c bounds - >= 669 @ 361.422
910.00/912.02	c bounds - >= 670 @ 362.397
910.00/912.02	c #Conflicts:     136000 | #Constraints:     188455
910.00/912.02	c bounds - >= 671 @ 363.384
910.00/912.02	c bounds - >= 672 @ 364.303
910.00/912.02	c bounds - >= 673 @ 365.275
910.00/912.02	c bounds - >= 674 @ 366.223
910.00/912.02	c bounds - >= 675 @ 367.179
910.00/912.02	c #Conflicts:     137000 | #Constraints:     189460
910.00/912.02	c bounds - >= 676 @ 368.125
910.00/912.02	c bounds - >= 677 @ 369.09
910.00/912.02	c bounds - >= 678 @ 370.032
910.00/912.02	c bounds - >= 679 @ 370.996
910.00/912.02	c bounds - >= 680 @ 371.929
910.00/912.02	c #Conflicts:     138000 | #Constraints:     190465
910.00/912.02	c bounds - >= 681 @ 372.858
910.00/912.02	c bounds - >= 682 @ 373.85
910.00/912.02	c bounds - >= 683 @ 374.826
910.00/912.02	c bounds - >= 684 @ 375.799
910.00/912.02	c #Conflicts:     139000 | #Constraints:     191469
910.00/912.02	c bounds - >= 685 @ 376.719
910.00/912.02	c INPROCESSING
910.00/912.02	c GARBAGE COLLECT
910.00/912.02	c bounds - >= 686 @ 378.081
910.00/912.02	c bounds - >= 687 @ 379.034
910.00/912.02	c bounds - >= 688 @ 380.003
910.00/912.02	c bounds - >= 689 @ 380.984
910.00/912.02	c #Conflicts:     140000 | #Constraints:     185049
910.00/912.02	c bounds - >= 690 @ 381.988
910.00/912.02	c bounds - >= 691 @ 382.99
910.00/912.02	c bounds - >= 692 @ 383.958
910.00/912.02	c bounds - >= 693 @ 384.916
910.00/912.02	c bounds - >= 694 @ 385.886
910.00/912.02	c #Conflicts:     141000 | #Constraints:     186054
910.00/912.02	c bounds - >= 695 @ 386.866
910.00/912.02	c bounds - >= 696 @ 387.794
910.00/912.02	c bounds - >= 697 @ 388.749
910.00/912.02	c bounds - >= 698 @ 389.768
910.00/912.02	c #Conflicts:     142000 | #Constraints:     187058
910.00/912.02	c bounds - >= 699 @ 390.777
910.00/912.02	c bounds - >= 700 @ 391.784
910.00/912.02	c bounds - >= 701 @ 392.746
910.00/912.02	c bounds - >= 702 @ 393.734
910.00/912.02	c bounds - >= 703 @ 394.691
910.00/912.02	c #Conflicts:     143000 | #Constraints:     188063
910.00/912.02	c bounds - >= 704 @ 395.676
910.00/912.02	c bounds - >= 705 @ 396.66
910.00/912.02	c bounds - >= 706 @ 397.68
910.00/912.02	c bounds - >= 707 @ 398.68
910.00/912.02	c #Conflicts:     144000 | #Constraints:     189067
910.00/912.02	c bounds - >= 708 @ 399.641
910.00/912.02	c bounds - >= 709 @ 400.631
910.00/912.02	c bounds - >= 710 @ 401.618
910.00/912.02	c bounds - >= 711 @ 402.608
910.00/912.02	c bounds - >= 712 @ 403.616
910.00/912.02	c #Conflicts:     145000 | #Constraints:     190072
910.00/912.02	c bounds - >= 713 @ 404.657
910.00/912.02	c bounds - >= 714 @ 405.672
910.00/912.02	c bounds - >= 715 @ 406.644
910.00/912.02	c bounds - >= 716 @ 407.675
910.00/912.02	c bounds - >= 717 @ 408.686
910.00/912.02	c #Conflicts:     146000 | #Constraints:     191077
910.00/912.02	c bounds - >= 718 @ 409.748
910.00/912.02	c bounds - >= 719 @ 410.757
910.00/912.02	c bounds - >= 720 @ 411.704
910.00/912.02	c bounds - >= 721 @ 412.71
910.00/912.02	c #Conflicts:     147000 | #Constraints:     192081
910.00/912.02	c INPROCESSING
910.00/912.02	c GARBAGE COLLECT
910.00/912.02	c bounds - >= 722 @ 414.057
910.00/912.02	c bounds - >= 723 @ 415.101
910.00/912.02	c bounds - >= 724 @ 416.131
910.00/912.02	c bounds - >= 725 @ 417.141
1170.83/1173.46	c bounds - >= 726 @ 418.132
1170.83/1173.46	c #Conflicts:     148000 | #Constraints:     185440
1170.83/1173.46	c bounds - >= 727 @ 419.181
1170.83/1173.46	c bounds - >= 728 @ 420.216
1170.83/1173.46	c bounds - >= 729 @ 421.247
1170.83/1173.46	c bounds - >= 730 @ 422.311
1170.83/1173.46	c bounds - >= 731 @ 423.375
1170.83/1173.46	c #Conflicts:     149000 | #Constraints:     186445
1170.83/1173.46	c bounds - >= 732 @ 424.374
1170.83/1173.46	c bounds - >= 733 @ 425.39
1170.83/1173.46	c bounds - >= 734 @ 426.425
1170.83/1173.46	c bounds - >= 735 @ 427.473
1170.83/1173.46	c #Conflicts:     150000 | #Constraints:     187449
1170.83/1173.46	c bounds - >= 736 @ 428.522
1170.83/1173.46	c bounds - >= 737 @ 429.579
1170.83/1173.46	c bounds - >= 738 @ 430.635
1170.83/1173.46	c bounds - >= 739 @ 431.643
1170.83/1173.46	c bounds - >= 740 @ 432.741
1170.83/1173.46	c #Conflicts:     151000 | #Constraints:     188454
1170.83/1173.46	c bounds - >= 741 @ 433.777
1170.83/1173.46	c bounds - >= 742 @ 434.827
1170.83/1173.46	c bounds - >= 743 @ 435.857
1170.83/1173.46	c bounds - >= 744 @ 436.921
1170.83/1173.46	c #Conflicts:     152000 | #Constraints:     189458
1170.83/1173.46	c bounds - >= 745 @ 437.903
1170.83/1173.46	c bounds - >= 746 @ 438.909
1170.83/1173.46	c bounds - >= 747 @ 439.96
1170.83/1173.46	c bounds - >= 748 @ 440.995
1170.83/1173.46	c bounds - >= 749 @ 442.064
1170.83/1173.46	c #Conflicts:     153000 | #Constraints:     190463
1170.83/1173.46	c bounds - >= 750 @ 443.086
1170.83/1173.46	c bounds - >= 751 @ 444.182
1170.83/1173.46	c bounds - >= 752 @ 445.264
1170.83/1173.46	c bounds - >= 753 @ 446.349
1170.83/1173.46	c bounds - >= 754 @ 447.436
1170.83/1173.46	c #Conflicts:     154000 | #Constraints:     191468
1170.83/1173.46	c bounds - >= 755 @ 448.5
1170.83/1173.46	c bounds - >= 756 @ 449.557
1170.83/1173.46	c bounds - >= 757 @ 450.596
1170.83/1173.46	c bounds - >= 758 @ 451.652
1170.83/1173.46	c #Conflicts:     155000 | #Constraints:     192472
1170.83/1173.46	c INPROCESSING
1170.83/1173.46	c GARBAGE COLLECT
1170.83/1173.46	c bounds - >= 759 @ 453.087
1170.83/1173.46	c bounds - >= 760 @ 454.144
1170.83/1173.46	c bounds - >= 761 @ 455.226
1170.83/1173.46	c bounds - >= 762 @ 456.238
1170.83/1173.46	c bounds - >= 763 @ 457.316
1170.83/1173.46	c #Conflicts:     156000 | #Constraints:     185639
1170.83/1173.46	c bounds - >= 764 @ 458.418
1170.83/1173.46	c bounds - >= 765 @ 459.504
1170.83/1173.46	c bounds - >= 766 @ 460.566
1170.83/1173.46	c bounds - >= 767 @ 461.653
1170.83/1173.46	c bounds - >= 768 @ 462.707
1170.83/1173.46	c #Conflicts:     157000 | #Constraints:     186644
1170.83/1173.46	c bounds - >= 769 @ 463.773
1170.83/1173.46	c bounds - >= 770 @ 464.856
1170.83/1173.46	c bounds - >= 771 @ 465.942
1170.83/1173.46	c bounds - >= 772 @ 467.023
1170.83/1173.46	c #Conflicts:     158000 | #Constraints:     187648
1170.83/1173.46	c bounds - >= 773 @ 468.127
1170.83/1173.46	c bounds - >= 774 @ 469.217
1170.83/1173.46	c bounds - >= 775 @ 470.286
1170.83/1173.46	c bounds - >= 776 @ 471.399
1170.83/1173.46	c bounds - >= 777 @ 472.51
1170.83/1173.46	c #Conflicts:     159000 | #Constraints:     188653
1170.83/1173.46	c bounds - >= 778 @ 473.556
1170.83/1173.46	c bounds - >= 779 @ 474.657
1170.83/1173.46	c bounds - >= 780 @ 475.753
1170.83/1173.46	c bounds - >= 781 @ 476.852
1170.83/1173.46	c #Conflicts:     160000 | #Constraints:     189657
1170.83/1173.46	c bounds - >= 782 @ 477.931
1170.83/1173.46	c bounds - >= 783 @ 479.017
1170.83/1173.46	c bounds - >= 784 @ 480.14
1170.83/1173.46	c bounds - >= 785 @ 481.222
1170.83/1173.46	c bounds - >= 786 @ 482.329
1170.83/1173.46	c #Conflicts:     161000 | #Constraints:     190662
1170.83/1173.46	c bounds - >= 787 @ 483.465
1170.83/1173.46	c bounds - >= 788 @ 484.525
1170.83/1173.46	c bounds - >= 789 @ 485.631
1170.83/1173.46	c bounds - >= 790 @ 486.69
1170.83/1173.46	c bounds - >= 791 @ 487.787
1170.83/1173.46	c #Conflicts:     162000 | #Constraints:     191667
1170.83/1173.46	c bounds - >= 792 @ 488.852
1170.83/1173.46	c bounds - >= 793 @ 489.948
1170.83/1173.46	c bounds - >= 794 @ 491.08
1170.83/1173.46	c bounds - >= 795 @ 492.188
1170.83/1173.46	c #Conflicts:     163000 | #Constraints:     192671
1170.83/1173.46	c bounds - >= 796 @ 493.34
1170.83/1173.46	c INPROCESSING
1170.83/1173.46	c GARBAGE COLLECT
1170.83/1173.46	c bounds - >= 797 @ 494.835
1170.83/1173.46	c bounds - >= 798 @ 495.936
1170.83/1173.46	c bounds - >= 799 @ 497.03
1170.83/1173.46	c bounds - >= 800 @ 498.137
1170.83/1173.46	c #Conflicts:     164000 | #Constraints:     185633
1170.83/1173.46	c bounds - >= 801 @ 499.272
1170.83/1173.46	c bounds - >= 802 @ 500.409
1170.83/1173.46	c bounds - >= 803 @ 501.467
1170.83/1173.46	c bounds - >= 804 @ 502.593
1170.83/1173.46	c bounds - >= 805 @ 503.748
1170.83/1173.46	c #Conflicts:     165000 | #Constraints:     186638
1170.83/1173.46	c bounds - >= 806 @ 504.876
1170.83/1173.46	c bounds - >= 807 @ 505.97
1170.83/1173.46	c bounds - >= 808 @ 507.114
1170.83/1173.46	c bounds - >= 809 @ 508.257
1170.83/1173.46	c #Conflicts:     166000 | #Constraints:     187642
1170.83/1173.46	c bounds - >= 810 @ 509.393
1170.83/1173.46	c bounds - >= 811 @ 510.561
1170.83/1173.46	c bounds - >= 812 @ 511.674
1170.83/1173.46	c bounds - >= 813 @ 512.826
1170.83/1173.46	c bounds - >= 814 @ 513.97
1170.83/1173.46	c #Conflicts:     167000 | #Constraints:     188647
1170.83/1173.46	c bounds - >= 815 @ 515.085
1170.83/1173.46	c bounds - >= 816 @ 516.252
1170.83/1173.46	c bounds - >= 817 @ 517.364
1170.83/1173.46	c bounds - >= 818 @ 518.486
1170.83/1173.46	c bounds - >= 819 @ 519.589
1170.83/1173.46	c #Conflicts:     168000 | #Constraints:     189652
1170.83/1173.46	c bounds - >= 820 @ 520.741
1170.83/1173.46	c bounds - >= 821 @ 521.925
1170.83/1173.46	c bounds - >= 822 @ 523.078
1170.83/1173.46	c bounds - >= 823 @ 524.225
1170.83/1173.46	c #Conflicts:     169000 | #Constraints:     190656
1170.83/1173.46	c bounds - >= 824 @ 525.415
1170.83/1173.46	c bounds - >= 825 @ 526.559
1170.83/1173.46	c bounds - >= 826 @ 527.692
1170.83/1173.46	c bounds - >= 827 @ 528.878
1170.83/1173.46	c bounds - >= 828 @ 530.067
1170.83/1173.46	c #Conflicts:     170000 | #Constraints:     191661
1459.42/1462.64	c bounds - >= 829 @ 531.239
1459.42/1462.64	c bounds - >= 830 @ 532.398
1459.42/1462.64	c bounds - >= 831 @ 533.585
1459.42/1462.64	c bounds - >= 832 @ 534.754
1459.42/1462.64	c #Conflicts:     171000 | #Constraints:     192665
1459.42/1462.64	c bounds - >= 833 @ 535.928
1459.42/1462.64	c bounds - >= 834 @ 537.093
1459.42/1462.64	c bounds - >= 835 @ 538.281
1459.42/1462.64	c INPROCESSING
1459.42/1462.64	c GARBAGE COLLECT
1459.42/1462.64	c bounds - >= 836 @ 539.813
1459.42/1462.64	c bounds - >= 837 @ 540.988
1459.42/1462.64	c #Conflicts:     172000 | #Constraints:     185443
1459.42/1462.64	c bounds - >= 838 @ 542.146
1459.42/1462.64	c bounds - >= 839 @ 543.351
1459.42/1462.64	c bounds - >= 840 @ 544.5
1459.42/1462.64	c bounds - >= 841 @ 545.678
1459.42/1462.64	c bounds - >= 842 @ 546.852
1459.42/1462.64	c #Conflicts:     173000 | #Constraints:     186448
1459.42/1462.64	c bounds - >= 843 @ 548.048
1459.42/1462.64	c bounds - >= 844 @ 549.246
1459.42/1462.64	c bounds - >= 845 @ 550.403
1459.42/1462.64	c bounds - >= 846 @ 551.581
1459.42/1462.64	c #Conflicts:     174000 | #Constraints:     187452
1459.42/1462.64	c bounds - >= 847 @ 552.75
1459.42/1462.64	c bounds - >= 848 @ 553.943
1459.42/1462.64	c bounds - >= 849 @ 555.154
1459.42/1462.64	c bounds - >= 850 @ 556.348
1459.42/1462.64	c bounds - >= 851 @ 557.563
1459.42/1462.64	c #Conflicts:     175000 | #Constraints:     188457
1459.42/1462.64	c bounds - >= 852 @ 558.723
1459.42/1462.64	c bounds - >= 853 @ 559.878
1459.42/1462.64	c bounds - >= 854 @ 561.088
1459.42/1462.64	c bounds - >= 855 @ 562.293
1459.42/1462.64	c bounds - >= 856 @ 563.49
1459.42/1462.64	c #Conflicts:     176000 | #Constraints:     189462
1459.42/1462.64	c bounds - >= 857 @ 564.681
1459.42/1462.64	c bounds - >= 858 @ 565.872
1459.42/1462.64	c bounds - >= 859 @ 567.047
1459.42/1462.64	c bounds - >= 860 @ 568.271
1459.42/1462.64	c #Conflicts:     177000 | #Constraints:     190466
1459.42/1462.64	c bounds - >= 861 @ 569.494
1459.42/1462.64	c bounds - >= 862 @ 570.652
1459.42/1462.64	c bounds - >= 863 @ 571.835
1459.42/1462.64	c bounds - >= 864 @ 573.087
1459.42/1462.64	c bounds - >= 865 @ 574.25
1459.42/1462.64	c #Conflicts:     178000 | #Constraints:     191471
1459.42/1462.64	c bounds - >= 866 @ 575.489
1459.42/1462.64	c bounds - >= 867 @ 576.702
1459.42/1462.64	c bounds - >= 868 @ 577.902
1459.42/1462.64	c bounds - >= 869 @ 579.098
1459.42/1462.64	c #Conflicts:     179000 | #Constraints:     192475
1459.42/1462.64	c bounds - >= 870 @ 580.313
1459.42/1462.64	c bounds - >= 871 @ 581.521
1459.42/1462.64	c bounds - >= 872 @ 582.721
1459.42/1462.64	c bounds - >= 873 @ 583.923
1459.42/1462.64	c bounds - >= 874 @ 585.179
1459.42/1462.64	c #Conflicts:     180000 | #Constraints:     193480
1459.42/1462.64	c bounds - >= 875 @ 586.395
1459.42/1462.64	c INPROCESSING
1459.42/1462.64	c GARBAGE COLLECT
1459.42/1462.64	c bounds - >= 876 @ 588.006
1459.42/1462.64	c bounds - >= 877 @ 589.217
1459.42/1462.64	c bounds - >= 878 @ 590.373
1459.42/1462.64	c bounds - >= 879 @ 591.583
1459.42/1462.64	c #Conflicts:     181000 | #Constraints:     186030
1459.42/1462.64	c bounds - >= 880 @ 592.764
1459.42/1462.64	c bounds - >= 881 @ 594.004
1459.42/1462.64	c bounds - >= 882 @ 595.219
1459.42/1462.64	c bounds - >= 883 @ 596.459
1459.42/1462.64	c #Conflicts:     182000 | #Constraints:     187034
1459.42/1462.64	c bounds - >= 884 @ 597.744
1459.42/1462.64	c bounds - >= 885 @ 598.984
1459.42/1462.64	c bounds - >= 886 @ 600.276
1459.42/1462.64	c bounds - >= 887 @ 601.528
1459.42/1462.64	c bounds - >= 888 @ 602.795
1459.42/1462.64	c #Conflicts:     183000 | #Constraints:     188039
1459.42/1462.64	c bounds - >= 889 @ 604.034
1459.42/1462.64	c bounds - >= 890 @ 605.283
1459.42/1462.64	c bounds - >= 891 @ 606.557
1459.42/1462.64	c bounds - >= 892 @ 607.793
1459.42/1462.64	c bounds - >= 893 @ 609.095
1459.42/1462.64	c #Conflicts:     184000 | #Constraints:     189044
1459.42/1462.64	c bounds - >= 894 @ 610.337
1459.42/1462.64	c bounds - >= 895 @ 611.589
1459.42/1462.64	c bounds - >= 896 @ 612.825
1459.42/1462.64	c bounds - >= 897 @ 614.083
1459.42/1462.64	c #Conflicts:     185000 | #Constraints:     190048
1459.42/1462.64	c bounds - >= 898 @ 615.379
1459.42/1462.64	c bounds - >= 899 @ 616.631
1459.42/1462.64	c bounds - >= 900 @ 617.879
1459.42/1462.64	c bounds - >= 901 @ 619.158
1459.42/1462.64	c bounds - >= 902 @ 620.408
1459.42/1462.64	c #Conflicts:     186000 | #Constraints:     191053
1459.42/1462.64	c bounds - >= 903 @ 621.712
1459.42/1462.64	c bounds - >= 904 @ 623.008
1459.42/1462.64	c bounds - >= 905 @ 624.288
1459.42/1462.64	c bounds - >= 906 @ 625.556
1459.42/1462.64	c #Conflicts:     187000 | #Constraints:     192057
1459.42/1462.64	c bounds - >= 907 @ 626.806
1459.42/1462.64	c bounds - >= 908 @ 628.064
1459.42/1462.64	c bounds - >= 909 @ 629.366
1459.42/1462.64	c bounds - >= 910 @ 630.641
1459.42/1462.64	c bounds - >= 911 @ 631.863
1459.42/1462.64	c #Conflicts:     188000 | #Constraints:     193062
1459.42/1462.64	c bounds - >= 912 @ 633.158
1459.42/1462.64	c bounds - >= 913 @ 634.407
1459.42/1462.64	c bounds - >= 914 @ 635.69
1459.42/1462.64	c bounds - >= 915 @ 636.97
1459.42/1462.64	c bounds - >= 916 @ 638.247
1459.42/1462.64	c #Conflicts:     189000 | #Constraints:     194067
1459.42/1462.64	c INPROCESSING
1459.42/1462.64	c GARBAGE COLLECT
1459.42/1462.64	c bounds - >= 917 @ 639.884
1459.42/1462.64	c bounds - >= 918 @ 641.179
1459.42/1462.64	c bounds - >= 919 @ 642.507
1459.42/1462.64	c bounds - >= 920 @ 643.802
1459.42/1462.64	c #Conflicts:     190000 | #Constraints:     186447
1459.42/1462.64	c bounds - >= 921 @ 645.095
1459.42/1462.64	c bounds - >= 922 @ 646.367
1459.42/1462.64	c bounds - >= 923 @ 647.67
1459.42/1462.64	c bounds - >= 924 @ 648.958
1459.42/1462.64	c bounds - >= 925 @ 650.254
1459.42/1462.64	c #Conflicts:     191000 | #Constraints:     187452
1459.42/1462.64	c bounds - >= 926 @ 651.508
1459.42/1462.64	c bounds - >= 927 @ 652.784
1459.42/1462.64	c bounds - >= 928 @ 654.071
1459.42/1462.64	c bounds - >= 929 @ 655.39
1459.42/1462.64	c bounds - >= 930 @ 656.675
1459.42/1462.64	c #Conflicts:     192000 | #Constraints:     188457
1777.36/1781.21	c bounds - >= 931 @ 657.998
1777.36/1781.21	c bounds - >= 932 @ 659.277
1777.36/1781.21	c bounds - >= 933 @ 660.565
1777.36/1781.21	c bounds - >= 934 @ 661.852
1777.36/1781.21	c #Conflicts:     193000 | #Constraints:     189461
1777.36/1781.21	c bounds - >= 935 @ 663.138
1777.36/1781.21	c bounds - >= 936 @ 664.487
1777.36/1781.21	c bounds - >= 937 @ 665.774
1777.36/1781.21	c bounds - >= 938 @ 667.049
1777.36/1781.21	c bounds - >= 939 @ 668.377
1777.36/1781.21	c #Conflicts:     194000 | #Constraints:     190466
1777.36/1781.21	c bounds - >= 940 @ 669.723
1777.36/1781.21	c bounds - >= 941 @ 670.998
1777.36/1781.21	c bounds - >= 942 @ 672.36
1777.36/1781.21	c bounds - >= 943 @ 673.651
1777.36/1781.21	c bounds - >= 944 @ 674.978
1777.36/1781.21	c #Conflicts:     195000 | #Constraints:     191471
1777.36/1781.21	c bounds - >= 945 @ 676.271
1777.36/1781.21	c bounds - >= 946 @ 677.594
1777.36/1781.21	c bounds - >= 947 @ 678.947
1777.36/1781.21	c bounds - >= 948 @ 680.265
1777.36/1781.21	c #Conflicts:     196000 | #Constraints:     192475
1777.36/1781.21	c bounds - >= 949 @ 681.596
1777.36/1781.21	c bounds - >= 950 @ 682.931
1777.36/1781.21	c bounds - >= 951 @ 684.253
1777.36/1781.21	c bounds - >= 952 @ 685.592
1777.36/1781.21	c bounds - >= 953 @ 686.929
1777.36/1781.21	c #Conflicts:     197000 | #Constraints:     193480
1777.36/1781.21	c bounds - >= 954 @ 688.25
1777.36/1781.21	c bounds - >= 955 @ 689.533
1777.36/1781.21	c bounds - >= 956 @ 690.834
1777.36/1781.21	c bounds - >= 957 @ 692.129
1777.36/1781.21	c #Conflicts:     198000 | #Constraints:     194484
1777.36/1781.21	c INPROCESSING
1777.36/1781.21	c GARBAGE COLLECT
1777.36/1781.21	c bounds - >= 958 @ 693.854
1777.36/1781.21	c bounds - >= 959 @ 695.18
1777.36/1781.21	c bounds - >= 960 @ 696.521
1777.36/1781.21	c bounds - >= 961 @ 697.913
1777.36/1781.21	c bounds - >= 962 @ 699.226
1777.36/1781.21	c #Conflicts:     199000 | #Constraints:     186648
1777.36/1781.21	c bounds - >= 963 @ 700.565
1777.36/1781.21	c bounds - >= 964 @ 701.907
1777.36/1781.21	c bounds - >= 965 @ 703.216
1777.36/1781.21	c bounds - >= 966 @ 704.602
1777.36/1781.21	c bounds - >= 967 @ 705.981
1777.36/1781.21	c #Conflicts:     200000 | #Constraints:     187653
1777.36/1781.21	c bounds - >= 968 @ 707.284
1777.36/1781.21	c bounds - >= 969 @ 708.625
1777.36/1781.21	c bounds - >= 970 @ 709.957
1777.36/1781.21	c bounds - >= 971 @ 711.32
1777.36/1781.21	c #Conflicts:     201000 | #Constraints:     188657
1777.36/1781.21	c bounds - >= 972 @ 712.68
1777.36/1781.21	c bounds - >= 973 @ 714.006
1777.36/1781.21	c bounds - >= 974 @ 715.368
1777.36/1781.21	c bounds - >= 975 @ 716.694
1777.36/1781.21	c bounds - >= 976 @ 718.067
1777.36/1781.21	c #Conflicts:     202000 | #Constraints:     189662
1777.36/1781.21	c bounds - >= 977 @ 719.424
1777.36/1781.21	c bounds - >= 978 @ 720.772
1777.36/1781.21	c bounds - >= 979 @ 722.103
1777.36/1781.21	c bounds - >= 980 @ 723.411
1777.36/1781.21	c bounds - >= 981 @ 724.753
1777.36/1781.21	c #Conflicts:     203000 | #Constraints:     190667
1777.36/1781.21	c bounds - >= 982 @ 726.11
1777.36/1781.21	c bounds - >= 983 @ 727.494
1777.36/1781.21	c bounds - >= 984 @ 728.897
1777.36/1781.21	c bounds - >= 985 @ 730.277
1777.36/1781.21	c #Conflicts:     204000 | #Constraints:     191671
1777.36/1781.21	c bounds - >= 986 @ 731.615
1777.36/1781.21	c bounds - >= 987 @ 732.956
1777.36/1781.21	c bounds - >= 988 @ 734.356
1777.36/1781.21	c bounds - >= 989 @ 735.718
1777.36/1781.21	c bounds - >= 990 @ 737.128
1777.36/1781.21	c #Conflicts:     205000 | #Constraints:     192676
1777.36/1781.21	c bounds - >= 991 @ 738.491
1777.36/1781.21	c bounds - >= 992 @ 739.881
1777.36/1781.21	c bounds - >= 993 @ 741.228
1777.36/1781.21	c bounds - >= 994 @ 742.61
1777.36/1781.21	c #Conflicts:     206000 | #Constraints:     193680
1777.36/1781.21	c bounds - >= 995 @ 743.956
1777.36/1781.21	c bounds - >= 996 @ 745.344
1777.36/1781.21	c bounds - >= 997 @ 746.732
1777.36/1781.21	c bounds - >= 998 @ 748.124
1777.36/1781.21	c bounds - >= 999 @ 749.544
1777.36/1781.21	c #Conflicts:     207000 | #Constraints:     194685
1777.36/1781.21	c bounds - >= 1000 @ 750.896
1777.36/1781.21	c INPROCESSING
1777.36/1781.21	c GARBAGE COLLECT
1777.36/1781.21	c bounds - >= 1001 @ 752.68
1777.36/1781.21	c bounds - >= 1002 @ 753.992
1777.36/1781.21	c bounds - >= 1003 @ 755.39
1777.36/1781.21	c bounds - >= 1004 @ 756.789
1777.36/1781.21	c #Conflicts:     208000 | #Constraints:     186629
1777.36/1781.21	c bounds - >= 1005 @ 758.145
1777.36/1781.21	c bounds - >= 1006 @ 759.564
1777.36/1781.21	c bounds - >= 1007 @ 760.936
1777.36/1781.21	c bounds - >= 1008 @ 762.324
1777.36/1781.21	c #Conflicts:     209000 | #Constraints:     187633
1777.36/1781.21	c bounds - >= 1009 @ 763.78
1777.36/1781.21	c bounds - >= 1010 @ 765.208
1777.36/1781.21	c bounds - >= 1011 @ 766.633
1777.36/1781.21	c bounds - >= 1012 @ 768.002
1777.36/1781.21	c bounds - >= 1013 @ 769.419
1777.36/1781.21	c #Conflicts:     210000 | #Constraints:     188638
1777.36/1781.21	c bounds - >= 1014 @ 770.844
1777.36/1781.21	c bounds - >= 1015 @ 772.224
1777.36/1781.21	c bounds - >= 1016 @ 773.671
1777.36/1781.21	c bounds - >= 1017 @ 775.078
1777.36/1781.21	c bounds - >= 1018 @ 776.509
1777.36/1781.21	c #Conflicts:     211000 | #Constraints:     189643
1777.36/1781.21	c bounds - >= 1019 @ 777.959
1777.36/1781.21	c bounds - >= 1020 @ 779.421
1777.36/1781.21	c bounds - >= 1021 @ 780.816
1777.36/1781.21	c bounds - >= 1022 @ 782.288
1777.36/1781.21	c #Conflicts:     212000 | #Constraints:     190647
1777.36/1781.21	c bounds - >= 1023 @ 783.675
1777.36/1781.21	c bounds - >= 1024 @ 785.09
1777.36/1781.21	c bounds - >= 1025 @ 786.528
1777.36/1781.21	c bounds - >= 1026 @ 787.923
1777.36/1781.21	c bounds - >= 1027 @ 789.316
1777.36/1781.21	c #Conflicts:     213000 | #Constraints:     191652
1777.36/1781.21	c bounds - >= 1028 @ 790.738
1777.36/1781.21	c bounds - >= 1029 @ 792.172
1777.36/1781.21	c bounds - >= 1030 @ 793.585
1777.36/1781.21	c bounds - >= 1031 @ 794.997
1777.36/1781.21	c #Conflicts:     214000 | #Constraints:     192656
1777.36/1781.21	c bounds - >= 1032 @ 796.416
2126.61/2131.22	c bounds - >= 1033 @ 797.847
2126.61/2131.22	c bounds - >= 1034 @ 799.226
2126.61/2131.22	c bounds - >= 1035 @ 800.687
2126.61/2131.22	c bounds - >= 1036 @ 802.11
2126.61/2131.22	c #Conflicts:     215000 | #Constraints:     193661
2126.61/2131.22	c bounds - >= 1037 @ 803.546
2126.61/2131.22	c bounds - >= 1038 @ 804.997
2126.61/2131.22	c bounds - >= 1039 @ 806.452
2126.61/2131.22	c bounds - >= 1040 @ 807.882
2126.61/2131.22	c bounds - >= 1041 @ 809.369
2126.61/2131.22	c #Conflicts:     216000 | #Constraints:     194666
2126.61/2131.22	c bounds - >= 1042 @ 810.789
2126.61/2131.22	c bounds - >= 1043 @ 812.188
2126.61/2131.22	c bounds - >= 1044 @ 813.633
2126.61/2131.22	c INPROCESSING
2126.61/2131.22	c GARBAGE COLLECT
2126.61/2131.22	c bounds - >= 1045 @ 815.46
2126.61/2131.22	c #Conflicts:     217000 | #Constraints:     186418
2126.61/2131.22	c bounds - >= 1046 @ 816.876
2126.61/2131.22	c bounds - >= 1047 @ 818.35
2126.61/2131.22	c bounds - >= 1048 @ 819.738
2126.61/2131.22	c bounds - >= 1049 @ 821.144
2126.61/2131.22	c bounds - >= 1050 @ 822.589
2126.61/2131.22	c #Conflicts:     218000 | #Constraints:     187423
2126.61/2131.22	c bounds - >= 1051 @ 824.006
2126.61/2131.22	c bounds - >= 1052 @ 825.482
2126.61/2131.22	c bounds - >= 1053 @ 826.93
2126.61/2131.22	c bounds - >= 1054 @ 828.358
2126.61/2131.22	c bounds - >= 1055 @ 829.85
2126.61/2131.22	c #Conflicts:     219000 | #Constraints:     188428
2126.61/2131.22	c bounds - >= 1056 @ 831.321
2126.61/2131.22	c bounds - >= 1057 @ 832.742
2126.61/2131.23	c bounds - >= 1058 @ 834.229
2126.61/2131.23	c bounds - >= 1059 @ 835.714
2126.61/2131.23	c #Conflicts:     220000 | #Constraints:     189432
2126.61/2131.23	c bounds - >= 1060 @ 837.216
2126.61/2131.23	c bounds - >= 1061 @ 838.709
2126.61/2131.23	c bounds - >= 1062 @ 840.19
2126.61/2131.23	c bounds - >= 1063 @ 841.679
2126.61/2131.23	c bounds - >= 1064 @ 843.117
2126.61/2131.23	c #Conflicts:     221000 | #Constraints:     190437
2126.61/2131.23	c bounds - >= 1065 @ 844.632
2126.61/2131.23	c bounds - >= 1066 @ 846.107
2126.61/2131.23	c bounds - >= 1067 @ 847.564
2126.61/2131.23	c bounds - >= 1068 @ 849.028
2126.61/2131.23	c bounds - >= 1069 @ 850.461
2126.61/2131.23	c #Conflicts:     222000 | #Constraints:     191442
2126.61/2131.23	c bounds - >= 1070 @ 851.925
2126.61/2131.23	c bounds - >= 1071 @ 853.462
2126.61/2131.23	c bounds - >= 1072 @ 854.932
2126.61/2131.23	c bounds - >= 1073 @ 856.375
2126.61/2131.23	c #Conflicts:     223000 | #Constraints:     192446
2126.61/2131.23	c bounds - >= 1074 @ 857.848
2126.61/2131.23	c bounds - >= 1075 @ 859.393
2126.61/2131.23	c bounds - >= 1076 @ 860.889
2126.61/2131.23	c bounds - >= 1077 @ 862.386
2126.61/2131.23	c bounds - >= 1078 @ 863.889
2126.61/2131.23	c #Conflicts:     224000 | #Constraints:     193451
2126.61/2131.23	c bounds - >= 1079 @ 865.436
2126.61/2131.23	c bounds - >= 1080 @ 866.913
2126.61/2131.23	c bounds - >= 1081 @ 868.4
2126.61/2131.23	c bounds - >= 1082 @ 869.894
2126.61/2131.23	c #Conflicts:     225000 | #Constraints:     194455
2126.61/2131.23	c bounds - >= 1083 @ 871.394
2126.61/2131.23	c bounds - >= 1084 @ 872.893
2126.61/2131.23	c bounds - >= 1085 @ 874.395
2126.61/2131.23	c bounds - >= 1086 @ 875.889
2126.61/2131.23	c bounds - >= 1087 @ 877.372
2126.61/2131.23	c #Conflicts:     226000 | #Constraints:     195460
2126.61/2131.23	c bounds - >= 1088 @ 878.863
2126.61/2131.23	c INPROCESSING
2126.61/2131.23	c GARBAGE COLLECT
2126.61/2131.23	c bounds - >= 1089 @ 880.767
2126.61/2131.23	c bounds - >= 1090 @ 882.285
2126.61/2131.23	c bounds - >= 1091 @ 883.792
2126.61/2131.23	c bounds - >= 1092 @ 885.315
2126.61/2131.23	c #Conflicts:     227000 | #Constraints:     187038
2126.61/2131.23	c bounds - >= 1093 @ 886.845
2126.61/2131.23	c bounds - >= 1094 @ 888.359
2126.61/2131.23	c bounds - >= 1095 @ 889.871
2126.61/2131.23	c bounds - >= 1096 @ 891.366
2126.61/2131.23	c #Conflicts:     228000 | #Constraints:     188042
2126.61/2131.23	c bounds - >= 1097 @ 892.851
2126.61/2131.23	c bounds - >= 1098 @ 894.36
2126.61/2131.23	c bounds - >= 1099 @ 895.878
2126.61/2131.23	c bounds - >= 1100 @ 897.411
2126.61/2131.23	c bounds - >= 1101 @ 898.96
2126.61/2131.23	c #Conflicts:     229000 | #Constraints:     189047
2126.61/2131.23	c bounds - >= 1102 @ 900.474
2126.61/2131.23	c bounds - >= 1103 @ 901.984
2126.61/2131.23	c bounds - >= 1104 @ 903.482
2126.61/2131.23	c bounds - >= 1105 @ 905.05
2126.61/2131.23	c bounds - >= 1106 @ 906.585
2126.61/2131.23	c #Conflicts:     230000 | #Constraints:     190052
2126.61/2131.23	c bounds - >= 1107 @ 908.078
2126.61/2131.23	c bounds - >= 1108 @ 909.603
2126.61/2131.23	c bounds - >= 1109 @ 911.153
2126.61/2131.23	c bounds - >= 1110 @ 912.681
2126.61/2131.23	c #Conflicts:     231000 | #Constraints:     191056
2126.61/2131.23	c bounds - >= 1111 @ 914.186
2126.61/2131.23	c bounds - >= 1112 @ 915.732
2126.61/2131.23	c bounds - >= 1113 @ 917.233
2126.61/2131.23	c bounds - >= 1114 @ 918.78
2126.61/2131.23	c bounds - >= 1115 @ 920.343
2126.61/2131.23	c #Conflicts:     232000 | #Constraints:     192061
2126.61/2131.23	c bounds - >= 1116 @ 921.882
2126.61/2131.23	c bounds - >= 1117 @ 923.429
2126.61/2131.23	c bounds - >= 1118 @ 924.999
2126.61/2131.23	c bounds - >= 1119 @ 926.558
2126.61/2131.23	c #Conflicts:     233000 | #Constraints:     193065
2126.61/2131.23	c bounds - >= 1120 @ 928.16
2126.61/2131.23	c bounds - >= 1121 @ 929.736
2126.61/2131.23	c bounds - >= 1122 @ 931.294
2126.61/2131.23	c bounds - >= 1123 @ 932.838
2126.61/2131.23	c bounds - >= 1124 @ 934.367
2126.61/2131.23	c #Conflicts:     234000 | #Constraints:     194070
2126.61/2131.23	c bounds - >= 1125 @ 935.903
2126.61/2131.23	c bounds - >= 1126 @ 937.414
2126.61/2131.23	c bounds - >= 1127 @ 938.93
2126.61/2131.23	c bounds - >= 1128 @ 940.45
2126.61/2131.23	c bounds - >= 1129 @ 942.016
2126.61/2131.23	c #Conflicts:     235000 | #Constraints:     195075
2126.61/2131.23	c bounds - >= 1130 @ 943.586
2126.61/2131.23	c bounds - >= 1131 @ 945.16
2126.61/2131.23	c bounds - >= 1132 @ 946.728
2126.61/2131.23	c bounds - >= 1133 @ 948.294
2500.12/2505.57	c #Conflicts:     236000 | #Constraints:     196079
2500.12/2505.57	c INPROCESSING
2500.12/2505.57	c GARBAGE COLLECT
2500.12/2505.57	c bounds - >= 1134 @ 950.266
2500.12/2505.57	c bounds - >= 1135 @ 951.849
2500.12/2505.57	c bounds - >= 1136 @ 953.473
2500.12/2505.57	c bounds - >= 1137 @ 955.057
2500.12/2505.57	c bounds - >= 1138 @ 956.669
2500.12/2505.57	c #Conflicts:     237000 | #Constraints:     187433
2500.12/2505.57	c bounds - >= 1139 @ 958.255
2500.12/2505.57	c bounds - >= 1140 @ 959.799
2500.12/2505.57	c bounds - >= 1141 @ 961.32
2500.12/2505.57	c bounds - >= 1142 @ 962.918
2500.12/2505.57	c bounds - >= 1143 @ 964.489
2500.12/2505.57	c #Conflicts:     238000 | #Constraints:     188438
2500.12/2505.57	c bounds - >= 1144 @ 966.08
2500.12/2505.57	c bounds - >= 1145 @ 967.673
2500.12/2505.57	c bounds - >= 1146 @ 969.323
2500.12/2505.57	c bounds - >= 1147 @ 970.943
2500.12/2505.57	c #Conflicts:     239000 | #Constraints:     189442
2500.12/2505.57	c bounds - >= 1148 @ 972.482
2500.12/2505.57	c bounds - >= 1149 @ 974.001
2500.12/2505.57	c bounds - >= 1150 @ 975.589
2500.12/2505.57	c bounds - >= 1151 @ 977.208
2500.12/2505.57	c bounds - >= 1152 @ 978.807
2500.12/2505.57	c #Conflicts:     240000 | #Constraints:     190447
2500.12/2505.57	c bounds - >= 1153 @ 980.327
2500.12/2505.57	c bounds - >= 1154 @ 981.917
2500.12/2505.57	c bounds - >= 1155 @ 983.512
2500.12/2505.57	c bounds - >= 1156 @ 985.14
2500.12/2505.57	c #Conflicts:     241000 | #Constraints:     191451
2500.12/2505.57	c bounds - >= 1157 @ 986.719
2500.12/2505.57	c bounds - >= 1158 @ 988.362
2500.12/2505.57	c bounds - >= 1159 @ 989.909
2500.12/2505.57	c bounds - >= 1160 @ 991.486
2500.12/2505.57	c bounds - >= 1161 @ 993.058
2500.12/2505.57	c #Conflicts:     242000 | #Constraints:     192456
2500.12/2505.57	c bounds - >= 1162 @ 994.689
2500.12/2505.57	c bounds - >= 1163 @ 996.298
2500.12/2505.57	c bounds - >= 1164 @ 997.876
2500.12/2505.57	c bounds - >= 1165 @ 999.481
2500.12/2505.57	c bounds - >= 1166 @ 1001.05
2500.12/2505.57	c #Conflicts:     243000 | #Constraints:     193461
2500.12/2505.57	c bounds - >= 1167 @ 1002.71
2500.12/2505.57	c bounds - >= 1168 @ 1004.36
2500.12/2505.57	c bounds - >= 1169 @ 1006.05
2500.12/2505.57	c bounds - >= 1170 @ 1007.64
2500.12/2505.57	c #Conflicts:     244000 | #Constraints:     194465
2500.12/2505.57	c bounds - >= 1171 @ 1009.3
2500.12/2505.57	c bounds - >= 1172 @ 1010.89
2500.12/2505.57	c bounds - >= 1173 @ 1012.48
2500.12/2505.57	c bounds - >= 1174 @ 1014.08
2500.12/2505.57	c bounds - >= 1175 @ 1015.71
2500.12/2505.57	c #Conflicts:     245000 | #Constraints:     195470
2500.12/2505.57	c bounds - >= 1176 @ 1017.31
2500.12/2505.57	c bounds - >= 1177 @ 1018.95
2500.12/2505.57	c bounds - >= 1178 @ 1020.56
2500.12/2505.57	c bounds - >= 1179 @ 1022.18
2500.12/2505.57	c bounds - >= 1180 @ 1023.81
2500.12/2505.57	c #Conflicts:     246000 | #Constraints:     196475
2500.12/2505.57	c INPROCESSING
2500.12/2505.57	c GARBAGE COLLECT
2500.12/2505.57	c bounds - >= 1181 @ 1025.84
2500.12/2505.57	c bounds - >= 1182 @ 1027.44
2500.12/2505.57	c bounds - >= 1183 @ 1029.08
2500.12/2505.57	c bounds - >= 1184 @ 1030.69
2500.12/2505.57	c #Conflicts:     247000 | #Constraints:     187632
2500.12/2505.57	c bounds - >= 1185 @ 1032.31
2500.12/2505.57	c bounds - >= 1186 @ 1033.94
2500.12/2505.57	c bounds - >= 1187 @ 1035.58
2500.12/2505.57	c bounds - >= 1188 @ 1037.22
2500.12/2505.57	c bounds - >= 1189 @ 1038.87
2500.12/2505.57	c #Conflicts:     248000 | #Constraints:     188637
2500.12/2505.57	c bounds - >= 1190 @ 1040.54
2500.12/2505.57	c bounds - >= 1191 @ 1042.18
2500.12/2505.57	c bounds - >= 1192 @ 1043.8
2500.12/2505.57	c bounds - >= 1193 @ 1045.43
2500.12/2505.57	c bounds - >= 1194 @ 1047.08
2500.12/2505.57	c #Conflicts:     249000 | #Constraints:     189642
2500.12/2505.57	c bounds - >= 1195 @ 1048.78
2500.12/2505.57	c bounds - >= 1196 @ 1050.47
2500.12/2505.57	c bounds - >= 1197 @ 1052.18
2500.12/2505.57	c bounds - >= 1198 @ 1053.85
2500.12/2505.57	c #Conflicts:     250000 | #Constraints:     190646
2500.12/2505.57	c bounds - >= 1199 @ 1055.5
2500.12/2505.57	c bounds - >= 1200 @ 1057.14
2500.12/2505.57	c bounds - >= 1201 @ 1058.78
2500.12/2505.57	c bounds - >= 1202 @ 1060.43
2500.12/2505.57	c bounds - >= 1203 @ 1062.1
2500.12/2505.57	c #Conflicts:     251000 | #Constraints:     191651
2500.12/2505.57	c bounds - >= 1204 @ 1063.81
2500.12/2505.57	c bounds - >= 1205 @ 1065.47
2500.12/2505.57	c bounds - >= 1206 @ 1067.15
2500.12/2505.57	c bounds - >= 1207 @ 1068.78
2500.12/2505.57	c #Conflicts:     252000 | #Constraints:     192655
2500.12/2505.57	c bounds - >= 1208 @ 1070.46
2500.12/2505.57	c bounds - >= 1209 @ 1072.17
2500.12/2505.57	c bounds - >= 1210 @ 1073.82
2500.12/2505.57	c bounds - >= 1211 @ 1075.46
2500.12/2505.57	c bounds - >= 1212 @ 1077.16
2500.12/2505.57	c #Conflicts:     253000 | #Constraints:     193660
2500.12/2505.57	c bounds - >= 1213 @ 1078.88
2500.12/2505.57	c bounds - >= 1214 @ 1080.53
2500.12/2505.57	c bounds - >= 1215 @ 1082.15
2500.12/2505.57	c bounds - >= 1216 @ 1083.84
2500.12/2505.57	c bounds - >= 1217 @ 1085.46
2500.12/2505.57	c #Conflicts:     254000 | #Constraints:     194665
2500.12/2505.57	c bounds - >= 1218 @ 1087.16
2500.12/2505.57	c bounds - >= 1219 @ 1088.86
2500.12/2505.57	c bounds - >= 1220 @ 1090.55
2500.12/2505.57	c bounds - >= 1221 @ 1092.21
2500.12/2505.57	c #Conflicts:     255000 | #Constraints:     195669
2500.12/2505.57	c bounds - >= 1222 @ 1093.89
2500.12/2505.57	c bounds - >= 1223 @ 1095.61
2500.12/2505.57	c bounds - >= 1224 @ 1097.24
2500.12/2505.57	c bounds - >= 1225 @ 1098.94
2500.12/2505.57	c bounds - >= 1226 @ 1100.63
2500.12/2505.57	c #Conflicts:     256000 | #Constraints:     196674
2500.12/2505.57	c bounds - >= 1227 @ 1102.29
2500.12/2505.57	c INPROCESSING
2500.12/2505.57	c GARBAGE COLLECT
2500.12/2505.57	c bounds - >= 1228 @ 1104.38
2500.12/2505.57	c bounds - >= 1229 @ 1106.11
2500.12/2505.57	c bounds - >= 1230 @ 1107.8
2500.12/2505.57	c bounds - >= 1231 @ 1109.45
2500.12/2505.57	c #Conflicts:     257000 | #Constraints:     187629
2500.12/2505.57	c bounds - >= 1232 @ 1111.19
2912.07/2918.37	c bounds - >= 1233 @ 1112.84
2912.07/2918.37	c bounds - >= 1234 @ 1114.51
2912.07/2918.37	c bounds - >= 1235 @ 1116.23
2912.07/2918.37	c #Conflicts:     258000 | #Constraints:     188633
2912.07/2918.37	c bounds - >= 1236 @ 1117.95
2912.07/2918.37	c bounds - >= 1237 @ 1119.72
2912.07/2918.37	c bounds - >= 1238 @ 1121.44
2912.07/2918.37	c bounds - >= 1239 @ 1123.14
2912.07/2918.37	c bounds - >= 1240 @ 1124.79
2912.07/2918.37	c #Conflicts:     259000 | #Constraints:     189638
2912.07/2918.37	c bounds - >= 1241 @ 1126.5
2912.07/2918.37	c bounds - >= 1242 @ 1128.21
2912.07/2918.37	c bounds - >= 1243 @ 1129.98
2912.07/2918.37	c bounds - >= 1244 @ 1131.73
2912.07/2918.37	c #Conflicts:     260000 | #Constraints:     190642
2912.07/2918.37	c bounds - >= 1245 @ 1133.41
2912.07/2918.37	c bounds - >= 1246 @ 1135.07
2912.07/2918.37	c bounds - >= 1247 @ 1136.8
2912.07/2918.37	c bounds - >= 1248 @ 1138.59
2912.07/2918.37	c bounds - >= 1249 @ 1140.3
2912.07/2918.37	c #Conflicts:     261000 | #Constraints:     191647
2912.07/2918.37	c bounds - >= 1250 @ 1142.04
2912.07/2918.37	c bounds - >= 1251 @ 1143.76
2912.07/2918.37	c bounds - >= 1252 @ 1145.51
2912.07/2918.37	c bounds - >= 1253 @ 1147.2
2912.07/2918.37	c bounds - >= 1254 @ 1148.92
2912.07/2918.37	c #Conflicts:     262000 | #Constraints:     192652
2912.07/2918.37	c bounds - >= 1255 @ 1150.64
2912.07/2918.37	c bounds - >= 1256 @ 1152.33
2912.07/2918.37	c bounds - >= 1257 @ 1154.05
2912.07/2918.37	c bounds - >= 1258 @ 1155.84
2912.07/2918.37	c #Conflicts:     263000 | #Constraints:     193656
2912.07/2918.37	c bounds - >= 1259 @ 1157.6
2912.07/2918.37	c bounds - >= 1260 @ 1159.39
2912.07/2918.37	c bounds - >= 1261 @ 1161.1
2912.07/2918.37	c bounds - >= 1262 @ 1162.8
2912.07/2918.37	c bounds - >= 1263 @ 1164.52
2912.07/2918.37	c #Conflicts:     264000 | #Constraints:     194661
2912.07/2918.37	c bounds - >= 1264 @ 1166.3
2912.07/2918.37	c bounds - >= 1265 @ 1168.02
2912.07/2918.37	c bounds - >= 1266 @ 1169.78
2912.07/2918.37	c bounds - >= 1267 @ 1171.52
2912.07/2918.37	c bounds - >= 1268 @ 1173.24
2912.07/2918.37	c #Conflicts:     265000 | #Constraints:     195666
2912.07/2918.37	c bounds - >= 1269 @ 1174.96
2912.07/2918.37	c bounds - >= 1270 @ 1176.66
2912.07/2918.37	c bounds - >= 1271 @ 1178.35
2912.07/2918.37	c bounds - >= 1272 @ 1180.1
2912.07/2918.37	c #Conflicts:     266000 | #Constraints:     196670
2912.07/2918.37	c bounds - >= 1273 @ 1181.82
2912.07/2918.37	c bounds - >= 1274 @ 1183.59
2912.07/2918.37	c bounds - >= 1275 @ 1185.33
2912.07/2918.37	c INPROCESSING
2912.07/2918.37	c GARBAGE COLLECT
2912.07/2918.37	c bounds - >= 1276 @ 1187.45
2912.07/2918.37	c bounds - >= 1277 @ 1189.2
2912.07/2918.37	c #Conflicts:     267000 | #Constraints:     187413
2912.07/2918.37	c bounds - >= 1278 @ 1190.99
2912.07/2918.37	c bounds - >= 1279 @ 1192.68
2912.07/2918.37	c bounds - >= 1280 @ 1194.48
2912.07/2918.37	c bounds - >= 1281 @ 1196.27
2912.07/2918.37	c #Conflicts:     268000 | #Constraints:     188417
2912.07/2918.37	c bounds - >= 1282 @ 1198.03
2912.07/2918.37	c bounds - >= 1283 @ 1199.82
2912.07/2918.37	c bounds - >= 1284 @ 1201.57
2912.07/2918.37	c bounds - >= 1285 @ 1203.37
2912.07/2918.37	c bounds - >= 1286 @ 1205.18
2912.07/2918.37	c #Conflicts:     269000 | #Constraints:     189422
2912.07/2918.37	c bounds - >= 1287 @ 1206.95
2912.07/2918.37	c bounds - >= 1288 @ 1208.7
2912.07/2918.37	c bounds - >= 1289 @ 1210.47
2912.07/2918.37	c bounds - >= 1290 @ 1212.3
2912.07/2918.37	c bounds - >= 1291 @ 1214.09
2912.07/2918.37	c #Conflicts:     270000 | #Constraints:     190427
2912.07/2918.37	c bounds - >= 1292 @ 1215.85
2912.07/2918.37	c bounds - >= 1293 @ 1217.62
2912.07/2918.37	c bounds - >= 1294 @ 1219.39
2912.07/2918.37	c bounds - >= 1295 @ 1221.18
2912.07/2918.37	c #Conflicts:     271000 | #Constraints:     191431
2912.07/2918.37	c bounds - >= 1296 @ 1222.97
2912.07/2918.37	c bounds - >= 1297 @ 1224.77
2912.07/2918.37	c bounds - >= 1298 @ 1226.52
2912.07/2918.37	c bounds - >= 1299 @ 1228.32
2912.07/2918.37	c bounds - >= 1300 @ 1230.11
2912.07/2918.37	c #Conflicts:     272000 | #Constraints:     192436
2912.07/2918.37	c bounds - >= 1301 @ 1231.87
2912.07/2918.37	c bounds - >= 1302 @ 1233.71
2912.07/2918.37	c bounds - >= 1303 @ 1235.53
2912.07/2918.37	c bounds - >= 1304 @ 1237.33
2912.07/2918.37	c bounds - >= 1305 @ 1239.12
2912.07/2918.37	c #Conflicts:     273000 | #Constraints:     193441
2912.07/2918.37	c bounds - >= 1306 @ 1240.93
2912.07/2918.37	c bounds - >= 1307 @ 1242.73
2912.07/2918.37	c bounds - >= 1308 @ 1244.46
2912.07/2918.37	c bounds - >= 1309 @ 1246.27
2912.07/2918.37	c #Conflicts:     274000 | #Constraints:     194445
2912.07/2918.37	c bounds - >= 1310 @ 1248.03
2912.07/2918.37	c bounds - >= 1311 @ 1249.83
2912.07/2918.37	c bounds - >= 1312 @ 1251.64
2912.07/2918.37	c bounds - >= 1313 @ 1253.46
2912.07/2918.37	c bounds - >= 1314 @ 1255.24
2912.07/2918.37	c #Conflicts:     275000 | #Constraints:     195450
2912.07/2918.37	c bounds - >= 1315 @ 1257.05
2912.07/2918.37	c bounds - >= 1316 @ 1258.83
2912.07/2918.37	c bounds - >= 1317 @ 1260.68
2912.07/2918.37	c bounds - >= 1318 @ 1262.49
2912.07/2918.37	c bounds - >= 1319 @ 1264.28
2912.07/2918.37	c #Conflicts:     276000 | #Constraints:     196455
2912.07/2918.37	c bounds - >= 1320 @ 1266.11
2912.07/2918.37	c bounds - >= 1321 @ 1267.95
2912.07/2918.37	c bounds - >= 1322 @ 1269.74
2912.07/2918.37	c bounds - >= 1323 @ 1271.53
2912.07/2918.37	c #Conflicts:     277000 | #Constraints:     197459
2912.07/2918.37	c bounds - >= 1324 @ 1273.37
2912.07/2918.37	c INPROCESSING
2912.07/2918.37	c GARBAGE COLLECT
2912.07/2918.37	c bounds - >= 1325 @ 1275.57
2912.07/2918.37	c bounds - >= 1326 @ 1277.4
2912.07/2918.37	c bounds - >= 1327 @ 1279.23
2912.07/2918.37	c bounds - >= 1328 @ 1281.03
2912.07/2918.37	c #Conflicts:     278000 | #Constraints:     188015
2912.07/2918.37	c bounds - >= 1329 @ 1282.86
2912.07/2918.37	c bounds - >= 1330 @ 1284.69
2912.07/2918.37	c bounds - >= 1331 @ 1286.48
2912.07/2918.37	c bounds - >= 1332 @ 1288.28
2912.07/2918.37	c #Conflicts:     279000 | #Constraints:     189019
3356.43/3363.63	c bounds - >= 1333 @ 1290.13
3356.43/3363.63	c bounds - >= 1334 @ 1291.92
3356.43/3363.63	c bounds - >= 1335 @ 1293.73
3356.43/3363.63	c bounds - >= 1336 @ 1295.59
3356.43/3363.63	c bounds - >= 1337 @ 1297.44
3356.43/3363.63	c #Conflicts:     280000 | #Constraints:     190024
3356.43/3363.63	c bounds - >= 1338 @ 1299.28
3356.43/3363.63	c bounds - >= 1339 @ 1301.1
3356.43/3363.63	c bounds - >= 1340 @ 1302.87
3356.43/3363.63	c bounds - >= 1341 @ 1304.69
3356.43/3363.63	c bounds - >= 1342 @ 1306.53
3356.43/3363.63	c #Conflicts:     281000 | #Constraints:     191029
3356.43/3363.63	c bounds - >= 1343 @ 1308.37
3356.43/3363.63	c bounds - >= 1344 @ 1310.19
3356.43/3363.63	c bounds - >= 1345 @ 1312.06
3356.43/3363.63	c bounds - >= 1346 @ 1313.91
3356.43/3363.63	c #Conflicts:     282000 | #Constraints:     192033
3356.43/3363.63	c bounds - >= 1347 @ 1315.81
3356.43/3363.63	c bounds - >= 1348 @ 1317.69
3356.43/3363.63	c bounds - >= 1349 @ 1319.53
3356.43/3363.63	c bounds - >= 1350 @ 1321.35
3356.43/3363.63	c bounds - >= 1351 @ 1323.2
3356.43/3363.63	c #Conflicts:     283000 | #Constraints:     193038
3356.43/3363.63	c bounds - >= 1352 @ 1325.11
3356.43/3363.63	c bounds - >= 1353 @ 1326.96
3356.43/3363.63	c bounds - >= 1354 @ 1328.9
3356.43/3363.63	c bounds - >= 1355 @ 1330.76
3356.43/3363.63	c bounds - >= 1356 @ 1332.62
3356.43/3363.63	c #Conflicts:     284000 | #Constraints:     194043
3356.43/3363.63	c bounds - >= 1357 @ 1334.5
3356.43/3363.63	c bounds - >= 1358 @ 1336.38
3356.43/3363.63	c bounds - >= 1359 @ 1338.22
3356.43/3363.63	c bounds - >= 1360 @ 1340.07
3356.43/3363.63	c #Conflicts:     285000 | #Constraints:     195047
3356.43/3363.63	c bounds - >= 1361 @ 1341.9
3356.43/3363.63	c bounds - >= 1362 @ 1343.78
3356.43/3363.63	c bounds - >= 1363 @ 1345.58
3356.43/3363.63	c bounds - >= 1364 @ 1347.44
3356.43/3363.63	c bounds - >= 1365 @ 1349.35
3356.43/3363.63	c #Conflicts:     286000 | #Constraints:     196052
3356.43/3363.63	c bounds - >= 1366 @ 1351.21
3356.43/3363.63	c bounds - >= 1367 @ 1353.04
3356.43/3363.63	c bounds - >= 1368 @ 1354.9
3356.43/3363.63	c bounds - >= 1369 @ 1356.8
3356.43/3363.63	c #Conflicts:     287000 | #Constraints:     197056
3356.43/3363.63	c bounds - >= 1370 @ 1358.62
3356.43/3363.63	c bounds - >= 1371 @ 1360.51
3356.43/3363.63	c bounds - >= 1372 @ 1362.36
3356.43/3363.63	c bounds - >= 1373 @ 1364.32
3356.43/3363.63	c bounds - >= 1374 @ 1366.23
3356.43/3363.63	c #Conflicts:     288000 | #Constraints:     198061
3356.43/3363.63	c INPROCESSING
3356.43/3363.63	c GARBAGE COLLECT
3356.43/3363.63	c bounds - >= 1375 @ 1368.55
3356.43/3363.63	c bounds - >= 1376 @ 1370.44
3356.43/3363.63	c bounds - >= 1377 @ 1372.4
3356.43/3363.63	c bounds - >= 1378 @ 1374.29
3356.43/3363.63	c bounds - >= 1379 @ 1376.17
3356.43/3363.63	c #Conflicts:     289000 | #Constraints:     188415
3356.43/3363.63	c bounds - >= 1380 @ 1378.09
3356.43/3363.63	c bounds - >= 1381 @ 1380.01
3356.43/3363.63	c bounds - >= 1382 @ 1381.97
3356.43/3363.63	c bounds - >= 1383 @ 1383.88
3356.43/3363.63	c #Conflicts:     290000 | #Constraints:     189419
3356.43/3363.63	c bounds - >= 1384 @ 1385.8
3356.43/3363.63	c bounds - >= 1385 @ 1387.71
3356.43/3363.63	c bounds - >= 1386 @ 1389.62
3356.43/3363.63	c bounds - >= 1387 @ 1391.52
3356.43/3363.63	c bounds - >= 1388 @ 1393.38
3356.43/3363.63	c #Conflicts:     291000 | #Constraints:     190424
3356.43/3363.63	c bounds - >= 1389 @ 1395.29
3356.43/3363.63	c bounds - >= 1390 @ 1397.22
3356.43/3363.63	c bounds - >= 1391 @ 1399.15
3356.43/3363.63	c bounds - >= 1392 @ 1401.1
3356.43/3363.63	c bounds - >= 1393 @ 1403.03
3356.43/3363.63	c #Conflicts:     292000 | #Constraints:     191429
3356.43/3363.63	c bounds - >= 1394 @ 1404.89
3356.43/3363.63	c bounds - >= 1395 @ 1406.84
3356.43/3363.63	c bounds - >= 1396 @ 1408.75
3356.43/3363.63	c bounds - >= 1397 @ 1410.68
3356.43/3363.63	c #Conflicts:     293000 | #Constraints:     192433
3356.43/3363.63	c bounds - >= 1398 @ 1412.58
3356.43/3363.63	c bounds - >= 1399 @ 1414.46
3356.43/3363.63	c bounds - >= 1400 @ 1416.38
3356.43/3363.63	c bounds - >= 1401 @ 1418.33
3356.43/3363.63	c bounds - >= 1402 @ 1420.2
3356.43/3363.63	c #Conflicts:     294000 | #Constraints:     193438
3356.43/3363.63	c bounds - >= 1403 @ 1422.09
3356.43/3363.63	c bounds - >= 1404 @ 1424.03
3356.43/3363.63	c bounds - >= 1405 @ 1425.97
3356.43/3363.63	c bounds - >= 1406 @ 1427.91
3356.43/3363.63	c #Conflicts:     295000 | #Constraints:     194442
3356.43/3363.63	c bounds - >= 1407 @ 1429.86
3356.43/3363.63	c bounds - >= 1408 @ 1431.81
3356.43/3363.63	c bounds - >= 1409 @ 1433.73
3356.43/3363.63	c bounds - >= 1410 @ 1435.65
3356.43/3363.63	c bounds - >= 1411 @ 1437.56
3356.43/3363.63	c #Conflicts:     296000 | #Constraints:     195447
3356.43/3363.63	c bounds - >= 1412 @ 1439.51
3356.43/3363.63	c bounds - >= 1413 @ 1441.48
3356.43/3363.63	c bounds - >= 1414 @ 1443.37
3356.43/3363.63	c bounds - >= 1415 @ 1445.35
3356.43/3363.63	c bounds - >= 1416 @ 1447.37
3356.43/3363.63	c #Conflicts:     297000 | #Constraints:     196452
3356.43/3363.63	c bounds - >= 1417 @ 1449.33
3356.43/3363.63	c bounds - >= 1418 @ 1451.27
3356.43/3363.63	c bounds - >= 1419 @ 1453.25
3356.43/3363.63	c bounds - >= 1420 @ 1455.24
3356.43/3363.63	c #Conflicts:     298000 | #Constraints:     197456
3356.43/3363.63	c bounds - >= 1421 @ 1457.24
3356.43/3363.63	c bounds - >= 1422 @ 1459.23
3356.43/3363.63	c bounds - >= 1423 @ 1461.18
3356.43/3363.63	c bounds - >= 1424 @ 1463.18
3356.43/3363.63	c bounds - >= 1425 @ 1465.12
3356.43/3363.63	c #Conflicts:     299000 | #Constraints:     198461
3356.43/3363.63	c INPROCESSING
3356.43/3363.63	c GARBAGE COLLECT
3356.43/3363.63	c bounds - >= 1426 @ 1467.49
3356.43/3363.63	c bounds - >= 1427 @ 1469.48
3356.43/3363.63	c bounds - >= 1428 @ 1471.48
3356.43/3363.63	c bounds - >= 1429 @ 1473.51
3356.43/3363.63	c bounds - >= 1430 @ 1475.47
3356.43/3363.63	c #Conflicts:     300000 | #Constraints:     188605
3356.43/3363.63	c bounds - >= 1431 @ 1477.44
3356.43/3363.63	c bounds - >= 1432 @ 1479.4
3356.43/3363.63	c bounds - >= 1433 @ 1481.37
3356.43/3363.63	c bounds - >= 1434 @ 1483.37
3600.00/3607.80	c #Conflicts:     301000 | #Constraints:     189609
3600.00/3607.80	c bounds - >= 1435 @ 1485.32
3600.00/3607.80	c bounds - >= 1436 @ 1487.29
3600.00/3607.80	c bounds - >= 1437 @ 1489.3
3600.00/3607.80	c bounds - >= 1438 @ 1491.3
3600.00/3607.80	c bounds - >= 1439 @ 1493.28
3600.00/3607.80	c #Conflicts:     302000 | #Constraints:     190614
3600.00/3607.80	c bounds - >= 1440 @ 1495.3
3600.00/3607.80	c bounds - >= 1441 @ 1497.26
3600.00/3607.80	c bounds - >= 1442 @ 1499.25
3600.00/3607.80	c bounds - >= 1443 @ 1501.21
3600.00/3607.80	c bounds - >= 1444 @ 1503.19
3600.00/3607.80	c #Conflicts:     303000 | #Constraints:     191619
3600.00/3607.80	c bounds - >= 1445 @ 1505.21
3600.00/3607.80	c bounds - >= 1446 @ 1507.2
3600.00/3607.80	c bounds - >= 1447 @ 1509.15
3600.00/3607.80	c bounds - >= 1448 @ 1511.12
3600.00/3607.80	c #Conflicts:     304000 | #Constraints:     192623
3600.00/3607.80	c bounds - >= 1449 @ 1513.13
3600.00/3607.80	c bounds - >= 1450 @ 1515.11
3600.00/3607.80	c bounds - >= 1451 @ 1517.11
3600.00/3607.80	c bounds - >= 1452 @ 1519.08
3600.00/3607.80	c bounds - >= 1453 @ 1521.01
3600.00/3607.80	c #Conflicts:     305000 | #Constraints:     193628
3600.00/3607.80	c bounds - >= 1454 @ 1523.01
3600.00/3607.80	c bounds - >= 1455 @ 1525.04
3600.00/3607.80	c bounds - >= 1456 @ 1527.03
3600.00/3607.80	c bounds - >= 1457 @ 1529.07
3600.00/3607.80	c #Conflicts:     306000 | #Constraints:     194632
3600.00/3607.80	c bounds - >= 1458 @ 1531.09
3600.00/3607.80	c bounds - >= 1459 @ 1533.08
3600.00/3607.80	c bounds - >= 1460 @ 1535.1
3600.00/3607.80	c bounds - >= 1461 @ 1537.16
3600.00/3607.80	c bounds - >= 1462 @ 1539.18
3600.00/3607.80	c #Conflicts:     307000 | #Constraints:     195637
3600.00/3607.80	c bounds - >= 1463 @ 1541.23
3600.00/3607.80	c bounds - >= 1464 @ 1543.25
3600.00/3607.80	c bounds - >= 1465 @ 1545.24
3600.00/3607.80	c bounds - >= 1466 @ 1547.24
3600.00/3607.80	c bounds - >= 1467 @ 1549.28
3600.00/3607.80	c #Conflicts:     308000 | #Constraints:     196642
3600.00/3607.80	c bounds - >= 1468 @ 1551.28
3600.00/3607.80	c bounds - >= 1469 @ 1553.31
3600.00/3607.80	c bounds - >= 1470 @ 1555.34
3600.00/3607.80	c bounds - >= 1471 @ 1557.38
3600.00/3607.80	c #Conflicts:     309000 | #Constraints:     197646
3600.00/3607.80	c bounds - >= 1472 @ 1559.41
3600.00/3607.80	c bounds - >= 1473 @ 1561.48
3600.00/3607.80	c bounds - >= 1474 @ 1563.5
3600.00/3607.80	c bounds - >= 1475 @ 1565.55
3600.00/3607.80	c bounds - >= 1476 @ 1567.55
3600.00/3607.80	c #Conflicts:     310000 | #Constraints:     198651
3600.00/3607.80	c bounds - >= 1477 @ 1569.58
3600.00/3607.80	c INPROCESSING
3600.00/3607.80	c GARBAGE COLLECT
3600.00/3607.80	c bounds - >= 1478 @ 1572.07
3600.00/3607.80	c bounds - >= 1479 @ 1574.05
3600.00/3607.80	c bounds - >= 1480 @ 1576.15
3600.00/3607.80	c bounds - >= 1481 @ 1578.17
3600.00/3607.80	c #Conflicts:     311000 | #Constraints:     188608
3600.00/3607.80	c bounds - >= 1482 @ 1580.23
3600.00/3607.80	c bounds - >= 1483 @ 1582.23
3600.00/3607.80	c bounds - >= 1484 @ 1584.23
3600.00/3607.80	c bounds - >= 1485 @ 1586.23
3600.00/3607.80	c #Conflicts:     312000 | #Constraints:     189612
3600.00/3607.80	c bounds - >= 1486 @ 1588.26
3600.00/3607.80	c Program interrupted by user.
3600.00/3607.80	c cpu time 1588.91 s
3600.00/3607.80	c deterministic time 13897037670 1.39e+10
3600.00/3607.80	c optimization time 28.3638 s
3600.00/3607.80	c total solve time 1555.97 s
3600.00/3607.80	c core-guided solve time 1555.97 s
3600.00/3607.80	c propagation time 830.161 s
3600.00/3607.80	c conflict analysis time 16.4296 s
3600.00/3607.80	c propagations 114480099
3600.00/3607.80	c resolve steps 625508
3600.00/3607.80	c decisions 3196384406
3600.00/3607.80	c conflicts 312066
3600.00/3607.80	c restarts 731
3600.00/3607.80	c inprocessing phases 47
3600.00/3607.80	c input clauses 89156
3600.00/3607.80	c input cardinalities 89100
3600.00/3607.80	c input general constraints 0
3600.00/3607.80	c input average constraint length 79.99
3600.00/3607.80	c input average constraint degree 33.24
3600.00/3607.80	c learned clauses 5779
3600.00/3607.80	c learned cardinalities 306287
3600.00/3607.80	c learned general constraints 0
3600.00/3607.80	c learned average constraint length 1001.15
3600.00/3607.80	c learned average constraint degree 512.35
3600.00/3607.80	c watched constraints 0
3600.00/3607.80	c counting constraints 0
3600.00/3607.80	c gcd simplifications 0
3600.00/3607.80	c detected cardinalities 0
3600.00/3607.80	c weakened non-implied lits 0
3600.00/3607.80	c weakened non-implying lits 0
3600.00/3607.80	c original variables 4576880
3600.00/3607.80	c clausal propagations 58974775
3600.00/3607.80	c cardinality propagations 52547370
3600.00/3607.80	c watched propagations 0
3600.00/3607.80	c counting propagations 0
3600.00/3607.80	c watch lookups 125300136
3600.00/3607.80	c watch backjump lookups 0
3600.00/3607.80	c watch checks 3351690779
3600.00/3607.80	c propagation checks 3453048746
3600.00/3607.80	c constraint additions 346807481
3600.00/3607.80	c trail pops 3309326022
3600.00/3607.80	c formula constraints 176770
3600.00/3607.80	c learned constraints 312066
3600.00/3607.80	c bound constraints 1486
3600.00/3607.80	c core-guided constraints 0
3600.00/3607.80	c encountered formula constraints 629911
3600.00/3607.80	c encountered learned constraints 307663
3600.00/3607.80	c encountered bound constraints 0
3600.00/3607.80	c encountered core-guided constraints 0
3600.00/3607.80	c LP total time 0 s
3600.00/3607.80	c LP solve time 0 s
3600.00/3607.80	c LP constraints added 0
3600.00/3607.80	c LP constraints removed 0
3600.00/3607.80	c LP pivots internal 0
3600.00/3607.80	c LP pivots root 0
3600.00/3607.80	c LP calls 0
3600.00/3607.80	c LP optimalities 0
3600.00/3607.80	c LP no pivot count 0
3600.00/3607.80	c LP infeasibilities 0
3600.00/3607.80	c LP valid Farkas constraints 0
3600.00/3607.80	c LP learned Farkas constraints 0
3600.00/3607.80	c LP basis resets 0
3600.00/3607.80	c LP cycling count 0
3600.00/3607.80	c LP singular count 0
3600.00/3607.80	c LP no primal count 0
3600.00/3607.80	c LP no farkas count 0
3600.00/3607.80	c LP other issue count 0
3600.00/3607.80	c LP Gomory cuts 0
3600.00/3607.80	c LP learned cuts 0
3600.00/3607.80	c LP deleted cuts 0
3600.00/3607.80	c LP encountered Gomory constraints 0
3600.00/3607.80	c LP encountered Farkas constraints 0
3600.00/3607.80	c LP encountered learned Farkas constraints 0
3600.00/3607.80	c CG auxiliary variables introduced 0
3600.00/3607.80	c CG solutions found 0
3600.00/3607.80	c CG cores constructed 1486
3600.00/3607.80	c CG core cardinality constraints returned 0
3600.00/3607.80	c CG unit cores 0
3600.00/3607.80	c CG single cores 1486
3600.00/3607.80	c CG blocks removed during cardinality reduction 0
3600.00/3607.80	c CG first core best 0
3600.00/3607.80	c CG decision core best 0
3600.00/3607.80	c CG core reduction tie 0
3600.00/3607.80	c CG core degree average 1.00
3600.00/3607.80	c CG core slack average 1.00
3600.00/3607.80	c CG exhausted 0
3600.00/3607.80	c CG exhaust time 0 s
3600.00/3607.80	c CG trimmed 0
3600.00/3607.80	c CG trim time 4.06163 s
3600.00/3607.80	c CG minimized 0
3600.00/3607.80	c CG minimize time 0 s
3600.00/3607.80	c CG am1 prop time 0.043348 s
3600.00/3607.80	c CG # am1s reformulated 0
3600.00/3607.80	c CG lower bound derived from am1s 0
3600.00/3607.80	c CG # clausal cores 1486
3600.00/3607.80	c CG # cardinality cores 0
3600.00/3607.80	c CG # pb cores 0
3600.00/3607.80	c CG # pb reforms 0
3600.00/3607.80	c CG # cores discarded because of pb reform 0
3600.00/3607.80	d LOWERBOUND 1486
3600.00/3607.80	d NCORES 1486
3600.00/3607.80	d NPBCORES 0
3600.00/3607.80	d NPBREFORM 0
3600.00/3607.80	d NTRIMMED 0
3600.00/3607.80	d NEXHAUSTED 0
3600.00/3607.80	d NAM1S 0
3600.00/3607.80	d AM1LB 0
3600.50/3608.36	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: 63837 MiB (62795 MiB free)
  memory of node 1: 64465 MiB (62707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521902-1751582815/watcher-4521902-1751582815 -o /tmp/evaluation-result-4521902-1751582815/solver-4521902-1751582815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84440 --watchdog 3760 pb-oll-rs HOME/instance-4521902-1751582815.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85881, runsolver pid=85878
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=128162820/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=413040 memory=362232 CPUtime=0.08 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 695 0 0 0 5 3 0 0 20 0 1 0 73960832 422952960 90558 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 103260 90558 1120 243 0 99509 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 413040 KiB
Current children cumulated memory: 362232 KiB

[startup+0.206313 s]*
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=128055568/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=496460 memory=472280 CPUtime=0.18 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1635 0 0 0 13 5 0 0 20 0 1 0 73960832 508375040 118070 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 124115 118070 1120 243 0 120364 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 472280 KiB

[startup+0.3054 s]*
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=127860992/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=721320 memory=658412 CPUtime=0.27 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 15476 0 0 0 17 10 0 0 20 0 1 0 73960832 738631680 164603 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 180330 164603 1120 243 0 176579 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 721320 KiB
Current children cumulated memory: 658412 KiB

[startup+0.700168 s]
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=127621248/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1119716 memory=1104192 CPUtime=0.65 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 77937 0 0 0 43 22 0 0 20 0 1 0 73960832 1146589184 276048 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 279929 276048 1152 243 0 276178 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 1104192 KiB

[startup+1.50016 s]
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=127398776/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1142368 memory=1130236 CPUtime=1.45 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 83969 0 0 0 119 26 0 0 20 0 1 0 73960832 1169784832 282559 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 285592 282559 1152 243 0 281841 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1142368 KiB
Current children cumulated memory: 1130236 KiB

[startup+3.11266 s]
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=127354108/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1209864 memory=1187888 CPUtime=3.05 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 96419 0 0 0 269 36 0 0 20 0 1 0 73960832 1238900736 296972 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 302466 296972 1152 243 0 298715 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1209864 KiB
Current children cumulated memory: 1187888 KiB

[startup+6.30031 s]
/proc/loadavg: 4.07 4.08 4.08 5/252 85882
/proc/meminfo: memFree=127110644/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1444004 memory=1431056 CPUtime=6.23 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 127215 0 0 0 569 54 0 0 20 0 1 0 73960832 1478660096 357764 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 361001 357764 1312 243 0 357250 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1444004 KiB
Current children cumulated memory: 1431056 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.07 4.08 5/252 85882
/proc/meminfo: memFree=127072132/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1465200 memory=1452324 CPUtime=12.61 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 315751 0 0 0 964 297 0 0 20 0 1 0 73960832 1500364800 363081 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 366300 363081 1312 243 0 362549 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1465200 KiB
Current children cumulated memory: 1452324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 85883
/proc/meminfo: memFree=127092812/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1465200 memory=1449636 CPUtime=25.38 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 830977 0 0 0 1575 963 0 0 20 0 1 0 73960832 1500364800 362409 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 366300 362409 1312 243 0 362549 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1465200 KiB
Current children cumulated memory: 1449636 KiB

[startup+51.1127 s]
/proc/loadavg: 4.08 4.08 4.09 5/252 85883
/proc/meminfo: memFree=126735728/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1815376 memory=1797676 CPUtime=50.93 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1037804 0 0 0 2873 2220 0 0 20 0 1 0 73960832 1858945024 449419 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 453844 449419 1376 243 0 450093 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1815376 KiB
Current children cumulated memory: 1797676 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 4.05 4.08 5/253 85932
/proc/meminfo: memFree=126246280/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=1958612 memory=1947064 CPUtime=102.02 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1070008 0 0 0 5391 4811 0 0 20 0 1 0 73960832 2005618688 486766 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 489653 486766 1376 243 0 485902 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1958612 KiB
Current children cumulated memory: 1947064 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 4.14 4.10 5/253 85934
/proc/meminfo: memFree=126084760/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=2058564 memory=2047036 CPUtime=161.9 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1094287 0 0 0 8213 7977 0 0 20 0 1 0 73960832 2107969536 511759 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 514641 511759 1376 243 0 510890 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 2058564 KiB
Current children cumulated memory: 2047036 KiB

[startup+222.3 s]
/proc/loadavg: 4.61 4.26 4.15 5/252 85936
/proc/meminfo: memFree=125951196/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=2139124 memory=2127680 CPUtime=221.78 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1113780 0 0 0 10986 11192 0 0 20 0 1 0 73960832 2190462976 531920 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 534781 531920 1376 243 0 531030 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 2139124 KiB
Current children cumulated memory: 2127680 KiB

[startup+282.3 s]
/proc/loadavg: 4.26 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126174480/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=2238508 memory=2227012 CPUtime=281.63 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1125049 0 0 0 13708 14455 0 0 20 0 1 0 73960832 2292232192 556753 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 559627 556753 1376 243 0 555876 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 2238508 KiB
Current children cumulated memory: 2227012 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/251 86074
/proc/meminfo: memFree=126192932/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=2293736 memory=2282312 CPUtime=341.49 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1138588 0 0 0 16404 17745 0 0 20 0 1 0 73960832 2348785664 570578 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 573434 570578 1376 243 0 569683 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 2293736 KiB
Current children cumulated memory: 2282312 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/250 86076
/proc/meminfo: memFree=126004424/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=2364072 memory=2352708 CPUtime=401.36 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1153202 0 0 0 19118 21018 0 0 20 0 1 0 73960832 2420809728 588177 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 591018 588177 1376 243 0 587267 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 2364072 KiB
Current children cumulated memory: 2352708 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/251 86079
/proc/meminfo: memFree=125876140/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=2397616 memory=2386120 CPUtime=461.25 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1160718 0 0 0 21796 24329 0 0 20 0 1 0 73960832 2455158784 596530 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 599404 596530 1376 243 0 595653 0
Current children cumulated CPU time: 461.25 s

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

/proc/85881/statm: 894179 881768 1376 243 0 890428 0
Current children cumulated CPU time: 2916.06 s
Current children cumulated vsize: 3576716 KiB
Current children cumulated memory: 3527072 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.16 4.20 5/251 86217
/proc/meminfo: memFree=123303960/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3596292 memory=3546740 CPUtime=2975.94 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1765338 0 0 0 131771 165823 0 0 20 0 1 0 73960832 3682603008 886685 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 899073 886685 1376 243 0 895322 0
Current children cumulated CPU time: 2975.94 s
Current children cumulated vsize: 3596292 KiB
Current children cumulated memory: 3546740 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.20 5/250 86219
/proc/meminfo: memFree=123286952/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3613760 memory=3564080 CPUtime=3035.81 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1776805 0 0 0 134350 169231 0 0 20 0 1 0 73960832 3700490240 891020 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 903440 891020 1376 243 0 899689 0
Current children cumulated CPU time: 3035.81 s
Current children cumulated vsize: 3613760 KiB
Current children cumulated memory: 3564080 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.19 5/250 86224
/proc/meminfo: memFree=123255852/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3641500 memory=3591508 CPUtime=3095.68 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1790543 0 0 0 136961 172607 0 0 20 0 1 0 73960832 3728896000 897877 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 910375 897877 1376 243 0 906624 0
Current children cumulated CPU time: 3095.68 s
Current children cumulated vsize: 3641500 KiB
Current children cumulated memory: 3591508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/250 86226
/proc/meminfo: memFree=123245868/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3650224 memory=3600588 CPUtime=3155.56 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1800453 0 0 0 139576 175980 0 0 20 0 1 0 73960832 3737829376 900147 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 912556 900147 1376 243 0 908805 0
Current children cumulated CPU time: 3155.56 s
Current children cumulated vsize: 3650224 KiB
Current children cumulated memory: 3600588 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/250 86228
/proc/meminfo: memFree=123210680/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3667380 memory=3617792 CPUtime=3215.43 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1811624 0 0 0 142153 179390 0 0 20 0 1 0 73960832 3755397120 904448 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 916845 904448 1376 243 0 913094 0
Current children cumulated CPU time: 3215.43 s
Current children cumulated vsize: 3667380 KiB
Current children cumulated memory: 3617792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/250 86230
/proc/meminfo: memFree=123039528/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3744876 memory=3679908 CPUtime=3275.3 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1823128 0 0 0 144765 182765 0 0 20 0 1 0 73960832 3834753024 919977 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 936219 919977 1376 243 0 932468 0
Current children cumulated CPU time: 3275.3 s
Current children cumulated vsize: 3744876 KiB
Current children cumulated memory: 3679908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/250 86232
/proc/meminfo: memFree=123006100/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3757720 memory=3694764 CPUtime=3335.18 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1832964 0 0 0 147405 186113 0 0 20 0 1 0 73960832 3847905280 923691 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 939430 923691 1376 243 0 935679 0
Current children cumulated CPU time: 3335.18 s
Current children cumulated vsize: 3757720 KiB
Current children cumulated memory: 3694764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/249 86234
/proc/meminfo: memFree=122998240/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3769124 memory=3706172 CPUtime=3395.05 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1843079 0 0 0 150001 189504 0 0 20 0 1 0 73960832 3859582976 926543 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 942281 926543 1376 243 0 938530 0
Current children cumulated CPU time: 3395.05 s
Current children cumulated vsize: 3769124 KiB
Current children cumulated memory: 3706172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.16 5/249 86236
/proc/meminfo: memFree=122970088/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3786328 memory=3723388 CPUtime=3454.91 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1854742 0 0 0 152579 192912 0 0 20 0 1 0 73960832 3877199872 930847 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 946582 930847 1376 243 0 942831 0
Current children cumulated CPU time: 3454.91 s
Current children cumulated vsize: 3786328 KiB
Current children cumulated memory: 3723388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.16 5/251 86244
/proc/meminfo: memFree=122891852/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3857108 memory=3779596 CPUtime=3514.74 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1864150 0 0 0 155175 196299 0 0 20 0 1 0 73960832 3949678592 944899 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 964277 944899 1376 243 0 960526 0
Current children cumulated CPU time: 3514.74 s
Current children cumulated vsize: 3857108 KiB
Current children cumulated memory: 3779596 KiB

[startup+3582.3 s]
/proc/loadavg: 3.55 3.97 4.10 4/245 86275
/proc/meminfo: memFree=123038080/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3874984 memory=3797392 CPUtime=3574.57 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1874901 0 0 0 157803 199654 0 0 20 0 1 0 73960832 3967983616 949348 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 968746 949348 1376 243 0 964995 0
Current children cumulated CPU time: 3574.57 s
Current children cumulated vsize: 3874984 KiB
Current children cumulated memory: 3797392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.8 s]
/proc/loadavg: 3.43 3.90 4.08 4/245 86277
/proc/meminfo: memFree=123001500/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3876052 memory=3798540 CPUtime=3600 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1878452 0 0 0 158891 201109 0 0 20 0 1 0 73960832 3969077248 949635 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 969013 949635 1376 243 0 965262 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3876052 KiB
Current children cumulated memory: 3798540 KiB

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

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

# cumulated CPU time of all completed processes:  user=1589.47 s, system=2011.15 s

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

[startup+3608 s]*
/proc/loadavg: 3.43 3.90 4.08 4/245 86277
/proc/meminfo: memFree=123282076/131382116 swapFree=33009904/33010684
[pid=85881] ppid=85878 vsize=3560248 memory=3512972 CPUtime=3600.21 cores=5,7
/proc/85881/stat : 85881 (pb-oll-rs) R 85878 85881 84427 0 -1 4194304 1878536 0 0 0 158912 201109 0 0 20 0 1 0 73960832 3645693952 878243 18446744073709551615 4218880 5211445 140726672826160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 32137216 140726672828828 140726672828905 140726672828905 140726672834507 0
/proc/85881/statm: 890062 878243 1440 243 0 886311 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 3560248 KiB
Current children cumulated memory: 3512972 KiB

[startup+3608.4 s]*
/proc/loadavg: 3.43 3.90 4.08 4/245 86277
/proc/meminfo: memFree=126404776/131382116 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3608.42
CPU time (s): 3600.63
CPU user time (s): 1589.47
CPU system time (s): 2011.15
CPU usage (%): 99.7841
Max. virtual memory (cumulated for all children) (KiB): 3924788
Max. memory (cumulated for all children) (KiB): 3847244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1589.47
system time used= 2011.15
maximum resident set size= 3864044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1878623
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= 104
involuntary context switches= 4801


# summary of solver processes directly reported to runsolver:
#   pid: 85881
#   total CPU time (s): 3600.63
#   total CPU user time (s): 1589.47
#   total CPU system time (s): 2011.15

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3067 second user time and 34.8337 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 00:46:57
IDJOB=4521902
IDBENCH=178517
IDSOLVER=3345
FILE ID=nodeC004/4521902-1751582815
RUNJOBID= nodeC004-1751575512-84440
SLURM_JOB_ID= 9598804
Free space on /tmp= 431548 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4521902-1751582815/watcher-4521902-1751582815 -o /tmp/evaluation-result-4521902-1751582815/solver-4521902-1751582815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84440 --watchdog 3760  pb-oll-rs HOME/instance-4521902-1751582815.opb

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

MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=865575765

nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3661.146
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 3659.464
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.449
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 1205.670
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 3661.129
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.213
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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.767
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
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		: 2890.853
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128515076 kB
MemAvailable:   129452996 kB
Buffers:            2128 kB
Cached:          1687224 kB
SwapCached:           32 kB
Active:          1061108 kB
Inactive:        1093216 kB
Active(anon):     472156 kB
Inactive(anon):    10748 kB
Active(file):     588952 kB
Inactive(file):  1082468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            114152 kB
Writeback:             0 kB
AnonPages:        468064 kB
Mapped:           107396 kB
Shmem:             17932 kB
KReclaimable:     212252 kB
Slab:             299260 kB
SReclaimable:     212252 kB
SUnreclaim:        87008 kB
KernelStack:        4096 kB
PageTables:         3996 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     832352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431564 MiB
End job on nodeC004 at 2025-07-04 01:47:05