0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4545042-1753233654.opb'
0.00/0.04 c read 2.06MB (33.85ms)
0.00/0.04 c [cnf: #variables 5363 #clauses 78421 #duplicates 0 #arr 167162]
0.00/0.04 c output proof to '/tmp/proof-4545042-1753233654'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 0] (26.29ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (3.46ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 101038 #edges 368832]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 1.00*10^0 #generators 0] (6.36ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 0 #add_vars 0]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4545042-1753233654.opb.pre'
0.00/0.08 c wrote 2.07MB (4.57ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 33.85ms 44.68% parse
0.00/0.08 c 26.29ms 34.70% approx_orbits
0.00/0.08 c 6.36ms 8.39% detect_generic
0.00/0.08 c 4.57ms 6.03% output
0.00/0.08 c 3.46ms 4.57% detect_special
0.00/0.08 c 1.04ms 1.38% other
0.00/0.08 c 0.19ms 0.25% finalize_order
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 75.76ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.07/0.10 c RoundingSat 2
0.07/0.10 c branch pb25
0.07/0.10 c commit 63f22ad
0.47/0.56 c #variables 5363 #constraints 78527
9.72/9.81 c #Conflicts: 1000 | #Constraints: 79526
9.72/9.81 c #Conflicts: 2000 | #Constraints: 80526
9.72/9.81 c INPROCESSING
9.72/9.81 c GARBAGE COLLECT
9.72/9.81 c #Conflicts: 3000 | #Constraints: 80538
9.72/9.81 c #Conflicts: 4000 | #Constraints: 81538
9.72/9.81 c INPROCESSING
9.72/9.81 c GARBAGE COLLECT
9.72/9.81 c #Conflicts: 5000 | #Constraints: 80945
9.72/9.81 c #Conflicts: 6000 | #Constraints: 81945
9.72/9.81 c INPROCESSING
9.72/9.81 c GARBAGE COLLECT
9.72/9.81 c #Conflicts: 7000 | #Constraints: 80955
9.72/9.81 c #Conflicts: 8000 | #Constraints: 81955
9.72/9.81 c #Conflicts: 9000 | #Constraints: 82955
9.72/9.81 c INPROCESSING
9.72/9.81 c GARBAGE COLLECT
9.72/9.81 c #Conflicts: 10000 | #Constraints: 81652
9.72/9.81 c #Conflicts: 11000 | #Constraints: 82652
9.72/9.81 c #Conflicts: 12000 | #Constraints: 83652
9.72/9.81 c INPROCESSING
9.72/9.81 c GARBAGE COLLECT
9.72/9.81 c rational objective 71.6562
12.42/12.51 c #Conflicts: 13000 | #Constraints: 82109
12.42/12.51 c #Conflicts: 14000 | #Constraints: 83109
12.42/12.51 c #Conflicts: 15000 | #Constraints: 84109
12.42/12.51 c INPROCESSING
12.42/12.51 c GARBAGE COLLECT
12.42/12.51 c rational objective 71.8125
15.91/16.05 c #Conflicts: 16000 | #Constraints: 82335
15.91/16.05 c #Conflicts: 17000 | #Constraints: 83335
15.91/16.05 c #Conflicts: 18000 | #Constraints: 84335
15.91/16.05 c INPROCESSING
15.91/16.05 c GARBAGE COLLECT
15.91/16.05 c rational objective 71.875
42.53/42.79 c #Conflicts: 19000 | #Constraints: 82353
42.53/42.79 c #Conflicts: 20000 | #Constraints: 83353
42.53/42.79 c #Conflicts: 21000 | #Constraints: 84353
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 22000 | #Constraints: 82168
42.53/42.79 c #Conflicts: 23000 | #Constraints: 83168
42.53/42.79 c #Conflicts: 24000 | #Constraints: 84168
42.53/42.79 c #Conflicts: 25000 | #Constraints: 85168
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 26000 | #Constraints: 82770
42.53/42.79 c #Conflicts: 27000 | #Constraints: 83770
42.53/42.79 c #Conflicts: 28000 | #Constraints: 84770
42.53/42.79 c #Conflicts: 29000 | #Constraints: 85770
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 30000 | #Constraints: 83165
42.53/42.79 c #Conflicts: 31000 | #Constraints: 84165
42.53/42.79 c #Conflicts: 32000 | #Constraints: 85165
42.53/42.79 c #Conflicts: 33000 | #Constraints: 86165
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 34000 | #Constraints: 83370
42.53/42.79 c #Conflicts: 35000 | #Constraints: 84370
42.53/42.79 c #Conflicts: 36000 | #Constraints: 85370
42.53/42.79 c #Conflicts: 37000 | #Constraints: 86370
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 38000 | #Constraints: 83380
42.53/42.79 c #Conflicts: 39000 | #Constraints: 84380
42.53/42.79 c #Conflicts: 40000 | #Constraints: 85380
42.53/42.79 c #Conflicts: 41000 | #Constraints: 86380
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 42000 | #Constraints: 83182
42.53/42.79 c #Conflicts: 43000 | #Constraints: 84182
42.53/42.79 c #Conflicts: 44000 | #Constraints: 85182
42.53/42.79 c #Conflicts: 45000 | #Constraints: 86182
42.53/42.79 c #Conflicts: 46000 | #Constraints: 87182
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c #Conflicts: 47000 | #Constraints: 83770
42.53/42.79 c #Conflicts: 48000 | #Constraints: 84770
42.53/42.79 c #Conflicts: 49000 | #Constraints: 85770
42.53/42.79 c #Conflicts: 50000 | #Constraints: 86770
42.53/42.79 c #Conflicts: 51000 | #Constraints: 87770
42.53/42.79 c INPROCESSING
42.53/42.79 c GARBAGE COLLECT
42.53/42.79 c rational objective 71.875
51.21/51.40 c #Conflicts: 52000 | #Constraints: 84180
51.21/51.40 c #Conflicts: 53000 | #Constraints: 85180
51.21/51.40 c #Conflicts: 54000 | #Constraints: 86180
51.21/51.40 c #Conflicts: 55000 | #Constraints: 87180
51.21/51.40 c #Conflicts: 56000 | #Constraints: 88180
51.21/51.40 c INPROCESSING
51.21/51.40 c GARBAGE COLLECT
51.21/51.40 c #Conflicts: 57000 | #Constraints: 84380
51.21/51.40 c #Conflicts: 58000 | #Constraints: 85380
51.21/51.40 c #Conflicts: 59000 | #Constraints: 86380
51.21/51.40 c #Conflicts: 60000 | #Constraints: 87380
51.21/51.40 c #Conflicts: 61000 | #Constraints: 88380
51.21/51.40 c INPROCESSING
51.21/51.40 c GARBAGE COLLECT
51.21/51.40 c rational objective 72.0312
60.58/60.82 c #Conflicts: 62000 | #Constraints: 84381
60.58/60.82 c #Conflicts: 63000 | #Constraints: 85381
60.58/60.82 c #Conflicts: 64000 | #Constraints: 86381
60.58/60.82 c #Conflicts: 65000 | #Constraints: 87381
60.58/60.82 c #Conflicts: 66000 | #Constraints: 88381
60.58/60.82 c INPROCESSING
60.58/60.82 c GARBAGE COLLECT
60.58/60.82 c #Conflicts: 67000 | #Constraints: 84184
60.58/60.82 c #Conflicts: 68000 | #Constraints: 85184
60.58/60.82 c #Conflicts: 69000 | #Constraints: 86184
60.58/60.82 c #Conflicts: 70000 | #Constraints: 87184
60.58/60.82 c #Conflicts: 71000 | #Constraints: 88184
60.58/60.82 c #Conflicts: 72000 | #Constraints: 89184
60.58/60.82 c INPROCESSING
60.58/60.82 c GARBAGE COLLECT
60.58/60.82 c rational objective 72.2344
70.96/71.29 c #Conflicts: 73000 | #Constraints: 84790
70.96/71.29 c #Conflicts: 74000 | #Constraints: 85790
70.96/71.29 c #Conflicts: 75000 | #Constraints: 86790
70.96/71.29 c #Conflicts: 76000 | #Constraints: 87790
70.96/71.29 c #Conflicts: 77000 | #Constraints: 88790
70.96/71.29 c #Conflicts: 78000 | #Constraints: 89790
70.96/71.29 c INPROCESSING
70.96/71.29 c GARBAGE COLLECT
70.96/71.29 c #Conflicts: 79000 | #Constraints: 85194
70.96/71.29 c #Conflicts: 80000 | #Constraints: 86194
70.96/71.29 c #Conflicts: 81000 | #Constraints: 87195
70.96/71.29 c #Conflicts: 82000 | #Constraints: 88195
70.96/71.29 c #Conflicts: 83000 | #Constraints: 89195
70.96/71.29 c #Conflicts: 84000 | #Constraints: 90195
70.96/71.29 c INPROCESSING
70.96/71.29 c GARBAGE COLLECT
70.96/71.29 c rational objective 72.2969
100.89/101.25 c #Conflicts: 85000 | #Constraints: 85396
100.89/101.25 c #Conflicts: 86000 | #Constraints: 86396
100.89/101.25 c #Conflicts: 87000 | #Constraints: 87396
100.89/101.25 c #Conflicts: 88000 | #Constraints: 88396
100.89/101.25 c #Conflicts: 89000 | #Constraints: 89396
100.89/101.25 c #Conflicts: 90000 | #Constraints: 90396
100.89/101.25 c INPROCESSING
100.89/101.25 c GARBAGE COLLECT
100.89/101.25 c #Conflicts: 91000 | #Constraints: 85385
100.89/101.25 c #Conflicts: 92000 | #Constraints: 86385
100.89/101.25 c #Conflicts: 93000 | #Constraints: 87385
100.89/101.25 c #Conflicts: 94000 | #Constraints: 88385
100.89/101.25 c #Conflicts: 95000 | #Constraints: 89385
100.89/101.25 c #Conflicts: 96000 | #Constraints: 90385
100.89/101.25 c INPROCESSING
100.89/101.25 c GARBAGE COLLECT
100.89/101.25 c #Conflicts: 97000 | #Constraints: 85186
100.89/101.25 c #Conflicts: 98000 | #Constraints: 86186
100.89/101.25 c #Conflicts: 99000 | #Constraints: 87187
100.89/101.25 c #Conflicts: 100000 | #Constraints: 88187
100.89/101.25 c #Conflicts: 101000 | #Constraints: 89187
100.89/101.25 c #Conflicts: 102000 | #Constraints: 90187
100.89/101.25 c #Conflicts: 103000 | #Constraints: 91187
100.89/101.25 c INPROCESSING
100.89/101.25 c GARBAGE COLLECT
100.89/101.25 c #Conflicts: 104000 | #Constraints: 85791
100.89/101.25 c #Conflicts: 105000 | #Constraints: 86791
100.89/101.25 c #Conflicts: 106000 | #Constraints: 87791
100.89/101.25 c #Conflicts: 107000 | #Constraints: 88791
100.89/101.25 c #Conflicts: 108000 | #Constraints: 89796
100.89/101.25 c #Conflicts: 109000 | #Constraints: 90808
100.89/101.25 c #Conflicts: 110000 | #Constraints: 91808
100.89/101.25 c INPROCESSING
100.89/101.25 c GARBAGE COLLECT
100.89/101.25 c #Conflicts: 111000 | #Constraints: 86200
100.89/101.25 c #Conflicts: 112000 | #Constraints: 87200
100.89/101.25 c #Conflicts: 113000 | #Constraints: 88201
100.89/101.25 c #Conflicts: 114000 | #Constraints: 89201
100.89/101.25 c #Conflicts: 115000 | #Constraints: 90201
100.89/101.25 c #Conflicts: 116000 | #Constraints: 91201
100.89/101.25 c #Conflicts: 117000 | #Constraints: 92209
100.89/101.25 c INPROCESSING
100.89/101.25 c GARBAGE COLLECT
100.89/101.25 c rational objective 72.4937
169.33/169.89 c #Conflicts: 118000 | #Constraints: 86408
169.33/169.89 c #Conflicts: 119000 | #Constraints: 87408
169.33/169.89 c #Conflicts: 120000 | #Constraints: 88408
169.33/169.89 c #Conflicts: 121000 | #Constraints: 89408
169.33/169.89 c #Conflicts: 122000 | #Constraints: 90408
169.33/169.89 c #Conflicts: 123000 | #Constraints: 91411
169.33/169.89 c #Conflicts: 124000 | #Constraints: 92412
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 125000 | #Constraints: 86405
169.33/169.89 c #Conflicts: 126000 | #Constraints: 87405
169.33/169.89 c #Conflicts: 127000 | #Constraints: 88408
169.33/169.89 c #Conflicts: 128000 | #Constraints: 89410
169.33/169.89 c #Conflicts: 129000 | #Constraints: 90410
169.33/169.89 c #Conflicts: 130000 | #Constraints: 91410
169.33/169.89 c #Conflicts: 131000 | #Constraints: 92411
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 132000 | #Constraints: 86204
169.33/169.89 c #Conflicts: 133000 | #Constraints: 87205
169.33/169.89 c #Conflicts: 134000 | #Constraints: 88206
169.33/169.89 c #Conflicts: 135000 | #Constraints: 89206
169.33/169.89 c #Conflicts: 136000 | #Constraints: 90206
169.33/169.89 c #Conflicts: 137000 | #Constraints: 91206
169.33/169.89 c #Conflicts: 138000 | #Constraints: 92207
169.33/169.89 c #Conflicts: 139000 | #Constraints: 93207
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 140000 | #Constraints: 86812
169.33/169.89 c #Conflicts: 141000 | #Constraints: 87813
169.33/169.89 c #Conflicts: 142000 | #Constraints: 88813
169.33/169.89 c #Conflicts: 143000 | #Constraints: 89813
169.33/169.89 c #Conflicts: 144000 | #Constraints: 90814
169.33/169.89 c #Conflicts: 145000 | #Constraints: 91815
169.33/169.89 c #Conflicts: 146000 | #Constraints: 92815
169.33/169.89 c #Conflicts: 147000 | #Constraints: 93815
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 148000 | #Constraints: 87223
169.33/169.89 c #Conflicts: 149000 | #Constraints: 88223
169.33/169.89 c #Conflicts: 150000 | #Constraints: 89223
169.33/169.89 c #Conflicts: 151000 | #Constraints: 90223
169.33/169.89 c #Conflicts: 152000 | #Constraints: 91223
169.33/169.89 c #Conflicts: 153000 | #Constraints: 92224
169.33/169.89 c #Conflicts: 154000 | #Constraints: 93224
169.33/169.89 c #Conflicts: 155000 | #Constraints: 94224
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 156000 | #Constraints: 87404
169.33/169.89 c #Conflicts: 157000 | #Constraints: 88404
169.33/169.89 c #Conflicts: 158000 | #Constraints: 89404
169.33/169.89 c #Conflicts: 159000 | #Constraints: 90404
169.33/169.89 c #Conflicts: 160000 | #Constraints: 91405
169.33/169.89 c #Conflicts: 161000 | #Constraints: 92405
169.33/169.89 c #Conflicts: 162000 | #Constraints: 93405
169.33/169.89 c #Conflicts: 163000 | #Constraints: 94405
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 164000 | #Constraints: 87406
169.33/169.89 c #Conflicts: 165000 | #Constraints: 88406
169.33/169.89 c #Conflicts: 166000 | #Constraints: 89406
169.33/169.89 c #Conflicts: 167000 | #Constraints: 90406
169.33/169.89 c #Conflicts: 168000 | #Constraints: 91406
169.33/169.89 c #Conflicts: 169000 | #Constraints: 92406
169.33/169.89 c #Conflicts: 170000 | #Constraints: 93407
169.33/169.89 c #Conflicts: 171000 | #Constraints: 94407
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 172000 | #Constraints: 87201
169.33/169.89 c #Conflicts: 173000 | #Constraints: 88201
169.33/169.89 c #Conflicts: 174000 | #Constraints: 89202
169.33/169.89 c #Conflicts: 175000 | #Constraints: 90203
169.33/169.89 c #Conflicts: 176000 | #Constraints: 91203
169.33/169.89 c #Conflicts: 177000 | #Constraints: 92204
169.33/169.89 c #Conflicts: 178000 | #Constraints: 93204
169.33/169.89 c #Conflicts: 179000 | #Constraints: 94205
169.33/169.89 c #Conflicts: 180000 | #Constraints: 95205
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 181000 | #Constraints: 87805
169.33/169.89 c #Conflicts: 182000 | #Constraints: 88805
169.33/169.89 c #Conflicts: 183000 | #Constraints: 89805
169.33/169.89 c #Conflicts: 184000 | #Constraints: 90805
169.33/169.89 c #Conflicts: 185000 | #Constraints: 91805
169.33/169.89 c #Conflicts: 186000 | #Constraints: 92805
169.33/169.89 c #Conflicts: 187000 | #Constraints: 93805
169.33/169.89 c #Conflicts: 188000 | #Constraints: 94805
169.33/169.89 c #Conflicts: 189000 | #Constraints: 95805
169.33/169.89 c INPROCESSING
169.33/169.89 c GARBAGE COLLECT
169.33/169.89 c #Conflicts: 190000 | #Constraints: 88216
169.33/169.89 c #Conflicts: 191000 | #Constraints: 89216
244.56/245.25 c #Conflicts: 192000 | #Constraints: 90220
244.56/245.25 c #Conflicts: 193000 | #Constraints: 91220
244.56/245.25 c #Conflicts: 194000 | #Constraints: 92220
244.56/245.25 c #Conflicts: 195000 | #Constraints: 93220
244.56/245.25 c #Conflicts: 196000 | #Constraints: 94220
244.56/245.25 c #Conflicts: 197000 | #Constraints: 95220
244.56/245.25 c #Conflicts: 198000 | #Constraints: 96220
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 199000 | #Constraints: 88434
244.56/245.25 c #Conflicts: 200000 | #Constraints: 89434
244.56/245.25 c #Conflicts: 201000 | #Constraints: 90435
244.56/245.25 c #Conflicts: 202000 | #Constraints: 91438
244.56/245.25 c #Conflicts: 203000 | #Constraints: 92439
244.56/245.25 c #Conflicts: 204000 | #Constraints: 93439
244.56/245.25 c #Conflicts: 205000 | #Constraints: 94439
244.56/245.25 c #Conflicts: 206000 | #Constraints: 95440
244.56/245.25 c #Conflicts: 207000 | #Constraints: 96441
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 208000 | #Constraints: 88423
244.56/245.25 c #Conflicts: 209000 | #Constraints: 89423
244.56/245.25 c #Conflicts: 210000 | #Constraints: 90423
244.56/245.25 c #Conflicts: 211000 | #Constraints: 91423
244.56/245.25 c #Conflicts: 212000 | #Constraints: 92423
244.56/245.25 c #Conflicts: 213000 | #Constraints: 93423
244.56/245.25 c #Conflicts: 214000 | #Constraints: 94423
244.56/245.25 c #Conflicts: 215000 | #Constraints: 95423
244.56/245.25 c #Conflicts: 216000 | #Constraints: 96424
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 217000 | #Constraints: 88236
244.56/245.25 c #Conflicts: 218000 | #Constraints: 89236
244.56/245.25 c #Conflicts: 219000 | #Constraints: 90236
244.56/245.25 c #Conflicts: 220000 | #Constraints: 91236
244.56/245.25 c #Conflicts: 221000 | #Constraints: 92236
244.56/245.25 c #Conflicts: 222000 | #Constraints: 93236
244.56/245.25 c #Conflicts: 223000 | #Constraints: 94236
244.56/245.25 c #Conflicts: 224000 | #Constraints: 95236
244.56/245.25 c #Conflicts: 225000 | #Constraints: 96236
244.56/245.25 c #Conflicts: 226000 | #Constraints: 97236
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 227000 | #Constraints: 88839
244.56/245.25 c #Conflicts: 228000 | #Constraints: 89839
244.56/245.25 c #Conflicts: 229000 | #Constraints: 90839
244.56/245.25 c #Conflicts: 230000 | #Constraints: 91839
244.56/245.25 c #Conflicts: 231000 | #Constraints: 92839
244.56/245.25 c #Conflicts: 232000 | #Constraints: 93839
244.56/245.25 c #Conflicts: 233000 | #Constraints: 94839
244.56/245.25 c #Conflicts: 234000 | #Constraints: 95839
244.56/245.25 c #Conflicts: 235000 | #Constraints: 96839
244.56/245.25 c #Conflicts: 236000 | #Constraints: 97839
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 237000 | #Constraints: 89225
244.56/245.25 c #Conflicts: 238000 | #Constraints: 90225
244.56/245.25 c #Conflicts: 239000 | #Constraints: 91225
244.56/245.25 c #Conflicts: 240000 | #Constraints: 92225
244.56/245.25 c #Conflicts: 241000 | #Constraints: 93225
244.56/245.25 c #Conflicts: 242000 | #Constraints: 94225
244.56/245.25 c #Conflicts: 243000 | #Constraints: 95225
244.56/245.25 c #Conflicts: 244000 | #Constraints: 96225
244.56/245.25 c #Conflicts: 245000 | #Constraints: 97225
244.56/245.25 c #Conflicts: 246000 | #Constraints: 98225
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 247000 | #Constraints: 89401
244.56/245.25 c #Conflicts: 248000 | #Constraints: 90401
244.56/245.25 c #Conflicts: 249000 | #Constraints: 91401
244.56/245.25 c #Conflicts: 250000 | #Constraints: 92401
244.56/245.25 c #Conflicts: 251000 | #Constraints: 93401
244.56/245.25 c #Conflicts: 252000 | #Constraints: 94401
244.56/245.25 c #Conflicts: 253000 | #Constraints: 95401
244.56/245.25 c #Conflicts: 254000 | #Constraints: 96401
244.56/245.25 c #Conflicts: 255000 | #Constraints: 97401
244.56/245.25 c #Conflicts: 256000 | #Constraints: 98401
244.56/245.25 c INPROCESSING
244.56/245.25 c GARBAGE COLLECT
244.56/245.25 c #Conflicts: 257000 | #Constraints: 89404
244.56/245.25 c #Conflicts: 258000 | #Constraints: 90404
244.56/245.25 c #Conflicts: 259000 | #Constraints: 91404
244.56/245.25 c #Conflicts: 260000 | #Constraints: 92404
244.56/245.25 c #Conflicts: 261000 | #Constraints: 93404
244.56/245.25 c #Conflicts: 262000 | #Constraints: 94404
244.56/245.25 c #Conflicts: 263000 | #Constraints: 95404
244.56/245.25 c #Conflicts: 264000 | #Constraints: 96404
244.56/245.25 c #Conflicts: 265000 | #Constraints: 97404
246.65/247.35 c #Conflicts: 266000 | #Constraints: 98404
246.65/247.35 c INPROCESSING
246.65/247.35 c GARBAGE COLLECT
246.65/247.35 c rational objective 72.5469
258.42/259.12 c #Conflicts: 267000 | #Constraints: 89208
258.42/259.12 c #Conflicts: 268000 | #Constraints: 90208
258.42/259.12 c #Conflicts: 269000 | #Constraints: 91208
258.42/259.12 c #Conflicts: 270000 | #Constraints: 92208
258.42/259.12 c #Conflicts: 271000 | #Constraints: 93208
258.42/259.12 c #Conflicts: 272000 | #Constraints: 94208
258.42/259.12 c #Conflicts: 273000 | #Constraints: 95208
258.42/259.12 c #Conflicts: 274000 | #Constraints: 96208
258.42/259.12 c #Conflicts: 275000 | #Constraints: 97208
258.42/259.12 c #Conflicts: 276000 | #Constraints: 98208
258.42/259.12 c #Conflicts: 277000 | #Constraints: 99208
258.42/259.12 c INPROCESSING
258.42/259.12 c GARBAGE COLLECT
258.42/259.12 c rational objective 72.6875
266.70/267.44 c #Conflicts: 278000 | #Constraints: 89793
266.70/267.44 c #Conflicts: 279000 | #Constraints: 90793
266.70/267.44 c #Conflicts: 280000 | #Constraints: 91793
266.70/267.44 c #Conflicts: 281000 | #Constraints: 92793
266.70/267.44 c #Conflicts: 282000 | #Constraints: 93793
266.70/267.44 c #Conflicts: 283000 | #Constraints: 94793
266.70/267.44 c #Conflicts: 284000 | #Constraints: 95793
266.70/267.44 c #Conflicts: 285000 | #Constraints: 96793
266.70/267.44 c #Conflicts: 286000 | #Constraints: 97793
266.70/267.44 c #Conflicts: 287000 | #Constraints: 98793
266.70/267.44 c #Conflicts: 288000 | #Constraints: 99793
266.70/267.44 c INPROCESSING
266.70/267.44 c GARBAGE COLLECT
266.70/267.44 c rational objective 72.7344
333.34/334.24 c #Conflicts: 289000 | #Constraints: 90204
333.34/334.24 c #Conflicts: 290000 | #Constraints: 91204
333.34/334.24 c #Conflicts: 291000 | #Constraints: 92204
333.34/334.24 c #Conflicts: 292000 | #Constraints: 93204
333.34/334.24 c #Conflicts: 293000 | #Constraints: 94204
333.34/334.24 c #Conflicts: 294000 | #Constraints: 95204
333.34/334.24 c #Conflicts: 295000 | #Constraints: 96204
333.34/334.24 c #Conflicts: 296000 | #Constraints: 97204
333.34/334.24 c #Conflicts: 297000 | #Constraints: 98204
333.34/334.24 c #Conflicts: 298000 | #Constraints: 99204
333.34/334.24 c #Conflicts: 299000 | #Constraints: 100204
333.34/334.24 c #Conflicts: 300000 | #Constraints: 101204
333.34/334.24 c #Conflicts: 301000 | #Constraints: 102204
333.34/334.24 c #Conflicts: 302000 | #Constraints: 103204
333.34/334.24 c #Conflicts: 303000 | #Constraints: 104204
333.34/334.24 c #Conflicts: 304000 | #Constraints: 105204
333.34/334.24 c #Conflicts: 305000 | #Constraints: 106204
333.34/334.24 c #Conflicts: 306000 | #Constraints: 107204
333.34/334.24 c #Conflicts: 307000 | #Constraints: 108204
333.34/334.24 c #Conflicts: 308000 | #Constraints: 109204
333.34/334.24 c #Conflicts: 309000 | #Constraints: 110204
333.34/334.24 c #Conflicts: 310000 | #Constraints: 111204
333.34/334.24 c #Conflicts: 311000 | #Constraints: 112204
333.34/334.24 c #Conflicts: 312000 | #Constraints: 113204
333.34/334.24 c #Conflicts: 313000 | #Constraints: 114204
333.34/334.24 c #Conflicts: 314000 | #Constraints: 115204
333.34/334.24 c #Conflicts: 315000 | #Constraints: 116204
333.34/334.24 c #Conflicts: 316000 | #Constraints: 117204
333.34/334.24 c #Conflicts: 317000 | #Constraints: 118204
333.34/334.24 c #Conflicts: 318000 | #Constraints: 119204
333.34/334.24 c #Conflicts: 319000 | #Constraints: 120204
333.34/334.24 c #Conflicts: 320000 | #Constraints: 121204
333.34/334.24 c #Conflicts: 321000 | #Constraints: 122204
333.34/334.24 c #Conflicts: 322000 | #Constraints: 123204
333.34/334.24 c #Conflicts: 323000 | #Constraints: 124204
333.34/334.24 c #Conflicts: 324000 | #Constraints: 125204
333.34/334.24 c #Conflicts: 325000 | #Constraints: 126204
333.34/334.24 c #Conflicts: 326000 | #Constraints: 127204
333.34/334.24 c #Conflicts: 327000 | #Constraints: 128204
333.34/334.24 c #Conflicts: 328000 | #Constraints: 129204
333.34/334.24 c #Conflicts: 329000 | #Constraints: 130204
333.34/334.24 c #Conflicts: 330000 | #Constraints: 131204
333.34/334.24 c #Conflicts: 331000 | #Constraints: 132204
333.34/334.24 c #Conflicts: 332000 | #Constraints: 133204
333.34/334.24 c #Conflicts: 333000 | #Constraints: 134204
333.34/334.24 c #Conflicts: 334000 | #Constraints: 135204
333.34/334.24 c #Conflicts: 335000 | #Constraints: 136204
333.34/334.24 c #Conflicts: 336000 | #Constraints: 137204
333.34/334.24 c #Conflicts: 337000 | #Constraints: 138204
333.34/334.24 c #Conflicts: 338000 | #Constraints: 139204
333.34/334.24 c #Conflicts: 339000 | #Constraints: 140204
333.34/334.24 c #Conflicts: 340000 | #Constraints: 141204
333.34/334.24 c INPROCESSING
333.34/334.24 c GARBAGE COLLECT
333.34/334.24 c rational objective 72.8281
360.78/361.74 c #Conflicts: 341000 | #Constraints: 110743
360.78/361.74 c #Conflicts: 342000 | #Constraints: 111743
360.78/361.74 c #Conflicts: 343000 | #Constraints: 112743
360.78/361.74 c #Conflicts: 344000 | #Constraints: 113744
360.78/361.74 c #Conflicts: 345000 | #Constraints: 114744
360.78/361.74 c #Conflicts: 346000 | #Constraints: 115744
360.78/361.74 c #Conflicts: 347000 | #Constraints: 116744
360.78/361.74 c #Conflicts: 348000 | #Constraints: 117744
360.78/361.74 c #Conflicts: 349000 | #Constraints: 118744
360.78/361.74 c #Conflicts: 350000 | #Constraints: 119744
360.78/361.74 c #Conflicts: 351000 | #Constraints: 120744
360.78/361.74 c #Conflicts: 352000 | #Constraints: 121744
360.78/361.74 c INPROCESSING
360.78/361.74 c GARBAGE COLLECT
360.78/361.74 c #Conflicts: 353000 | #Constraints: 100937
360.78/361.74 c #Conflicts: 354000 | #Constraints: 101938
360.78/361.74 c #Conflicts: 355000 | #Constraints: 102938
360.78/361.74 c #Conflicts: 356000 | #Constraints: 103938
360.78/361.74 c #Conflicts: 357000 | #Constraints: 104938
360.78/361.74 c #Conflicts: 358000 | #Constraints: 105938
360.78/361.74 c #Conflicts: 359000 | #Constraints: 106938
360.78/361.74 c #Conflicts: 360000 | #Constraints: 107938
360.78/361.74 c #Conflicts: 361000 | #Constraints: 108938
360.78/361.74 c #Conflicts: 362000 | #Constraints: 109938
360.78/361.74 c #Conflicts: 363000 | #Constraints: 110938
360.78/361.74 c #Conflicts: 364000 | #Constraints: 111938
360.78/361.74 c INPROCESSING
360.78/361.74 c GARBAGE COLLECT
360.78/361.74 c rational objective 72.9062
376.94/377.91 c #Conflicts: 365000 | #Constraints: 95892
376.94/377.91 c #Conflicts: 366000 | #Constraints: 96892
376.94/377.91 c #Conflicts: 367000 | #Constraints: 97892
376.94/377.91 c #Conflicts: 368000 | #Constraints: 98892
376.94/377.91 c #Conflicts: 369000 | #Constraints: 99892
376.94/377.91 c #Conflicts: 370000 | #Constraints: 100892
376.94/377.91 c #Conflicts: 371000 | #Constraints: 101892
376.94/377.91 c #Conflicts: 372000 | #Constraints: 102892
376.94/377.91 c #Conflicts: 373000 | #Constraints: 103892
376.94/377.91 c #Conflicts: 374000 | #Constraints: 104892
376.94/377.91 c #Conflicts: 375000 | #Constraints: 105892
376.94/377.91 c #Conflicts: 376000 | #Constraints: 106893
376.94/377.91 c #Conflicts: 377000 | #Constraints: 107893
376.94/377.91 c INPROCESSING
376.94/377.91 c GARBAGE COLLECT
376.94/377.91 c rational objective 72.9688
479.19/480.43 c #Conflicts: 378000 | #Constraints: 94118
479.19/480.43 c #Conflicts: 379000 | #Constraints: 95118
479.19/480.43 c #Conflicts: 380000 | #Constraints: 96118
479.19/480.43 c #Conflicts: 381000 | #Constraints: 97118
479.19/480.43 c #Conflicts: 382000 | #Constraints: 98118
479.19/480.43 c #Conflicts: 383000 | #Constraints: 99118
479.19/480.43 c #Conflicts: 384000 | #Constraints: 100118
479.19/480.43 c #Conflicts: 385000 | #Constraints: 101118
479.19/480.43 c #Conflicts: 386000 | #Constraints: 102118
479.19/480.43 c #Conflicts: 387000 | #Constraints: 103118
479.19/480.43 c #Conflicts: 388000 | #Constraints: 104118
479.19/480.43 c #Conflicts: 389000 | #Constraints: 105118
479.19/480.43 c #Conflicts: 390000 | #Constraints: 106118
479.19/480.43 c INPROCESSING
479.19/480.43 c GARBAGE COLLECT
479.19/480.43 c #Conflicts: 391000 | #Constraints: 93373
479.19/480.43 c #Conflicts: 392000 | #Constraints: 94373
479.19/480.43 c #Conflicts: 393000 | #Constraints: 95373
479.19/480.43 c #Conflicts: 394000 | #Constraints: 96373
479.19/480.43 c #Conflicts: 395000 | #Constraints: 97373
479.19/480.43 c #Conflicts: 396000 | #Constraints: 98373
479.19/480.43 c #Conflicts: 397000 | #Constraints: 99373
479.19/480.43 c #Conflicts: 398000 | #Constraints: 100374
479.19/480.43 c #Conflicts: 399000 | #Constraints: 101374
479.19/480.43 c #Conflicts: 400000 | #Constraints: 102374
479.19/480.43 c #Conflicts: 401000 | #Constraints: 103375
479.19/480.43 c #Conflicts: 402000 | #Constraints: 104375
479.19/480.43 c #Conflicts: 403000 | #Constraints: 105376
479.19/480.43 c #Conflicts: 404000 | #Constraints: 106376
479.19/480.43 c #Conflicts: 405000 | #Constraints: 107377
479.19/480.43 c #Conflicts: 406000 | #Constraints: 108377
479.19/480.43 c #Conflicts: 407000 | #Constraints: 109378
479.19/480.43 c #Conflicts: 408000 | #Constraints: 110378
479.19/480.43 c #Conflicts: 409000 | #Constraints: 111378
479.19/480.43 c #Conflicts: 410000 | #Constraints: 112378
479.19/480.43 c #Conflicts: 411000 | #Constraints: 113379
479.19/480.43 c #Conflicts: 412000 | #Constraints: 114380
479.19/480.43 c #Conflicts: 413000 | #Constraints: 115380
479.19/480.43 c #Conflicts: 414000 | #Constraints: 116380
479.19/480.43 c #Conflicts: 415000 | #Constraints: 117380
479.19/480.43 c #Conflicts: 416000 | #Constraints: 118380
479.19/480.43 c #Conflicts: 417000 | #Constraints: 119380
479.19/480.43 c #Conflicts: 418000 | #Constraints: 120382
479.19/480.43 c #Conflicts: 419000 | #Constraints: 121383
479.19/480.43 c #Conflicts: 420000 | #Constraints: 122388
479.19/480.43 c #Conflicts: 421000 | #Constraints: 123409
479.19/480.43 c #Conflicts: 422000 | #Constraints: 124410
479.19/480.43 c #Conflicts: 423000 | #Constraints: 125410
479.19/480.43 c #Conflicts: 424000 | #Constraints: 126412
479.19/480.43 c #Conflicts: 425000 | #Constraints: 127414
479.19/480.43 c #Conflicts: 426000 | #Constraints: 128415
479.19/480.43 c #Conflicts: 427000 | #Constraints: 129415
479.19/480.43 c #Conflicts: 428000 | #Constraints: 130417
479.19/480.43 c #Conflicts: 429000 | #Constraints: 131417
479.19/480.43 c #Conflicts: 430000 | #Constraints: 132417
479.19/480.43 c #Conflicts: 431000 | #Constraints: 133417
479.19/480.43 c #Conflicts: 432000 | #Constraints: 134417
479.19/480.43 c #Conflicts: 433000 | #Constraints: 135417
479.19/480.43 c #Conflicts: 434000 | #Constraints: 136417
479.19/480.43 c #Conflicts: 435000 | #Constraints: 137424
479.19/480.43 c #Conflicts: 436000 | #Constraints: 138424
479.19/480.43 c #Conflicts: 437000 | #Constraints: 139424
479.19/480.43 c #Conflicts: 438000 | #Constraints: 140425
479.19/480.43 c #Conflicts: 439000 | #Constraints: 141445
479.19/480.43 c #Conflicts: 440000 | #Constraints: 142490
479.19/480.43 c #Conflicts: 441000 | #Constraints: 143490
479.19/480.43 c #Conflicts: 442000 | #Constraints: 144490
479.19/480.43 c #Conflicts: 443000 | #Constraints: 145490
479.19/480.43 c #Conflicts: 444000 | #Constraints: 146490
479.19/480.43 c #Conflicts: 445000 | #Constraints: 147490
479.19/480.43 c #Conflicts: 446000 | #Constraints: 148490
479.19/480.43 c #Conflicts: 447000 | #Constraints: 149490
479.19/480.43 c #Conflicts: 448000 | #Constraints: 150491
479.19/480.43 c INPROCESSING
479.19/480.43 c GARBAGE COLLECT
479.19/480.43 c #Conflicts: 449000 | #Constraints: 115177
479.19/480.43 c #Conflicts: 450000 | #Constraints: 116177
479.19/480.43 c #Conflicts: 451000 | #Constraints: 117177
479.19/480.43 c #Conflicts: 452000 | #Constraints: 118177
479.19/480.43 c #Conflicts: 453000 | #Constraints: 119177
479.19/480.43 c #Conflicts: 454000 | #Constraints: 120177
479.19/480.43 c #Conflicts: 455000 | #Constraints: 121177
582.45/583.94 c #Conflicts: 456000 | #Constraints: 122177
582.45/583.94 c #Conflicts: 457000 | #Constraints: 123177
582.45/583.94 c #Conflicts: 458000 | #Constraints: 124177
582.45/583.94 c #Conflicts: 459000 | #Constraints: 125178
582.45/583.94 c #Conflicts: 460000 | #Constraints: 126178
582.45/583.94 c #Conflicts: 461000 | #Constraints: 127179
582.45/583.94 c #Conflicts: 462000 | #Constraints: 128180
582.45/583.94 c INPROCESSING
582.45/583.94 c GARBAGE COLLECT
582.45/583.94 c #Conflicts: 463000 | #Constraints: 104004
582.45/583.94 c #Conflicts: 464000 | #Constraints: 105005
582.45/583.94 c #Conflicts: 465000 | #Constraints: 106005
582.45/583.94 c #Conflicts: 466000 | #Constraints: 107005
582.45/583.94 c #Conflicts: 467000 | #Constraints: 108006
582.45/583.94 c #Conflicts: 468000 | #Constraints: 109007
582.45/583.94 c #Conflicts: 469000 | #Constraints: 110007
582.45/583.94 c #Conflicts: 470000 | #Constraints: 111007
582.45/583.94 c #Conflicts: 471000 | #Constraints: 112007
582.45/583.94 c #Conflicts: 472000 | #Constraints: 113007
582.45/583.94 c #Conflicts: 473000 | #Constraints: 114007
582.45/583.94 c #Conflicts: 474000 | #Constraints: 115007
582.45/583.94 c #Conflicts: 475000 | #Constraints: 116007
582.45/583.94 c #Conflicts: 476000 | #Constraints: 117007
582.45/583.94 c #Conflicts: 477000 | #Constraints: 118007
582.45/583.94 c INPROCESSING
582.45/583.94 c GARBAGE COLLECT
582.45/583.94 c #Conflicts: 478000 | #Constraints: 99339
582.45/583.94 c #Conflicts: 479000 | #Constraints: 100339
582.45/583.94 c #Conflicts: 480000 | #Constraints: 101339
582.45/583.94 c #Conflicts: 481000 | #Constraints: 102339
582.45/583.94 c #Conflicts: 482000 | #Constraints: 103340
582.45/583.94 c #Conflicts: 483000 | #Constraints: 104340
582.45/583.94 c #Conflicts: 484000 | #Constraints: 105340
582.45/583.94 c #Conflicts: 485000 | #Constraints: 106340
582.45/583.94 c #Conflicts: 486000 | #Constraints: 107340
582.45/583.94 c #Conflicts: 487000 | #Constraints: 108340
582.45/583.94 c #Conflicts: 488000 | #Constraints: 109340
582.45/583.94 c #Conflicts: 489000 | #Constraints: 110340
582.45/583.94 c #Conflicts: 490000 | #Constraints: 111340
582.45/583.94 c #Conflicts: 491000 | #Constraints: 112340
582.45/583.94 c INPROCESSING
582.45/583.94 c GARBAGE COLLECT
582.45/583.94 c #Conflicts: 492000 | #Constraints: 96304
582.45/583.94 c #Conflicts: 493000 | #Constraints: 97304
582.45/583.94 c #Conflicts: 494000 | #Constraints: 98304
582.45/583.94 c #Conflicts: 495000 | #Constraints: 99304
582.45/583.94 c #Conflicts: 496000 | #Constraints: 100304
582.45/583.94 c #Conflicts: 497000 | #Constraints: 101304
582.45/583.94 c #Conflicts: 498000 | #Constraints: 102304
582.45/583.94 c #Conflicts: 499000 | #Constraints: 103304
582.45/583.94 c #Conflicts: 500000 | #Constraints: 104304
582.45/583.94 c #Conflicts: 501000 | #Constraints: 105304
582.45/583.94 c #Conflicts: 502000 | #Constraints: 106304
582.45/583.94 c #Conflicts: 503000 | #Constraints: 107304
582.45/583.94 c #Conflicts: 504000 | #Constraints: 108304
582.45/583.94 c #Conflicts: 505000 | #Constraints: 109304
582.45/583.94 c #Conflicts: 506000 | #Constraints: 110304
582.45/583.94 c INPROCESSING
582.45/583.94 c GARBAGE COLLECT
582.45/583.94 c #Conflicts: 507000 | #Constraints: 95478
582.45/583.94 c #Conflicts: 508000 | #Constraints: 96478
582.45/583.94 c #Conflicts: 509000 | #Constraints: 97478
582.45/583.94 c #Conflicts: 510000 | #Constraints: 98478
582.45/583.94 c #Conflicts: 511000 | #Constraints: 99478
582.45/583.94 c #Conflicts: 512000 | #Constraints: 100478
582.45/583.94 c #Conflicts: 513000 | #Constraints: 101478
582.45/583.94 c #Conflicts: 514000 | #Constraints: 102478
582.45/583.94 c #Conflicts: 515000 | #Constraints: 103478
582.45/583.94 c #Conflicts: 516000 | #Constraints: 104478
582.45/583.94 c #Conflicts: 517000 | #Constraints: 105478
582.45/583.94 c #Conflicts: 518000 | #Constraints: 106478
582.45/583.94 c #Conflicts: 519000 | #Constraints: 107478
582.45/583.94 c #Conflicts: 520000 | #Constraints: 108478
582.45/583.94 c #Conflicts: 521000 | #Constraints: 109478
582.45/583.94 c #Conflicts: 522000 | #Constraints: 110478
582.45/583.94 c #Conflicts: 523000 | #Constraints: 111478
582.45/583.94 c #Conflicts: 524000 | #Constraints: 112478
582.45/583.94 c #Conflicts: 525000 | #Constraints: 113479
582.45/583.94 c #Conflicts: 526000 | #Constraints: 114479
582.45/583.94 c #Conflicts: 527000 | #Constraints: 115479
582.45/583.94 c #Conflicts: 528000 | #Constraints: 116479
582.45/583.94 c #Conflicts: 529000 | #Constraints: 117479
582.45/583.94 c #Conflicts: 530000 | #Constraints: 118479
582.45/583.94 c #Conflicts: 531000 | #Constraints: 119479
668.53/670.22 c #Conflicts: 532000 | #Constraints: 120479
668.53/670.22 c #Conflicts: 533000 | #Constraints: 121479
668.53/670.22 c #Conflicts: 534000 | #Constraints: 122479
668.53/670.22 c #Conflicts: 535000 | #Constraints: 123480
668.53/670.22 c #Conflicts: 536000 | #Constraints: 124480
668.53/670.22 c #Conflicts: 537000 | #Constraints: 125480
668.53/670.22 c #Conflicts: 538000 | #Constraints: 126480
668.53/670.22 c #Conflicts: 539000 | #Constraints: 127480
668.53/670.22 c #Conflicts: 540000 | #Constraints: 128480
668.53/670.22 c #Conflicts: 541000 | #Constraints: 129481
668.53/670.22 c #Conflicts: 542000 | #Constraints: 130481
668.53/670.22 c #Conflicts: 543000 | #Constraints: 131481
668.53/670.22 c #Conflicts: 544000 | #Constraints: 132482
668.53/670.22 c #Conflicts: 545000 | #Constraints: 133482
668.53/670.22 c #Conflicts: 546000 | #Constraints: 134483
668.53/670.22 c #Conflicts: 547000 | #Constraints: 135483
668.53/670.22 c #Conflicts: 548000 | #Constraints: 136484
668.53/670.22 c #Conflicts: 549000 | #Constraints: 137484
668.53/670.22 c #Conflicts: 550000 | #Constraints: 138484
668.53/670.22 c #Conflicts: 551000 | #Constraints: 139484
668.53/670.22 c #Conflicts: 552000 | #Constraints: 140484
668.53/670.22 c #Conflicts: 553000 | #Constraints: 141484
668.53/670.22 c #Conflicts: 554000 | #Constraints: 142484
668.53/670.22 c #Conflicts: 555000 | #Constraints: 143484
668.53/670.22 c #Conflicts: 556000 | #Constraints: 144484
668.53/670.22 c #Conflicts: 557000 | #Constraints: 145485
668.53/670.22 c #Conflicts: 558000 | #Constraints: 146485
668.53/670.22 c #Conflicts: 559000 | #Constraints: 147485
668.53/670.22 c #Conflicts: 560000 | #Constraints: 148486
668.53/670.22 c #Conflicts: 561000 | #Constraints: 149486
668.53/670.22 c #Conflicts: 562000 | #Constraints: 150486
668.53/670.22 c #Conflicts: 563000 | #Constraints: 151487
668.53/670.22 c #Conflicts: 564000 | #Constraints: 152487
668.53/670.22 c #Conflicts: 565000 | #Constraints: 153487
668.53/670.22 c #Conflicts: 566000 | #Constraints: 154487
668.53/670.22 c #Conflicts: 567000 | #Constraints: 155488
668.53/670.22 c #Conflicts: 568000 | #Constraints: 156488
668.53/670.22 c #Conflicts: 569000 | #Constraints: 157488
668.53/670.22 c #Conflicts: 570000 | #Constraints: 158488
668.53/670.22 c #Conflicts: 571000 | #Constraints: 159490
668.53/670.22 c INPROCESSING
668.53/670.22 c GARBAGE COLLECT
668.53/670.22 c #Conflicts: 572000 | #Constraints: 119963
668.53/670.22 c #Conflicts: 573000 | #Constraints: 120963
668.53/670.22 c #Conflicts: 574000 | #Constraints: 121964
668.53/670.22 c #Conflicts: 575000 | #Constraints: 122964
668.53/670.22 c #Conflicts: 576000 | #Constraints: 123964
668.53/670.22 c #Conflicts: 577000 | #Constraints: 124964
668.53/670.22 c #Conflicts: 578000 | #Constraints: 125964
668.53/670.22 c #Conflicts: 579000 | #Constraints: 126964
668.53/670.22 c #Conflicts: 580000 | #Constraints: 127964
668.53/670.22 c #Conflicts: 581000 | #Constraints: 128964
668.53/670.22 c #Conflicts: 582000 | #Constraints: 129964
668.53/670.22 c #Conflicts: 583000 | #Constraints: 130964
668.53/670.22 c #Conflicts: 584000 | #Constraints: 131965
668.53/670.22 c #Conflicts: 585000 | #Constraints: 132966
668.53/670.22 c #Conflicts: 586000 | #Constraints: 133966
668.53/670.22 c #Conflicts: 587000 | #Constraints: 134967
668.53/670.22 c INPROCESSING
668.53/670.22 c GARBAGE COLLECT
668.53/670.22 c rational objective 73.0078
768.10/770.05 c #Conflicts: 588000 | #Constraints: 107774
768.10/770.05 c #Conflicts: 589000 | #Constraints: 108774
768.10/770.05 c #Conflicts: 590000 | #Constraints: 109774
768.10/770.05 c #Conflicts: 591000 | #Constraints: 110774
768.10/770.05 c #Conflicts: 592000 | #Constraints: 111774
768.10/770.05 c #Conflicts: 593000 | #Constraints: 112774
768.10/770.05 c #Conflicts: 594000 | #Constraints: 113774
768.10/770.05 c #Conflicts: 595000 | #Constraints: 114774
768.10/770.05 c #Conflicts: 596000 | #Constraints: 115774
768.10/770.05 c #Conflicts: 597000 | #Constraints: 116774
768.10/770.05 c #Conflicts: 598000 | #Constraints: 117774
768.10/770.05 c #Conflicts: 599000 | #Constraints: 118774
768.10/770.05 c #Conflicts: 600000 | #Constraints: 119774
768.10/770.05 c #Conflicts: 601000 | #Constraints: 120774
768.10/770.05 c #Conflicts: 602000 | #Constraints: 121774
768.10/770.05 c #Conflicts: 603000 | #Constraints: 122774
768.10/770.05 c INPROCESSING
768.10/770.05 c GARBAGE COLLECT
768.10/770.05 c #Conflicts: 604000 | #Constraints: 101604
768.10/770.05 c #Conflicts: 605000 | #Constraints: 102604
768.10/770.05 c #Conflicts: 606000 | #Constraints: 103604
768.10/770.05 c #Conflicts: 607000 | #Constraints: 104604
768.10/770.05 c #Conflicts: 608000 | #Constraints: 105604
768.10/770.05 c #Conflicts: 609000 | #Constraints: 106604
768.10/770.05 c #Conflicts: 610000 | #Constraints: 107604
768.10/770.05 c #Conflicts: 611000 | #Constraints: 108604
768.10/770.05 c #Conflicts: 612000 | #Constraints: 109604
768.10/770.05 c #Conflicts: 613000 | #Constraints: 110604
768.10/770.05 c #Conflicts: 614000 | #Constraints: 111604
768.10/770.05 c #Conflicts: 615000 | #Constraints: 112604
768.10/770.05 c #Conflicts: 616000 | #Constraints: 113604
768.10/770.05 c #Conflicts: 617000 | #Constraints: 114604
768.10/770.05 c #Conflicts: 618000 | #Constraints: 115604
768.10/770.05 c #Conflicts: 619000 | #Constraints: 116604
768.10/770.05 c INPROCESSING
768.10/770.05 c GARBAGE COLLECT
768.10/770.05 c #Conflicts: 620000 | #Constraints: 98356
768.10/770.05 c #Conflicts: 621000 | #Constraints: 99356
768.10/770.05 c #Conflicts: 622000 | #Constraints: 100356
768.10/770.05 c #Conflicts: 623000 | #Constraints: 101356
768.10/770.05 c #Conflicts: 624000 | #Constraints: 102356
768.10/770.05 c #Conflicts: 625000 | #Constraints: 103356
768.10/770.05 c #Conflicts: 626000 | #Constraints: 104357
768.10/770.05 c #Conflicts: 627000 | #Constraints: 105357
768.10/770.05 c #Conflicts: 628000 | #Constraints: 106357
768.10/770.05 c #Conflicts: 629000 | #Constraints: 107357
768.10/770.05 c #Conflicts: 630000 | #Constraints: 108357
768.10/770.05 c #Conflicts: 631000 | #Constraints: 109357
768.10/770.05 c #Conflicts: 632000 | #Constraints: 110357
768.10/770.05 c #Conflicts: 633000 | #Constraints: 111357
768.10/770.05 c #Conflicts: 634000 | #Constraints: 112357
768.10/770.05 c #Conflicts: 635000 | #Constraints: 113357
768.10/770.05 c #Conflicts: 636000 | #Constraints: 114357
768.10/770.05 c #Conflicts: 637000 | #Constraints: 115357
768.10/770.05 c #Conflicts: 638000 | #Constraints: 116357
768.10/770.05 c #Conflicts: 639000 | #Constraints: 117357
768.10/770.05 c #Conflicts: 640000 | #Constraints: 118357
768.10/770.05 c #Conflicts: 641000 | #Constraints: 119357
768.10/770.05 c #Conflicts: 642000 | #Constraints: 120357
768.10/770.05 c #Conflicts: 643000 | #Constraints: 121357
768.10/770.05 c #Conflicts: 644000 | #Constraints: 122357
768.10/770.05 c #Conflicts: 645000 | #Constraints: 123357
768.10/770.05 c #Conflicts: 646000 | #Constraints: 124357
768.10/770.05 c #Conflicts: 647000 | #Constraints: 125357
768.10/770.05 c #Conflicts: 648000 | #Constraints: 126357
768.10/770.05 c #Conflicts: 649000 | #Constraints: 127357
768.10/770.05 c #Conflicts: 650000 | #Constraints: 128358
768.10/770.05 c #Conflicts: 651000 | #Constraints: 129359
768.10/770.05 c #Conflicts: 652000 | #Constraints: 130360
768.10/770.05 c #Conflicts: 653000 | #Constraints: 131360
768.10/770.05 c #Conflicts: 654000 | #Constraints: 132362
768.10/770.05 c #Conflicts: 655000 | #Constraints: 133363
768.10/770.05 c #Conflicts: 656000 | #Constraints: 134363
768.10/770.05 c #Conflicts: 657000 | #Constraints: 135363
768.10/770.05 c #Conflicts: 658000 | #Constraints: 136363
768.10/770.05 c #Conflicts: 659000 | #Constraints: 137364
768.10/770.05 c #Conflicts: 660000 | #Constraints: 138364
768.10/770.05 c #Conflicts: 661000 | #Constraints: 139364
768.10/770.05 c #Conflicts: 662000 | #Constraints: 140366
768.10/770.05 c #Conflicts: 663000 | #Constraints: 141368
768.10/770.05 c #Conflicts: 664000 | #Constraints: 142368
768.10/770.05 c #Conflicts: 665000 | #Constraints: 143368
810.49/812.51 c #Conflicts: 666000 | #Constraints: 144368
810.49/812.51 c #Conflicts: 667000 | #Constraints: 145368
810.49/812.51 c #Conflicts: 668000 | #Constraints: 146368
810.49/812.51 c #Conflicts: 669000 | #Constraints: 147369
810.49/812.51 c #Conflicts: 670000 | #Constraints: 148369
810.49/812.51 c #Conflicts: 671000 | #Constraints: 149369
810.49/812.51 c #Conflicts: 672000 | #Constraints: 150371
810.49/812.51 c #Conflicts: 673000 | #Constraints: 151371
810.49/812.51 c #Conflicts: 674000 | #Constraints: 152372
810.49/812.51 c #Conflicts: 675000 | #Constraints: 153372
810.49/812.51 c #Conflicts: 676000 | #Constraints: 154372
810.49/812.51 c #Conflicts: 677000 | #Constraints: 155373
810.49/812.51 c #Conflicts: 678000 | #Constraints: 156374
810.49/812.51 c #Conflicts: 679000 | #Constraints: 157374
810.49/812.51 c #Conflicts: 680000 | #Constraints: 158376
810.49/812.51 c #Conflicts: 681000 | #Constraints: 159377
810.49/812.51 c #Conflicts: 682000 | #Constraints: 160378
810.49/812.51 c #Conflicts: 683000 | #Constraints: 161379
810.49/812.51 c #Conflicts: 684000 | #Constraints: 162381
810.49/812.51 c #Conflicts: 685000 | #Constraints: 163382
810.49/812.51 c #Conflicts: 686000 | #Constraints: 164383
810.49/812.51 c #Conflicts: 687000 | #Constraints: 165384
810.49/812.51 c #Conflicts: 688000 | #Constraints: 166386
810.49/812.51 c #Conflicts: 689000 | #Constraints: 167386
810.49/812.51 c #Conflicts: 690000 | #Constraints: 168387
810.49/812.51 c INPROCESSING
810.49/812.51 c GARBAGE COLLECT
810.49/812.51 c rational objective 73.1369
902.67/904.98 c #Conflicts: 691000 | #Constraints: 124556
902.67/904.98 c #Conflicts: 692000 | #Constraints: 125557
902.67/904.98 c #Conflicts: 693000 | #Constraints: 126557
902.67/904.98 c #Conflicts: 694000 | #Constraints: 127557
902.67/904.98 c #Conflicts: 695000 | #Constraints: 128557
902.67/904.98 c #Conflicts: 696000 | #Constraints: 129557
902.67/904.98 c #Conflicts: 697000 | #Constraints: 130557
902.67/904.98 c #Conflicts: 698000 | #Constraints: 131557
902.67/904.98 c #Conflicts: 699000 | #Constraints: 132557
902.67/904.98 c #Conflicts: 700000 | #Constraints: 133557
902.67/904.98 c #Conflicts: 701000 | #Constraints: 134557
902.67/904.98 c #Conflicts: 702000 | #Constraints: 135557
902.67/904.98 c #Conflicts: 703000 | #Constraints: 136557
902.67/904.98 c #Conflicts: 704000 | #Constraints: 137557
902.67/904.98 c #Conflicts: 705000 | #Constraints: 138557
902.67/904.98 c #Conflicts: 706000 | #Constraints: 139557
902.67/904.98 c #Conflicts: 707000 | #Constraints: 140557
902.67/904.98 c INPROCESSING
902.67/904.98 c GARBAGE COLLECT
902.67/904.98 c #Conflicts: 708000 | #Constraints: 110332
902.67/904.98 c #Conflicts: 709000 | #Constraints: 111333
902.67/904.98 c #Conflicts: 710000 | #Constraints: 112333
902.67/904.98 c #Conflicts: 711000 | #Constraints: 113333
902.67/904.98 c #Conflicts: 712000 | #Constraints: 114333
902.67/904.98 c #Conflicts: 713000 | #Constraints: 115333
902.67/904.98 c #Conflicts: 714000 | #Constraints: 116333
902.67/904.98 c #Conflicts: 715000 | #Constraints: 117333
902.67/904.98 c #Conflicts: 716000 | #Constraints: 118333
902.67/904.98 c #Conflicts: 717000 | #Constraints: 119333
902.67/904.98 c #Conflicts: 718000 | #Constraints: 120333
902.67/904.98 c #Conflicts: 719000 | #Constraints: 121333
902.67/904.98 c #Conflicts: 720000 | #Constraints: 122333
902.67/904.98 c #Conflicts: 721000 | #Constraints: 123333
902.67/904.98 c #Conflicts: 722000 | #Constraints: 124333
902.67/904.98 c #Conflicts: 723000 | #Constraints: 125334
902.67/904.98 c #Conflicts: 724000 | #Constraints: 126334
902.67/904.98 c #Conflicts: 725000 | #Constraints: 127336
902.67/904.98 c INPROCESSING
902.67/904.98 c GARBAGE COLLECT
902.67/904.98 c #Conflicts: 726000 | #Constraints: 103811
902.67/904.98 c #Conflicts: 727000 | #Constraints: 104811
902.67/904.98 c #Conflicts: 728000 | #Constraints: 105812
902.67/904.98 c #Conflicts: 729000 | #Constraints: 106812
902.67/904.98 c #Conflicts: 730000 | #Constraints: 107812
902.67/904.98 c #Conflicts: 731000 | #Constraints: 108812
902.67/904.98 c #Conflicts: 732000 | #Constraints: 109812
902.67/904.98 c #Conflicts: 733000 | #Constraints: 110812
902.67/904.98 c #Conflicts: 734000 | #Constraints: 111812
902.67/904.98 c #Conflicts: 735000 | #Constraints: 112812
902.67/904.98 c #Conflicts: 736000 | #Constraints: 113814
902.67/904.98 c #Conflicts: 737000 | #Constraints: 114815
902.67/904.98 c #Conflicts: 738000 | #Constraints: 115815
902.67/904.98 c #Conflicts: 739000 | #Constraints: 116816
902.67/904.98 c #Conflicts: 740000 | #Constraints: 117816
902.67/904.98 c #Conflicts: 741000 | #Constraints: 118816
902.67/904.98 c #Conflicts: 742000 | #Constraints: 119816
902.67/904.98 c #Conflicts: 743000 | #Constraints: 120818
902.67/904.98 c INPROCESSING
902.67/904.98 c GARBAGE COLLECT
902.67/904.98 c rational objective 73.7929
1020.89/1023.47 c #Conflicts: 744000 | #Constraints: 100570
1020.89/1023.47 c #Conflicts: 745000 | #Constraints: 101571
1020.89/1023.47 c #Conflicts: 746000 | #Constraints: 102571
1020.89/1023.47 c #Conflicts: 747000 | #Constraints: 103571
1020.89/1023.47 c #Conflicts: 748000 | #Constraints: 104571
1020.89/1023.47 c #Conflicts: 749000 | #Constraints: 105571
1020.89/1023.47 c #Conflicts: 750000 | #Constraints: 106571
1020.89/1023.47 c #Conflicts: 751000 | #Constraints: 107571
1020.89/1023.47 c #Conflicts: 752000 | #Constraints: 108571
1020.89/1023.47 c #Conflicts: 753000 | #Constraints: 109571
1020.89/1023.47 c #Conflicts: 754000 | #Constraints: 110571
1020.89/1023.47 c #Conflicts: 755000 | #Constraints: 111571
1020.89/1023.47 c #Conflicts: 756000 | #Constraints: 112571
1020.89/1023.47 c #Conflicts: 757000 | #Constraints: 113571
1020.89/1023.47 c #Conflicts: 758000 | #Constraints: 114571
1020.89/1023.47 c #Conflicts: 759000 | #Constraints: 115571
1020.89/1023.47 c #Conflicts: 760000 | #Constraints: 116571
1020.89/1023.47 c #Conflicts: 761000 | #Constraints: 117571
1020.89/1023.47 c #Conflicts: 762000 | #Constraints: 118571
1020.89/1023.47 c #Conflicts: 763000 | #Constraints: 119571
1020.89/1023.47 c #Conflicts: 764000 | #Constraints: 120571
1020.89/1023.47 c #Conflicts: 765000 | #Constraints: 121571
1020.89/1023.47 c #Conflicts: 766000 | #Constraints: 122571
1020.89/1023.47 c #Conflicts: 767000 | #Constraints: 123572
1020.89/1023.47 c #Conflicts: 768000 | #Constraints: 124573
1020.89/1023.47 c #Conflicts: 769000 | #Constraints: 125573
1020.89/1023.47 c #Conflicts: 770000 | #Constraints: 126573
1020.89/1023.47 c #Conflicts: 771000 | #Constraints: 127573
1020.89/1023.47 c #Conflicts: 772000 | #Constraints: 128573
1020.89/1023.47 c #Conflicts: 773000 | #Constraints: 129573
1020.89/1023.47 c #Conflicts: 774000 | #Constraints: 130573
1020.89/1023.47 c #Conflicts: 775000 | #Constraints: 131574
1020.89/1023.47 c #Conflicts: 776000 | #Constraints: 132574
1020.89/1023.47 c #Conflicts: 777000 | #Constraints: 133574
1020.89/1023.47 c #Conflicts: 778000 | #Constraints: 134574
1020.89/1023.47 c #Conflicts: 779000 | #Constraints: 135574
1020.89/1023.47 c #Conflicts: 780000 | #Constraints: 136574
1020.89/1023.47 c #Conflicts: 781000 | #Constraints: 137575
1020.89/1023.47 c #Conflicts: 782000 | #Constraints: 138575
1020.89/1023.47 c #Conflicts: 783000 | #Constraints: 139575
1020.89/1023.47 c #Conflicts: 784000 | #Constraints: 140575
1020.89/1023.47 c #Conflicts: 785000 | #Constraints: 141576
1020.89/1023.47 c #Conflicts: 786000 | #Constraints: 142576
1020.89/1023.47 c #Conflicts: 787000 | #Constraints: 143576
1020.89/1023.47 c #Conflicts: 788000 | #Constraints: 144576
1020.89/1023.47 c #Conflicts: 789000 | #Constraints: 145577
1020.89/1023.47 c #Conflicts: 790000 | #Constraints: 146577
1020.89/1023.47 c #Conflicts: 791000 | #Constraints: 147577
1020.89/1023.47 c #Conflicts: 792000 | #Constraints: 148577
1020.89/1023.47 c #Conflicts: 793000 | #Constraints: 149578
1020.89/1023.47 c #Conflicts: 794000 | #Constraints: 150578
1020.89/1023.47 c #Conflicts: 795000 | #Constraints: 151578
1020.89/1023.47 c #Conflicts: 796000 | #Constraints: 152578
1020.89/1023.47 c #Conflicts: 797000 | #Constraints: 153578
1020.89/1023.47 c #Conflicts: 798000 | #Constraints: 154578
1020.89/1023.47 c #Conflicts: 799000 | #Constraints: 155578
1020.89/1023.47 c #Conflicts: 800000 | #Constraints: 156578
1020.89/1023.47 c #Conflicts: 801000 | #Constraints: 157578
1020.89/1023.47 c #Conflicts: 802000 | #Constraints: 158578
1020.89/1023.47 c #Conflicts: 803000 | #Constraints: 159578
1020.89/1023.47 c #Conflicts: 804000 | #Constraints: 160578
1020.89/1023.47 c #Conflicts: 805000 | #Constraints: 161578
1020.89/1023.47 c #Conflicts: 806000 | #Constraints: 162578
1020.89/1023.47 c #Conflicts: 807000 | #Constraints: 163578
1020.89/1023.47 c #Conflicts: 808000 | #Constraints: 164578
1020.89/1023.47 c #Conflicts: 809000 | #Constraints: 165578
1020.89/1023.47 c #Conflicts: 810000 | #Constraints: 166578
1020.89/1023.47 c #Conflicts: 811000 | #Constraints: 167578
1020.89/1023.47 c #Conflicts: 812000 | #Constraints: 168578
1020.89/1023.47 c #Conflicts: 813000 | #Constraints: 169578
1020.89/1023.47 c #Conflicts: 814000 | #Constraints: 170578
1020.89/1023.47 c #Conflicts: 815000 | #Constraints: 171578
1020.89/1023.47 c #Conflicts: 816000 | #Constraints: 172578
1020.89/1023.47 c #Conflicts: 817000 | #Constraints: 173579
1020.89/1023.47 c #Conflicts: 818000 | #Constraints: 174579
1020.89/1023.47 c #Conflicts: 819000 | #Constraints: 175579
1020.89/1023.47 c INPROCESSING
1020.89/1023.47 c GARBAGE COLLECT
1020.89/1023.47 c #Conflicts: 820000 | #Constraints: 128021
1020.89/1023.47 c #Conflicts: 821000 | #Constraints: 129021
1020.89/1023.47 c #Conflicts: 822000 | #Constraints: 130022
1135.91/1138.70 c #Conflicts: 823000 | #Constraints: 131022
1135.91/1138.70 c #Conflicts: 824000 | #Constraints: 132022
1135.91/1138.70 c #Conflicts: 825000 | #Constraints: 133022
1135.91/1138.70 c #Conflicts: 826000 | #Constraints: 134023
1135.91/1138.70 c #Conflicts: 827000 | #Constraints: 135024
1135.91/1138.70 c #Conflicts: 828000 | #Constraints: 136025
1135.91/1138.70 c #Conflicts: 829000 | #Constraints: 137027
1135.91/1138.70 c #Conflicts: 830000 | #Constraints: 138028
1135.91/1138.70 c #Conflicts: 831000 | #Constraints: 139030
1135.91/1138.70 c #Conflicts: 832000 | #Constraints: 140032
1135.91/1138.70 c #Conflicts: 833000 | #Constraints: 141034
1135.91/1138.70 c #Conflicts: 834000 | #Constraints: 142035
1135.91/1138.70 c #Conflicts: 835000 | #Constraints: 143035
1135.91/1138.70 c #Conflicts: 836000 | #Constraints: 144035
1135.91/1138.70 c #Conflicts: 837000 | #Constraints: 145035
1135.91/1138.70 c #Conflicts: 838000 | #Constraints: 146035
1135.91/1138.70 c INPROCESSING
1135.91/1138.70 c GARBAGE COLLECT
1135.91/1138.70 c #Conflicts: 839000 | #Constraints: 113104
1135.91/1138.70 c #Conflicts: 840000 | #Constraints: 114104
1135.91/1138.70 c #Conflicts: 841000 | #Constraints: 115104
1135.91/1138.70 c #Conflicts: 842000 | #Constraints: 116104
1135.91/1138.70 c #Conflicts: 843000 | #Constraints: 117104
1135.91/1138.70 c #Conflicts: 844000 | #Constraints: 118104
1135.91/1138.70 c #Conflicts: 845000 | #Constraints: 119104
1135.91/1138.70 c #Conflicts: 846000 | #Constraints: 120105
1135.91/1138.70 c #Conflicts: 847000 | #Constraints: 121105
1135.91/1138.70 c #Conflicts: 848000 | #Constraints: 122105
1135.91/1138.70 c #Conflicts: 849000 | #Constraints: 123105
1135.91/1138.70 c #Conflicts: 850000 | #Constraints: 124105
1135.91/1138.70 c #Conflicts: 851000 | #Constraints: 125105
1135.91/1138.70 c #Conflicts: 852000 | #Constraints: 126106
1135.91/1138.70 c #Conflicts: 853000 | #Constraints: 127107
1135.91/1138.70 c #Conflicts: 854000 | #Constraints: 128107
1135.91/1138.70 c #Conflicts: 855000 | #Constraints: 129107
1135.91/1138.70 c #Conflicts: 856000 | #Constraints: 130107
1135.91/1138.70 c #Conflicts: 857000 | #Constraints: 131107
1135.91/1138.70 c #Conflicts: 858000 | #Constraints: 132107
1135.91/1138.70 c INPROCESSING
1135.91/1138.70 c GARBAGE COLLECT
1135.91/1138.70 c #Conflicts: 859000 | #Constraints: 106416
1135.91/1138.70 c #Conflicts: 860000 | #Constraints: 107416
1135.91/1138.70 c #Conflicts: 861000 | #Constraints: 108416
1135.91/1138.70 c #Conflicts: 862000 | #Constraints: 109416
1135.91/1138.70 c #Conflicts: 863000 | #Constraints: 110416
1135.91/1138.70 c #Conflicts: 864000 | #Constraints: 111416
1135.91/1138.70 c #Conflicts: 865000 | #Constraints: 112416
1135.91/1138.70 c #Conflicts: 866000 | #Constraints: 113416
1135.91/1138.70 c #Conflicts: 867000 | #Constraints: 114416
1135.91/1138.70 c #Conflicts: 868000 | #Constraints: 115416
1135.91/1138.70 c #Conflicts: 869000 | #Constraints: 116417
1135.91/1138.70 c #Conflicts: 870000 | #Constraints: 117417
1135.91/1138.70 c #Conflicts: 871000 | #Constraints: 118417
1135.91/1138.70 c #Conflicts: 872000 | #Constraints: 119417
1135.91/1138.70 c #Conflicts: 873000 | #Constraints: 120417
1135.91/1138.70 c #Conflicts: 874000 | #Constraints: 121417
1135.91/1138.70 c #Conflicts: 875000 | #Constraints: 122417
1135.91/1138.70 c #Conflicts: 876000 | #Constraints: 123417
1135.91/1138.70 c #Conflicts: 877000 | #Constraints: 124417
1135.91/1138.70 c INPROCESSING
1135.91/1138.70 c GARBAGE COLLECT
1135.91/1138.70 c #Conflicts: 878000 | #Constraints: 102182
1135.91/1138.70 c #Conflicts: 879000 | #Constraints: 103182
1135.91/1138.70 c #Conflicts: 880000 | #Constraints: 104182
1135.91/1138.70 c #Conflicts: 881000 | #Constraints: 105182
1135.91/1138.70 c #Conflicts: 882000 | #Constraints: 106182
1135.91/1138.70 c #Conflicts: 883000 | #Constraints: 107182
1135.91/1138.70 c #Conflicts: 884000 | #Constraints: 108183
1135.91/1138.70 c #Conflicts: 885000 | #Constraints: 109184
1135.91/1138.70 c #Conflicts: 886000 | #Constraints: 110184
1135.91/1138.70 c #Conflicts: 887000 | #Constraints: 111185
1135.91/1138.70 c #Conflicts: 888000 | #Constraints: 112185
1135.91/1138.70 c #Conflicts: 889000 | #Constraints: 113186
1135.91/1138.70 c #Conflicts: 890000 | #Constraints: 114186
1135.91/1138.70 c #Conflicts: 891000 | #Constraints: 115187
1135.91/1138.70 c #Conflicts: 892000 | #Constraints: 116188
1135.91/1138.70 c #Conflicts: 893000 | #Constraints: 117188
1135.91/1138.70 c #Conflicts: 894000 | #Constraints: 118189
1135.91/1138.70 c #Conflicts: 895000 | #Constraints: 119190
1135.91/1138.70 c #Conflicts: 896000 | #Constraints: 120192
1135.91/1138.70 c #Conflicts: 897000 | #Constraints: 121192
1135.91/1138.70 c #Conflicts: 898000 | #Constraints: 122192
1282.75/1285.98 c #Conflicts: 899000 | #Constraints: 123192
1282.75/1285.98 c #Conflicts: 900000 | #Constraints: 124192
1282.75/1285.98 c #Conflicts: 901000 | #Constraints: 125192
1282.75/1285.98 c #Conflicts: 902000 | #Constraints: 126192
1282.75/1285.98 c #Conflicts: 903000 | #Constraints: 127192
1282.75/1285.98 c #Conflicts: 904000 | #Constraints: 128192
1282.75/1285.98 c #Conflicts: 905000 | #Constraints: 129192
1282.75/1285.98 c #Conflicts: 906000 | #Constraints: 130192
1282.75/1285.98 c #Conflicts: 907000 | #Constraints: 131192
1282.75/1285.98 c #Conflicts: 908000 | #Constraints: 132192
1282.75/1285.98 c #Conflicts: 909000 | #Constraints: 133192
1282.75/1285.98 c #Conflicts: 910000 | #Constraints: 134192
1282.75/1285.98 c #Conflicts: 911000 | #Constraints: 135192
1282.75/1285.98 c #Conflicts: 912000 | #Constraints: 136192
1282.75/1285.98 c #Conflicts: 913000 | #Constraints: 137193
1282.75/1285.98 c #Conflicts: 914000 | #Constraints: 138193
1282.75/1285.98 c #Conflicts: 915000 | #Constraints: 139194
1282.75/1285.98 c #Conflicts: 916000 | #Constraints: 140194
1282.75/1285.98 c #Conflicts: 917000 | #Constraints: 141194
1282.75/1285.98 c #Conflicts: 918000 | #Constraints: 142194
1282.75/1285.98 c #Conflicts: 919000 | #Constraints: 143194
1282.75/1285.98 c #Conflicts: 920000 | #Constraints: 144195
1282.75/1285.98 c #Conflicts: 921000 | #Constraints: 145195
1282.75/1285.98 c #Conflicts: 922000 | #Constraints: 146195
1282.75/1285.98 c #Conflicts: 923000 | #Constraints: 147195
1282.75/1285.98 c #Conflicts: 924000 | #Constraints: 148195
1282.75/1285.98 c #Conflicts: 925000 | #Constraints: 149195
1282.75/1285.98 c #Conflicts: 926000 | #Constraints: 150195
1282.75/1285.98 c #Conflicts: 927000 | #Constraints: 151196
1282.75/1285.98 c #Conflicts: 928000 | #Constraints: 152196
1282.75/1285.98 c #Conflicts: 929000 | #Constraints: 153196
1282.75/1285.98 c #Conflicts: 930000 | #Constraints: 154196
1282.75/1285.98 c #Conflicts: 931000 | #Constraints: 155196
1282.75/1285.98 c #Conflicts: 932000 | #Constraints: 156196
1282.75/1285.98 c #Conflicts: 933000 | #Constraints: 157196
1282.75/1285.98 c #Conflicts: 934000 | #Constraints: 158196
1282.75/1285.98 c #Conflicts: 935000 | #Constraints: 159196
1282.75/1285.98 c #Conflicts: 936000 | #Constraints: 160197
1282.75/1285.98 c #Conflicts: 937000 | #Constraints: 161197
1282.75/1285.98 c #Conflicts: 938000 | #Constraints: 162197
1282.75/1285.98 c #Conflicts: 939000 | #Constraints: 163197
1282.75/1285.98 c #Conflicts: 940000 | #Constraints: 164197
1282.75/1285.98 c #Conflicts: 941000 | #Constraints: 165197
1282.75/1285.98 c #Conflicts: 942000 | #Constraints: 166197
1282.75/1285.98 c #Conflicts: 943000 | #Constraints: 167197
1282.75/1285.98 c #Conflicts: 944000 | #Constraints: 168197
1282.75/1285.98 c #Conflicts: 945000 | #Constraints: 169197
1282.75/1285.98 c #Conflicts: 946000 | #Constraints: 170197
1282.75/1285.98 c #Conflicts: 947000 | #Constraints: 171197
1282.75/1285.98 c #Conflicts: 948000 | #Constraints: 172199
1282.75/1285.98 c #Conflicts: 949000 | #Constraints: 173199
1282.75/1285.98 c #Conflicts: 950000 | #Constraints: 174199
1282.75/1285.98 c #Conflicts: 951000 | #Constraints: 175199
1282.75/1285.98 c #Conflicts: 952000 | #Constraints: 176199
1282.75/1285.98 c #Conflicts: 953000 | #Constraints: 177200
1282.75/1285.98 c #Conflicts: 954000 | #Constraints: 178200
1282.75/1285.98 c #Conflicts: 955000 | #Constraints: 179200
1282.75/1285.98 c #Conflicts: 956000 | #Constraints: 180200
1282.75/1285.98 c #Conflicts: 957000 | #Constraints: 181200
1282.75/1285.98 c #Conflicts: 958000 | #Constraints: 182200
1282.75/1285.98 c INPROCESSING
1282.75/1285.98 c GARBAGE COLLECT
1282.75/1285.98 c #Conflicts: 959000 | #Constraints: 131026
1282.75/1285.98 c #Conflicts: 960000 | #Constraints: 132026
1282.75/1285.98 c #Conflicts: 961000 | #Constraints: 133027
1282.75/1285.98 c #Conflicts: 962000 | #Constraints: 134027
1282.75/1285.98 c #Conflicts: 963000 | #Constraints: 135027
1282.75/1285.98 c #Conflicts: 964000 | #Constraints: 136027
1282.75/1285.98 c #Conflicts: 965000 | #Constraints: 137027
1282.75/1285.98 c #Conflicts: 966000 | #Constraints: 138027
1282.75/1285.98 c #Conflicts: 967000 | #Constraints: 139027
1282.75/1285.98 c #Conflicts: 968000 | #Constraints: 140027
1282.75/1285.98 c #Conflicts: 969000 | #Constraints: 141027
1282.75/1285.98 c #Conflicts: 970000 | #Constraints: 142027
1282.75/1285.98 c #Conflicts: 971000 | #Constraints: 143027
1282.75/1285.98 c #Conflicts: 972000 | #Constraints: 144027
1282.75/1285.98 c #Conflicts: 973000 | #Constraints: 145027
1282.75/1285.98 c #Conflicts: 974000 | #Constraints: 146028
1282.75/1285.98 c #Conflicts: 975000 | #Constraints: 147028
1282.75/1285.98 c #Conflicts: 976000 | #Constraints: 148028
1282.75/1285.98 c #Conflicts: 977000 | #Constraints: 149028
1423.09/1426.61 c #Conflicts: 978000 | #Constraints: 150029
1423.09/1426.61 c #Conflicts: 979000 | #Constraints: 151029
1423.09/1426.61 c INPROCESSING
1423.09/1426.61 c GARBAGE COLLECT
1423.09/1426.61 c #Conflicts: 980000 | #Constraints: 115487
1423.09/1426.61 c #Conflicts: 981000 | #Constraints: 116487
1423.09/1426.61 c #Conflicts: 982000 | #Constraints: 117487
1423.09/1426.61 c #Conflicts: 983000 | #Constraints: 118488
1423.09/1426.61 c #Conflicts: 984000 | #Constraints: 119488
1423.09/1426.61 c #Conflicts: 985000 | #Constraints: 120488
1423.09/1426.61 c #Conflicts: 986000 | #Constraints: 121488
1423.09/1426.61 c #Conflicts: 987000 | #Constraints: 122488
1423.09/1426.61 c #Conflicts: 988000 | #Constraints: 123488
1423.09/1426.61 c #Conflicts: 989000 | #Constraints: 124488
1423.09/1426.61 c #Conflicts: 990000 | #Constraints: 125488
1423.09/1426.61 c #Conflicts: 991000 | #Constraints: 126488
1423.09/1426.61 c #Conflicts: 992000 | #Constraints: 127488
1423.09/1426.61 c #Conflicts: 993000 | #Constraints: 128488
1423.09/1426.61 c #Conflicts: 994000 | #Constraints: 129488
1423.09/1426.61 c #Conflicts: 995000 | #Constraints: 130488
1423.09/1426.61 c #Conflicts: 996000 | #Constraints: 131488
1423.09/1426.61 c #Conflicts: 997000 | #Constraints: 132488
1423.09/1426.61 c #Conflicts: 998000 | #Constraints: 133489
1423.09/1426.61 c #Conflicts: 999000 | #Constraints: 134489
1423.09/1426.61 c #Conflicts: 1000000 | #Constraints: 135489
1423.09/1426.61 c #Conflicts: 1001000 | #Constraints: 136489
1423.09/1426.61 c INPROCESSING
1423.09/1426.61 c GARBAGE COLLECT
1423.09/1426.61 c #Conflicts: 1002000 | #Constraints: 108595
1423.09/1426.61 c #Conflicts: 1003000 | #Constraints: 109595
1423.09/1426.61 c #Conflicts: 1004000 | #Constraints: 110595
1423.09/1426.61 c #Conflicts: 1005000 | #Constraints: 111595
1423.09/1426.61 c #Conflicts: 1006000 | #Constraints: 112595
1423.09/1426.61 c #Conflicts: 1007000 | #Constraints: 113595
1423.09/1426.61 c #Conflicts: 1008000 | #Constraints: 114595
1423.09/1426.61 c #Conflicts: 1009000 | #Constraints: 115595
1423.09/1426.61 c #Conflicts: 1010000 | #Constraints: 116595
1423.09/1426.61 c #Conflicts: 1011000 | #Constraints: 117595
1423.09/1426.61 c #Conflicts: 1012000 | #Constraints: 118595
1423.09/1426.61 c #Conflicts: 1013000 | #Constraints: 119595
1423.09/1426.61 c #Conflicts: 1014000 | #Constraints: 120596
1423.09/1426.61 c #Conflicts: 1015000 | #Constraints: 121596
1423.09/1426.61 c #Conflicts: 1016000 | #Constraints: 122596
1423.09/1426.61 c #Conflicts: 1017000 | #Constraints: 123596
1423.09/1426.61 c #Conflicts: 1018000 | #Constraints: 124596
1423.09/1426.61 c #Conflicts: 1019000 | #Constraints: 125598
1423.09/1426.61 c #Conflicts: 1020000 | #Constraints: 126598
1423.09/1426.61 c #Conflicts: 1021000 | #Constraints: 127598
1423.09/1426.61 c #Conflicts: 1022000 | #Constraints: 128598
1423.09/1426.61 c INPROCESSING
1423.09/1426.61 c GARBAGE COLLECT
1423.09/1426.61 c #Conflicts: 1023000 | #Constraints: 104446
1423.09/1426.61 c #Conflicts: 1024000 | #Constraints: 105446
1423.09/1426.61 c #Conflicts: 1025000 | #Constraints: 106446
1423.09/1426.61 c #Conflicts: 1026000 | #Constraints: 107446
1423.09/1426.61 c #Conflicts: 1027000 | #Constraints: 108446
1423.09/1426.61 c #Conflicts: 1028000 | #Constraints: 109446
1423.09/1426.61 c #Conflicts: 1029000 | #Constraints: 110446
1423.09/1426.61 c #Conflicts: 1030000 | #Constraints: 111446
1423.09/1426.61 c #Conflicts: 1031000 | #Constraints: 112446
1423.09/1426.61 c #Conflicts: 1032000 | #Constraints: 113446
1423.09/1426.61 c #Conflicts: 1033000 | #Constraints: 114446
1423.09/1426.61 c #Conflicts: 1034000 | #Constraints: 115446
1423.09/1426.61 c #Conflicts: 1035000 | #Constraints: 116446
1423.09/1426.61 c #Conflicts: 1036000 | #Constraints: 117446
1423.09/1426.61 c #Conflicts: 1037000 | #Constraints: 118446
1423.09/1426.61 c #Conflicts: 1038000 | #Constraints: 119446
1423.09/1426.61 c #Conflicts: 1039000 | #Constraints: 120446
1423.09/1426.61 c #Conflicts: 1040000 | #Constraints: 121446
1423.09/1426.61 c #Conflicts: 1041000 | #Constraints: 122446
1423.09/1426.61 c #Conflicts: 1042000 | #Constraints: 123446
1423.09/1426.61 c #Conflicts: 1043000 | #Constraints: 124447
1423.09/1426.61 c #Conflicts: 1044000 | #Constraints: 125447
1423.09/1426.61 c #Conflicts: 1045000 | #Constraints: 126447
1423.09/1426.61 c #Conflicts: 1046000 | #Constraints: 127447
1423.09/1426.61 c #Conflicts: 1047000 | #Constraints: 128447
1423.09/1426.61 c #Conflicts: 1048000 | #Constraints: 129447
1423.09/1426.61 c #Conflicts: 1049000 | #Constraints: 130447
1423.09/1426.61 c #Conflicts: 1050000 | #Constraints: 131447
1423.09/1426.61 c #Conflicts: 1051000 | #Constraints: 132447
1423.09/1426.61 c #Conflicts: 1052000 | #Constraints: 133447
1423.09/1426.61 c #Conflicts: 1053000 | #Constraints: 134447
1633.26/1637.30 c #Conflicts: 1054000 | #Constraints: 135447
1633.26/1637.30 c #Conflicts: 1055000 | #Constraints: 136447
1633.26/1637.30 c #Conflicts: 1056000 | #Constraints: 137447
1633.26/1637.30 c #Conflicts: 1057000 | #Constraints: 138447
1633.26/1637.30 c #Conflicts: 1058000 | #Constraints: 139448
1633.26/1637.30 c #Conflicts: 1059000 | #Constraints: 140449
1633.26/1637.30 c #Conflicts: 1060000 | #Constraints: 141450
1633.26/1637.30 c #Conflicts: 1061000 | #Constraints: 142451
1633.26/1637.30 c #Conflicts: 1062000 | #Constraints: 143452
1633.26/1637.30 c #Conflicts: 1063000 | #Constraints: 144452
1633.26/1637.30 c #Conflicts: 1064000 | #Constraints: 145453
1633.26/1637.30 c #Conflicts: 1065000 | #Constraints: 146454
1633.26/1637.30 c #Conflicts: 1066000 | #Constraints: 147456
1633.26/1637.30 c #Conflicts: 1067000 | #Constraints: 148456
1633.26/1637.30 c #Conflicts: 1068000 | #Constraints: 149456
1633.26/1637.30 c #Conflicts: 1069000 | #Constraints: 150456
1633.26/1637.30 c #Conflicts: 1070000 | #Constraints: 151456
1633.26/1637.30 c #Conflicts: 1071000 | #Constraints: 152457
1633.26/1637.30 c #Conflicts: 1072000 | #Constraints: 153458
1633.26/1637.30 c #Conflicts: 1073000 | #Constraints: 154458
1633.26/1637.30 c #Conflicts: 1074000 | #Constraints: 155459
1633.26/1637.30 c #Conflicts: 1075000 | #Constraints: 156460
1633.26/1637.30 c #Conflicts: 1076000 | #Constraints: 157460
1633.26/1637.30 c #Conflicts: 1077000 | #Constraints: 158460
1633.26/1637.30 c #Conflicts: 1078000 | #Constraints: 159460
1633.26/1637.30 c #Conflicts: 1079000 | #Constraints: 160460
1633.26/1637.30 c #Conflicts: 1080000 | #Constraints: 161460
1633.26/1637.30 c #Conflicts: 1081000 | #Constraints: 162461
1633.26/1637.30 c #Conflicts: 1082000 | #Constraints: 163461
1633.26/1637.30 c #Conflicts: 1083000 | #Constraints: 164461
1633.26/1637.30 c #Conflicts: 1084000 | #Constraints: 165461
1633.26/1637.30 c #Conflicts: 1085000 | #Constraints: 166461
1633.26/1637.30 c #Conflicts: 1086000 | #Constraints: 167461
1633.26/1637.30 c #Conflicts: 1087000 | #Constraints: 168461
1633.26/1637.30 c #Conflicts: 1088000 | #Constraints: 169461
1633.26/1637.30 c #Conflicts: 1089000 | #Constraints: 170461
1633.26/1637.30 c #Conflicts: 1090000 | #Constraints: 171461
1633.26/1637.30 c #Conflicts: 1091000 | #Constraints: 172461
1633.26/1637.30 c #Conflicts: 1092000 | #Constraints: 173461
1633.26/1637.30 c #Conflicts: 1093000 | #Constraints: 174462
1633.26/1637.30 c #Conflicts: 1094000 | #Constraints: 175462
1633.26/1637.30 c #Conflicts: 1095000 | #Constraints: 176462
1633.26/1637.30 c #Conflicts: 1096000 | #Constraints: 177462
1633.26/1637.30 c #Conflicts: 1097000 | #Constraints: 178462
1633.26/1637.30 c #Conflicts: 1098000 | #Constraints: 179462
1633.26/1637.30 c #Conflicts: 1099000 | #Constraints: 180462
1633.26/1637.30 c #Conflicts: 1100000 | #Constraints: 181463
1633.26/1637.30 c #Conflicts: 1101000 | #Constraints: 182463
1633.26/1637.30 c #Conflicts: 1102000 | #Constraints: 183463
1633.26/1637.30 c #Conflicts: 1103000 | #Constraints: 184466
1633.26/1637.30 c #Conflicts: 1104000 | #Constraints: 185466
1633.26/1637.30 c #Conflicts: 1105000 | #Constraints: 186466
1633.26/1637.30 c #Conflicts: 1106000 | #Constraints: 187466
1633.26/1637.30 c #Conflicts: 1107000 | #Constraints: 188466
1633.26/1637.30 c #Conflicts: 1108000 | #Constraints: 189466
1633.26/1637.30 c INPROCESSING
1633.26/1637.30 c GARBAGE COLLECT
1633.26/1637.30 c #Conflicts: 1109000 | #Constraints: 134686
1633.26/1637.30 c #Conflicts: 1110000 | #Constraints: 135686
1633.26/1637.30 c #Conflicts: 1111000 | #Constraints: 136686
1633.26/1637.30 c #Conflicts: 1112000 | #Constraints: 137686
1633.26/1637.30 c #Conflicts: 1113000 | #Constraints: 138686
1633.26/1637.30 c #Conflicts: 1114000 | #Constraints: 139686
1633.26/1637.30 c #Conflicts: 1115000 | #Constraints: 140686
1633.26/1637.30 c #Conflicts: 1116000 | #Constraints: 141686
1633.26/1637.30 c #Conflicts: 1117000 | #Constraints: 142686
1633.26/1637.30 c #Conflicts: 1118000 | #Constraints: 143688
1633.26/1637.30 c #Conflicts: 1119000 | #Constraints: 144690
1633.26/1637.30 c #Conflicts: 1120000 | #Constraints: 145690
1633.26/1637.30 c #Conflicts: 1121000 | #Constraints: 146690
1633.26/1637.30 c #Conflicts: 1122000 | #Constraints: 147690
1633.26/1637.30 c #Conflicts: 1123000 | #Constraints: 148690
1633.26/1637.30 c #Conflicts: 1124000 | #Constraints: 149690
1633.26/1637.30 c #Conflicts: 1125000 | #Constraints: 150690
1633.26/1637.30 c #Conflicts: 1126000 | #Constraints: 151690
1633.26/1637.30 c #Conflicts: 1127000 | #Constraints: 152690
1633.26/1637.30 c #Conflicts: 1128000 | #Constraints: 153691
1633.26/1637.30 c #Conflicts: 1129000 | #Constraints: 154691
1633.26/1637.30 c #Conflicts: 1130000 | #Constraints: 155691
1633.26/1637.30 c #Conflicts: 1131000 | #Constraints: 156691
1633.26/1637.30 c INPROCESSING
1738.28/1742.63 c GARBAGE COLLECT
1738.28/1742.63 c #Conflicts: 1132000 | #Constraints: 118452
1738.28/1742.63 c #Conflicts: 1133000 | #Constraints: 119452
1738.28/1742.63 c #Conflicts: 1134000 | #Constraints: 120452
1738.28/1742.63 c #Conflicts: 1135000 | #Constraints: 121452
1738.28/1742.63 c #Conflicts: 1136000 | #Constraints: 122452
1738.28/1742.63 c #Conflicts: 1137000 | #Constraints: 123452
1738.28/1742.63 c #Conflicts: 1138000 | #Constraints: 124452
1738.28/1742.63 c #Conflicts: 1139000 | #Constraints: 125452
1738.28/1742.63 c #Conflicts: 1140000 | #Constraints: 126452
1738.28/1742.63 c #Conflicts: 1141000 | #Constraints: 127452
1738.28/1742.63 c #Conflicts: 1142000 | #Constraints: 128452
1738.28/1742.63 c #Conflicts: 1143000 | #Constraints: 129452
1738.28/1742.63 c #Conflicts: 1144000 | #Constraints: 130452
1738.28/1742.63 c #Conflicts: 1145000 | #Constraints: 131452
1738.28/1742.63 c #Conflicts: 1146000 | #Constraints: 132452
1738.28/1742.63 c #Conflicts: 1147000 | #Constraints: 133452
1738.28/1742.63 c #Conflicts: 1148000 | #Constraints: 134452
1738.28/1742.63 c #Conflicts: 1149000 | #Constraints: 135452
1738.28/1742.63 c #Conflicts: 1150000 | #Constraints: 136453
1738.28/1742.63 c #Conflicts: 1151000 | #Constraints: 137453
1738.28/1742.63 c #Conflicts: 1152000 | #Constraints: 138453
1738.28/1742.63 c #Conflicts: 1153000 | #Constraints: 139453
1738.28/1742.63 c #Conflicts: 1154000 | #Constraints: 140453
1738.28/1742.63 c INPROCESSING
1738.28/1742.63 c GARBAGE COLLECT
1738.28/1742.63 c #Conflicts: 1155000 | #Constraints: 110361
1738.28/1742.63 c #Conflicts: 1156000 | #Constraints: 111361
1738.28/1742.63 c #Conflicts: 1157000 | #Constraints: 112361
1738.28/1742.63 c #Conflicts: 1158000 | #Constraints: 113361
1738.28/1742.63 c #Conflicts: 1159000 | #Constraints: 114361
1738.28/1742.63 c #Conflicts: 1160000 | #Constraints: 115361
1738.28/1742.63 c #Conflicts: 1161000 | #Constraints: 116362
1738.28/1742.63 c #Conflicts: 1162000 | #Constraints: 117362
1738.28/1742.63 c #Conflicts: 1163000 | #Constraints: 118362
1738.28/1742.63 c #Conflicts: 1164000 | #Constraints: 119362
1738.28/1742.63 c #Conflicts: 1165000 | #Constraints: 120362
1738.28/1742.63 c #Conflicts: 1166000 | #Constraints: 121362
1738.28/1742.63 c #Conflicts: 1167000 | #Constraints: 122362
1738.28/1742.63 c #Conflicts: 1168000 | #Constraints: 123362
1738.28/1742.63 c #Conflicts: 1169000 | #Constraints: 124362
1738.28/1742.63 c #Conflicts: 1170000 | #Constraints: 125362
1738.28/1742.63 c #Conflicts: 1171000 | #Constraints: 126363
1738.28/1742.63 c #Conflicts: 1172000 | #Constraints: 127363
1738.28/1742.63 c #Conflicts: 1173000 | #Constraints: 128363
1738.28/1742.63 c #Conflicts: 1174000 | #Constraints: 129363
1738.28/1742.63 c #Conflicts: 1175000 | #Constraints: 130363
1738.28/1742.63 c #Conflicts: 1176000 | #Constraints: 131364
1738.28/1742.63 c #Conflicts: 1177000 | #Constraints: 132364
1738.28/1742.63 c INPROCESSING
1738.28/1742.63 c GARBAGE COLLECT
1738.28/1742.63 c #Conflicts: 1178000 | #Constraints: 106286
1738.28/1742.63 c #Conflicts: 1179000 | #Constraints: 107286
1738.28/1742.63 c #Conflicts: 1180000 | #Constraints: 108286
1738.28/1742.63 c #Conflicts: 1181000 | #Constraints: 109286
1738.28/1742.63 c #Conflicts: 1182000 | #Constraints: 110286
1738.28/1742.63 c #Conflicts: 1183000 | #Constraints: 111286
1738.28/1742.63 c #Conflicts: 1184000 | #Constraints: 112286
1738.28/1742.63 c #Conflicts: 1185000 | #Constraints: 113286
1738.28/1742.63 c #Conflicts: 1186000 | #Constraints: 114286
1738.28/1742.63 c #Conflicts: 1187000 | #Constraints: 115286
1738.28/1742.63 c #Conflicts: 1188000 | #Constraints: 116286
1738.28/1742.63 c #Conflicts: 1189000 | #Constraints: 117286
1738.28/1742.63 c #Conflicts: 1190000 | #Constraints: 118286
1738.28/1742.63 c #Conflicts: 1191000 | #Constraints: 119286
1738.28/1742.63 c #Conflicts: 1192000 | #Constraints: 120286
1738.28/1742.63 c #Conflicts: 1193000 | #Constraints: 121286
1738.28/1742.63 c #Conflicts: 1194000 | #Constraints: 122286
1738.28/1742.63 c #Conflicts: 1195000 | #Constraints: 123286
1738.28/1742.63 c #Conflicts: 1196000 | #Constraints: 124286
1738.28/1742.63 c #Conflicts: 1197000 | #Constraints: 125286
1738.28/1742.63 c #Conflicts: 1198000 | #Constraints: 126286
1738.28/1742.63 c #Conflicts: 1199000 | #Constraints: 127286
1738.28/1742.63 c #Conflicts: 1200000 | #Constraints: 128287
1738.28/1742.63 c #Conflicts: 1201000 | #Constraints: 129287
1738.28/1742.63 c #Conflicts: 1202000 | #Constraints: 130287
1738.28/1742.63 c #Conflicts: 1203000 | #Constraints: 131287
1738.28/1742.63 c #Conflicts: 1204000 | #Constraints: 132287
1738.28/1742.63 c #Conflicts: 1205000 | #Constraints: 133287
1738.28/1742.63 c #Conflicts: 1206000 | #Constraints: 134287
1738.28/1742.63 c #Conflicts: 1207000 | #Constraints: 135287
1738.28/1742.63 c #Conflicts: 1208000 | #Constraints: 136288
1904.95/1909.76 c #Conflicts: 1209000 | #Constraints: 137288
1904.95/1909.76 c #Conflicts: 1210000 | #Constraints: 138288
1904.95/1909.76 c #Conflicts: 1211000 | #Constraints: 139288
1904.95/1909.76 c #Conflicts: 1212000 | #Constraints: 140288
1904.95/1909.76 c #Conflicts: 1213000 | #Constraints: 141288
1904.95/1909.76 c #Conflicts: 1214000 | #Constraints: 142288
1904.95/1909.76 c #Conflicts: 1215000 | #Constraints: 143288
1904.95/1909.76 c #Conflicts: 1216000 | #Constraints: 144289
1904.95/1909.76 c #Conflicts: 1217000 | #Constraints: 145291
1904.95/1909.76 c #Conflicts: 1218000 | #Constraints: 146293
1904.95/1909.76 c #Conflicts: 1219000 | #Constraints: 147293
1904.95/1909.76 c #Conflicts: 1220000 | #Constraints: 148293
1904.95/1909.76 c #Conflicts: 1221000 | #Constraints: 149293
1904.95/1909.76 c #Conflicts: 1222000 | #Constraints: 150295
1904.95/1909.76 c #Conflicts: 1223000 | #Constraints: 151295
1904.95/1909.76 c #Conflicts: 1224000 | #Constraints: 152295
1904.95/1909.76 c #Conflicts: 1225000 | #Constraints: 153295
1904.95/1909.76 c #Conflicts: 1226000 | #Constraints: 154295
1904.95/1909.76 c #Conflicts: 1227000 | #Constraints: 155295
1904.95/1909.76 c #Conflicts: 1228000 | #Constraints: 156295
1904.95/1909.76 c #Conflicts: 1229000 | #Constraints: 157295
1904.95/1909.76 c #Conflicts: 1230000 | #Constraints: 158295
1904.95/1909.76 c #Conflicts: 1231000 | #Constraints: 159295
1904.95/1909.76 c #Conflicts: 1232000 | #Constraints: 160295
1904.95/1909.76 c #Conflicts: 1233000 | #Constraints: 161295
1904.95/1909.76 c #Conflicts: 1234000 | #Constraints: 162295
1904.95/1909.76 c #Conflicts: 1235000 | #Constraints: 163295
1904.95/1909.76 c #Conflicts: 1236000 | #Constraints: 164295
1904.95/1909.76 c #Conflicts: 1237000 | #Constraints: 165295
1904.95/1909.76 c #Conflicts: 1238000 | #Constraints: 166295
1904.95/1909.76 c #Conflicts: 1239000 | #Constraints: 167295
1904.95/1909.76 c #Conflicts: 1240000 | #Constraints: 168295
1904.95/1909.76 c #Conflicts: 1241000 | #Constraints: 169295
1904.95/1909.76 c #Conflicts: 1242000 | #Constraints: 170295
1904.95/1909.76 c #Conflicts: 1243000 | #Constraints: 171295
1904.95/1909.76 c #Conflicts: 1244000 | #Constraints: 172295
1904.95/1909.76 c #Conflicts: 1245000 | #Constraints: 173295
1904.95/1909.76 c #Conflicts: 1246000 | #Constraints: 174295
1904.95/1909.76 c #Conflicts: 1247000 | #Constraints: 175295
1904.95/1909.76 c #Conflicts: 1248000 | #Constraints: 176295
1904.95/1909.76 c #Conflicts: 1249000 | #Constraints: 177295
1904.95/1909.76 c #Conflicts: 1250000 | #Constraints: 178295
1904.95/1909.76 c #Conflicts: 1251000 | #Constraints: 179295
1904.95/1909.76 c #Conflicts: 1252000 | #Constraints: 180295
1904.95/1909.76 c #Conflicts: 1253000 | #Constraints: 181295
1904.95/1909.76 c #Conflicts: 1254000 | #Constraints: 182296
1904.95/1909.76 c #Conflicts: 1255000 | #Constraints: 183296
1904.95/1909.76 c #Conflicts: 1256000 | #Constraints: 184296
1904.95/1909.76 c #Conflicts: 1257000 | #Constraints: 185297
1904.95/1909.76 c #Conflicts: 1258000 | #Constraints: 186298
1904.95/1909.76 c #Conflicts: 1259000 | #Constraints: 187298
1904.95/1909.76 c #Conflicts: 1260000 | #Constraints: 188298
1904.95/1909.76 c #Conflicts: 1261000 | #Constraints: 189298
1904.95/1909.76 c #Conflicts: 1262000 | #Constraints: 190299
1904.95/1909.76 c #Conflicts: 1263000 | #Constraints: 191299
1904.95/1909.76 c #Conflicts: 1264000 | #Constraints: 192299
1904.95/1909.76 c #Conflicts: 1265000 | #Constraints: 193299
1904.95/1909.76 c #Conflicts: 1266000 | #Constraints: 194299
1904.95/1909.76 c #Conflicts: 1267000 | #Constraints: 195299
1904.95/1909.76 c #Conflicts: 1268000 | #Constraints: 196300
1904.95/1909.76 c #Conflicts: 1269000 | #Constraints: 197300
1904.95/1909.76 c INPROCESSING
1904.95/1909.76 c GARBAGE COLLECT
1904.95/1909.76 c #Conflicts: 1270000 | #Constraints: 138886
1904.95/1909.76 c #Conflicts: 1271000 | #Constraints: 139886
1904.95/1909.76 c #Conflicts: 1272000 | #Constraints: 140886
1904.95/1909.76 c #Conflicts: 1273000 | #Constraints: 141886
1904.95/1909.76 c #Conflicts: 1274000 | #Constraints: 142886
1904.95/1909.76 c #Conflicts: 1275000 | #Constraints: 143886
1904.95/1909.76 c #Conflicts: 1276000 | #Constraints: 144886
1904.95/1909.76 c #Conflicts: 1277000 | #Constraints: 145886
1904.95/1909.76 c #Conflicts: 1278000 | #Constraints: 146886
1904.95/1909.76 c #Conflicts: 1279000 | #Constraints: 147886
1904.95/1909.76 c #Conflicts: 1280000 | #Constraints: 148886
1904.95/1909.76 c #Conflicts: 1281000 | #Constraints: 149886
1904.95/1909.76 c #Conflicts: 1282000 | #Constraints: 150886
1904.95/1909.76 c #Conflicts: 1283000 | #Constraints: 151886
1904.95/1909.76 c #Conflicts: 1284000 | #Constraints: 152886
1904.95/1909.76 c #Conflicts: 1285000 | #Constraints: 153886
1904.95/1909.76 c #Conflicts: 1286000 | #Constraints: 154887
1904.95/1909.76 c #Conflicts: 1287000 | #Constraints: 155887
2032.24/2037.37 c #Conflicts: 1288000 | #Constraints: 156887
2032.24/2037.37 c #Conflicts: 1289000 | #Constraints: 157887
2032.24/2037.37 c #Conflicts: 1290000 | #Constraints: 158887
2032.24/2037.37 c #Conflicts: 1291000 | #Constraints: 159887
2032.24/2037.37 c #Conflicts: 1292000 | #Constraints: 160887
2032.24/2037.37 c #Conflicts: 1293000 | #Constraints: 161887
2032.24/2037.37 c INPROCESSING
2032.24/2037.37 c GARBAGE COLLECT
2032.24/2037.37 c #Conflicts: 1294000 | #Constraints: 121009
2032.24/2037.37 c #Conflicts: 1295000 | #Constraints: 122009
2032.24/2037.37 c #Conflicts: 1296000 | #Constraints: 123009
2032.24/2037.37 c #Conflicts: 1297000 | #Constraints: 124009
2032.24/2037.37 c #Conflicts: 1298000 | #Constraints: 125010
2032.24/2037.37 c #Conflicts: 1299000 | #Constraints: 126010
2032.24/2037.37 c #Conflicts: 1300000 | #Constraints: 127010
2032.24/2037.37 c #Conflicts: 1301000 | #Constraints: 128010
2032.24/2037.37 c #Conflicts: 1302000 | #Constraints: 129010
2032.24/2037.37 c #Conflicts: 1303000 | #Constraints: 130010
2032.24/2037.37 c #Conflicts: 1304000 | #Constraints: 131010
2032.24/2037.37 c #Conflicts: 1305000 | #Constraints: 132010
2032.24/2037.37 c #Conflicts: 1306000 | #Constraints: 133010
2032.24/2037.37 c #Conflicts: 1307000 | #Constraints: 134010
2032.24/2037.37 c #Conflicts: 1308000 | #Constraints: 135011
2032.24/2037.37 c #Conflicts: 1309000 | #Constraints: 136012
2032.24/2037.37 c #Conflicts: 1310000 | #Constraints: 137012
2032.24/2037.37 c #Conflicts: 1311000 | #Constraints: 138012
2032.24/2037.37 c #Conflicts: 1312000 | #Constraints: 139013
2032.24/2037.37 c #Conflicts: 1313000 | #Constraints: 140013
2032.24/2037.37 c #Conflicts: 1314000 | #Constraints: 141014
2032.24/2037.37 c #Conflicts: 1315000 | #Constraints: 142014
2032.24/2037.37 c #Conflicts: 1316000 | #Constraints: 143015
2032.24/2037.37 c #Conflicts: 1317000 | #Constraints: 144018
2032.24/2037.37 c #Conflicts: 1318000 | #Constraints: 145019
2032.24/2037.37 c INPROCESSING
2032.24/2037.37 c GARBAGE COLLECT
2032.24/2037.37 c #Conflicts: 1319000 | #Constraints: 112725
2032.24/2037.37 c #Conflicts: 1320000 | #Constraints: 113725
2032.24/2037.37 c #Conflicts: 1321000 | #Constraints: 114725
2032.24/2037.37 c #Conflicts: 1322000 | #Constraints: 115725
2032.24/2037.37 c #Conflicts: 1323000 | #Constraints: 116725
2032.24/2037.37 c #Conflicts: 1324000 | #Constraints: 117725
2032.24/2037.37 c #Conflicts: 1325000 | #Constraints: 118725
2032.24/2037.37 c #Conflicts: 1326000 | #Constraints: 119725
2032.24/2037.37 c #Conflicts: 1327000 | #Constraints: 120725
2032.24/2037.37 c #Conflicts: 1328000 | #Constraints: 121725
2032.24/2037.37 c #Conflicts: 1329000 | #Constraints: 122725
2032.24/2037.37 c #Conflicts: 1330000 | #Constraints: 123727
2032.24/2037.37 c #Conflicts: 1331000 | #Constraints: 124727
2032.24/2037.37 c #Conflicts: 1332000 | #Constraints: 125727
2032.24/2037.37 c #Conflicts: 1333000 | #Constraints: 126728
2032.24/2037.37 c #Conflicts: 1334000 | #Constraints: 127728
2032.24/2037.37 c #Conflicts: 1335000 | #Constraints: 128728
2032.24/2037.37 c #Conflicts: 1336000 | #Constraints: 129728
2032.24/2037.37 c #Conflicts: 1337000 | #Constraints: 130729
2032.24/2037.37 c #Conflicts: 1338000 | #Constraints: 131729
2032.24/2037.37 c #Conflicts: 1339000 | #Constraints: 132729
2032.24/2037.37 c #Conflicts: 1340000 | #Constraints: 133730
2032.24/2037.37 c #Conflicts: 1341000 | #Constraints: 134730
2032.24/2037.37 c #Conflicts: 1342000 | #Constraints: 135730
2032.24/2037.37 c #Conflicts: 1343000 | #Constraints: 136730
2032.24/2037.37 c INPROCESSING
2032.24/2037.37 c GARBAGE COLLECT
2032.24/2037.37 c #Conflicts: 1344000 | #Constraints: 108721
2032.24/2037.37 c #Conflicts: 1345000 | #Constraints: 109721
2032.24/2037.37 c #Conflicts: 1346000 | #Constraints: 110721
2032.24/2037.37 c #Conflicts: 1347000 | #Constraints: 111721
2032.24/2037.37 c #Conflicts: 1348000 | #Constraints: 112721
2032.24/2037.37 c #Conflicts: 1349000 | #Constraints: 113721
2032.24/2037.37 c #Conflicts: 1350000 | #Constraints: 114721
2032.24/2037.37 c #Conflicts: 1351000 | #Constraints: 115721
2032.24/2037.37 c #Conflicts: 1352000 | #Constraints: 116721
2032.24/2037.37 c #Conflicts: 1353000 | #Constraints: 117721
2032.24/2037.37 c #Conflicts: 1354000 | #Constraints: 118721
2032.24/2037.37 c #Conflicts: 1355000 | #Constraints: 119721
2032.24/2037.37 c #Conflicts: 1356000 | #Constraints: 120721
2032.24/2037.37 c #Conflicts: 1357000 | #Constraints: 121721
2032.24/2037.37 c #Conflicts: 1358000 | #Constraints: 122721
2032.24/2037.37 c #Conflicts: 1359000 | #Constraints: 123721
2032.24/2037.37 c #Conflicts: 1360000 | #Constraints: 124721
2032.24/2037.37 c #Conflicts: 1361000 | #Constraints: 125721
2032.24/2037.37 c #Conflicts: 1362000 | #Constraints: 126721
2032.24/2037.37 c #Conflicts: 1363000 | #Constraints: 127721
2195.44/2200.91 c #Conflicts: 1364000 | #Constraints: 128721
2195.44/2200.91 c #Conflicts: 1365000 | #Constraints: 129721
2195.44/2200.91 c #Conflicts: 1366000 | #Constraints: 130721
2195.44/2200.91 c #Conflicts: 1367000 | #Constraints: 131721
2195.44/2200.91 c #Conflicts: 1368000 | #Constraints: 132721
2195.44/2200.91 c #Conflicts: 1369000 | #Constraints: 133722
2195.44/2200.91 c #Conflicts: 1370000 | #Constraints: 134723
2195.44/2200.91 c #Conflicts: 1371000 | #Constraints: 135723
2195.44/2200.91 c #Conflicts: 1372000 | #Constraints: 136723
2195.44/2200.91 c #Conflicts: 1373000 | #Constraints: 137724
2195.44/2200.91 c #Conflicts: 1374000 | #Constraints: 138725
2195.44/2200.91 c #Conflicts: 1375000 | #Constraints: 139725
2195.44/2200.91 c #Conflicts: 1376000 | #Constraints: 140725
2195.44/2200.91 c #Conflicts: 1377000 | #Constraints: 141725
2195.44/2200.91 c #Conflicts: 1378000 | #Constraints: 142726
2195.44/2200.91 c #Conflicts: 1379000 | #Constraints: 143727
2195.44/2200.91 c #Conflicts: 1380000 | #Constraints: 144727
2195.44/2200.91 c #Conflicts: 1381000 | #Constraints: 145727
2195.44/2200.91 c #Conflicts: 1382000 | #Constraints: 146727
2195.44/2200.91 c #Conflicts: 1383000 | #Constraints: 147727
2195.44/2200.91 c #Conflicts: 1384000 | #Constraints: 148727
2195.44/2200.91 c #Conflicts: 1385000 | #Constraints: 149727
2195.44/2200.91 c #Conflicts: 1386000 | #Constraints: 150727
2195.44/2200.91 c #Conflicts: 1387000 | #Constraints: 151727
2195.44/2200.91 c #Conflicts: 1388000 | #Constraints: 152727
2195.44/2200.91 c #Conflicts: 1389000 | #Constraints: 153727
2195.44/2200.91 c #Conflicts: 1390000 | #Constraints: 154727
2195.44/2200.91 c #Conflicts: 1391000 | #Constraints: 155727
2195.44/2200.91 c #Conflicts: 1392000 | #Constraints: 156727
2195.44/2200.91 c #Conflicts: 1393000 | #Constraints: 157727
2195.44/2200.91 c #Conflicts: 1394000 | #Constraints: 158727
2195.44/2200.91 c #Conflicts: 1395000 | #Constraints: 159727
2195.44/2200.91 c #Conflicts: 1396000 | #Constraints: 160727
2195.44/2200.91 c #Conflicts: 1397000 | #Constraints: 161727
2195.44/2200.91 c #Conflicts: 1398000 | #Constraints: 162727
2195.44/2200.91 c #Conflicts: 1399000 | #Constraints: 163728
2195.44/2200.91 c #Conflicts: 1400000 | #Constraints: 164728
2195.44/2200.91 c #Conflicts: 1401000 | #Constraints: 165728
2195.44/2200.91 c #Conflicts: 1402000 | #Constraints: 166728
2195.44/2200.91 c #Conflicts: 1403000 | #Constraints: 167728
2195.44/2200.91 c #Conflicts: 1404000 | #Constraints: 168728
2195.44/2200.91 c #Conflicts: 1405000 | #Constraints: 169728
2195.44/2200.91 c #Conflicts: 1406000 | #Constraints: 170728
2195.44/2200.91 c #Conflicts: 1407000 | #Constraints: 171728
2195.44/2200.91 c #Conflicts: 1408000 | #Constraints: 172728
2195.44/2200.91 c #Conflicts: 1409000 | #Constraints: 173728
2195.44/2200.91 c #Conflicts: 1410000 | #Constraints: 174728
2195.44/2200.91 c #Conflicts: 1411000 | #Constraints: 175728
2195.44/2200.91 c #Conflicts: 1412000 | #Constraints: 176728
2195.44/2200.91 c #Conflicts: 1413000 | #Constraints: 177728
2195.44/2200.91 c #Conflicts: 1414000 | #Constraints: 178728
2195.44/2200.91 c #Conflicts: 1415000 | #Constraints: 179728
2195.44/2200.91 c #Conflicts: 1416000 | #Constraints: 180728
2195.44/2200.91 c #Conflicts: 1417000 | #Constraints: 181728
2195.44/2200.91 c #Conflicts: 1418000 | #Constraints: 182728
2195.44/2200.91 c #Conflicts: 1419000 | #Constraints: 183728
2195.44/2200.91 c #Conflicts: 1420000 | #Constraints: 184728
2195.44/2200.91 c #Conflicts: 1421000 | #Constraints: 185728
2195.44/2200.91 c #Conflicts: 1422000 | #Constraints: 186728
2195.44/2200.91 c #Conflicts: 1423000 | #Constraints: 187728
2195.44/2200.91 c #Conflicts: 1424000 | #Constraints: 188728
2195.44/2200.91 c #Conflicts: 1425000 | #Constraints: 189728
2195.44/2200.91 c #Conflicts: 1426000 | #Constraints: 190728
2195.44/2200.91 c #Conflicts: 1427000 | #Constraints: 191728
2195.44/2200.91 c #Conflicts: 1428000 | #Constraints: 192728
2195.44/2200.91 c #Conflicts: 1429000 | #Constraints: 193728
2195.44/2200.91 c #Conflicts: 1430000 | #Constraints: 194728
2195.44/2200.91 c #Conflicts: 1431000 | #Constraints: 195728
2195.44/2200.91 c #Conflicts: 1432000 | #Constraints: 196728
2195.44/2200.91 c #Conflicts: 1433000 | #Constraints: 197728
2195.44/2200.91 c #Conflicts: 1434000 | #Constraints: 198728
2195.44/2200.91 c #Conflicts: 1435000 | #Constraints: 199728
2195.44/2200.91 c #Conflicts: 1436000 | #Constraints: 200728
2195.44/2200.91 c #Conflicts: 1437000 | #Constraints: 201728
2195.44/2200.91 c #Conflicts: 1438000 | #Constraints: 202728
2195.44/2200.91 c #Conflicts: 1439000 | #Constraints: 203728
2195.44/2200.91 c #Conflicts: 1440000 | #Constraints: 204728
2195.44/2200.91 c INPROCESSING
2195.44/2200.91 c GARBAGE COLLECT
2195.44/2200.91 c #Conflicts: 1441000 | #Constraints: 142695
2195.44/2200.91 c #Conflicts: 1442000 | #Constraints: 143695
2330.32/2336.15 c #Conflicts: 1443000 | #Constraints: 144695
2330.32/2336.15 c #Conflicts: 1444000 | #Constraints: 145695
2330.32/2336.15 c #Conflicts: 1445000 | #Constraints: 146695
2330.32/2336.15 c #Conflicts: 1446000 | #Constraints: 147695
2330.32/2336.15 c #Conflicts: 1447000 | #Constraints: 148695
2330.32/2336.15 c #Conflicts: 1448000 | #Constraints: 149695
2330.32/2336.15 c #Conflicts: 1449000 | #Constraints: 150695
2330.32/2336.15 c #Conflicts: 1450000 | #Constraints: 151696
2330.32/2336.15 c #Conflicts: 1451000 | #Constraints: 152696
2330.32/2336.15 c #Conflicts: 1452000 | #Constraints: 153696
2330.32/2336.15 c #Conflicts: 1453000 | #Constraints: 154696
2330.32/2336.15 c #Conflicts: 1454000 | #Constraints: 155696
2330.32/2336.15 c #Conflicts: 1455000 | #Constraints: 156696
2330.32/2336.15 c #Conflicts: 1456000 | #Constraints: 157696
2330.32/2336.15 c #Conflicts: 1457000 | #Constraints: 158696
2330.32/2336.15 c #Conflicts: 1458000 | #Constraints: 159697
2330.32/2336.15 c #Conflicts: 1459000 | #Constraints: 160698
2330.32/2336.15 c #Conflicts: 1460000 | #Constraints: 161698
2330.32/2336.15 c #Conflicts: 1461000 | #Constraints: 162698
2330.32/2336.15 c #Conflicts: 1462000 | #Constraints: 163699
2330.32/2336.15 c #Conflicts: 1463000 | #Constraints: 164699
2330.32/2336.15 c #Conflicts: 1464000 | #Constraints: 165699
2330.32/2336.15 c #Conflicts: 1465000 | #Constraints: 166699
2330.32/2336.15 c #Conflicts: 1466000 | #Constraints: 167699
2330.32/2336.15 c INPROCESSING
2330.32/2336.15 c GARBAGE COLLECT
2330.32/2336.15 c #Conflicts: 1467000 | #Constraints: 124161
2330.32/2336.15 c #Conflicts: 1468000 | #Constraints: 125161
2330.32/2336.15 c #Conflicts: 1469000 | #Constraints: 126161
2330.32/2336.15 c #Conflicts: 1470000 | #Constraints: 127161
2330.32/2336.15 c #Conflicts: 1471000 | #Constraints: 128161
2330.32/2336.15 c #Conflicts: 1472000 | #Constraints: 129161
2330.32/2336.15 c #Conflicts: 1473000 | #Constraints: 130161
2330.32/2336.15 c #Conflicts: 1474000 | #Constraints: 131161
2330.32/2336.15 c #Conflicts: 1475000 | #Constraints: 132161
2330.32/2336.15 c #Conflicts: 1476000 | #Constraints: 133161
2330.32/2336.15 c #Conflicts: 1477000 | #Constraints: 134161
2330.32/2336.15 c #Conflicts: 1478000 | #Constraints: 135161
2330.32/2336.15 c #Conflicts: 1479000 | #Constraints: 136161
2330.32/2336.15 c #Conflicts: 1480000 | #Constraints: 137161
2330.32/2336.15 c #Conflicts: 1481000 | #Constraints: 138161
2330.32/2336.15 c #Conflicts: 1482000 | #Constraints: 139161
2330.32/2336.15 c #Conflicts: 1483000 | #Constraints: 140161
2330.32/2336.15 c #Conflicts: 1484000 | #Constraints: 141161
2330.32/2336.15 c #Conflicts: 1485000 | #Constraints: 142161
2330.32/2336.15 c #Conflicts: 1486000 | #Constraints: 143161
2330.32/2336.15 c #Conflicts: 1487000 | #Constraints: 144162
2330.32/2336.15 c #Conflicts: 1488000 | #Constraints: 145162
2330.32/2336.15 c #Conflicts: 1489000 | #Constraints: 146162
2330.32/2336.15 c #Conflicts: 1490000 | #Constraints: 147162
2330.32/2336.15 c #Conflicts: 1491000 | #Constraints: 148163
2330.32/2336.15 c #Conflicts: 1492000 | #Constraints: 149163
2330.32/2336.15 c INPROCESSING
2330.32/2336.15 c GARBAGE COLLECT
2330.32/2336.15 c #Conflicts: 1493000 | #Constraints: 114748
2330.32/2336.15 c #Conflicts: 1494000 | #Constraints: 115748
2330.32/2336.15 c #Conflicts: 1495000 | #Constraints: 116749
2330.32/2336.15 c #Conflicts: 1496000 | #Constraints: 117749
2330.32/2336.15 c #Conflicts: 1497000 | #Constraints: 118749
2330.32/2336.15 c #Conflicts: 1498000 | #Constraints: 119749
2330.32/2336.15 c #Conflicts: 1499000 | #Constraints: 120749
2330.32/2336.15 c #Conflicts: 1500000 | #Constraints: 121749
2330.32/2336.15 c #Conflicts: 1501000 | #Constraints: 122749
2330.32/2336.15 c #Conflicts: 1502000 | #Constraints: 123749
2330.32/2336.15 c #Conflicts: 1503000 | #Constraints: 124749
2330.32/2336.15 c #Conflicts: 1504000 | #Constraints: 125749
2330.32/2336.15 c #Conflicts: 1505000 | #Constraints: 126749
2330.32/2336.15 c #Conflicts: 1506000 | #Constraints: 127749
2330.32/2336.15 c #Conflicts: 1507000 | #Constraints: 128749
2330.32/2336.15 c #Conflicts: 1508000 | #Constraints: 129749
2330.32/2336.15 c #Conflicts: 1509000 | #Constraints: 130749
2330.32/2336.15 c #Conflicts: 1510000 | #Constraints: 131749
2330.32/2336.15 c #Conflicts: 1511000 | #Constraints: 132749
2330.32/2336.15 c #Conflicts: 1512000 | #Constraints: 133749
2330.32/2336.15 c #Conflicts: 1513000 | #Constraints: 134749
2330.32/2336.15 c #Conflicts: 1514000 | #Constraints: 135749
2330.32/2336.15 c #Conflicts: 1515000 | #Constraints: 136750
2330.32/2336.15 c #Conflicts: 1516000 | #Constraints: 137750
2330.32/2336.15 c #Conflicts: 1517000 | #Constraints: 138750
2330.32/2336.15 c #Conflicts: 1518000 | #Constraints: 139750
2330.32/2336.15 c INPROCESSING
2330.32/2336.15 c GARBAGE COLLECT
2482.45/2488.64 c #Conflicts: 1519000 | #Constraints: 109783
2482.45/2488.64 c #Conflicts: 1520000 | #Constraints: 110783
2482.45/2488.64 c #Conflicts: 1521000 | #Constraints: 111783
2482.45/2488.64 c #Conflicts: 1522000 | #Constraints: 112783
2482.45/2488.64 c #Conflicts: 1523000 | #Constraints: 113783
2482.45/2488.64 c #Conflicts: 1524000 | #Constraints: 114783
2482.45/2488.64 c #Conflicts: 1525000 | #Constraints: 115783
2482.45/2488.64 c #Conflicts: 1526000 | #Constraints: 116783
2482.45/2488.64 c #Conflicts: 1527000 | #Constraints: 117783
2482.45/2488.64 c #Conflicts: 1528000 | #Constraints: 118783
2482.45/2488.64 c #Conflicts: 1529000 | #Constraints: 119783
2482.45/2488.64 c #Conflicts: 1530000 | #Constraints: 120783
2482.45/2488.64 c #Conflicts: 1531000 | #Constraints: 121783
2482.45/2488.64 c #Conflicts: 1532000 | #Constraints: 122783
2482.45/2488.64 c #Conflicts: 1533000 | #Constraints: 123783
2482.45/2488.64 c #Conflicts: 1534000 | #Constraints: 124784
2482.45/2488.64 c #Conflicts: 1535000 | #Constraints: 125785
2482.45/2488.64 c #Conflicts: 1536000 | #Constraints: 126785
2482.45/2488.64 c #Conflicts: 1537000 | #Constraints: 127786
2482.45/2488.64 c #Conflicts: 1538000 | #Constraints: 128786
2482.45/2488.64 c #Conflicts: 1539000 | #Constraints: 129786
2482.45/2488.64 c #Conflicts: 1540000 | #Constraints: 130786
2482.45/2488.64 c #Conflicts: 1541000 | #Constraints: 131786
2482.45/2488.64 c #Conflicts: 1542000 | #Constraints: 132786
2482.45/2488.64 c #Conflicts: 1543000 | #Constraints: 133786
2482.45/2488.64 c #Conflicts: 1544000 | #Constraints: 134786
2482.45/2488.64 c #Conflicts: 1545000 | #Constraints: 135786
2482.45/2488.64 c #Conflicts: 1546000 | #Constraints: 136786
2482.45/2488.64 c #Conflicts: 1547000 | #Constraints: 137786
2482.45/2488.64 c #Conflicts: 1548000 | #Constraints: 138787
2482.45/2488.64 c #Conflicts: 1549000 | #Constraints: 139787
2482.45/2488.64 c #Conflicts: 1550000 | #Constraints: 140787
2482.45/2488.64 c #Conflicts: 1551000 | #Constraints: 141787
2482.45/2488.64 c #Conflicts: 1552000 | #Constraints: 142787
2482.45/2488.64 c #Conflicts: 1553000 | #Constraints: 143787
2482.45/2488.64 c #Conflicts: 1554000 | #Constraints: 144787
2482.45/2488.64 c #Conflicts: 1555000 | #Constraints: 145787
2482.45/2488.64 c #Conflicts: 1556000 | #Constraints: 146787
2482.45/2488.64 c #Conflicts: 1557000 | #Constraints: 147787
2482.45/2488.64 c #Conflicts: 1558000 | #Constraints: 148787
2482.45/2488.64 c #Conflicts: 1559000 | #Constraints: 149788
2482.45/2488.64 c #Conflicts: 1560000 | #Constraints: 150788
2482.45/2488.64 c #Conflicts: 1561000 | #Constraints: 151788
2482.45/2488.64 c #Conflicts: 1562000 | #Constraints: 152788
2482.45/2488.64 c #Conflicts: 1563000 | #Constraints: 153789
2482.45/2488.64 c #Conflicts: 1564000 | #Constraints: 154789
2482.45/2488.64 c #Conflicts: 1565000 | #Constraints: 155789
2482.45/2488.64 c #Conflicts: 1566000 | #Constraints: 156789
2482.45/2488.64 c #Conflicts: 1567000 | #Constraints: 157789
2482.45/2488.64 c #Conflicts: 1568000 | #Constraints: 158790
2482.45/2488.64 c #Conflicts: 1569000 | #Constraints: 159790
2482.45/2488.64 c #Conflicts: 1570000 | #Constraints: 160790
2482.45/2488.64 c #Conflicts: 1571000 | #Constraints: 161790
2482.45/2488.64 c #Conflicts: 1572000 | #Constraints: 162790
2482.45/2488.64 c #Conflicts: 1573000 | #Constraints: 163790
2482.45/2488.64 c #Conflicts: 1574000 | #Constraints: 164790
2482.45/2488.64 c #Conflicts: 1575000 | #Constraints: 165790
2482.45/2488.64 c #Conflicts: 1576000 | #Constraints: 166790
2482.45/2488.64 c #Conflicts: 1577000 | #Constraints: 167791
2482.45/2488.64 c #Conflicts: 1578000 | #Constraints: 168791
2482.45/2488.64 c #Conflicts: 1579000 | #Constraints: 169791
2482.45/2488.64 c #Conflicts: 1580000 | #Constraints: 170791
2482.45/2488.64 c #Conflicts: 1581000 | #Constraints: 171791
2482.45/2488.64 c #Conflicts: 1582000 | #Constraints: 172791
2482.45/2488.64 c #Conflicts: 1583000 | #Constraints: 173792
2482.45/2488.64 c #Conflicts: 1584000 | #Constraints: 174792
2482.45/2488.64 c #Conflicts: 1585000 | #Constraints: 175792
2482.45/2488.64 c #Conflicts: 1586000 | #Constraints: 176792
2482.45/2488.64 c #Conflicts: 1587000 | #Constraints: 177792
2482.45/2488.64 c #Conflicts: 1588000 | #Constraints: 178792
2482.45/2488.64 c #Conflicts: 1589000 | #Constraints: 179792
2482.45/2488.64 c #Conflicts: 1590000 | #Constraints: 180792
2482.45/2488.64 c #Conflicts: 1591000 | #Constraints: 181792
2482.45/2488.64 c #Conflicts: 1592000 | #Constraints: 182792
2482.45/2488.64 c #Conflicts: 1593000 | #Constraints: 183792
2482.45/2488.64 c #Conflicts: 1594000 | #Constraints: 184792
2482.45/2488.64 c #Conflicts: 1595000 | #Constraints: 185792
2482.45/2488.64 c #Conflicts: 1596000 | #Constraints: 186792
2482.45/2488.64 c #Conflicts: 1597000 | #Constraints: 187792
2654.43/2661.04 c #Conflicts: 1598000 | #Constraints: 188792
2654.43/2661.04 c #Conflicts: 1599000 | #Constraints: 189792
2654.43/2661.04 c #Conflicts: 1600000 | #Constraints: 190792
2654.43/2661.04 c #Conflicts: 1601000 | #Constraints: 191792
2654.43/2661.04 c #Conflicts: 1602000 | #Constraints: 192792
2654.43/2661.04 c #Conflicts: 1603000 | #Constraints: 193792
2654.43/2661.04 c #Conflicts: 1604000 | #Constraints: 194792
2654.43/2661.04 c #Conflicts: 1605000 | #Constraints: 195792
2654.43/2661.04 c #Conflicts: 1606000 | #Constraints: 196792
2654.43/2661.04 c #Conflicts: 1607000 | #Constraints: 197793
2654.43/2661.04 c #Conflicts: 1608000 | #Constraints: 198793
2654.43/2661.04 c #Conflicts: 1609000 | #Constraints: 199793
2654.43/2661.04 c #Conflicts: 1610000 | #Constraints: 200793
2654.43/2661.04 c #Conflicts: 1611000 | #Constraints: 201793
2654.43/2661.04 c #Conflicts: 1612000 | #Constraints: 202793
2654.43/2661.04 c #Conflicts: 1613000 | #Constraints: 203793
2654.43/2661.04 c #Conflicts: 1614000 | #Constraints: 204793
2654.43/2661.04 c #Conflicts: 1615000 | #Constraints: 205793
2654.43/2661.04 c #Conflicts: 1616000 | #Constraints: 206793
2654.43/2661.04 c #Conflicts: 1617000 | #Constraints: 207793
2654.43/2661.04 c #Conflicts: 1618000 | #Constraints: 208793
2654.43/2661.04 c #Conflicts: 1619000 | #Constraints: 209793
2654.43/2661.04 c #Conflicts: 1620000 | #Constraints: 210793
2654.43/2661.04 c #Conflicts: 1621000 | #Constraints: 211794
2654.43/2661.04 c INPROCESSING
2654.43/2661.04 c GARBAGE COLLECT
2654.43/2661.04 c #Conflicts: 1622000 | #Constraints: 146164
2654.43/2661.04 c #Conflicts: 1623000 | #Constraints: 147165
2654.43/2661.04 c #Conflicts: 1624000 | #Constraints: 148165
2654.43/2661.04 c #Conflicts: 1625000 | #Constraints: 149165
2654.43/2661.04 c #Conflicts: 1626000 | #Constraints: 150165
2654.43/2661.04 c #Conflicts: 1627000 | #Constraints: 151165
2654.43/2661.04 c #Conflicts: 1628000 | #Constraints: 152165
2654.43/2661.04 c #Conflicts: 1629000 | #Constraints: 153165
2654.43/2661.04 c #Conflicts: 1630000 | #Constraints: 154165
2654.43/2661.04 c #Conflicts: 1631000 | #Constraints: 155165
2654.43/2661.04 c #Conflicts: 1632000 | #Constraints: 156165
2654.43/2661.04 c #Conflicts: 1633000 | #Constraints: 157165
2654.43/2661.04 c #Conflicts: 1634000 | #Constraints: 158167
2654.43/2661.04 c #Conflicts: 1635000 | #Constraints: 159167
2654.43/2661.04 c #Conflicts: 1636000 | #Constraints: 160167
2654.43/2661.04 c #Conflicts: 1637000 | #Constraints: 161167
2654.43/2661.04 c #Conflicts: 1638000 | #Constraints: 162167
2654.43/2661.04 c #Conflicts: 1639000 | #Constraints: 163167
2654.43/2661.04 c #Conflicts: 1640000 | #Constraints: 164167
2654.43/2661.04 c #Conflicts: 1641000 | #Constraints: 165167
2654.43/2661.04 c #Conflicts: 1642000 | #Constraints: 166167
2654.43/2661.04 c #Conflicts: 1643000 | #Constraints: 167167
2654.43/2661.04 c #Conflicts: 1644000 | #Constraints: 168167
2654.43/2661.04 c #Conflicts: 1645000 | #Constraints: 169167
2654.43/2661.04 c #Conflicts: 1646000 | #Constraints: 170167
2654.43/2661.04 c #Conflicts: 1647000 | #Constraints: 171167
2654.43/2661.04 c #Conflicts: 1648000 | #Constraints: 172167
2654.43/2661.04 c #Conflicts: 1649000 | #Constraints: 173168
2654.43/2661.04 c INPROCESSING
2654.43/2661.04 c GARBAGE COLLECT
2654.43/2661.04 c #Conflicts: 1650000 | #Constraints: 126940
2654.43/2661.04 c #Conflicts: 1651000 | #Constraints: 127940
2654.43/2661.04 c #Conflicts: 1652000 | #Constraints: 128940
2654.43/2661.04 c #Conflicts: 1653000 | #Constraints: 129940
2654.43/2661.04 c #Conflicts: 1654000 | #Constraints: 130940
2654.43/2661.04 c #Conflicts: 1655000 | #Constraints: 131940
2654.43/2661.04 c #Conflicts: 1656000 | #Constraints: 132940
2654.43/2661.04 c #Conflicts: 1657000 | #Constraints: 133940
2654.43/2661.04 c #Conflicts: 1658000 | #Constraints: 134940
2654.43/2661.04 c #Conflicts: 1659000 | #Constraints: 135940
2654.43/2661.04 c #Conflicts: 1660000 | #Constraints: 136940
2654.43/2661.04 c #Conflicts: 1661000 | #Constraints: 137940
2654.43/2661.04 c #Conflicts: 1662000 | #Constraints: 138940
2654.43/2661.04 c #Conflicts: 1663000 | #Constraints: 139940
2654.43/2661.04 c #Conflicts: 1664000 | #Constraints: 140940
2654.43/2661.04 c #Conflicts: 1665000 | #Constraints: 141940
2654.43/2661.04 c #Conflicts: 1666000 | #Constraints: 142940
2654.43/2661.04 c #Conflicts: 1667000 | #Constraints: 143942
2654.43/2661.04 c #Conflicts: 1668000 | #Constraints: 144942
2654.43/2661.04 c #Conflicts: 1669000 | #Constraints: 145942
2654.43/2661.04 c #Conflicts: 1670000 | #Constraints: 146943
2654.43/2661.04 c #Conflicts: 1671000 | #Constraints: 147943
2654.43/2661.04 c #Conflicts: 1672000 | #Constraints: 148943
2654.43/2661.04 c #Conflicts: 1673000 | #Constraints: 149943
2654.43/2661.04 c #Conflicts: 1674000 | #Constraints: 150943
2654.43/2661.04 c #Conflicts: 1675000 | #Constraints: 151943
2778.84/2785.78 c #Conflicts: 1676000 | #Constraints: 152943
2778.84/2785.78 c #Conflicts: 1677000 | #Constraints: 153943
2778.84/2785.78 c INPROCESSING
2778.84/2785.78 c GARBAGE COLLECT
2778.84/2785.78 c #Conflicts: 1678000 | #Constraints: 117331
2778.84/2785.78 c #Conflicts: 1679000 | #Constraints: 118331
2778.84/2785.78 c #Conflicts: 1680000 | #Constraints: 119331
2778.84/2785.78 c #Conflicts: 1681000 | #Constraints: 120331
2778.84/2785.78 c #Conflicts: 1682000 | #Constraints: 121331
2778.84/2785.78 c #Conflicts: 1683000 | #Constraints: 122331
2778.84/2785.78 c #Conflicts: 1684000 | #Constraints: 123331
2778.84/2785.78 c #Conflicts: 1685000 | #Constraints: 124331
2778.84/2785.78 c #Conflicts: 1686000 | #Constraints: 125331
2778.84/2785.78 c #Conflicts: 1687000 | #Constraints: 126331
2778.84/2785.78 c #Conflicts: 1688000 | #Constraints: 127331
2778.84/2785.78 c #Conflicts: 1689000 | #Constraints: 128331
2778.84/2785.78 c #Conflicts: 1690000 | #Constraints: 129331
2778.84/2785.78 c #Conflicts: 1691000 | #Constraints: 130331
2778.84/2785.78 c #Conflicts: 1692000 | #Constraints: 131331
2778.84/2785.78 c #Conflicts: 1693000 | #Constraints: 132331
2778.84/2785.78 c #Conflicts: 1694000 | #Constraints: 133331
2778.84/2785.78 c #Conflicts: 1695000 | #Constraints: 134331
2778.84/2785.78 c #Conflicts: 1696000 | #Constraints: 135331
2778.84/2785.78 c #Conflicts: 1697000 | #Constraints: 136331
2778.84/2785.78 c #Conflicts: 1698000 | #Constraints: 137331
2778.84/2785.78 c #Conflicts: 1699000 | #Constraints: 138331
2778.84/2785.78 c #Conflicts: 1700000 | #Constraints: 139331
2778.84/2785.78 c #Conflicts: 1701000 | #Constraints: 140331
2778.84/2785.78 c #Conflicts: 1702000 | #Constraints: 141331
2778.84/2785.78 c #Conflicts: 1703000 | #Constraints: 142332
2778.84/2785.78 c #Conflicts: 1704000 | #Constraints: 143332
2778.84/2785.78 c #Conflicts: 1705000 | #Constraints: 144332
2778.84/2785.78 c INPROCESSING
2778.84/2785.78 c GARBAGE COLLECT
2778.84/2785.78 c #Conflicts: 1706000 | #Constraints: 112467
2778.84/2785.78 c #Conflicts: 1707000 | #Constraints: 113467
2778.84/2785.78 c #Conflicts: 1708000 | #Constraints: 114467
2778.84/2785.78 c #Conflicts: 1709000 | #Constraints: 115467
2778.84/2785.78 c #Conflicts: 1710000 | #Constraints: 116467
2778.84/2785.78 c #Conflicts: 1711000 | #Constraints: 117467
2778.84/2785.78 c #Conflicts: 1712000 | #Constraints: 118467
2778.84/2785.78 c #Conflicts: 1713000 | #Constraints: 119467
2778.84/2785.78 c #Conflicts: 1714000 | #Constraints: 120467
2778.84/2785.78 c #Conflicts: 1715000 | #Constraints: 121467
2778.84/2785.78 c #Conflicts: 1716000 | #Constraints: 122468
2778.84/2785.78 c #Conflicts: 1717000 | #Constraints: 123468
2778.84/2785.78 c #Conflicts: 1718000 | #Constraints: 124468
2778.84/2785.78 c #Conflicts: 1719000 | #Constraints: 125468
2778.84/2785.78 c #Conflicts: 1720000 | #Constraints: 126468
2778.84/2785.78 c #Conflicts: 1721000 | #Constraints: 127468
2778.84/2785.78 c #Conflicts: 1722000 | #Constraints: 128468
2778.84/2785.78 c #Conflicts: 1723000 | #Constraints: 129468
2778.84/2785.78 c #Conflicts: 1724000 | #Constraints: 130468
2778.84/2785.78 c #Conflicts: 1725000 | #Constraints: 131468
2778.84/2785.78 c #Conflicts: 1726000 | #Constraints: 132468
2778.84/2785.78 c #Conflicts: 1727000 | #Constraints: 133468
2778.84/2785.78 c #Conflicts: 1728000 | #Constraints: 134468
2778.84/2785.78 c #Conflicts: 1729000 | #Constraints: 135468
2778.84/2785.78 c #Conflicts: 1730000 | #Constraints: 136468
2778.84/2785.78 c #Conflicts: 1731000 | #Constraints: 137469
2778.84/2785.78 c #Conflicts: 1732000 | #Constraints: 138470
2778.84/2785.78 c #Conflicts: 1733000 | #Constraints: 139471
2778.84/2785.78 c #Conflicts: 1734000 | #Constraints: 140471
2778.84/2785.78 c #Conflicts: 1735000 | #Constraints: 141473
2778.84/2785.78 c #Conflicts: 1736000 | #Constraints: 142473
2778.84/2785.78 c #Conflicts: 1737000 | #Constraints: 143473
2778.84/2785.78 c #Conflicts: 1738000 | #Constraints: 144473
2778.84/2785.78 c #Conflicts: 1739000 | #Constraints: 145473
2778.84/2785.78 c #Conflicts: 1740000 | #Constraints: 146473
2778.84/2785.78 c #Conflicts: 1741000 | #Constraints: 147473
2778.84/2785.78 c #Conflicts: 1742000 | #Constraints: 148473
2778.84/2785.78 c #Conflicts: 1743000 | #Constraints: 149473
2778.84/2785.78 c #Conflicts: 1744000 | #Constraints: 150473
2778.84/2785.78 c #Conflicts: 1745000 | #Constraints: 151473
2778.84/2785.78 c #Conflicts: 1746000 | #Constraints: 152473
2778.84/2785.78 c #Conflicts: 1747000 | #Constraints: 153473
2778.84/2785.78 c #Conflicts: 1748000 | #Constraints: 154473
2778.84/2785.78 c #Conflicts: 1749000 | #Constraints: 155473
2778.84/2785.78 c #Conflicts: 1750000 | #Constraints: 156473
2778.84/2785.78 c #Conflicts: 1751000 | #Constraints: 157473
2778.84/2785.78 c #Conflicts: 1752000 | #Constraints: 158473
2938.46/2945.73 c #Conflicts: 1753000 | #Constraints: 159473
2938.46/2945.73 c #Conflicts: 1754000 | #Constraints: 160473
2938.46/2945.73 c #Conflicts: 1755000 | #Constraints: 161473
2938.46/2945.73 c #Conflicts: 1756000 | #Constraints: 162473
2938.46/2945.73 c #Conflicts: 1757000 | #Constraints: 163473
2938.46/2945.73 c #Conflicts: 1758000 | #Constraints: 164473
2938.46/2945.73 c #Conflicts: 1759000 | #Constraints: 165473
2938.46/2945.73 c #Conflicts: 1760000 | #Constraints: 166473
2938.46/2945.73 c #Conflicts: 1761000 | #Constraints: 167473
2938.46/2945.73 c #Conflicts: 1762000 | #Constraints: 168473
2938.46/2945.73 c #Conflicts: 1763000 | #Constraints: 169473
2938.46/2945.73 c #Conflicts: 1764000 | #Constraints: 170473
2938.46/2945.73 c #Conflicts: 1765000 | #Constraints: 171473
2938.46/2945.73 c #Conflicts: 1766000 | #Constraints: 172473
2938.46/2945.73 c #Conflicts: 1767000 | #Constraints: 173473
2938.46/2945.73 c #Conflicts: 1768000 | #Constraints: 174473
2938.46/2945.73 c #Conflicts: 1769000 | #Constraints: 175473
2938.46/2945.73 c #Conflicts: 1770000 | #Constraints: 176473
2938.46/2945.73 c #Conflicts: 1771000 | #Constraints: 177473
2938.46/2945.73 c #Conflicts: 1772000 | #Constraints: 178473
2938.46/2945.73 c #Conflicts: 1773000 | #Constraints: 179474
2938.46/2945.73 c #Conflicts: 1774000 | #Constraints: 180474
2938.46/2945.73 c #Conflicts: 1775000 | #Constraints: 181474
2938.46/2945.73 c #Conflicts: 1776000 | #Constraints: 182474
2938.46/2945.73 c #Conflicts: 1777000 | #Constraints: 183474
2938.46/2945.73 c #Conflicts: 1778000 | #Constraints: 184474
2938.46/2945.73 c #Conflicts: 1779000 | #Constraints: 185474
2938.46/2945.73 c #Conflicts: 1780000 | #Constraints: 186474
2938.46/2945.73 c #Conflicts: 1781000 | #Constraints: 187474
2938.46/2945.73 c #Conflicts: 1782000 | #Constraints: 188474
2938.46/2945.73 c #Conflicts: 1783000 | #Constraints: 189474
2938.46/2945.73 c #Conflicts: 1784000 | #Constraints: 190474
2938.46/2945.73 c #Conflicts: 1785000 | #Constraints: 191474
2938.46/2945.73 c #Conflicts: 1786000 | #Constraints: 192474
2938.46/2945.73 c #Conflicts: 1787000 | #Constraints: 193474
2938.46/2945.73 c #Conflicts: 1788000 | #Constraints: 194475
2938.46/2945.73 c #Conflicts: 1789000 | #Constraints: 195475
2938.46/2945.73 c #Conflicts: 1790000 | #Constraints: 196475
2938.46/2945.73 c #Conflicts: 1791000 | #Constraints: 197476
2938.46/2945.73 c #Conflicts: 1792000 | #Constraints: 198476
2938.46/2945.73 c #Conflicts: 1793000 | #Constraints: 199476
2938.46/2945.73 c #Conflicts: 1794000 | #Constraints: 200476
2938.46/2945.73 c #Conflicts: 1795000 | #Constraints: 201476
2938.46/2945.73 c #Conflicts: 1796000 | #Constraints: 202476
2938.46/2945.73 c #Conflicts: 1797000 | #Constraints: 203476
2938.46/2945.73 c #Conflicts: 1798000 | #Constraints: 204476
2938.46/2945.73 c #Conflicts: 1799000 | #Constraints: 205476
2938.46/2945.73 c #Conflicts: 1800000 | #Constraints: 206476
2938.46/2945.73 c #Conflicts: 1801000 | #Constraints: 207476
2938.46/2945.73 c #Conflicts: 1802000 | #Constraints: 208476
2938.46/2945.73 c #Conflicts: 1803000 | #Constraints: 209476
2938.46/2945.73 c #Conflicts: 1804000 | #Constraints: 210476
2938.46/2945.73 c #Conflicts: 1805000 | #Constraints: 211476
2938.46/2945.73 c #Conflicts: 1806000 | #Constraints: 212476
2938.46/2945.73 c #Conflicts: 1807000 | #Constraints: 213476
2938.46/2945.73 c #Conflicts: 1808000 | #Constraints: 214477
2938.46/2945.73 c #Conflicts: 1809000 | #Constraints: 215477
2938.46/2945.73 c #Conflicts: 1810000 | #Constraints: 216478
2938.46/2945.73 c #Conflicts: 1811000 | #Constraints: 217480
2938.46/2945.73 c #Conflicts: 1812000 | #Constraints: 218481
2938.46/2945.73 c INPROCESSING
2938.46/2945.73 c GARBAGE COLLECT
2938.46/2945.73 c #Conflicts: 1813000 | #Constraints: 149218
2938.46/2945.73 c #Conflicts: 1814000 | #Constraints: 150218
2938.46/2945.73 c #Conflicts: 1815000 | #Constraints: 151218
2938.46/2945.73 c #Conflicts: 1816000 | #Constraints: 152218
2938.46/2945.73 c #Conflicts: 1817000 | #Constraints: 153218
2938.46/2945.73 c #Conflicts: 1818000 | #Constraints: 154218
2938.46/2945.73 c #Conflicts: 1819000 | #Constraints: 155218
2938.46/2945.73 c #Conflicts: 1820000 | #Constraints: 156218
2938.46/2945.73 c #Conflicts: 1821000 | #Constraints: 157218
2938.46/2945.73 c #Conflicts: 1822000 | #Constraints: 158218
2938.46/2945.73 c #Conflicts: 1823000 | #Constraints: 159218
2938.46/2945.73 c #Conflicts: 1824000 | #Constraints: 160218
2938.46/2945.73 c #Conflicts: 1825000 | #Constraints: 161218
2938.46/2945.73 c #Conflicts: 1826000 | #Constraints: 162218
2938.46/2945.73 c #Conflicts: 1827000 | #Constraints: 163218
2938.46/2945.73 c #Conflicts: 1828000 | #Constraints: 164218
2938.46/2945.73 c #Conflicts: 1829000 | #Constraints: 165218
2938.46/2945.73 c #Conflicts: 1830000 | #Constraints: 166218
3074.04/3081.65 c #Conflicts: 1831000 | #Constraints: 167218
3074.04/3081.65 c #Conflicts: 1832000 | #Constraints: 168218
3074.04/3081.65 c #Conflicts: 1833000 | #Constraints: 169218
3074.04/3081.65 c #Conflicts: 1834000 | #Constraints: 170218
3074.04/3081.65 c #Conflicts: 1835000 | #Constraints: 171218
3074.04/3081.65 c #Conflicts: 1836000 | #Constraints: 172218
3074.04/3081.65 c #Conflicts: 1837000 | #Constraints: 173218
3074.04/3081.65 c #Conflicts: 1838000 | #Constraints: 174218
3074.04/3081.65 c #Conflicts: 1839000 | #Constraints: 175218
3074.04/3081.65 c #Conflicts: 1840000 | #Constraints: 176218
3074.04/3081.65 c #Conflicts: 1841000 | #Constraints: 177218
3074.04/3081.65 c #Conflicts: 1842000 | #Constraints: 178219
3074.04/3081.65 c INPROCESSING
3074.04/3081.65 c GARBAGE COLLECT
3074.04/3081.65 c #Conflicts: 1843000 | #Constraints: 129332
3074.04/3081.65 c #Conflicts: 1844000 | #Constraints: 130332
3074.04/3081.65 c #Conflicts: 1845000 | #Constraints: 131332
3074.04/3081.65 c #Conflicts: 1846000 | #Constraints: 132332
3074.04/3081.65 c #Conflicts: 1847000 | #Constraints: 133332
3074.04/3081.65 c #Conflicts: 1848000 | #Constraints: 134332
3074.04/3081.65 c #Conflicts: 1849000 | #Constraints: 135332
3074.04/3081.65 c #Conflicts: 1850000 | #Constraints: 136332
3074.04/3081.65 c #Conflicts: 1851000 | #Constraints: 137332
3074.04/3081.65 c #Conflicts: 1852000 | #Constraints: 138332
3074.04/3081.65 c #Conflicts: 1853000 | #Constraints: 139332
3074.04/3081.65 c #Conflicts: 1854000 | #Constraints: 140332
3074.04/3081.65 c #Conflicts: 1855000 | #Constraints: 141332
3074.04/3081.65 c #Conflicts: 1856000 | #Constraints: 142332
3074.04/3081.65 c #Conflicts: 1857000 | #Constraints: 143333
3074.04/3081.65 c #Conflicts: 1858000 | #Constraints: 144333
3074.04/3081.65 c #Conflicts: 1859000 | #Constraints: 145333
3074.04/3081.65 c #Conflicts: 1860000 | #Constraints: 146333
3074.04/3081.65 c #Conflicts: 1861000 | #Constraints: 147333
3074.04/3081.65 c #Conflicts: 1862000 | #Constraints: 148333
3074.04/3081.65 c #Conflicts: 1863000 | #Constraints: 149333
3074.04/3081.65 c #Conflicts: 1864000 | #Constraints: 150333
3074.04/3081.65 c #Conflicts: 1865000 | #Constraints: 151333
3074.04/3081.65 c #Conflicts: 1866000 | #Constraints: 152333
3074.04/3081.65 c #Conflicts: 1867000 | #Constraints: 153333
3074.04/3081.65 c #Conflicts: 1868000 | #Constraints: 154333
3074.04/3081.65 c #Conflicts: 1869000 | #Constraints: 155333
3074.04/3081.65 c #Conflicts: 1870000 | #Constraints: 156333
3074.04/3081.65 c #Conflicts: 1871000 | #Constraints: 157333
3074.04/3081.65 c #Conflicts: 1872000 | #Constraints: 158333
3074.04/3081.65 c INPROCESSING
3074.04/3081.65 c GARBAGE COLLECT
3074.04/3081.65 c #Conflicts: 1873000 | #Constraints: 119581
3074.04/3081.65 c #Conflicts: 1874000 | #Constraints: 120581
3074.04/3081.65 c #Conflicts: 1875000 | #Constraints: 121581
3074.04/3081.65 c #Conflicts: 1876000 | #Constraints: 122581
3074.04/3081.65 c #Conflicts: 1877000 | #Constraints: 123581
3074.04/3081.65 c #Conflicts: 1878000 | #Constraints: 124581
3074.04/3081.65 c #Conflicts: 1879000 | #Constraints: 125581
3074.04/3081.65 c #Conflicts: 1880000 | #Constraints: 126581
3074.04/3081.65 c #Conflicts: 1881000 | #Constraints: 127581
3074.04/3081.65 c #Conflicts: 1882000 | #Constraints: 128581
3074.04/3081.65 c #Conflicts: 1883000 | #Constraints: 129581
3074.04/3081.65 c #Conflicts: 1884000 | #Constraints: 130581
3074.04/3081.65 c #Conflicts: 1885000 | #Constraints: 131581
3074.04/3081.65 c #Conflicts: 1886000 | #Constraints: 132581
3074.04/3081.65 c #Conflicts: 1887000 | #Constraints: 133581
3074.04/3081.65 c #Conflicts: 1888000 | #Constraints: 134581
3074.04/3081.65 c #Conflicts: 1889000 | #Constraints: 135581
3074.04/3081.65 c #Conflicts: 1890000 | #Constraints: 136581
3074.04/3081.65 c #Conflicts: 1891000 | #Constraints: 137581
3074.04/3081.65 c #Conflicts: 1892000 | #Constraints: 138581
3074.04/3081.65 c #Conflicts: 1893000 | #Constraints: 139581
3074.04/3081.65 c #Conflicts: 1894000 | #Constraints: 140581
3074.04/3081.65 c #Conflicts: 1895000 | #Constraints: 141581
3074.04/3081.65 c #Conflicts: 1896000 | #Constraints: 142581
3074.04/3081.65 c #Conflicts: 1897000 | #Constraints: 143581
3074.04/3081.65 c #Conflicts: 1898000 | #Constraints: 144581
3074.04/3081.65 c #Conflicts: 1899000 | #Constraints: 145581
3074.04/3081.65 c #Conflicts: 1900000 | #Constraints: 146581
3074.04/3081.65 c #Conflicts: 1901000 | #Constraints: 147582
3074.04/3081.65 c INPROCESSING
3074.04/3081.65 c GARBAGE COLLECT
3074.04/3081.65 c rational objective 75.2218
3213.62/3221.52 c #Conflicts: 1902000 | #Constraints: 113738
3213.62/3221.52 c #Conflicts: 1903000 | #Constraints: 114738
3213.62/3221.52 c #Conflicts: 1904000 | #Constraints: 115738
3213.62/3221.52 c #Conflicts: 1905000 | #Constraints: 116738
3213.62/3221.52 c #Conflicts: 1906000 | #Constraints: 117738
3213.62/3221.52 c #Conflicts: 1907000 | #Constraints: 118738
3213.62/3221.52 c #Conflicts: 1908000 | #Constraints: 119738
3213.62/3221.52 c #Conflicts: 1909000 | #Constraints: 120738
3213.62/3221.52 c #Conflicts: 1910000 | #Constraints: 121738
3213.62/3221.52 c #Conflicts: 1911000 | #Constraints: 122738
3213.62/3221.52 c #Conflicts: 1912000 | #Constraints: 123738
3213.62/3221.52 c #Conflicts: 1913000 | #Constraints: 124738
3213.62/3221.52 c #Conflicts: 1914000 | #Constraints: 125738
3213.62/3221.52 c #Conflicts: 1915000 | #Constraints: 126738
3213.62/3221.52 c #Conflicts: 1916000 | #Constraints: 127738
3213.62/3221.52 c #Conflicts: 1917000 | #Constraints: 128738
3213.62/3221.52 c #Conflicts: 1918000 | #Constraints: 129738
3213.62/3221.52 c #Conflicts: 1919000 | #Constraints: 130738
3213.62/3221.52 c #Conflicts: 1920000 | #Constraints: 131738
3213.62/3221.52 c #Conflicts: 1921000 | #Constraints: 132738
3213.62/3221.52 c #Conflicts: 1922000 | #Constraints: 133738
3213.62/3221.52 c #Conflicts: 1923000 | #Constraints: 134738
3213.62/3221.52 c #Conflicts: 1924000 | #Constraints: 135738
3213.62/3221.52 c #Conflicts: 1925000 | #Constraints: 136738
3213.62/3221.52 c #Conflicts: 1926000 | #Constraints: 137738
3213.62/3221.52 c #Conflicts: 1927000 | #Constraints: 138738
3213.62/3221.52 c #Conflicts: 1928000 | #Constraints: 139738
3213.62/3221.52 c #Conflicts: 1929000 | #Constraints: 140738
3213.62/3221.52 c #Conflicts: 1930000 | #Constraints: 141738
3213.62/3221.52 c #Conflicts: 1931000 | #Constraints: 142738
3213.62/3221.52 c #Conflicts: 1932000 | #Constraints: 143738
3213.62/3221.52 c #Conflicts: 1933000 | #Constraints: 144738
3213.62/3221.52 c #Conflicts: 1934000 | #Constraints: 145738
3213.62/3221.52 c #Conflicts: 1935000 | #Constraints: 146738
3213.62/3221.52 c #Conflicts: 1936000 | #Constraints: 147738
3213.62/3221.52 c #Conflicts: 1937000 | #Constraints: 148738
3213.62/3221.52 c #Conflicts: 1938000 | #Constraints: 149738
3213.62/3221.52 c #Conflicts: 1939000 | #Constraints: 150738
3213.62/3221.52 c #Conflicts: 1940000 | #Constraints: 151738
3213.62/3221.52 c #Conflicts: 1941000 | #Constraints: 152738
3213.62/3221.52 c #Conflicts: 1942000 | #Constraints: 153738
3213.62/3221.52 c #Conflicts: 1943000 | #Constraints: 154738
3213.62/3221.52 c #Conflicts: 1944000 | #Constraints: 155738
3213.62/3221.52 c #Conflicts: 1945000 | #Constraints: 156738
3213.62/3221.52 c #Conflicts: 1946000 | #Constraints: 157738
3213.62/3221.52 c #Conflicts: 1947000 | #Constraints: 158738
3213.62/3221.52 c #Conflicts: 1948000 | #Constraints: 159738
3213.62/3221.52 c #Conflicts: 1949000 | #Constraints: 160738
3213.62/3221.52 c #Conflicts: 1950000 | #Constraints: 161738
3213.62/3221.52 c #Conflicts: 1951000 | #Constraints: 162738
3213.62/3221.52 c #Conflicts: 1952000 | #Constraints: 163738
3213.62/3221.52 c #Conflicts: 1953000 | #Constraints: 164738
3213.62/3221.52 c #Conflicts: 1954000 | #Constraints: 165738
3213.62/3221.52 c #Conflicts: 1955000 | #Constraints: 166738
3213.62/3221.52 c #Conflicts: 1956000 | #Constraints: 167738
3213.62/3221.52 c #Conflicts: 1957000 | #Constraints: 168738
3213.62/3221.52 c #Conflicts: 1958000 | #Constraints: 169738
3213.62/3221.52 c #Conflicts: 1959000 | #Constraints: 170738
3213.62/3221.52 c #Conflicts: 1960000 | #Constraints: 171738
3213.62/3221.52 c #Conflicts: 1961000 | #Constraints: 172738
3213.62/3221.52 c #Conflicts: 1962000 | #Constraints: 173738
3213.62/3221.52 c #Conflicts: 1963000 | #Constraints: 174738
3213.62/3221.52 c #Conflicts: 1964000 | #Constraints: 175738
3213.62/3221.52 c #Conflicts: 1965000 | #Constraints: 176738
3213.62/3221.52 c #Conflicts: 1966000 | #Constraints: 177738
3213.62/3221.52 c #Conflicts: 1967000 | #Constraints: 178738
3213.62/3221.52 c #Conflicts: 1968000 | #Constraints: 179738
3213.62/3221.52 c #Conflicts: 1969000 | #Constraints: 180738
3213.62/3221.52 c #Conflicts: 1970000 | #Constraints: 181738
3213.62/3221.52 c #Conflicts: 1971000 | #Constraints: 182739
3213.62/3221.52 c #Conflicts: 1972000 | #Constraints: 183739
3213.62/3221.52 c #Conflicts: 1973000 | #Constraints: 184739
3213.62/3221.52 c #Conflicts: 1974000 | #Constraints: 185739
3213.62/3221.52 c #Conflicts: 1975000 | #Constraints: 186739
3213.62/3221.52 c #Conflicts: 1976000 | #Constraints: 187739
3213.62/3221.52 c #Conflicts: 1977000 | #Constraints: 188739
3213.62/3221.52 c #Conflicts: 1978000 | #Constraints: 189739
3213.62/3221.52 c #Conflicts: 1979000 | #Constraints: 190739
3213.62/3221.52 c #Conflicts: 1980000 | #Constraints: 191739
3387.21/3395.59 c #Conflicts: 1981000 | #Constraints: 192739
3387.21/3395.59 c #Conflicts: 1982000 | #Constraints: 193739
3387.21/3395.59 c #Conflicts: 1983000 | #Constraints: 194739
3387.21/3395.59 c #Conflicts: 1984000 | #Constraints: 195739
3387.21/3395.59 c #Conflicts: 1985000 | #Constraints: 196739
3387.21/3395.59 c #Conflicts: 1986000 | #Constraints: 197739
3387.21/3395.59 c #Conflicts: 1987000 | #Constraints: 198739
3387.21/3395.59 c #Conflicts: 1988000 | #Constraints: 199739
3387.21/3395.59 c #Conflicts: 1989000 | #Constraints: 200740
3387.21/3395.59 c #Conflicts: 1990000 | #Constraints: 201742
3387.21/3395.59 c #Conflicts: 1991000 | #Constraints: 202742
3387.21/3395.59 c #Conflicts: 1992000 | #Constraints: 203743
3387.21/3395.59 c #Conflicts: 1993000 | #Constraints: 204743
3387.21/3395.59 c #Conflicts: 1994000 | #Constraints: 205743
3387.21/3395.59 c #Conflicts: 1995000 | #Constraints: 206743
3387.21/3395.59 c #Conflicts: 1996000 | #Constraints: 207743
3387.21/3395.59 c #Conflicts: 1997000 | #Constraints: 208744
3387.21/3395.59 c #Conflicts: 1998000 | #Constraints: 209744
3387.21/3395.59 c #Conflicts: 1999000 | #Constraints: 210744
3387.21/3395.59 c #Conflicts: 2000000 | #Constraints: 211744
3387.21/3395.59 c #Conflicts: 2001000 | #Constraints: 212744
3387.21/3395.59 c #Conflicts: 2002000 | #Constraints: 213744
3387.21/3395.59 c #Conflicts: 2003000 | #Constraints: 214744
3387.21/3395.59 c #Conflicts: 2004000 | #Constraints: 215744
3387.21/3395.59 c #Conflicts: 2005000 | #Constraints: 216744
3387.21/3395.59 c #Conflicts: 2006000 | #Constraints: 217744
3387.21/3395.59 c #Conflicts: 2007000 | #Constraints: 218744
3387.21/3395.59 c #Conflicts: 2008000 | #Constraints: 219744
3387.21/3395.59 c #Conflicts: 2009000 | #Constraints: 220745
3387.21/3395.59 c #Conflicts: 2010000 | #Constraints: 221745
3387.21/3395.59 c #Conflicts: 2011000 | #Constraints: 222745
3387.21/3395.59 c #Conflicts: 2012000 | #Constraints: 223746
3387.21/3395.59 c #Conflicts: 2013000 | #Constraints: 224746
3387.21/3395.59 c #Conflicts: 2014000 | #Constraints: 225746
3387.21/3395.59 c INPROCESSING
3387.21/3395.59 c GARBAGE COLLECT
3387.21/3395.59 c #Conflicts: 2015000 | #Constraints: 152827
3387.21/3395.59 c #Conflicts: 2016000 | #Constraints: 153827
3387.21/3395.59 c #Conflicts: 2017000 | #Constraints: 154827
3387.21/3395.59 c #Conflicts: 2018000 | #Constraints: 155827
3387.21/3395.59 c #Conflicts: 2019000 | #Constraints: 156827
3387.21/3395.59 c #Conflicts: 2020000 | #Constraints: 157827
3387.21/3395.59 c #Conflicts: 2021000 | #Constraints: 158827
3387.21/3395.59 c #Conflicts: 2022000 | #Constraints: 159827
3387.21/3395.59 c #Conflicts: 2023000 | #Constraints: 160828
3387.21/3395.59 c #Conflicts: 2024000 | #Constraints: 161828
3387.21/3395.59 c #Conflicts: 2025000 | #Constraints: 162828
3387.21/3395.59 c #Conflicts: 2026000 | #Constraints: 163828
3387.21/3395.59 c #Conflicts: 2027000 | #Constraints: 164828
3387.21/3395.59 c #Conflicts: 2028000 | #Constraints: 165828
3387.21/3395.59 c #Conflicts: 2029000 | #Constraints: 166828
3387.21/3395.59 c #Conflicts: 2030000 | #Constraints: 167828
3387.21/3395.59 c #Conflicts: 2031000 | #Constraints: 168829
3387.21/3395.59 c #Conflicts: 2032000 | #Constraints: 169829
3387.21/3395.59 c #Conflicts: 2033000 | #Constraints: 170830
3387.21/3395.59 c #Conflicts: 2034000 | #Constraints: 171831
3387.21/3395.59 c #Conflicts: 2035000 | #Constraints: 172832
3387.21/3395.59 c #Conflicts: 2036000 | #Constraints: 173833
3387.21/3395.59 c #Conflicts: 2037000 | #Constraints: 174833
3387.21/3395.59 c #Conflicts: 2038000 | #Constraints: 175833
3387.21/3395.59 c #Conflicts: 2039000 | #Constraints: 176833
3387.21/3395.59 c #Conflicts: 2040000 | #Constraints: 177833
3387.21/3395.59 c #Conflicts: 2041000 | #Constraints: 178833
3387.21/3395.59 c #Conflicts: 2042000 | #Constraints: 179833
3387.21/3395.59 c #Conflicts: 2043000 | #Constraints: 180833
3387.21/3395.59 c #Conflicts: 2044000 | #Constraints: 181833
3387.21/3395.59 c #Conflicts: 2045000 | #Constraints: 182833
3387.21/3395.59 c #Conflicts: 2046000 | #Constraints: 183833
3387.21/3395.59 c INPROCESSING
3387.21/3395.59 c GARBAGE COLLECT
3387.21/3395.59 c #Conflicts: 2047000 | #Constraints: 132286
3387.21/3395.59 c #Conflicts: 2048000 | #Constraints: 133287
3387.21/3395.59 c #Conflicts: 2049000 | #Constraints: 134287
3387.21/3395.59 c #Conflicts: 2050000 | #Constraints: 135287
3387.21/3395.59 c #Conflicts: 2051000 | #Constraints: 136287
3387.21/3395.59 c #Conflicts: 2052000 | #Constraints: 137287
3387.21/3395.59 c #Conflicts: 2053000 | #Constraints: 138287
3387.21/3395.59 c #Conflicts: 2054000 | #Constraints: 139288
3387.21/3395.59 c #Conflicts: 2055000 | #Constraints: 140293
3387.21/3395.59 c #Conflicts: 2056000 | #Constraints: 141294
3387.21/3395.59 c #Conflicts: 2057000 | #Constraints: 142295
3387.21/3395.59 c #Conflicts: 2058000 | #Constraints: 143295
3555.82/3564.59 c #Conflicts: 2059000 | #Constraints: 144295
3555.82/3564.59 c #Conflicts: 2060000 | #Constraints: 145295
3555.82/3564.59 c #Conflicts: 2061000 | #Constraints: 146295
3555.82/3564.59 c #Conflicts: 2062000 | #Constraints: 147295
3555.82/3564.59 c #Conflicts: 2063000 | #Constraints: 148295
3555.82/3564.59 c #Conflicts: 2064000 | #Constraints: 149295
3555.82/3564.59 c #Conflicts: 2065000 | #Constraints: 150295
3555.82/3564.59 c #Conflicts: 2066000 | #Constraints: 151295
3555.82/3564.59 c #Conflicts: 2067000 | #Constraints: 152295
3555.82/3564.59 c #Conflicts: 2068000 | #Constraints: 153295
3555.82/3564.59 c #Conflicts: 2069000 | #Constraints: 154295
3555.82/3564.59 c #Conflicts: 2070000 | #Constraints: 155295
3555.82/3564.59 c #Conflicts: 2071000 | #Constraints: 156295
3555.82/3564.59 c #Conflicts: 2072000 | #Constraints: 157295
3555.82/3564.59 c #Conflicts: 2073000 | #Constraints: 158295
3555.82/3564.59 c #Conflicts: 2074000 | #Constraints: 159295
3555.82/3564.59 c #Conflicts: 2075000 | #Constraints: 160295
3555.82/3564.59 c #Conflicts: 2076000 | #Constraints: 161295
3555.82/3564.59 c #Conflicts: 2077000 | #Constraints: 162295
3555.82/3564.59 c INPROCESSING
3555.82/3564.59 c GARBAGE COLLECT
3555.82/3564.59 c #Conflicts: 2078000 | #Constraints: 121340
3555.82/3564.59 c #Conflicts: 2079000 | #Constraints: 122341
3555.82/3564.59 c #Conflicts: 2080000 | #Constraints: 123341
3555.82/3564.59 c #Conflicts: 2081000 | #Constraints: 124341
3555.82/3564.59 c #Conflicts: 2082000 | #Constraints: 125341
3555.82/3564.59 c #Conflicts: 2083000 | #Constraints: 126341
3555.82/3564.59 c #Conflicts: 2084000 | #Constraints: 127341
3555.82/3564.59 c #Conflicts: 2085000 | #Constraints: 128341
3555.82/3564.59 c #Conflicts: 2086000 | #Constraints: 129472
3555.82/3564.59 c #Conflicts: 2087000 | #Constraints: 130475
3555.82/3564.59 c #Conflicts: 2088000 | #Constraints: 131478
3555.82/3564.59 c #Conflicts: 2089000 | #Constraints: 132482
3555.82/3564.59 c #Conflicts: 2090000 | #Constraints: 133484
3555.82/3564.59 c #Conflicts: 2091000 | #Constraints: 134484
3555.82/3564.59 c #Conflicts: 2092000 | #Constraints: 135484
3555.82/3564.59 c #Conflicts: 2093000 | #Constraints: 136485
3555.82/3564.59 c #Conflicts: 2094000 | #Constraints: 137485
3555.82/3564.59 c #Conflicts: 2095000 | #Constraints: 138485
3555.82/3564.59 c #Conflicts: 2096000 | #Constraints: 139485
3555.82/3564.59 c #Conflicts: 2097000 | #Constraints: 140485
3555.82/3564.59 c #Conflicts: 2098000 | #Constraints: 141486
3555.82/3564.59 c #Conflicts: 2099000 | #Constraints: 142486
3555.82/3564.59 c #Conflicts: 2100000 | #Constraints: 143486
3555.82/3564.59 c #Conflicts: 2101000 | #Constraints: 144486
3555.82/3564.59 c #Conflicts: 2102000 | #Constraints: 145486
3555.82/3564.59 c #Conflicts: 2103000 | #Constraints: 146486
3555.82/3564.59 c #Conflicts: 2104000 | #Constraints: 147487
3555.82/3564.59 c #Conflicts: 2105000 | #Constraints: 148487
3555.82/3564.59 c #Conflicts: 2106000 | #Constraints: 149487
3555.82/3564.59 c #Conflicts: 2107000 | #Constraints: 150487
3555.82/3564.59 c #Conflicts: 2108000 | #Constraints: 151487
3555.82/3564.59 c #Conflicts: 2109000 | #Constraints: 152487
3555.82/3564.59 c INPROCESSING
3555.82/3564.59 c GARBAGE COLLECT
3555.82/3564.59 c #Conflicts: 2110000 | #Constraints: 116673
3555.82/3564.59 c #Conflicts: 2111000 | #Constraints: 117673
3555.82/3564.59 c #Conflicts: 2112000 | #Constraints: 118674
3555.82/3564.59 c #Conflicts: 2113000 | #Constraints: 119674
3555.82/3564.59 c #Conflicts: 2114000 | #Constraints: 120674
3555.82/3564.59 c #Conflicts: 2115000 | #Constraints: 121674
3555.82/3564.59 c #Conflicts: 2116000 | #Constraints: 122674
3555.82/3564.59 c #Conflicts: 2117000 | #Constraints: 123674
3555.82/3564.59 c #Conflicts: 2118000 | #Constraints: 124674
3555.82/3564.59 c #Conflicts: 2119000 | #Constraints: 125674
3555.82/3564.59 c #Conflicts: 2120000 | #Constraints: 126674
3555.82/3564.59 c #Conflicts: 2121000 | #Constraints: 127675
3555.82/3564.59 c #Conflicts: 2122000 | #Constraints: 128675
3555.82/3564.59 c #Conflicts: 2123000 | #Constraints: 129675
3555.82/3564.59 c #Conflicts: 2124000 | #Constraints: 130675
3555.82/3564.59 c #Conflicts: 2125000 | #Constraints: 131675
3555.82/3564.59 c #Conflicts: 2126000 | #Constraints: 132675
3555.82/3564.59 c #Conflicts: 2127000 | #Constraints: 133675
3555.82/3564.59 c #Conflicts: 2128000 | #Constraints: 134675
3555.82/3564.59 c #Conflicts: 2129000 | #Constraints: 135675
3555.82/3564.59 c #Conflicts: 2130000 | #Constraints: 136675
3555.82/3564.59 c #Conflicts: 2131000 | #Constraints: 137675
3555.82/3564.59 c #Conflicts: 2132000 | #Constraints: 138675
3555.82/3564.59 c #Conflicts: 2133000 | #Constraints: 139675
3555.82/3564.59 c #Conflicts: 2134000 | #Constraints: 140675
3555.82/3564.59 c #Conflicts: 2135000 | #Constraints: 141675
3600.02/3608.80 c #Conflicts: 2136000 | #Constraints: 142675
3600.02/3608.80 c #Conflicts: 2137000 | #Constraints: 143675
3600.02/3608.80 c #Conflicts: 2138000 | #Constraints: 144675
3600.02/3608.80 c #Conflicts: 2139000 | #Constraints: 145676
3600.02/3608.80 c #Conflicts: 2140000 | #Constraints: 146676
3600.02/3608.80 c #Conflicts: 2141000 | #Constraints: 147676
3600.02/3608.80 c #Conflicts: 2142000 | #Constraints: 148677
3600.02/3608.80 c #Conflicts: 2143000 | #Constraints: 149677
3600.02/3608.80 c #Conflicts: 2144000 | #Constraints: 150677
3600.02/3608.80 c #Conflicts: 2145000 | #Constraints: 151677
3600.02/3608.80 c #Conflicts: 2146000 | #Constraints: 152677
3600.02/3608.80 c #Conflicts: 2147000 | #Constraints: 153677
3600.02/3608.80 c #Conflicts: 2148000 | #Constraints: 154678
3600.02/3608.80 c #Conflicts: 2149000 | #Constraints: 155678
3600.02/3608.80 c #Conflicts: 2150000 | #Constraints: 156678
3600.02/3608.80 c #Conflicts: 2151000 | #Constraints: 157678
3600.02/3608.80 c cpu time 3584.1 s
3600.02/3608.80 c deterministic time 246004069489 2.46e+11
3600.02/3608.80 c optimization time 103.266 s
3600.02/3608.80 c total solve time 3480.46 s
3600.02/3608.80 c core-guided solve time 0 s
3600.02/3608.80 c propagation time 1674 s
3600.02/3608.80 c conflict analysis time 1748.33 s
3600.02/3608.80 c propagations 860705253
3600.02/3608.80 c resolve steps 90725196
3600.02/3608.80 c decisions 4062699
3600.02/3608.80 c conflicts 2151159
3600.02/3608.80 c restarts 4092
3600.02/3608.80 c inprocessing phases 95
3600.02/3608.80 c garbage collections 95 ,( 100.00 )
3600.02/3608.80 c input clauses 74490 ,( 94.86 )
3600.02/3608.80 c input cardinalities 53 ,( 0.07 )
3600.02/3608.80 c input general constraints 3984 ,( 5.07 )
3600.02/3608.80 c input average constraint length 2.16
3600.02/3608.80 c input average constraint degree 1.27
3600.02/3608.80 c learned clauses 2062669 ,( 95.86 )
3600.02/3608.80 c learned cardinalities 23102 ,( 1.07 )
3600.02/3608.80 c learned general constraints 66060 ,( 3.07 )
3600.02/3608.80 c learned average constraint length 1024.50
3600.02/3608.80 c learned average constraint degree 1393220.90
3600.02/3608.80 c watched CF 32, 64, 128, Arb: 52862 , 0 , 0 , 0
3600.02/3608.80 c counting CF 32, 64, 128, Arb: 17182 , 0 , 0 , 0
3600.02/3608.80 c watched constraints 52862 ,( 75.47 )
3600.02/3608.80 c counting constraints 17182 ,( 24.53 )
3600.02/3608.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7385099394 , 938139606 , 2359231945 ,( 404290984 , 1954940961 )
3600.02/3608.80 c gcd simplifications 9341
3600.02/3608.80 c detected cardinalities 199
3600.02/3608.80 c weakened non-implied lits 11879194
3600.02/3608.80 c weakened non-implying lits 10985
3600.02/3608.80 c original variables 5363
3600.02/3608.80 c clausal propagations 325534008
3600.02/3608.80 c cardinality propagations 13675504
3600.02/3608.80 c watched propagations 26367873
3600.02/3608.80 c counting propagations 492920415
3600.02/3608.80 c watch lookups 36280113590
3600.02/3608.80 c watch backjump lookups 0
3600.02/3608.80 c watch checks 174962746445
3600.02/3608.80 c propagation checks 28736139897
3600.02/3608.80 c constraint additions 4292989549
3600.02/3608.80 c trail pops 866915941
3600.02/3608.80 c formula constraints 78527
3600.02/3608.80 c learned constraints 2151158
3600.02/3608.80 c bound constraints 0
3600.02/3608.80 c core-guided constraints 0
3600.02/3608.80 c encountered formula constraints 72977388
3600.02/3608.80 c encountered learned constraints 19863777
3600.02/3608.80 c encountered bound constraints 0
3600.02/3608.80 c encountered core-guided constraints 0
3600.02/3608.80 c LP total time 95.0566 s
3600.02/3608.80 c LP solve time 83.32 s
3600.02/3608.80 c LP constraints added 78884
3600.02/3608.80 c LP constraints removed 243
3600.02/3608.80 c LP pivots internal 215295
3600.02/3608.80 c LP pivots root 180819
3600.02/3608.80 c LP calls 747
3600.02/3608.80 c LP optimalities 63
3600.02/3608.80 c LP no pivot count 0
3600.02/3608.80 c LP infeasibilities 605
3600.02/3608.80 c LP valid Farkas constraints 605
3600.02/3608.80 c LP learned Farkas constraints 0
3600.02/3608.80 c LP basis resets 75
3600.02/3608.80 c LP cycling count 19
3600.02/3608.80 c LP singular count 48
3600.02/3608.80 c LP no primal count 0
3600.02/3608.80 c LP no farkas count 0
3600.02/3608.80 c LP other issue count 8
3600.02/3608.80 c LP Gomory cuts 68
3600.02/3608.80 c LP learned cuts 289
3600.02/3608.80 c LP deleted cuts 243
3600.02/3608.80 c LP encountered Gomory constraints 1201
3600.02/3608.80 c LP encountered Farkas constraints 33989
3600.02/3608.80 c LP encountered learned Farkas constraints 0
3600.02/3608.80 c CG auxiliary variables introduced 0
3600.02/3608.80 c CG solutions found 0
3600.02/3608.80 c CG cores constructed 0
3600.02/3608.80 c CG core cardinality constraints returned 0
3600.02/3608.80 c CG unit cores 0
3600.02/3608.80 c CG single cores 0
3600.02/3608.80 c CG blocks removed during cardinality reduction 0
3600.02/3608.80 c CG first core best 0
3600.02/3608.80 c CG decision core best 0
3600.02/3608.80 c CG core reduction tie 0
3600.02/3608.80 c CG core degree average 0.00
3600.02/3608.80 c CG core slack average 0.00
3600.02/3608.80 c CG core upper bound improvements 0
3600.02/3608.80 c STR number of successful calls 0
3600.02/3608.80 c STR number of unsuccessful calls 0
3600.02/3608.80 c STR number of inconclusive calls 0
3600.02/3608.80 c STR number of successful attempts 0
3600.02/3608.80 c STR number of unsuccessful attempts 0
3600.02/3608.80 c STR number of inconclusive attempts 0
3600.02/3608.80 c STR average degree increase per successful call inf
3600.02/3608.80 c STR average degree increase per successful attempt inf
3600.02/3608.80 c STR total number of conflicts for successful attempts 0
3600.02/3608.80 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.80 c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.80 c STR average number of conflicts per successful attempt inf
3600.02/3608.80 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.80 c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.80 c AVG.sumWPerc 28.66
3600.02/3608.80 c bigint constraints 0
3600.02/3608.80 s UNKNOWN
3600.02/3608.80 c Program interrupted by user.
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: 63708 MiB (62355 MiB free)
memory of node 1: 64465 MiB (63324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545042-1753233654/watcher-4545042-1753233654 -o /tmp/evaluation-result-4545042-1753233654/solver-4545042-1753233654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753233654-197625 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545042-1753233654.opb /tmp/proof-4545042-1753233654
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=197663, runsolver pid=197656
[startup+0.100059 s]*
/proc/loadavg: 1.11 1.12 1.70 4/258 197673
/proc/meminfo: memFree=128621300/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=50704 memory=2048 CPUtime=0 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 141 0 0 0 0 0 0 0 20 0 1 0 239042974 51920896 512 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 12676 512 480 1147 0 151 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 54896 KiB
Current children cumulated memory: 4992 KiB
[startup+0.204889 s]*
/proc/loadavg: 1.11 1.12 1.70 7/266 197682
/proc/meminfo: memFree=128586620/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=64788 memory=20364 CPUtime=0.1 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 2856 0 0 0 8 2 0 0 20 0 1 0 239042974 66342912 5091 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 16197 5091 2080 1147 0 3624 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68980 KiB
Current children cumulated memory: 23308 KiB
[startup+0.30572 s]*
/proc/loadavg: 1.11 1.12 1.70 6/269 197689
/proc/meminfo: memFree=128375600/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=72540 memory=27896 CPUtime=0.2 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 5041 0 0 0 16 4 0 0 20 0 1 0 239042974 74280960 6974 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 18135 6974 2080 1147 0 5562 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76732 KiB
Current children cumulated memory: 30840 KiB
[startup+0.700166 s]
/proc/loadavg: 1.11 1.12 1.70 6/269 197690
/proc/meminfo: memFree=128202880/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=193476 memory=124112 CPUtime=0.59 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 18793 0 0 0 50 9 0 0 20 0 1 0 239042974 198119424 31028 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 48369 31028 2336 1147 0 35796 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 197668 KiB
Current children cumulated memory: 127056 KiB
[startup+1.50019 s]
/proc/loadavg: 1.11 1.12 1.70 6/269 197691
/proc/meminfo: memFree=127789564/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=193476 memory=124880 CPUtime=1.39 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 18946 0 0 0 129 10 0 0 20 0 1 0 239042974 198119424 31220 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 48369 31220 2368 1147 0 35796 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 197668 KiB
Current children cumulated memory: 127824 KiB
[startup+3.10507 s]
/proc/loadavg: 1.11 1.12 1.70 4/266 197739
/proc/meminfo: memFree=127772784/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=200616 memory=130628 CPUtime=2.98 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 19871 0 0 0 287 11 0 0 20 0 1 0 239042974 205430784 32657 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 50154 32657 2368 1147 0 37581 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 204808 KiB
Current children cumulated memory: 133572 KiB
[startup+6.30019 s]
/proc/loadavg: 1.42 1.18 1.72 5/269 197789
/proc/meminfo: memFree=126787868/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=200616 memory=132036 CPUtime=6.17 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 20234 0 0 0 603 14 0 0 20 0 1 0 239042974 205430784 33009 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 50154 33009 2368 1147 0 37581 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 204808 KiB
Current children cumulated memory: 134980 KiB
[startup+12.7002 s]
/proc/loadavg: 1.63 1.23 1.73 5/269 197789
/proc/meminfo: memFree=126032952/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=219924 memory=144568 CPUtime=12.55 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 21848 0 0 0 1237 18 0 0 20 0 1 0 239042974 225202176 36142 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 54981 36142 2400 1147 0 42408 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 224116 KiB
Current children cumulated memory: 147512 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.37 1.77 5/269 197790
/proc/meminfo: memFree=126066580/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=223064 memory=149808 CPUtime=25.31 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 22806 0 0 0 2503 28 0 0 20 0 1 0 239042974 228417536 37452 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 55766 37452 2400 1147 0 43193 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 227256 KiB
Current children cumulated memory: 152752 KiB
[startup+51.1054 s]
/proc/loadavg: 2.91 1.61 1.84 5/269 197790
/proc/meminfo: memFree=125936548/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=238124 memory=162764 CPUtime=50.84 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 24492 0 0 0 5038 46 0 0 20 0 1 0 239042974 243838976 40691 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 59531 40691 2400 1147 0 46958 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 242316 KiB
Current children cumulated memory: 165708 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.96 5/269 197792
/proc/meminfo: memFree=125734056/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=275556 memory=190984 CPUtime=101.91 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 27581 0 0 0 10115 76 0 0 20 0 1 0 239042974 282169344 47746 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 68889 47746 2496 1147 0 56316 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 279748 KiB
Current children cumulated memory: 193928 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.41 2.11 5/270 197798
/proc/meminfo: memFree=125466472/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=277268 memory=207264 CPUtime=161.78 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 28086 0 0 0 16066 112 0 0 20 0 1 0 239042974 283922432 51816 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 69317 51816 2496 1147 0 56744 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 281460 KiB
Current children cumulated memory: 210208 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.73 2.24 5/270 197851
/proc/meminfo: memFree=125813072/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=310176 memory=213172 CPUtime=221.64 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 29069 0 0 0 22021 143 0 0 20 0 1 0 239042974 317620224 53293 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
################
# More data... #
################
/proc/197673/statm: 229384 195954 2496 1147 0 216811 0
Current children cumulated CPU time: 3034.83 s
Current children cumulated vsize: 921728 KiB
Current children cumulated memory: 786760 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.18 4.09 5/268 198005
/proc/meminfo: memFree=118910700/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3094.62 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 52900 0 0 0 308056 1406 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/269 198011
/proc/meminfo: memFree=118778784/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3154.48 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53002 0 0 0 314016 1432 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/268 198017
/proc/meminfo: memFree=118703060/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3214.34 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53175 0 0 0 319985 1449 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/268 198019
/proc/meminfo: memFree=118618072/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3274.21 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53220 0 0 0 325951 1470 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/269 198022
/proc/meminfo: memFree=118476508/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3334.06 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53244 0 0 0 331918 1488 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/269 198024
/proc/meminfo: memFree=118387440/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3393.92 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53244 0 0 0 337879 1513 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/269 198025
/proc/meminfo: memFree=118225368/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3453.77 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53244 0 0 0 343844 1533 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/269 198028
/proc/meminfo: memFree=118112368/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3513.65 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53244 0 0 0 349808 1557 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.10 5/269 198030
/proc/meminfo: memFree=118015744/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3573.5 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53348 0 0 0 355773 1577 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.12 4.16 4.10 5/269 198031
/proc/meminfo: memFree=117975440/131250000 swapFree=33010160/33010684
[pid=197663] ppid=197656 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/197663/stat : 197663 (run-dec-break-l) S 197656 197663 197614 0 -1 4194304 237 9264 0 0 0 0 6 1 20 0 1 0 239042964 4292608 736 18446744073709551615 94724352303104 94724353197637 140723641494448 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94724353436688 94724353484432 94724373426176 140723641497913 140723641498076 140723641498076 140723641503680 0
/proc/197663/statm: 1048 736 672 219 0 110 0
[pid=197673] ppid=197663 vsize=933596 memory=800072 CPUtime=3599.95 cores=4,6
/proc/197673/stat : 197673 (roundingsat) R 197663 197663 197614 0 -1 4194304 53455 0 0 0 358410 1585 0 0 20 0 1 0 239042974 956002304 200018 18446744073709551615 4227072 8923433 140722695156864 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 35618816 140722695166232 140722695166502 140722695166502 140722695172074 0
/proc/197673/statm: 233399 200018 2496 1147 0 220826 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 937788 KiB
Current children cumulated memory: 803016 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.8 s]
# the end of solver process 197663 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.066301 s, system=0.018086 s
Sleeping 2 seconds
[startup+3608.82 s]
# the end of solver process 197673 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.19 s, system=15.8715 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3608.82
CPU time (s): 3600.06
CPU user time (s): 3584.19
CPU system time (s): 15.8715
CPU usage (%): 99.7573
Max. virtual memory (cumulated for all children) (KiB): 937788
Max. memory (cumulated for all children) (KiB): 803016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.19
system time used= 15.8715
maximum resident set size= 800328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3605240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302
involuntary context switches= 5686
# summary of solver processes directly reported to runsolver:
# pid: 197663,197673
# total CPU time (s): 3600.06
# total CPU user time (s): 3584.19
# total CPU system time (s): 15.8715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47379 second user time and 16.6075 second system time
The end
Begin job on nodeC016 at 2025-07-23 03:20:54
IDJOB=4545042
IDBENCH=180696
IDSOLVER=3358
FILE ID=nodeC016/4545042-1753233654
RUNJOBID= nodeC016-1753233654-197625
SLURM_JOB_ID= 9687851
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-53-24-1-mgd_c18.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545042-1753233654/watcher-4545042-1753233654 -o /tmp/evaluation-result-4545042-1753233654/solver-4545042-1753233654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753233654-197625 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545042-1753233654.opb /tmp/proof-4545042-1753233654
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa4c4c17affaea5fdc372b8ff9588da4
RANDOM SEED=1508811894
nodeC016 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 : 0xb00002a
cpu MHz : 3599.851
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.237
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.718
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.968
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3522.033
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.736
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128713364 kB
MemAvailable: 129584232 kB
Buffers: 2144 kB
Cached: 1586040 kB
SwapCached: 24 kB
Active: 1328632 kB
Inactive: 349156 kB
Active(anon): 113736 kB
Inactive(anon): 2108 kB
Active(file): 1214896 kB
Inactive(file): 347048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46036 kB
Writeback: 0 kB
AnonPages: 92676 kB
Mapped: 108296 kB
Shmem: 26240 kB
KReclaimable: 296324 kB
Slab: 396168 kB
SReclaimable: 296324 kB
SUnreclaim: 99844 kB
KernelStack: 4100 kB
PageTables: 2888 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 371068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 426020 MiB
End job on nodeC016 at 2025-07-23 04:21:03