0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.86/0.93 c #variables 5363 #constraints 78527
10.04/10.17 c #Conflicts: 1000 | #Constraints: 79526
10.04/10.17 c #Conflicts: 2000 | #Constraints: 80526
10.04/10.17 c INPROCESSING
10.04/10.17 c GARBAGE COLLECT
10.04/10.17 c #Conflicts: 3000 | #Constraints: 80538
10.04/10.17 c #Conflicts: 4000 | #Constraints: 81538
10.04/10.17 c INPROCESSING
10.04/10.17 c GARBAGE COLLECT
10.04/10.17 c #Conflicts: 5000 | #Constraints: 80945
10.04/10.17 c #Conflicts: 6000 | #Constraints: 81945
10.04/10.17 c INPROCESSING
10.04/10.17 c GARBAGE COLLECT
10.04/10.17 c #Conflicts: 7000 | #Constraints: 80955
10.04/10.17 c #Conflicts: 8000 | #Constraints: 81955
10.04/10.17 c #Conflicts: 9000 | #Constraints: 82955
10.04/10.17 c INPROCESSING
10.04/10.17 c GARBAGE COLLECT
10.04/10.17 c #Conflicts: 10000 | #Constraints: 81652
10.04/10.17 c #Conflicts: 11000 | #Constraints: 82652
10.04/10.17 c #Conflicts: 12000 | #Constraints: 83652
10.04/10.17 c INPROCESSING
10.04/10.17 c GARBAGE COLLECT
10.04/10.17 c rational objective 71.6562
12.53/12.66 c #Conflicts: 13000 | #Constraints: 82109
12.53/12.66 c #Conflicts: 14000 | #Constraints: 83109
12.53/12.66 c #Conflicts: 15000 | #Constraints: 84109
12.53/12.66 c INPROCESSING
12.53/12.66 c GARBAGE COLLECT
12.53/12.66 c rational objective 71.8125
15.82/15.98 c #Conflicts: 16000 | #Constraints: 82335
15.82/15.98 c #Conflicts: 17000 | #Constraints: 83335
15.82/15.98 c #Conflicts: 18000 | #Constraints: 84335
15.82/15.98 c INPROCESSING
15.82/15.98 c GARBAGE COLLECT
15.82/15.98 c rational objective 71.875
40.74/40.99 c #Conflicts: 19000 | #Constraints: 82353
40.74/40.99 c #Conflicts: 20000 | #Constraints: 83353
40.74/40.99 c #Conflicts: 21000 | #Constraints: 84353
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 22000 | #Constraints: 82168
40.74/40.99 c #Conflicts: 23000 | #Constraints: 83168
40.74/40.99 c #Conflicts: 24000 | #Constraints: 84168
40.74/40.99 c #Conflicts: 25000 | #Constraints: 85168
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 26000 | #Constraints: 82770
40.74/40.99 c #Conflicts: 27000 | #Constraints: 83770
40.74/40.99 c #Conflicts: 28000 | #Constraints: 84770
40.74/40.99 c #Conflicts: 29000 | #Constraints: 85770
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 30000 | #Constraints: 83165
40.74/40.99 c #Conflicts: 31000 | #Constraints: 84165
40.74/40.99 c #Conflicts: 32000 | #Constraints: 85165
40.74/40.99 c #Conflicts: 33000 | #Constraints: 86165
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 34000 | #Constraints: 83370
40.74/40.99 c #Conflicts: 35000 | #Constraints: 84370
40.74/40.99 c #Conflicts: 36000 | #Constraints: 85370
40.74/40.99 c #Conflicts: 37000 | #Constraints: 86370
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 38000 | #Constraints: 83380
40.74/40.99 c #Conflicts: 39000 | #Constraints: 84380
40.74/40.99 c #Conflicts: 40000 | #Constraints: 85380
40.74/40.99 c #Conflicts: 41000 | #Constraints: 86380
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 42000 | #Constraints: 83182
40.74/40.99 c #Conflicts: 43000 | #Constraints: 84182
40.74/40.99 c #Conflicts: 44000 | #Constraints: 85182
40.74/40.99 c #Conflicts: 45000 | #Constraints: 86182
40.74/40.99 c #Conflicts: 46000 | #Constraints: 87182
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c #Conflicts: 47000 | #Constraints: 83770
40.74/40.99 c #Conflicts: 48000 | #Constraints: 84770
40.74/40.99 c #Conflicts: 49000 | #Constraints: 85770
40.74/40.99 c #Conflicts: 50000 | #Constraints: 86770
40.74/40.99 c #Conflicts: 51000 | #Constraints: 87770
40.74/40.99 c INPROCESSING
40.74/40.99 c GARBAGE COLLECT
40.74/40.99 c rational objective 71.875
48.72/49.00 c #Conflicts: 52000 | #Constraints: 84180
48.72/49.00 c #Conflicts: 53000 | #Constraints: 85180
48.72/49.00 c #Conflicts: 54000 | #Constraints: 86180
48.72/49.00 c #Conflicts: 55000 | #Constraints: 87180
48.72/49.00 c #Conflicts: 56000 | #Constraints: 88180
48.72/49.00 c INPROCESSING
48.72/49.00 c GARBAGE COLLECT
48.72/49.00 c #Conflicts: 57000 | #Constraints: 84380
48.72/49.00 c #Conflicts: 58000 | #Constraints: 85380
48.72/49.00 c #Conflicts: 59000 | #Constraints: 86380
48.72/49.00 c #Conflicts: 60000 | #Constraints: 87380
48.72/49.00 c #Conflicts: 61000 | #Constraints: 88380
48.72/49.00 c INPROCESSING
48.72/49.00 c GARBAGE COLLECT
48.72/49.00 c rational objective 72.0312
57.59/57.84 c #Conflicts: 62000 | #Constraints: 84381
57.59/57.84 c #Conflicts: 63000 | #Constraints: 85381
57.59/57.84 c #Conflicts: 64000 | #Constraints: 86381
57.59/57.84 c #Conflicts: 65000 | #Constraints: 87381
57.59/57.84 c #Conflicts: 66000 | #Constraints: 88381
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c #Conflicts: 67000 | #Constraints: 84184
57.59/57.84 c #Conflicts: 68000 | #Constraints: 85184
57.59/57.84 c #Conflicts: 69000 | #Constraints: 86184
57.59/57.84 c #Conflicts: 70000 | #Constraints: 87184
57.59/57.84 c #Conflicts: 71000 | #Constraints: 88184
57.59/57.84 c #Conflicts: 72000 | #Constraints: 89184
57.59/57.84 c INPROCESSING
57.59/57.84 c GARBAGE COLLECT
57.59/57.84 c rational objective 72.2344
67.46/67.72 c #Conflicts: 73000 | #Constraints: 84790
67.46/67.72 c #Conflicts: 74000 | #Constraints: 85790
67.46/67.72 c #Conflicts: 75000 | #Constraints: 86790
67.46/67.72 c #Conflicts: 76000 | #Constraints: 87790
67.46/67.72 c #Conflicts: 77000 | #Constraints: 88790
67.46/67.72 c #Conflicts: 78000 | #Constraints: 89790
67.46/67.72 c INPROCESSING
67.46/67.72 c GARBAGE COLLECT
67.46/67.72 c #Conflicts: 79000 | #Constraints: 85194
67.46/67.72 c #Conflicts: 80000 | #Constraints: 86194
67.46/67.72 c #Conflicts: 81000 | #Constraints: 87195
67.46/67.72 c #Conflicts: 82000 | #Constraints: 88195
67.46/67.72 c #Conflicts: 83000 | #Constraints: 89195
67.46/67.72 c #Conflicts: 84000 | #Constraints: 90195
67.46/67.72 c INPROCESSING
67.46/67.72 c GARBAGE COLLECT
67.46/67.72 c rational objective 72.2969
95.68/96.01 c #Conflicts: 85000 | #Constraints: 85396
95.68/96.01 c #Conflicts: 86000 | #Constraints: 86396
95.68/96.01 c #Conflicts: 87000 | #Constraints: 87396
95.68/96.01 c #Conflicts: 88000 | #Constraints: 88396
95.68/96.01 c #Conflicts: 89000 | #Constraints: 89396
95.68/96.01 c #Conflicts: 90000 | #Constraints: 90396
95.68/96.01 c INPROCESSING
95.68/96.01 c GARBAGE COLLECT
95.68/96.01 c #Conflicts: 91000 | #Constraints: 85385
95.68/96.01 c #Conflicts: 92000 | #Constraints: 86385
95.68/96.01 c #Conflicts: 93000 | #Constraints: 87385
95.68/96.01 c #Conflicts: 94000 | #Constraints: 88385
95.68/96.01 c #Conflicts: 95000 | #Constraints: 89385
95.68/96.01 c #Conflicts: 96000 | #Constraints: 90385
95.68/96.01 c INPROCESSING
95.68/96.01 c GARBAGE COLLECT
95.68/96.01 c #Conflicts: 97000 | #Constraints: 85186
95.68/96.01 c #Conflicts: 98000 | #Constraints: 86186
95.68/96.01 c #Conflicts: 99000 | #Constraints: 87187
95.68/96.01 c #Conflicts: 100000 | #Constraints: 88187
95.68/96.01 c #Conflicts: 101000 | #Constraints: 89187
95.68/96.01 c #Conflicts: 102000 | #Constraints: 90187
95.68/96.01 c #Conflicts: 103000 | #Constraints: 91187
95.68/96.01 c INPROCESSING
95.68/96.01 c GARBAGE COLLECT
95.68/96.01 c #Conflicts: 104000 | #Constraints: 85791
95.68/96.01 c #Conflicts: 105000 | #Constraints: 86791
95.68/96.01 c #Conflicts: 106000 | #Constraints: 87791
95.68/96.01 c #Conflicts: 107000 | #Constraints: 88791
95.68/96.01 c #Conflicts: 108000 | #Constraints: 89796
95.68/96.01 c #Conflicts: 109000 | #Constraints: 90808
95.68/96.01 c #Conflicts: 110000 | #Constraints: 91808
95.68/96.01 c INPROCESSING
95.68/96.01 c GARBAGE COLLECT
95.68/96.01 c #Conflicts: 111000 | #Constraints: 86200
95.68/96.01 c #Conflicts: 112000 | #Constraints: 87200
95.68/96.01 c #Conflicts: 113000 | #Constraints: 88201
95.68/96.01 c #Conflicts: 114000 | #Constraints: 89201
95.68/96.01 c #Conflicts: 115000 | #Constraints: 90201
95.68/96.01 c #Conflicts: 116000 | #Constraints: 91201
95.68/96.01 c #Conflicts: 117000 | #Constraints: 92209
95.68/96.01 c INPROCESSING
95.68/96.01 c GARBAGE COLLECT
95.68/96.01 c rational objective 72.4937
160.58/161.18 c #Conflicts: 118000 | #Constraints: 86408
160.58/161.18 c #Conflicts: 119000 | #Constraints: 87408
160.58/161.18 c #Conflicts: 120000 | #Constraints: 88408
160.58/161.18 c #Conflicts: 121000 | #Constraints: 89408
160.58/161.18 c #Conflicts: 122000 | #Constraints: 90408
160.58/161.18 c #Conflicts: 123000 | #Constraints: 91411
160.58/161.18 c #Conflicts: 124000 | #Constraints: 92412
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 125000 | #Constraints: 86405
160.58/161.18 c #Conflicts: 126000 | #Constraints: 87405
160.58/161.18 c #Conflicts: 127000 | #Constraints: 88408
160.58/161.18 c #Conflicts: 128000 | #Constraints: 89410
160.58/161.18 c #Conflicts: 129000 | #Constraints: 90410
160.58/161.18 c #Conflicts: 130000 | #Constraints: 91410
160.58/161.18 c #Conflicts: 131000 | #Constraints: 92411
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 132000 | #Constraints: 86204
160.58/161.18 c #Conflicts: 133000 | #Constraints: 87205
160.58/161.18 c #Conflicts: 134000 | #Constraints: 88206
160.58/161.18 c #Conflicts: 135000 | #Constraints: 89206
160.58/161.18 c #Conflicts: 136000 | #Constraints: 90206
160.58/161.18 c #Conflicts: 137000 | #Constraints: 91206
160.58/161.18 c #Conflicts: 138000 | #Constraints: 92207
160.58/161.18 c #Conflicts: 139000 | #Constraints: 93207
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 140000 | #Constraints: 86812
160.58/161.18 c #Conflicts: 141000 | #Constraints: 87813
160.58/161.18 c #Conflicts: 142000 | #Constraints: 88813
160.58/161.18 c #Conflicts: 143000 | #Constraints: 89813
160.58/161.18 c #Conflicts: 144000 | #Constraints: 90814
160.58/161.18 c #Conflicts: 145000 | #Constraints: 91815
160.58/161.18 c #Conflicts: 146000 | #Constraints: 92815
160.58/161.18 c #Conflicts: 147000 | #Constraints: 93815
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 148000 | #Constraints: 87223
160.58/161.18 c #Conflicts: 149000 | #Constraints: 88223
160.58/161.18 c #Conflicts: 150000 | #Constraints: 89223
160.58/161.18 c #Conflicts: 151000 | #Constraints: 90223
160.58/161.18 c #Conflicts: 152000 | #Constraints: 91223
160.58/161.18 c #Conflicts: 153000 | #Constraints: 92224
160.58/161.18 c #Conflicts: 154000 | #Constraints: 93224
160.58/161.18 c #Conflicts: 155000 | #Constraints: 94224
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 156000 | #Constraints: 87404
160.58/161.18 c #Conflicts: 157000 | #Constraints: 88404
160.58/161.18 c #Conflicts: 158000 | #Constraints: 89404
160.58/161.18 c #Conflicts: 159000 | #Constraints: 90404
160.58/161.18 c #Conflicts: 160000 | #Constraints: 91405
160.58/161.18 c #Conflicts: 161000 | #Constraints: 92405
160.58/161.18 c #Conflicts: 162000 | #Constraints: 93405
160.58/161.18 c #Conflicts: 163000 | #Constraints: 94405
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 164000 | #Constraints: 87406
160.58/161.18 c #Conflicts: 165000 | #Constraints: 88406
160.58/161.18 c #Conflicts: 166000 | #Constraints: 89406
160.58/161.18 c #Conflicts: 167000 | #Constraints: 90406
160.58/161.18 c #Conflicts: 168000 | #Constraints: 91406
160.58/161.18 c #Conflicts: 169000 | #Constraints: 92406
160.58/161.18 c #Conflicts: 170000 | #Constraints: 93407
160.58/161.18 c #Conflicts: 171000 | #Constraints: 94407
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 172000 | #Constraints: 87201
160.58/161.18 c #Conflicts: 173000 | #Constraints: 88201
160.58/161.18 c #Conflicts: 174000 | #Constraints: 89202
160.58/161.18 c #Conflicts: 175000 | #Constraints: 90203
160.58/161.18 c #Conflicts: 176000 | #Constraints: 91203
160.58/161.18 c #Conflicts: 177000 | #Constraints: 92204
160.58/161.18 c #Conflicts: 178000 | #Constraints: 93204
160.58/161.18 c #Conflicts: 179000 | #Constraints: 94205
160.58/161.18 c #Conflicts: 180000 | #Constraints: 95205
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 181000 | #Constraints: 87805
160.58/161.18 c #Conflicts: 182000 | #Constraints: 88805
160.58/161.18 c #Conflicts: 183000 | #Constraints: 89805
160.58/161.18 c #Conflicts: 184000 | #Constraints: 90805
160.58/161.18 c #Conflicts: 185000 | #Constraints: 91805
160.58/161.18 c #Conflicts: 186000 | #Constraints: 92805
160.58/161.18 c #Conflicts: 187000 | #Constraints: 93805
160.58/161.18 c #Conflicts: 188000 | #Constraints: 94805
160.58/161.18 c #Conflicts: 189000 | #Constraints: 95805
160.58/161.18 c INPROCESSING
160.58/161.18 c GARBAGE COLLECT
160.58/161.18 c #Conflicts: 190000 | #Constraints: 88216
160.58/161.18 c #Conflicts: 191000 | #Constraints: 89216
231.15/232.00 c #Conflicts: 192000 | #Constraints: 90220
231.15/232.00 c #Conflicts: 193000 | #Constraints: 91220
231.15/232.00 c #Conflicts: 194000 | #Constraints: 92220
231.15/232.00 c #Conflicts: 195000 | #Constraints: 93220
231.15/232.00 c #Conflicts: 196000 | #Constraints: 94220
231.15/232.00 c #Conflicts: 197000 | #Constraints: 95220
231.15/232.00 c #Conflicts: 198000 | #Constraints: 96220
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 199000 | #Constraints: 88434
231.15/232.00 c #Conflicts: 200000 | #Constraints: 89434
231.15/232.00 c #Conflicts: 201000 | #Constraints: 90435
231.15/232.00 c #Conflicts: 202000 | #Constraints: 91438
231.15/232.00 c #Conflicts: 203000 | #Constraints: 92439
231.15/232.00 c #Conflicts: 204000 | #Constraints: 93439
231.15/232.00 c #Conflicts: 205000 | #Constraints: 94439
231.15/232.00 c #Conflicts: 206000 | #Constraints: 95440
231.15/232.00 c #Conflicts: 207000 | #Constraints: 96441
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 208000 | #Constraints: 88423
231.15/232.00 c #Conflicts: 209000 | #Constraints: 89423
231.15/232.00 c #Conflicts: 210000 | #Constraints: 90423
231.15/232.00 c #Conflicts: 211000 | #Constraints: 91423
231.15/232.00 c #Conflicts: 212000 | #Constraints: 92423
231.15/232.00 c #Conflicts: 213000 | #Constraints: 93423
231.15/232.00 c #Conflicts: 214000 | #Constraints: 94423
231.15/232.00 c #Conflicts: 215000 | #Constraints: 95423
231.15/232.00 c #Conflicts: 216000 | #Constraints: 96424
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 217000 | #Constraints: 88236
231.15/232.00 c #Conflicts: 218000 | #Constraints: 89236
231.15/232.00 c #Conflicts: 219000 | #Constraints: 90236
231.15/232.00 c #Conflicts: 220000 | #Constraints: 91236
231.15/232.00 c #Conflicts: 221000 | #Constraints: 92236
231.15/232.00 c #Conflicts: 222000 | #Constraints: 93236
231.15/232.00 c #Conflicts: 223000 | #Constraints: 94236
231.15/232.00 c #Conflicts: 224000 | #Constraints: 95236
231.15/232.00 c #Conflicts: 225000 | #Constraints: 96236
231.15/232.00 c #Conflicts: 226000 | #Constraints: 97236
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 227000 | #Constraints: 88839
231.15/232.00 c #Conflicts: 228000 | #Constraints: 89839
231.15/232.00 c #Conflicts: 229000 | #Constraints: 90839
231.15/232.00 c #Conflicts: 230000 | #Constraints: 91839
231.15/232.00 c #Conflicts: 231000 | #Constraints: 92839
231.15/232.00 c #Conflicts: 232000 | #Constraints: 93839
231.15/232.00 c #Conflicts: 233000 | #Constraints: 94839
231.15/232.00 c #Conflicts: 234000 | #Constraints: 95839
231.15/232.00 c #Conflicts: 235000 | #Constraints: 96839
231.15/232.00 c #Conflicts: 236000 | #Constraints: 97839
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 237000 | #Constraints: 89225
231.15/232.00 c #Conflicts: 238000 | #Constraints: 90225
231.15/232.00 c #Conflicts: 239000 | #Constraints: 91225
231.15/232.00 c #Conflicts: 240000 | #Constraints: 92225
231.15/232.00 c #Conflicts: 241000 | #Constraints: 93225
231.15/232.00 c #Conflicts: 242000 | #Constraints: 94225
231.15/232.00 c #Conflicts: 243000 | #Constraints: 95225
231.15/232.00 c #Conflicts: 244000 | #Constraints: 96225
231.15/232.00 c #Conflicts: 245000 | #Constraints: 97225
231.15/232.00 c #Conflicts: 246000 | #Constraints: 98225
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 247000 | #Constraints: 89401
231.15/232.00 c #Conflicts: 248000 | #Constraints: 90401
231.15/232.00 c #Conflicts: 249000 | #Constraints: 91401
231.15/232.00 c #Conflicts: 250000 | #Constraints: 92401
231.15/232.00 c #Conflicts: 251000 | #Constraints: 93401
231.15/232.00 c #Conflicts: 252000 | #Constraints: 94401
231.15/232.00 c #Conflicts: 253000 | #Constraints: 95401
231.15/232.00 c #Conflicts: 254000 | #Constraints: 96401
231.15/232.00 c #Conflicts: 255000 | #Constraints: 97401
231.15/232.00 c #Conflicts: 256000 | #Constraints: 98401
231.15/232.00 c INPROCESSING
231.15/232.00 c GARBAGE COLLECT
231.15/232.00 c #Conflicts: 257000 | #Constraints: 89404
231.15/232.00 c #Conflicts: 258000 | #Constraints: 90404
231.15/232.00 c #Conflicts: 259000 | #Constraints: 91404
231.15/232.00 c #Conflicts: 260000 | #Constraints: 92404
231.15/232.00 c #Conflicts: 261000 | #Constraints: 93404
231.15/232.00 c #Conflicts: 262000 | #Constraints: 94404
231.15/232.00 c #Conflicts: 263000 | #Constraints: 95404
231.15/232.00 c #Conflicts: 264000 | #Constraints: 96404
231.15/232.00 c #Conflicts: 265000 | #Constraints: 97404
233.14/233.98 c #Conflicts: 266000 | #Constraints: 98404
233.14/233.98 c INPROCESSING
233.14/233.98 c GARBAGE COLLECT
233.14/233.98 c rational objective 72.5469
244.01/244.86 c #Conflicts: 267000 | #Constraints: 89208
244.01/244.86 c #Conflicts: 268000 | #Constraints: 90208
244.01/244.86 c #Conflicts: 269000 | #Constraints: 91208
244.01/244.86 c #Conflicts: 270000 | #Constraints: 92208
244.01/244.86 c #Conflicts: 271000 | #Constraints: 93208
244.01/244.86 c #Conflicts: 272000 | #Constraints: 94208
244.01/244.86 c #Conflicts: 273000 | #Constraints: 95208
244.01/244.86 c #Conflicts: 274000 | #Constraints: 96208
244.01/244.86 c #Conflicts: 275000 | #Constraints: 97208
244.01/244.86 c #Conflicts: 276000 | #Constraints: 98208
244.01/244.86 c #Conflicts: 277000 | #Constraints: 99208
244.01/244.86 c INPROCESSING
244.01/244.86 c GARBAGE COLLECT
244.01/244.86 c rational objective 72.6875
251.88/252.76 c #Conflicts: 278000 | #Constraints: 89793
251.88/252.76 c #Conflicts: 279000 | #Constraints: 90793
251.88/252.76 c #Conflicts: 280000 | #Constraints: 91793
251.88/252.76 c #Conflicts: 281000 | #Constraints: 92793
251.88/252.76 c #Conflicts: 282000 | #Constraints: 93793
251.88/252.76 c #Conflicts: 283000 | #Constraints: 94793
251.88/252.76 c #Conflicts: 284000 | #Constraints: 95793
251.88/252.76 c #Conflicts: 285000 | #Constraints: 96793
251.88/252.76 c #Conflicts: 286000 | #Constraints: 97793
251.88/252.76 c #Conflicts: 287000 | #Constraints: 98793
251.88/252.76 c #Conflicts: 288000 | #Constraints: 99793
251.88/252.76 c INPROCESSING
251.88/252.76 c GARBAGE COLLECT
251.88/252.76 c rational objective 72.7344
316.88/317.97 c #Conflicts: 289000 | #Constraints: 90204
316.88/317.97 c #Conflicts: 290000 | #Constraints: 91204
316.88/317.97 c #Conflicts: 291000 | #Constraints: 92204
316.88/317.97 c #Conflicts: 292000 | #Constraints: 93204
316.88/317.97 c #Conflicts: 293000 | #Constraints: 94204
316.88/317.97 c #Conflicts: 294000 | #Constraints: 95204
316.88/317.97 c #Conflicts: 295000 | #Constraints: 96204
316.88/317.97 c #Conflicts: 296000 | #Constraints: 97204
316.88/317.97 c #Conflicts: 297000 | #Constraints: 98204
316.88/317.97 c #Conflicts: 298000 | #Constraints: 99204
316.88/317.97 c #Conflicts: 299000 | #Constraints: 100204
316.88/317.97 c #Conflicts: 300000 | #Constraints: 101204
316.88/317.97 c #Conflicts: 301000 | #Constraints: 102204
316.88/317.97 c #Conflicts: 302000 | #Constraints: 103204
316.88/317.97 c #Conflicts: 303000 | #Constraints: 104204
316.88/317.97 c #Conflicts: 304000 | #Constraints: 105204
316.88/317.97 c #Conflicts: 305000 | #Constraints: 106204
316.88/317.97 c #Conflicts: 306000 | #Constraints: 107204
316.88/317.97 c #Conflicts: 307000 | #Constraints: 108204
316.88/317.97 c #Conflicts: 308000 | #Constraints: 109204
316.88/317.97 c #Conflicts: 309000 | #Constraints: 110204
316.88/317.97 c #Conflicts: 310000 | #Constraints: 111204
316.88/317.97 c #Conflicts: 311000 | #Constraints: 112204
316.88/317.97 c #Conflicts: 312000 | #Constraints: 113204
316.88/317.97 c #Conflicts: 313000 | #Constraints: 114204
316.88/317.97 c #Conflicts: 314000 | #Constraints: 115204
316.88/317.97 c #Conflicts: 315000 | #Constraints: 116204
316.88/317.97 c #Conflicts: 316000 | #Constraints: 117204
316.88/317.97 c #Conflicts: 317000 | #Constraints: 118204
316.88/317.97 c #Conflicts: 318000 | #Constraints: 119204
316.88/317.97 c #Conflicts: 319000 | #Constraints: 120204
316.88/317.97 c #Conflicts: 320000 | #Constraints: 121204
316.88/317.97 c #Conflicts: 321000 | #Constraints: 122204
316.88/317.97 c #Conflicts: 322000 | #Constraints: 123204
316.88/317.97 c #Conflicts: 323000 | #Constraints: 124204
316.88/317.97 c #Conflicts: 324000 | #Constraints: 125204
316.88/317.97 c #Conflicts: 325000 | #Constraints: 126204
316.88/317.97 c #Conflicts: 326000 | #Constraints: 127204
316.88/317.97 c #Conflicts: 327000 | #Constraints: 128204
316.88/317.97 c #Conflicts: 328000 | #Constraints: 129204
316.88/317.97 c #Conflicts: 329000 | #Constraints: 130204
316.88/317.97 c #Conflicts: 330000 | #Constraints: 131204
316.88/317.97 c #Conflicts: 331000 | #Constraints: 132204
316.88/317.97 c #Conflicts: 332000 | #Constraints: 133204
316.88/317.97 c #Conflicts: 333000 | #Constraints: 134204
316.88/317.97 c #Conflicts: 334000 | #Constraints: 135204
316.88/317.97 c #Conflicts: 335000 | #Constraints: 136204
316.88/317.97 c #Conflicts: 336000 | #Constraints: 137204
316.88/317.97 c #Conflicts: 337000 | #Constraints: 138204
316.88/317.97 c #Conflicts: 338000 | #Constraints: 139204
316.88/317.97 c #Conflicts: 339000 | #Constraints: 140204
316.88/317.97 c #Conflicts: 340000 | #Constraints: 141204
316.88/317.97 c INPROCESSING
316.88/317.97 c GARBAGE COLLECT
316.88/317.97 c rational objective 72.8281
343.39/344.51 c #Conflicts: 341000 | #Constraints: 110743
343.39/344.51 c #Conflicts: 342000 | #Constraints: 111743
343.39/344.51 c #Conflicts: 343000 | #Constraints: 112743
343.39/344.51 c #Conflicts: 344000 | #Constraints: 113744
343.39/344.51 c #Conflicts: 345000 | #Constraints: 114744
343.39/344.51 c #Conflicts: 346000 | #Constraints: 115744
343.39/344.51 c #Conflicts: 347000 | #Constraints: 116744
343.39/344.51 c #Conflicts: 348000 | #Constraints: 117744
343.39/344.51 c #Conflicts: 349000 | #Constraints: 118744
343.39/344.51 c #Conflicts: 350000 | #Constraints: 119744
343.39/344.51 c #Conflicts: 351000 | #Constraints: 120744
343.39/344.51 c #Conflicts: 352000 | #Constraints: 121744
343.39/344.51 c INPROCESSING
343.39/344.51 c GARBAGE COLLECT
343.39/344.51 c #Conflicts: 353000 | #Constraints: 100937
343.39/344.51 c #Conflicts: 354000 | #Constraints: 101938
343.39/344.51 c #Conflicts: 355000 | #Constraints: 102938
343.39/344.51 c #Conflicts: 356000 | #Constraints: 103938
343.39/344.51 c #Conflicts: 357000 | #Constraints: 104938
343.39/344.51 c #Conflicts: 358000 | #Constraints: 105938
343.39/344.51 c #Conflicts: 359000 | #Constraints: 106938
343.39/344.51 c #Conflicts: 360000 | #Constraints: 107938
343.39/344.51 c #Conflicts: 361000 | #Constraints: 108938
343.39/344.51 c #Conflicts: 362000 | #Constraints: 109938
343.39/344.51 c #Conflicts: 363000 | #Constraints: 110938
343.39/344.51 c #Conflicts: 364000 | #Constraints: 111938
343.39/344.51 c INPROCESSING
343.39/344.51 c GARBAGE COLLECT
343.39/344.51 c rational objective 72.9062
358.54/359.79 c #Conflicts: 365000 | #Constraints: 95892
358.54/359.79 c #Conflicts: 366000 | #Constraints: 96892
358.54/359.79 c #Conflicts: 367000 | #Constraints: 97892
358.54/359.79 c #Conflicts: 368000 | #Constraints: 98892
358.54/359.79 c #Conflicts: 369000 | #Constraints: 99892
358.54/359.79 c #Conflicts: 370000 | #Constraints: 100892
358.54/359.79 c #Conflicts: 371000 | #Constraints: 101892
358.54/359.79 c #Conflicts: 372000 | #Constraints: 102892
358.54/359.79 c #Conflicts: 373000 | #Constraints: 103892
358.54/359.79 c #Conflicts: 374000 | #Constraints: 104892
358.54/359.79 c #Conflicts: 375000 | #Constraints: 105892
358.54/359.79 c #Conflicts: 376000 | #Constraints: 106893
358.54/359.79 c #Conflicts: 377000 | #Constraints: 107893
358.54/359.79 c INPROCESSING
358.54/359.79 c GARBAGE COLLECT
358.54/359.79 c rational objective 72.9688
457.02/458.58 c #Conflicts: 378000 | #Constraints: 94118
457.02/458.58 c #Conflicts: 379000 | #Constraints: 95118
457.02/458.58 c #Conflicts: 380000 | #Constraints: 96118
457.02/458.58 c #Conflicts: 381000 | #Constraints: 97118
457.02/458.58 c #Conflicts: 382000 | #Constraints: 98118
457.02/458.58 c #Conflicts: 383000 | #Constraints: 99118
457.02/458.58 c #Conflicts: 384000 | #Constraints: 100118
457.02/458.58 c #Conflicts: 385000 | #Constraints: 101118
457.02/458.58 c #Conflicts: 386000 | #Constraints: 102118
457.02/458.58 c #Conflicts: 387000 | #Constraints: 103118
457.02/458.58 c #Conflicts: 388000 | #Constraints: 104118
457.02/458.58 c #Conflicts: 389000 | #Constraints: 105118
457.02/458.58 c #Conflicts: 390000 | #Constraints: 106118
457.02/458.58 c INPROCESSING
457.02/458.58 c GARBAGE COLLECT
457.02/458.58 c #Conflicts: 391000 | #Constraints: 93373
457.02/458.58 c #Conflicts: 392000 | #Constraints: 94373
457.02/458.58 c #Conflicts: 393000 | #Constraints: 95373
457.02/458.58 c #Conflicts: 394000 | #Constraints: 96373
457.02/458.58 c #Conflicts: 395000 | #Constraints: 97373
457.02/458.58 c #Conflicts: 396000 | #Constraints: 98373
457.02/458.58 c #Conflicts: 397000 | #Constraints: 99373
457.02/458.58 c #Conflicts: 398000 | #Constraints: 100374
457.02/458.58 c #Conflicts: 399000 | #Constraints: 101374
457.02/458.58 c #Conflicts: 400000 | #Constraints: 102374
457.02/458.58 c #Conflicts: 401000 | #Constraints: 103375
457.02/458.58 c #Conflicts: 402000 | #Constraints: 104375
457.02/458.58 c #Conflicts: 403000 | #Constraints: 105376
457.02/458.58 c #Conflicts: 404000 | #Constraints: 106376
457.02/458.58 c #Conflicts: 405000 | #Constraints: 107377
457.02/458.58 c #Conflicts: 406000 | #Constraints: 108377
457.02/458.58 c #Conflicts: 407000 | #Constraints: 109378
457.02/458.58 c #Conflicts: 408000 | #Constraints: 110378
457.02/458.58 c #Conflicts: 409000 | #Constraints: 111378
457.02/458.58 c #Conflicts: 410000 | #Constraints: 112378
457.02/458.58 c #Conflicts: 411000 | #Constraints: 113379
457.02/458.58 c #Conflicts: 412000 | #Constraints: 114380
457.02/458.58 c #Conflicts: 413000 | #Constraints: 115380
457.02/458.58 c #Conflicts: 414000 | #Constraints: 116380
457.02/458.58 c #Conflicts: 415000 | #Constraints: 117380
457.02/458.58 c #Conflicts: 416000 | #Constraints: 118380
457.02/458.58 c #Conflicts: 417000 | #Constraints: 119380
457.02/458.58 c #Conflicts: 418000 | #Constraints: 120382
457.02/458.58 c #Conflicts: 419000 | #Constraints: 121383
457.02/458.58 c #Conflicts: 420000 | #Constraints: 122388
457.02/458.58 c #Conflicts: 421000 | #Constraints: 123409
457.02/458.58 c #Conflicts: 422000 | #Constraints: 124410
457.02/458.58 c #Conflicts: 423000 | #Constraints: 125410
457.02/458.58 c #Conflicts: 424000 | #Constraints: 126412
457.02/458.58 c #Conflicts: 425000 | #Constraints: 127414
457.02/458.58 c #Conflicts: 426000 | #Constraints: 128415
457.02/458.58 c #Conflicts: 427000 | #Constraints: 129415
457.02/458.58 c #Conflicts: 428000 | #Constraints: 130417
457.02/458.58 c #Conflicts: 429000 | #Constraints: 131417
457.02/458.58 c #Conflicts: 430000 | #Constraints: 132417
457.02/458.58 c #Conflicts: 431000 | #Constraints: 133417
457.02/458.58 c #Conflicts: 432000 | #Constraints: 134417
457.02/458.58 c #Conflicts: 433000 | #Constraints: 135417
457.02/458.58 c #Conflicts: 434000 | #Constraints: 136417
457.02/458.58 c #Conflicts: 435000 | #Constraints: 137424
457.02/458.58 c #Conflicts: 436000 | #Constraints: 138424
457.02/458.58 c #Conflicts: 437000 | #Constraints: 139424
457.02/458.58 c #Conflicts: 438000 | #Constraints: 140425
457.02/458.58 c #Conflicts: 439000 | #Constraints: 141445
457.02/458.58 c #Conflicts: 440000 | #Constraints: 142490
457.02/458.58 c #Conflicts: 441000 | #Constraints: 143490
457.02/458.58 c #Conflicts: 442000 | #Constraints: 144490
457.02/458.58 c #Conflicts: 443000 | #Constraints: 145490
457.02/458.58 c #Conflicts: 444000 | #Constraints: 146490
457.02/458.58 c #Conflicts: 445000 | #Constraints: 147490
457.02/458.58 c #Conflicts: 446000 | #Constraints: 148490
457.02/458.58 c #Conflicts: 447000 | #Constraints: 149490
457.02/458.58 c #Conflicts: 448000 | #Constraints: 150491
457.02/458.58 c INPROCESSING
457.02/458.58 c GARBAGE COLLECT
457.02/458.58 c #Conflicts: 449000 | #Constraints: 115177
457.02/458.58 c #Conflicts: 450000 | #Constraints: 116177
457.02/458.58 c #Conflicts: 451000 | #Constraints: 117177
457.02/458.58 c #Conflicts: 452000 | #Constraints: 118177
457.02/458.58 c #Conflicts: 453000 | #Constraints: 119177
457.02/458.58 c #Conflicts: 454000 | #Constraints: 120177
457.02/458.58 c #Conflicts: 455000 | #Constraints: 121177
554.12/555.96 c #Conflicts: 456000 | #Constraints: 122177
554.12/555.96 c #Conflicts: 457000 | #Constraints: 123177
554.12/555.96 c #Conflicts: 458000 | #Constraints: 124177
554.12/555.96 c #Conflicts: 459000 | #Constraints: 125178
554.12/555.96 c #Conflicts: 460000 | #Constraints: 126178
554.12/555.96 c #Conflicts: 461000 | #Constraints: 127179
554.12/555.96 c #Conflicts: 462000 | #Constraints: 128180
554.12/555.96 c INPROCESSING
554.12/555.96 c GARBAGE COLLECT
554.12/555.96 c #Conflicts: 463000 | #Constraints: 104004
554.12/555.96 c #Conflicts: 464000 | #Constraints: 105005
554.12/555.96 c #Conflicts: 465000 | #Constraints: 106005
554.12/555.96 c #Conflicts: 466000 | #Constraints: 107005
554.12/555.96 c #Conflicts: 467000 | #Constraints: 108006
554.12/555.96 c #Conflicts: 468000 | #Constraints: 109007
554.12/555.96 c #Conflicts: 469000 | #Constraints: 110007
554.12/555.96 c #Conflicts: 470000 | #Constraints: 111007
554.12/555.96 c #Conflicts: 471000 | #Constraints: 112007
554.12/555.96 c #Conflicts: 472000 | #Constraints: 113007
554.12/555.96 c #Conflicts: 473000 | #Constraints: 114007
554.12/555.96 c #Conflicts: 474000 | #Constraints: 115007
554.12/555.96 c #Conflicts: 475000 | #Constraints: 116007
554.12/555.96 c #Conflicts: 476000 | #Constraints: 117007
554.12/555.96 c #Conflicts: 477000 | #Constraints: 118007
554.12/555.96 c INPROCESSING
554.12/555.96 c GARBAGE COLLECT
554.12/555.96 c #Conflicts: 478000 | #Constraints: 99339
554.12/555.96 c #Conflicts: 479000 | #Constraints: 100339
554.12/555.96 c #Conflicts: 480000 | #Constraints: 101339
554.12/555.96 c #Conflicts: 481000 | #Constraints: 102339
554.12/555.96 c #Conflicts: 482000 | #Constraints: 103340
554.12/555.96 c #Conflicts: 483000 | #Constraints: 104340
554.12/555.96 c #Conflicts: 484000 | #Constraints: 105340
554.12/555.96 c #Conflicts: 485000 | #Constraints: 106340
554.12/555.96 c #Conflicts: 486000 | #Constraints: 107340
554.12/555.96 c #Conflicts: 487000 | #Constraints: 108340
554.12/555.96 c #Conflicts: 488000 | #Constraints: 109340
554.12/555.96 c #Conflicts: 489000 | #Constraints: 110340
554.12/555.96 c #Conflicts: 490000 | #Constraints: 111340
554.12/555.96 c #Conflicts: 491000 | #Constraints: 112340
554.12/555.96 c INPROCESSING
554.12/555.96 c GARBAGE COLLECT
554.12/555.96 c #Conflicts: 492000 | #Constraints: 96304
554.12/555.96 c #Conflicts: 493000 | #Constraints: 97304
554.12/555.96 c #Conflicts: 494000 | #Constraints: 98304
554.12/555.96 c #Conflicts: 495000 | #Constraints: 99304
554.12/555.96 c #Conflicts: 496000 | #Constraints: 100304
554.12/555.96 c #Conflicts: 497000 | #Constraints: 101304
554.12/555.96 c #Conflicts: 498000 | #Constraints: 102304
554.12/555.96 c #Conflicts: 499000 | #Constraints: 103304
554.12/555.96 c #Conflicts: 500000 | #Constraints: 104304
554.12/555.96 c #Conflicts: 501000 | #Constraints: 105304
554.12/555.96 c #Conflicts: 502000 | #Constraints: 106304
554.12/555.96 c #Conflicts: 503000 | #Constraints: 107304
554.12/555.96 c #Conflicts: 504000 | #Constraints: 108304
554.12/555.96 c #Conflicts: 505000 | #Constraints: 109304
554.12/555.96 c #Conflicts: 506000 | #Constraints: 110304
554.12/555.96 c INPROCESSING
554.12/555.96 c GARBAGE COLLECT
554.12/555.96 c #Conflicts: 507000 | #Constraints: 95478
554.12/555.96 c #Conflicts: 508000 | #Constraints: 96478
554.12/555.96 c #Conflicts: 509000 | #Constraints: 97478
554.12/555.96 c #Conflicts: 510000 | #Constraints: 98478
554.12/555.96 c #Conflicts: 511000 | #Constraints: 99478
554.12/555.96 c #Conflicts: 512000 | #Constraints: 100478
554.12/555.96 c #Conflicts: 513000 | #Constraints: 101478
554.12/555.96 c #Conflicts: 514000 | #Constraints: 102478
554.12/555.96 c #Conflicts: 515000 | #Constraints: 103478
554.12/555.96 c #Conflicts: 516000 | #Constraints: 104478
554.12/555.96 c #Conflicts: 517000 | #Constraints: 105478
554.12/555.96 c #Conflicts: 518000 | #Constraints: 106478
554.12/555.96 c #Conflicts: 519000 | #Constraints: 107478
554.12/555.96 c #Conflicts: 520000 | #Constraints: 108478
554.12/555.96 c #Conflicts: 521000 | #Constraints: 109478
554.12/555.96 c #Conflicts: 522000 | #Constraints: 110478
554.12/555.96 c #Conflicts: 523000 | #Constraints: 111478
554.12/555.96 c #Conflicts: 524000 | #Constraints: 112478
554.12/555.96 c #Conflicts: 525000 | #Constraints: 113479
554.12/555.96 c #Conflicts: 526000 | #Constraints: 114479
554.12/555.96 c #Conflicts: 527000 | #Constraints: 115479
554.12/555.96 c #Conflicts: 528000 | #Constraints: 116479
554.12/555.96 c #Conflicts: 529000 | #Constraints: 117479
554.12/555.96 c #Conflicts: 530000 | #Constraints: 118479
554.12/555.96 c #Conflicts: 531000 | #Constraints: 119479
639.65/641.77 c #Conflicts: 532000 | #Constraints: 120479
639.65/641.77 c #Conflicts: 533000 | #Constraints: 121479
639.65/641.77 c #Conflicts: 534000 | #Constraints: 122479
639.65/641.77 c #Conflicts: 535000 | #Constraints: 123480
639.65/641.77 c #Conflicts: 536000 | #Constraints: 124480
639.65/641.77 c #Conflicts: 537000 | #Constraints: 125480
639.65/641.77 c #Conflicts: 538000 | #Constraints: 126480
639.65/641.77 c #Conflicts: 539000 | #Constraints: 127480
639.65/641.77 c #Conflicts: 540000 | #Constraints: 128480
639.65/641.77 c #Conflicts: 541000 | #Constraints: 129481
639.65/641.77 c #Conflicts: 542000 | #Constraints: 130481
639.65/641.77 c #Conflicts: 543000 | #Constraints: 131481
639.65/641.77 c #Conflicts: 544000 | #Constraints: 132482
639.65/641.77 c #Conflicts: 545000 | #Constraints: 133482
639.65/641.77 c #Conflicts: 546000 | #Constraints: 134483
639.65/641.77 c #Conflicts: 547000 | #Constraints: 135483
639.65/641.77 c #Conflicts: 548000 | #Constraints: 136484
639.65/641.77 c #Conflicts: 549000 | #Constraints: 137484
639.65/641.77 c #Conflicts: 550000 | #Constraints: 138484
639.65/641.77 c #Conflicts: 551000 | #Constraints: 139484
639.65/641.77 c #Conflicts: 552000 | #Constraints: 140484
639.65/641.77 c #Conflicts: 553000 | #Constraints: 141484
639.65/641.77 c #Conflicts: 554000 | #Constraints: 142484
639.65/641.77 c #Conflicts: 555000 | #Constraints: 143484
639.65/641.77 c #Conflicts: 556000 | #Constraints: 144484
639.65/641.77 c #Conflicts: 557000 | #Constraints: 145485
639.65/641.77 c #Conflicts: 558000 | #Constraints: 146485
639.65/641.77 c #Conflicts: 559000 | #Constraints: 147485
639.65/641.77 c #Conflicts: 560000 | #Constraints: 148486
639.65/641.77 c #Conflicts: 561000 | #Constraints: 149486
639.65/641.77 c #Conflicts: 562000 | #Constraints: 150486
639.65/641.77 c #Conflicts: 563000 | #Constraints: 151487
639.65/641.77 c #Conflicts: 564000 | #Constraints: 152487
639.65/641.77 c #Conflicts: 565000 | #Constraints: 153487
639.65/641.77 c #Conflicts: 566000 | #Constraints: 154487
639.65/641.77 c #Conflicts: 567000 | #Constraints: 155488
639.65/641.77 c #Conflicts: 568000 | #Constraints: 156488
639.65/641.77 c #Conflicts: 569000 | #Constraints: 157488
639.65/641.77 c #Conflicts: 570000 | #Constraints: 158488
639.65/641.77 c #Conflicts: 571000 | #Constraints: 159490
639.65/641.77 c INPROCESSING
639.65/641.77 c GARBAGE COLLECT
639.65/641.77 c #Conflicts: 572000 | #Constraints: 119963
639.65/641.77 c #Conflicts: 573000 | #Constraints: 120963
639.65/641.77 c #Conflicts: 574000 | #Constraints: 121964
639.65/641.77 c #Conflicts: 575000 | #Constraints: 122964
639.65/641.77 c #Conflicts: 576000 | #Constraints: 123964
639.65/641.77 c #Conflicts: 577000 | #Constraints: 124964
639.65/641.77 c #Conflicts: 578000 | #Constraints: 125964
639.65/641.77 c #Conflicts: 579000 | #Constraints: 126964
639.65/641.77 c #Conflicts: 580000 | #Constraints: 127964
639.65/641.77 c #Conflicts: 581000 | #Constraints: 128964
639.65/641.77 c #Conflicts: 582000 | #Constraints: 129964
639.65/641.77 c #Conflicts: 583000 | #Constraints: 130964
639.65/641.77 c #Conflicts: 584000 | #Constraints: 131965
639.65/641.77 c #Conflicts: 585000 | #Constraints: 132966
639.65/641.77 c #Conflicts: 586000 | #Constraints: 133966
639.65/641.77 c #Conflicts: 587000 | #Constraints: 134967
639.65/641.77 c INPROCESSING
639.65/641.77 c GARBAGE COLLECT
639.65/641.77 c rational objective 73.0078
734.24/736.66 c #Conflicts: 588000 | #Constraints: 107774
734.24/736.66 c #Conflicts: 589000 | #Constraints: 108774
734.24/736.66 c #Conflicts: 590000 | #Constraints: 109774
734.24/736.66 c #Conflicts: 591000 | #Constraints: 110774
734.24/736.66 c #Conflicts: 592000 | #Constraints: 111774
734.24/736.66 c #Conflicts: 593000 | #Constraints: 112774
734.24/736.66 c #Conflicts: 594000 | #Constraints: 113774
734.24/736.66 c #Conflicts: 595000 | #Constraints: 114774
734.24/736.66 c #Conflicts: 596000 | #Constraints: 115774
734.24/736.66 c #Conflicts: 597000 | #Constraints: 116774
734.24/736.66 c #Conflicts: 598000 | #Constraints: 117774
734.24/736.66 c #Conflicts: 599000 | #Constraints: 118774
734.24/736.66 c #Conflicts: 600000 | #Constraints: 119774
734.24/736.66 c #Conflicts: 601000 | #Constraints: 120774
734.24/736.66 c #Conflicts: 602000 | #Constraints: 121774
734.24/736.66 c #Conflicts: 603000 | #Constraints: 122774
734.24/736.66 c INPROCESSING
734.24/736.66 c GARBAGE COLLECT
734.24/736.66 c #Conflicts: 604000 | #Constraints: 101604
734.24/736.66 c #Conflicts: 605000 | #Constraints: 102604
734.24/736.66 c #Conflicts: 606000 | #Constraints: 103604
734.24/736.66 c #Conflicts: 607000 | #Constraints: 104604
734.24/736.66 c #Conflicts: 608000 | #Constraints: 105604
734.24/736.66 c #Conflicts: 609000 | #Constraints: 106604
734.24/736.66 c #Conflicts: 610000 | #Constraints: 107604
734.24/736.66 c #Conflicts: 611000 | #Constraints: 108604
734.24/736.66 c #Conflicts: 612000 | #Constraints: 109604
734.24/736.66 c #Conflicts: 613000 | #Constraints: 110604
734.24/736.66 c #Conflicts: 614000 | #Constraints: 111604
734.24/736.66 c #Conflicts: 615000 | #Constraints: 112604
734.24/736.66 c #Conflicts: 616000 | #Constraints: 113604
734.24/736.66 c #Conflicts: 617000 | #Constraints: 114604
734.24/736.66 c #Conflicts: 618000 | #Constraints: 115604
734.24/736.66 c #Conflicts: 619000 | #Constraints: 116604
734.24/736.66 c INPROCESSING
734.24/736.66 c GARBAGE COLLECT
734.24/736.66 c #Conflicts: 620000 | #Constraints: 98356
734.24/736.66 c #Conflicts: 621000 | #Constraints: 99356
734.24/736.66 c #Conflicts: 622000 | #Constraints: 100356
734.24/736.66 c #Conflicts: 623000 | #Constraints: 101356
734.24/736.66 c #Conflicts: 624000 | #Constraints: 102356
734.24/736.66 c #Conflicts: 625000 | #Constraints: 103356
734.24/736.66 c #Conflicts: 626000 | #Constraints: 104357
734.24/736.66 c #Conflicts: 627000 | #Constraints: 105357
734.24/736.66 c #Conflicts: 628000 | #Constraints: 106357
734.24/736.66 c #Conflicts: 629000 | #Constraints: 107357
734.24/736.66 c #Conflicts: 630000 | #Constraints: 108357
734.24/736.66 c #Conflicts: 631000 | #Constraints: 109357
734.24/736.66 c #Conflicts: 632000 | #Constraints: 110357
734.24/736.66 c #Conflicts: 633000 | #Constraints: 111357
734.24/736.66 c #Conflicts: 634000 | #Constraints: 112357
734.24/736.66 c #Conflicts: 635000 | #Constraints: 113357
734.24/736.66 c #Conflicts: 636000 | #Constraints: 114357
734.24/736.66 c #Conflicts: 637000 | #Constraints: 115357
734.24/736.66 c #Conflicts: 638000 | #Constraints: 116357
734.24/736.66 c #Conflicts: 639000 | #Constraints: 117357
734.24/736.66 c #Conflicts: 640000 | #Constraints: 118357
734.24/736.66 c #Conflicts: 641000 | #Constraints: 119357
734.24/736.66 c #Conflicts: 642000 | #Constraints: 120357
734.24/736.66 c #Conflicts: 643000 | #Constraints: 121357
734.24/736.66 c #Conflicts: 644000 | #Constraints: 122357
734.24/736.66 c #Conflicts: 645000 | #Constraints: 123357
734.24/736.66 c #Conflicts: 646000 | #Constraints: 124357
734.24/736.66 c #Conflicts: 647000 | #Constraints: 125357
734.24/736.66 c #Conflicts: 648000 | #Constraints: 126357
734.24/736.66 c #Conflicts: 649000 | #Constraints: 127357
734.24/736.66 c #Conflicts: 650000 | #Constraints: 128358
734.24/736.66 c #Conflicts: 651000 | #Constraints: 129359
734.24/736.66 c #Conflicts: 652000 | #Constraints: 130360
734.24/736.66 c #Conflicts: 653000 | #Constraints: 131360
734.24/736.66 c #Conflicts: 654000 | #Constraints: 132362
734.24/736.66 c #Conflicts: 655000 | #Constraints: 133363
734.24/736.66 c #Conflicts: 656000 | #Constraints: 134363
734.24/736.66 c #Conflicts: 657000 | #Constraints: 135363
734.24/736.66 c #Conflicts: 658000 | #Constraints: 136363
734.24/736.66 c #Conflicts: 659000 | #Constraints: 137364
734.24/736.66 c #Conflicts: 660000 | #Constraints: 138364
734.24/736.66 c #Conflicts: 661000 | #Constraints: 139364
734.24/736.66 c #Conflicts: 662000 | #Constraints: 140366
734.24/736.66 c #Conflicts: 663000 | #Constraints: 141368
734.24/736.66 c #Conflicts: 664000 | #Constraints: 142368
734.24/736.66 c #Conflicts: 665000 | #Constraints: 143368
777.99/780.57 c #Conflicts: 666000 | #Constraints: 144368
777.99/780.57 c #Conflicts: 667000 | #Constraints: 145368
777.99/780.57 c #Conflicts: 668000 | #Constraints: 146368
777.99/780.57 c #Conflicts: 669000 | #Constraints: 147369
777.99/780.57 c #Conflicts: 670000 | #Constraints: 148369
777.99/780.57 c #Conflicts: 671000 | #Constraints: 149369
777.99/780.57 c #Conflicts: 672000 | #Constraints: 150371
777.99/780.57 c #Conflicts: 673000 | #Constraints: 151371
777.99/780.57 c #Conflicts: 674000 | #Constraints: 152372
777.99/780.57 c #Conflicts: 675000 | #Constraints: 153372
777.99/780.57 c #Conflicts: 676000 | #Constraints: 154372
777.99/780.57 c #Conflicts: 677000 | #Constraints: 155373
777.99/780.57 c #Conflicts: 678000 | #Constraints: 156374
777.99/780.57 c #Conflicts: 679000 | #Constraints: 157374
777.99/780.57 c #Conflicts: 680000 | #Constraints: 158376
777.99/780.57 c #Conflicts: 681000 | #Constraints: 159377
777.99/780.57 c #Conflicts: 682000 | #Constraints: 160378
777.99/780.57 c #Conflicts: 683000 | #Constraints: 161379
777.99/780.57 c #Conflicts: 684000 | #Constraints: 162381
777.99/780.57 c #Conflicts: 685000 | #Constraints: 163382
777.99/780.57 c #Conflicts: 686000 | #Constraints: 164383
777.99/780.57 c #Conflicts: 687000 | #Constraints: 165384
777.99/780.57 c #Conflicts: 688000 | #Constraints: 166386
777.99/780.57 c #Conflicts: 689000 | #Constraints: 167386
777.99/780.57 c #Conflicts: 690000 | #Constraints: 168387
777.99/780.57 c INPROCESSING
777.99/780.57 c GARBAGE COLLECT
777.99/780.57 c rational objective 73.1369
865.12/867.96 c #Conflicts: 691000 | #Constraints: 124556
865.12/867.96 c #Conflicts: 692000 | #Constraints: 125557
865.12/867.96 c #Conflicts: 693000 | #Constraints: 126557
865.12/867.96 c #Conflicts: 694000 | #Constraints: 127557
865.12/867.96 c #Conflicts: 695000 | #Constraints: 128557
865.12/867.96 c #Conflicts: 696000 | #Constraints: 129557
865.12/867.96 c #Conflicts: 697000 | #Constraints: 130557
865.12/867.96 c #Conflicts: 698000 | #Constraints: 131557
865.12/867.96 c #Conflicts: 699000 | #Constraints: 132557
865.12/867.96 c #Conflicts: 700000 | #Constraints: 133557
865.12/867.96 c #Conflicts: 701000 | #Constraints: 134557
865.12/867.96 c #Conflicts: 702000 | #Constraints: 135557
865.12/867.96 c #Conflicts: 703000 | #Constraints: 136557
865.12/867.96 c #Conflicts: 704000 | #Constraints: 137557
865.12/867.96 c #Conflicts: 705000 | #Constraints: 138557
865.12/867.96 c #Conflicts: 706000 | #Constraints: 139557
865.12/867.96 c #Conflicts: 707000 | #Constraints: 140557
865.12/867.96 c INPROCESSING
865.12/867.96 c GARBAGE COLLECT
865.12/867.96 c #Conflicts: 708000 | #Constraints: 110332
865.12/867.96 c #Conflicts: 709000 | #Constraints: 111333
865.12/867.96 c #Conflicts: 710000 | #Constraints: 112333
865.12/867.96 c #Conflicts: 711000 | #Constraints: 113333
865.12/867.96 c #Conflicts: 712000 | #Constraints: 114333
865.12/867.96 c #Conflicts: 713000 | #Constraints: 115333
865.12/867.96 c #Conflicts: 714000 | #Constraints: 116333
865.12/867.96 c #Conflicts: 715000 | #Constraints: 117333
865.12/867.96 c #Conflicts: 716000 | #Constraints: 118333
865.12/867.96 c #Conflicts: 717000 | #Constraints: 119333
865.12/867.96 c #Conflicts: 718000 | #Constraints: 120333
865.12/867.96 c #Conflicts: 719000 | #Constraints: 121333
865.12/867.96 c #Conflicts: 720000 | #Constraints: 122333
865.12/867.96 c #Conflicts: 721000 | #Constraints: 123333
865.12/867.96 c #Conflicts: 722000 | #Constraints: 124333
865.12/867.96 c #Conflicts: 723000 | #Constraints: 125334
865.12/867.96 c #Conflicts: 724000 | #Constraints: 126334
865.12/867.96 c #Conflicts: 725000 | #Constraints: 127336
865.12/867.96 c INPROCESSING
865.12/867.96 c GARBAGE COLLECT
865.12/867.96 c #Conflicts: 726000 | #Constraints: 103811
865.12/867.96 c #Conflicts: 727000 | #Constraints: 104811
865.12/867.96 c #Conflicts: 728000 | #Constraints: 105812
865.12/867.96 c #Conflicts: 729000 | #Constraints: 106812
865.12/867.96 c #Conflicts: 730000 | #Constraints: 107812
865.12/867.96 c #Conflicts: 731000 | #Constraints: 108812
865.12/867.96 c #Conflicts: 732000 | #Constraints: 109812
865.12/867.96 c #Conflicts: 733000 | #Constraints: 110812
865.12/867.96 c #Conflicts: 734000 | #Constraints: 111812
865.12/867.96 c #Conflicts: 735000 | #Constraints: 112812
865.12/867.96 c #Conflicts: 736000 | #Constraints: 113814
865.12/867.96 c #Conflicts: 737000 | #Constraints: 114815
865.12/867.96 c #Conflicts: 738000 | #Constraints: 115815
865.12/867.96 c #Conflicts: 739000 | #Constraints: 116816
865.12/867.96 c #Conflicts: 740000 | #Constraints: 117816
865.12/867.96 c #Conflicts: 741000 | #Constraints: 118816
865.12/867.96 c #Conflicts: 742000 | #Constraints: 119816
865.12/867.96 c #Conflicts: 743000 | #Constraints: 120818
865.12/867.96 c INPROCESSING
865.12/867.96 c GARBAGE COLLECT
865.12/867.96 c rational objective 73.7929
980.27/983.47 c #Conflicts: 744000 | #Constraints: 100570
980.27/983.47 c #Conflicts: 745000 | #Constraints: 101571
980.27/983.47 c #Conflicts: 746000 | #Constraints: 102571
980.27/983.47 c #Conflicts: 747000 | #Constraints: 103571
980.27/983.47 c #Conflicts: 748000 | #Constraints: 104571
980.27/983.47 c #Conflicts: 749000 | #Constraints: 105571
980.27/983.47 c #Conflicts: 750000 | #Constraints: 106571
980.27/983.47 c #Conflicts: 751000 | #Constraints: 107571
980.27/983.47 c #Conflicts: 752000 | #Constraints: 108571
980.27/983.47 c #Conflicts: 753000 | #Constraints: 109571
980.27/983.47 c #Conflicts: 754000 | #Constraints: 110571
980.27/983.47 c #Conflicts: 755000 | #Constraints: 111571
980.27/983.47 c #Conflicts: 756000 | #Constraints: 112571
980.27/983.47 c #Conflicts: 757000 | #Constraints: 113571
980.27/983.47 c #Conflicts: 758000 | #Constraints: 114571
980.27/983.47 c #Conflicts: 759000 | #Constraints: 115571
980.27/983.47 c #Conflicts: 760000 | #Constraints: 116571
980.27/983.47 c #Conflicts: 761000 | #Constraints: 117571
980.27/983.47 c #Conflicts: 762000 | #Constraints: 118571
980.27/983.47 c #Conflicts: 763000 | #Constraints: 119571
980.27/983.47 c #Conflicts: 764000 | #Constraints: 120571
980.27/983.47 c #Conflicts: 765000 | #Constraints: 121571
980.27/983.47 c #Conflicts: 766000 | #Constraints: 122571
980.27/983.47 c #Conflicts: 767000 | #Constraints: 123572
980.27/983.47 c #Conflicts: 768000 | #Constraints: 124573
980.27/983.47 c #Conflicts: 769000 | #Constraints: 125573
980.27/983.47 c #Conflicts: 770000 | #Constraints: 126573
980.27/983.47 c #Conflicts: 771000 | #Constraints: 127573
980.27/983.47 c #Conflicts: 772000 | #Constraints: 128573
980.27/983.47 c #Conflicts: 773000 | #Constraints: 129573
980.27/983.47 c #Conflicts: 774000 | #Constraints: 130573
980.27/983.47 c #Conflicts: 775000 | #Constraints: 131574
980.27/983.47 c #Conflicts: 776000 | #Constraints: 132574
980.27/983.47 c #Conflicts: 777000 | #Constraints: 133574
980.27/983.47 c #Conflicts: 778000 | #Constraints: 134574
980.27/983.47 c #Conflicts: 779000 | #Constraints: 135574
980.27/983.47 c #Conflicts: 780000 | #Constraints: 136574
980.27/983.47 c #Conflicts: 781000 | #Constraints: 137575
980.27/983.47 c #Conflicts: 782000 | #Constraints: 138575
980.27/983.47 c #Conflicts: 783000 | #Constraints: 139575
980.27/983.47 c #Conflicts: 784000 | #Constraints: 140575
980.27/983.47 c #Conflicts: 785000 | #Constraints: 141576
980.27/983.47 c #Conflicts: 786000 | #Constraints: 142576
980.27/983.47 c #Conflicts: 787000 | #Constraints: 143576
980.27/983.47 c #Conflicts: 788000 | #Constraints: 144576
980.27/983.47 c #Conflicts: 789000 | #Constraints: 145577
980.27/983.47 c #Conflicts: 790000 | #Constraints: 146577
980.27/983.47 c #Conflicts: 791000 | #Constraints: 147577
980.27/983.47 c #Conflicts: 792000 | #Constraints: 148577
980.27/983.47 c #Conflicts: 793000 | #Constraints: 149578
980.27/983.47 c #Conflicts: 794000 | #Constraints: 150578
980.27/983.47 c #Conflicts: 795000 | #Constraints: 151578
980.27/983.47 c #Conflicts: 796000 | #Constraints: 152578
980.27/983.47 c #Conflicts: 797000 | #Constraints: 153578
980.27/983.47 c #Conflicts: 798000 | #Constraints: 154578
980.27/983.47 c #Conflicts: 799000 | #Constraints: 155578
980.27/983.47 c #Conflicts: 800000 | #Constraints: 156578
980.27/983.47 c #Conflicts: 801000 | #Constraints: 157578
980.27/983.47 c #Conflicts: 802000 | #Constraints: 158578
980.27/983.47 c #Conflicts: 803000 | #Constraints: 159578
980.27/983.47 c #Conflicts: 804000 | #Constraints: 160578
980.27/983.47 c #Conflicts: 805000 | #Constraints: 161578
980.27/983.47 c #Conflicts: 806000 | #Constraints: 162578
980.27/983.47 c #Conflicts: 807000 | #Constraints: 163578
980.27/983.47 c #Conflicts: 808000 | #Constraints: 164578
980.27/983.47 c #Conflicts: 809000 | #Constraints: 165578
980.27/983.47 c #Conflicts: 810000 | #Constraints: 166578
980.27/983.47 c #Conflicts: 811000 | #Constraints: 167578
980.27/983.47 c #Conflicts: 812000 | #Constraints: 168578
980.27/983.47 c #Conflicts: 813000 | #Constraints: 169578
980.27/983.47 c #Conflicts: 814000 | #Constraints: 170578
980.27/983.47 c #Conflicts: 815000 | #Constraints: 171578
980.27/983.47 c #Conflicts: 816000 | #Constraints: 172578
980.27/983.47 c #Conflicts: 817000 | #Constraints: 173579
980.27/983.47 c #Conflicts: 818000 | #Constraints: 174579
980.27/983.47 c #Conflicts: 819000 | #Constraints: 175579
980.27/983.47 c INPROCESSING
980.27/983.47 c GARBAGE COLLECT
980.27/983.47 c #Conflicts: 820000 | #Constraints: 128021
980.27/983.47 c #Conflicts: 821000 | #Constraints: 129021
980.27/983.47 c #Conflicts: 822000 | #Constraints: 130022
1084.90/1088.33 c #Conflicts: 823000 | #Constraints: 131022
1084.90/1088.33 c #Conflicts: 824000 | #Constraints: 132022
1084.90/1088.33 c #Conflicts: 825000 | #Constraints: 133022
1084.90/1088.33 c #Conflicts: 826000 | #Constraints: 134023
1084.90/1088.33 c #Conflicts: 827000 | #Constraints: 135024
1084.90/1088.33 c #Conflicts: 828000 | #Constraints: 136025
1084.90/1088.33 c #Conflicts: 829000 | #Constraints: 137027
1084.90/1088.33 c #Conflicts: 830000 | #Constraints: 138028
1084.90/1088.33 c #Conflicts: 831000 | #Constraints: 139030
1084.90/1088.33 c #Conflicts: 832000 | #Constraints: 140032
1084.90/1088.33 c #Conflicts: 833000 | #Constraints: 141034
1084.90/1088.33 c #Conflicts: 834000 | #Constraints: 142035
1084.90/1088.33 c #Conflicts: 835000 | #Constraints: 143035
1084.90/1088.33 c #Conflicts: 836000 | #Constraints: 144035
1084.90/1088.33 c #Conflicts: 837000 | #Constraints: 145035
1084.90/1088.33 c #Conflicts: 838000 | #Constraints: 146035
1084.90/1088.33 c INPROCESSING
1084.90/1088.33 c GARBAGE COLLECT
1084.90/1088.33 c #Conflicts: 839000 | #Constraints: 113104
1084.90/1088.33 c #Conflicts: 840000 | #Constraints: 114104
1084.90/1088.33 c #Conflicts: 841000 | #Constraints: 115104
1084.90/1088.33 c #Conflicts: 842000 | #Constraints: 116104
1084.90/1088.33 c #Conflicts: 843000 | #Constraints: 117104
1084.90/1088.33 c #Conflicts: 844000 | #Constraints: 118104
1084.90/1088.33 c #Conflicts: 845000 | #Constraints: 119104
1084.90/1088.33 c #Conflicts: 846000 | #Constraints: 120105
1084.90/1088.33 c #Conflicts: 847000 | #Constraints: 121105
1084.90/1088.33 c #Conflicts: 848000 | #Constraints: 122105
1084.90/1088.33 c #Conflicts: 849000 | #Constraints: 123105
1084.90/1088.33 c #Conflicts: 850000 | #Constraints: 124105
1084.90/1088.33 c #Conflicts: 851000 | #Constraints: 125105
1084.90/1088.33 c #Conflicts: 852000 | #Constraints: 126106
1084.90/1088.33 c #Conflicts: 853000 | #Constraints: 127107
1084.90/1088.33 c #Conflicts: 854000 | #Constraints: 128107
1084.90/1088.33 c #Conflicts: 855000 | #Constraints: 129107
1084.90/1088.33 c #Conflicts: 856000 | #Constraints: 130107
1084.90/1088.33 c #Conflicts: 857000 | #Constraints: 131107
1084.90/1088.33 c #Conflicts: 858000 | #Constraints: 132107
1084.90/1088.33 c INPROCESSING
1084.90/1088.33 c GARBAGE COLLECT
1084.90/1088.33 c #Conflicts: 859000 | #Constraints: 106416
1084.90/1088.33 c #Conflicts: 860000 | #Constraints: 107416
1084.90/1088.33 c #Conflicts: 861000 | #Constraints: 108416
1084.90/1088.33 c #Conflicts: 862000 | #Constraints: 109416
1084.90/1088.33 c #Conflicts: 863000 | #Constraints: 110416
1084.90/1088.33 c #Conflicts: 864000 | #Constraints: 111416
1084.90/1088.33 c #Conflicts: 865000 | #Constraints: 112416
1084.90/1088.33 c #Conflicts: 866000 | #Constraints: 113416
1084.90/1088.33 c #Conflicts: 867000 | #Constraints: 114416
1084.90/1088.33 c #Conflicts: 868000 | #Constraints: 115416
1084.90/1088.33 c #Conflicts: 869000 | #Constraints: 116417
1084.90/1088.33 c #Conflicts: 870000 | #Constraints: 117417
1084.90/1088.33 c #Conflicts: 871000 | #Constraints: 118417
1084.90/1088.33 c #Conflicts: 872000 | #Constraints: 119417
1084.90/1088.33 c #Conflicts: 873000 | #Constraints: 120417
1084.90/1088.33 c #Conflicts: 874000 | #Constraints: 121417
1084.90/1088.33 c #Conflicts: 875000 | #Constraints: 122417
1084.90/1088.33 c #Conflicts: 876000 | #Constraints: 123417
1084.90/1088.33 c #Conflicts: 877000 | #Constraints: 124417
1084.90/1088.33 c INPROCESSING
1084.90/1088.33 c GARBAGE COLLECT
1084.90/1088.33 c #Conflicts: 878000 | #Constraints: 102182
1084.90/1088.33 c #Conflicts: 879000 | #Constraints: 103182
1084.90/1088.33 c #Conflicts: 880000 | #Constraints: 104182
1084.90/1088.33 c #Conflicts: 881000 | #Constraints: 105182
1084.90/1088.33 c #Conflicts: 882000 | #Constraints: 106182
1084.90/1088.33 c #Conflicts: 883000 | #Constraints: 107182
1084.90/1088.33 c #Conflicts: 884000 | #Constraints: 108183
1084.90/1088.33 c #Conflicts: 885000 | #Constraints: 109184
1084.90/1088.33 c #Conflicts: 886000 | #Constraints: 110184
1084.90/1088.33 c #Conflicts: 887000 | #Constraints: 111185
1084.90/1088.33 c #Conflicts: 888000 | #Constraints: 112185
1084.90/1088.33 c #Conflicts: 889000 | #Constraints: 113186
1084.90/1088.33 c #Conflicts: 890000 | #Constraints: 114186
1084.90/1088.33 c #Conflicts: 891000 | #Constraints: 115187
1084.90/1088.33 c #Conflicts: 892000 | #Constraints: 116188
1084.90/1088.33 c #Conflicts: 893000 | #Constraints: 117188
1084.90/1088.33 c #Conflicts: 894000 | #Constraints: 118189
1084.90/1088.33 c #Conflicts: 895000 | #Constraints: 119190
1084.90/1088.33 c #Conflicts: 896000 | #Constraints: 120192
1084.90/1088.33 c #Conflicts: 897000 | #Constraints: 121192
1084.90/1088.33 c #Conflicts: 898000 | #Constraints: 122192
1218.88/1222.66 c #Conflicts: 899000 | #Constraints: 123192
1218.88/1222.66 c #Conflicts: 900000 | #Constraints: 124192
1218.88/1222.66 c #Conflicts: 901000 | #Constraints: 125192
1218.88/1222.66 c #Conflicts: 902000 | #Constraints: 126192
1218.88/1222.66 c #Conflicts: 903000 | #Constraints: 127192
1218.88/1222.66 c #Conflicts: 904000 | #Constraints: 128192
1218.88/1222.66 c #Conflicts: 905000 | #Constraints: 129192
1218.88/1222.66 c #Conflicts: 906000 | #Constraints: 130192
1218.88/1222.66 c #Conflicts: 907000 | #Constraints: 131192
1218.88/1222.66 c #Conflicts: 908000 | #Constraints: 132192
1218.88/1222.66 c #Conflicts: 909000 | #Constraints: 133192
1218.88/1222.66 c #Conflicts: 910000 | #Constraints: 134192
1218.88/1222.66 c #Conflicts: 911000 | #Constraints: 135192
1218.88/1222.66 c #Conflicts: 912000 | #Constraints: 136192
1218.88/1222.66 c #Conflicts: 913000 | #Constraints: 137193
1218.88/1222.66 c #Conflicts: 914000 | #Constraints: 138193
1218.88/1222.66 c #Conflicts: 915000 | #Constraints: 139194
1218.88/1222.66 c #Conflicts: 916000 | #Constraints: 140194
1218.88/1222.66 c #Conflicts: 917000 | #Constraints: 141194
1218.88/1222.66 c #Conflicts: 918000 | #Constraints: 142194
1218.88/1222.66 c #Conflicts: 919000 | #Constraints: 143194
1218.88/1222.66 c #Conflicts: 920000 | #Constraints: 144195
1218.88/1222.66 c #Conflicts: 921000 | #Constraints: 145195
1218.88/1222.66 c #Conflicts: 922000 | #Constraints: 146195
1218.88/1222.66 c #Conflicts: 923000 | #Constraints: 147195
1218.88/1222.66 c #Conflicts: 924000 | #Constraints: 148195
1218.88/1222.66 c #Conflicts: 925000 | #Constraints: 149195
1218.88/1222.66 c #Conflicts: 926000 | #Constraints: 150195
1218.88/1222.66 c #Conflicts: 927000 | #Constraints: 151196
1218.88/1222.66 c #Conflicts: 928000 | #Constraints: 152196
1218.88/1222.66 c #Conflicts: 929000 | #Constraints: 153196
1218.88/1222.66 c #Conflicts: 930000 | #Constraints: 154196
1218.88/1222.66 c #Conflicts: 931000 | #Constraints: 155196
1218.88/1222.66 c #Conflicts: 932000 | #Constraints: 156196
1218.88/1222.66 c #Conflicts: 933000 | #Constraints: 157196
1218.88/1222.66 c #Conflicts: 934000 | #Constraints: 158196
1218.88/1222.66 c #Conflicts: 935000 | #Constraints: 159196
1218.88/1222.66 c #Conflicts: 936000 | #Constraints: 160197
1218.88/1222.66 c #Conflicts: 937000 | #Constraints: 161197
1218.88/1222.66 c #Conflicts: 938000 | #Constraints: 162197
1218.88/1222.66 c #Conflicts: 939000 | #Constraints: 163197
1218.88/1222.66 c #Conflicts: 940000 | #Constraints: 164197
1218.88/1222.66 c #Conflicts: 941000 | #Constraints: 165197
1218.88/1222.66 c #Conflicts: 942000 | #Constraints: 166197
1218.88/1222.66 c #Conflicts: 943000 | #Constraints: 167197
1218.88/1222.66 c #Conflicts: 944000 | #Constraints: 168197
1218.88/1222.66 c #Conflicts: 945000 | #Constraints: 169197
1218.88/1222.66 c #Conflicts: 946000 | #Constraints: 170197
1218.88/1222.66 c #Conflicts: 947000 | #Constraints: 171197
1218.88/1222.66 c #Conflicts: 948000 | #Constraints: 172199
1218.88/1222.66 c #Conflicts: 949000 | #Constraints: 173199
1218.88/1222.66 c #Conflicts: 950000 | #Constraints: 174199
1218.88/1222.66 c #Conflicts: 951000 | #Constraints: 175199
1218.88/1222.66 c #Conflicts: 952000 | #Constraints: 176199
1218.88/1222.66 c #Conflicts: 953000 | #Constraints: 177200
1218.88/1222.66 c #Conflicts: 954000 | #Constraints: 178200
1218.88/1222.66 c #Conflicts: 955000 | #Constraints: 179200
1218.88/1222.66 c #Conflicts: 956000 | #Constraints: 180200
1218.88/1222.66 c #Conflicts: 957000 | #Constraints: 181200
1218.88/1222.66 c #Conflicts: 958000 | #Constraints: 182200
1218.88/1222.66 c INPROCESSING
1218.88/1222.66 c GARBAGE COLLECT
1218.88/1222.66 c #Conflicts: 959000 | #Constraints: 131026
1218.88/1222.66 c #Conflicts: 960000 | #Constraints: 132026
1218.88/1222.66 c #Conflicts: 961000 | #Constraints: 133027
1218.88/1222.66 c #Conflicts: 962000 | #Constraints: 134027
1218.88/1222.66 c #Conflicts: 963000 | #Constraints: 135027
1218.88/1222.66 c #Conflicts: 964000 | #Constraints: 136027
1218.88/1222.66 c #Conflicts: 965000 | #Constraints: 137027
1218.88/1222.66 c #Conflicts: 966000 | #Constraints: 138027
1218.88/1222.66 c #Conflicts: 967000 | #Constraints: 139027
1218.88/1222.66 c #Conflicts: 968000 | #Constraints: 140027
1218.88/1222.66 c #Conflicts: 969000 | #Constraints: 141027
1218.88/1222.66 c #Conflicts: 970000 | #Constraints: 142027
1218.88/1222.66 c #Conflicts: 971000 | #Constraints: 143027
1218.88/1222.66 c #Conflicts: 972000 | #Constraints: 144027
1218.88/1222.66 c #Conflicts: 973000 | #Constraints: 145027
1218.88/1222.66 c #Conflicts: 974000 | #Constraints: 146028
1218.88/1222.66 c #Conflicts: 975000 | #Constraints: 147028
1218.88/1222.66 c #Conflicts: 976000 | #Constraints: 148028
1218.88/1222.66 c #Conflicts: 977000 | #Constraints: 149028
1350.24/1354.36 c #Conflicts: 978000 | #Constraints: 150029
1350.24/1354.36 c #Conflicts: 979000 | #Constraints: 151029
1350.24/1354.36 c INPROCESSING
1350.24/1354.36 c GARBAGE COLLECT
1350.24/1354.36 c #Conflicts: 980000 | #Constraints: 115487
1350.24/1354.36 c #Conflicts: 981000 | #Constraints: 116487
1350.24/1354.36 c #Conflicts: 982000 | #Constraints: 117487
1350.24/1354.36 c #Conflicts: 983000 | #Constraints: 118488
1350.24/1354.36 c #Conflicts: 984000 | #Constraints: 119488
1350.24/1354.36 c #Conflicts: 985000 | #Constraints: 120488
1350.24/1354.36 c #Conflicts: 986000 | #Constraints: 121488
1350.24/1354.36 c #Conflicts: 987000 | #Constraints: 122488
1350.24/1354.36 c #Conflicts: 988000 | #Constraints: 123488
1350.24/1354.36 c #Conflicts: 989000 | #Constraints: 124488
1350.24/1354.36 c #Conflicts: 990000 | #Constraints: 125488
1350.24/1354.36 c #Conflicts: 991000 | #Constraints: 126488
1350.24/1354.36 c #Conflicts: 992000 | #Constraints: 127488
1350.24/1354.36 c #Conflicts: 993000 | #Constraints: 128488
1350.24/1354.36 c #Conflicts: 994000 | #Constraints: 129488
1350.24/1354.36 c #Conflicts: 995000 | #Constraints: 130488
1350.24/1354.36 c #Conflicts: 996000 | #Constraints: 131488
1350.24/1354.36 c #Conflicts: 997000 | #Constraints: 132488
1350.24/1354.36 c #Conflicts: 998000 | #Constraints: 133489
1350.24/1354.36 c #Conflicts: 999000 | #Constraints: 134489
1350.24/1354.36 c #Conflicts: 1000000 | #Constraints: 135489
1350.24/1354.36 c #Conflicts: 1001000 | #Constraints: 136489
1350.24/1354.36 c INPROCESSING
1350.24/1354.36 c GARBAGE COLLECT
1350.24/1354.36 c #Conflicts: 1002000 | #Constraints: 108595
1350.24/1354.36 c #Conflicts: 1003000 | #Constraints: 109595
1350.24/1354.36 c #Conflicts: 1004000 | #Constraints: 110595
1350.24/1354.36 c #Conflicts: 1005000 | #Constraints: 111595
1350.24/1354.36 c #Conflicts: 1006000 | #Constraints: 112595
1350.24/1354.36 c #Conflicts: 1007000 | #Constraints: 113595
1350.24/1354.36 c #Conflicts: 1008000 | #Constraints: 114595
1350.24/1354.36 c #Conflicts: 1009000 | #Constraints: 115595
1350.24/1354.36 c #Conflicts: 1010000 | #Constraints: 116595
1350.24/1354.36 c #Conflicts: 1011000 | #Constraints: 117595
1350.24/1354.36 c #Conflicts: 1012000 | #Constraints: 118595
1350.24/1354.36 c #Conflicts: 1013000 | #Constraints: 119595
1350.24/1354.36 c #Conflicts: 1014000 | #Constraints: 120596
1350.24/1354.36 c #Conflicts: 1015000 | #Constraints: 121596
1350.24/1354.36 c #Conflicts: 1016000 | #Constraints: 122596
1350.24/1354.36 c #Conflicts: 1017000 | #Constraints: 123596
1350.24/1354.36 c #Conflicts: 1018000 | #Constraints: 124596
1350.24/1354.36 c #Conflicts: 1019000 | #Constraints: 125598
1350.24/1354.36 c #Conflicts: 1020000 | #Constraints: 126598
1350.24/1354.36 c #Conflicts: 1021000 | #Constraints: 127598
1350.24/1354.36 c #Conflicts: 1022000 | #Constraints: 128598
1350.24/1354.36 c INPROCESSING
1350.24/1354.36 c GARBAGE COLLECT
1350.24/1354.36 c #Conflicts: 1023000 | #Constraints: 104446
1350.24/1354.36 c #Conflicts: 1024000 | #Constraints: 105446
1350.24/1354.36 c #Conflicts: 1025000 | #Constraints: 106446
1350.24/1354.36 c #Conflicts: 1026000 | #Constraints: 107446
1350.24/1354.36 c #Conflicts: 1027000 | #Constraints: 108446
1350.24/1354.36 c #Conflicts: 1028000 | #Constraints: 109446
1350.24/1354.36 c #Conflicts: 1029000 | #Constraints: 110446
1350.24/1354.36 c #Conflicts: 1030000 | #Constraints: 111446
1350.24/1354.36 c #Conflicts: 1031000 | #Constraints: 112446
1350.24/1354.36 c #Conflicts: 1032000 | #Constraints: 113446
1350.24/1354.36 c #Conflicts: 1033000 | #Constraints: 114446
1350.24/1354.36 c #Conflicts: 1034000 | #Constraints: 115446
1350.24/1354.36 c #Conflicts: 1035000 | #Constraints: 116446
1350.24/1354.36 c #Conflicts: 1036000 | #Constraints: 117446
1350.24/1354.36 c #Conflicts: 1037000 | #Constraints: 118446
1350.24/1354.36 c #Conflicts: 1038000 | #Constraints: 119446
1350.24/1354.36 c #Conflicts: 1039000 | #Constraints: 120446
1350.24/1354.36 c #Conflicts: 1040000 | #Constraints: 121446
1350.24/1354.36 c #Conflicts: 1041000 | #Constraints: 122446
1350.24/1354.36 c #Conflicts: 1042000 | #Constraints: 123446
1350.24/1354.36 c #Conflicts: 1043000 | #Constraints: 124447
1350.24/1354.36 c #Conflicts: 1044000 | #Constraints: 125447
1350.24/1354.36 c #Conflicts: 1045000 | #Constraints: 126447
1350.24/1354.36 c #Conflicts: 1046000 | #Constraints: 127447
1350.24/1354.36 c #Conflicts: 1047000 | #Constraints: 128447
1350.24/1354.36 c #Conflicts: 1048000 | #Constraints: 129447
1350.24/1354.36 c #Conflicts: 1049000 | #Constraints: 130447
1350.24/1354.36 c #Conflicts: 1050000 | #Constraints: 131447
1350.24/1354.36 c #Conflicts: 1051000 | #Constraints: 132447
1350.24/1354.36 c #Conflicts: 1052000 | #Constraints: 133447
1350.24/1354.36 c #Conflicts: 1053000 | #Constraints: 134447
1553.92/1558.50 c #Conflicts: 1054000 | #Constraints: 135447
1553.92/1558.50 c #Conflicts: 1055000 | #Constraints: 136447
1553.92/1558.50 c #Conflicts: 1056000 | #Constraints: 137447
1553.92/1558.50 c #Conflicts: 1057000 | #Constraints: 138447
1553.92/1558.50 c #Conflicts: 1058000 | #Constraints: 139448
1553.92/1558.50 c #Conflicts: 1059000 | #Constraints: 140449
1553.92/1558.50 c #Conflicts: 1060000 | #Constraints: 141450
1553.92/1558.50 c #Conflicts: 1061000 | #Constraints: 142451
1553.92/1558.50 c #Conflicts: 1062000 | #Constraints: 143452
1553.92/1558.50 c #Conflicts: 1063000 | #Constraints: 144452
1553.92/1558.50 c #Conflicts: 1064000 | #Constraints: 145453
1553.92/1558.50 c #Conflicts: 1065000 | #Constraints: 146454
1553.92/1558.50 c #Conflicts: 1066000 | #Constraints: 147456
1553.92/1558.50 c #Conflicts: 1067000 | #Constraints: 148456
1553.92/1558.50 c #Conflicts: 1068000 | #Constraints: 149456
1553.92/1558.50 c #Conflicts: 1069000 | #Constraints: 150456
1553.92/1558.50 c #Conflicts: 1070000 | #Constraints: 151456
1553.92/1558.50 c #Conflicts: 1071000 | #Constraints: 152457
1553.92/1558.50 c #Conflicts: 1072000 | #Constraints: 153458
1553.92/1558.50 c #Conflicts: 1073000 | #Constraints: 154458
1553.92/1558.50 c #Conflicts: 1074000 | #Constraints: 155459
1553.92/1558.50 c #Conflicts: 1075000 | #Constraints: 156460
1553.92/1558.50 c #Conflicts: 1076000 | #Constraints: 157460
1553.92/1558.50 c #Conflicts: 1077000 | #Constraints: 158460
1553.92/1558.50 c #Conflicts: 1078000 | #Constraints: 159460
1553.92/1558.50 c #Conflicts: 1079000 | #Constraints: 160460
1553.92/1558.50 c #Conflicts: 1080000 | #Constraints: 161460
1553.92/1558.50 c #Conflicts: 1081000 | #Constraints: 162461
1553.92/1558.50 c #Conflicts: 1082000 | #Constraints: 163461
1553.92/1558.50 c #Conflicts: 1083000 | #Constraints: 164461
1553.92/1558.50 c #Conflicts: 1084000 | #Constraints: 165461
1553.92/1558.50 c #Conflicts: 1085000 | #Constraints: 166461
1553.92/1558.50 c #Conflicts: 1086000 | #Constraints: 167461
1553.92/1558.50 c #Conflicts: 1087000 | #Constraints: 168461
1553.92/1558.50 c #Conflicts: 1088000 | #Constraints: 169461
1553.92/1558.50 c #Conflicts: 1089000 | #Constraints: 170461
1553.92/1558.50 c #Conflicts: 1090000 | #Constraints: 171461
1553.92/1558.50 c #Conflicts: 1091000 | #Constraints: 172461
1553.92/1558.50 c #Conflicts: 1092000 | #Constraints: 173461
1553.92/1558.50 c #Conflicts: 1093000 | #Constraints: 174462
1553.92/1558.50 c #Conflicts: 1094000 | #Constraints: 175462
1553.92/1558.50 c #Conflicts: 1095000 | #Constraints: 176462
1553.92/1558.50 c #Conflicts: 1096000 | #Constraints: 177462
1553.92/1558.50 c #Conflicts: 1097000 | #Constraints: 178462
1553.92/1558.50 c #Conflicts: 1098000 | #Constraints: 179462
1553.92/1558.50 c #Conflicts: 1099000 | #Constraints: 180462
1553.92/1558.50 c #Conflicts: 1100000 | #Constraints: 181463
1553.92/1558.50 c #Conflicts: 1101000 | #Constraints: 182463
1553.92/1558.50 c #Conflicts: 1102000 | #Constraints: 183463
1553.92/1558.50 c #Conflicts: 1103000 | #Constraints: 184466
1553.92/1558.50 c #Conflicts: 1104000 | #Constraints: 185466
1553.92/1558.50 c #Conflicts: 1105000 | #Constraints: 186466
1553.92/1558.50 c #Conflicts: 1106000 | #Constraints: 187466
1553.92/1558.50 c #Conflicts: 1107000 | #Constraints: 188466
1553.92/1558.50 c #Conflicts: 1108000 | #Constraints: 189466
1553.92/1558.50 c INPROCESSING
1553.92/1558.50 c GARBAGE COLLECT
1553.92/1558.50 c #Conflicts: 1109000 | #Constraints: 134686
1553.92/1558.50 c #Conflicts: 1110000 | #Constraints: 135686
1553.92/1558.50 c #Conflicts: 1111000 | #Constraints: 136686
1553.92/1558.50 c #Conflicts: 1112000 | #Constraints: 137686
1553.92/1558.50 c #Conflicts: 1113000 | #Constraints: 138686
1553.92/1558.50 c #Conflicts: 1114000 | #Constraints: 139686
1553.92/1558.50 c #Conflicts: 1115000 | #Constraints: 140686
1553.92/1558.50 c #Conflicts: 1116000 | #Constraints: 141686
1553.92/1558.50 c #Conflicts: 1117000 | #Constraints: 142686
1553.92/1558.50 c #Conflicts: 1118000 | #Constraints: 143688
1553.92/1558.50 c #Conflicts: 1119000 | #Constraints: 144690
1553.92/1558.50 c #Conflicts: 1120000 | #Constraints: 145690
1553.92/1558.50 c #Conflicts: 1121000 | #Constraints: 146690
1553.92/1558.50 c #Conflicts: 1122000 | #Constraints: 147690
1553.92/1558.50 c #Conflicts: 1123000 | #Constraints: 148690
1553.92/1558.50 c #Conflicts: 1124000 | #Constraints: 149690
1553.92/1558.50 c #Conflicts: 1125000 | #Constraints: 150690
1553.92/1558.50 c #Conflicts: 1126000 | #Constraints: 151690
1553.92/1558.50 c #Conflicts: 1127000 | #Constraints: 152690
1553.92/1558.50 c #Conflicts: 1128000 | #Constraints: 153691
1553.92/1558.50 c #Conflicts: 1129000 | #Constraints: 154691
1553.92/1558.50 c #Conflicts: 1130000 | #Constraints: 155691
1553.92/1558.50 c #Conflicts: 1131000 | #Constraints: 156691
1553.92/1558.50 c INPROCESSING
1655.85/1660.79 c GARBAGE COLLECT
1655.85/1660.79 c #Conflicts: 1132000 | #Constraints: 118452
1655.85/1660.79 c #Conflicts: 1133000 | #Constraints: 119452
1655.85/1660.79 c #Conflicts: 1134000 | #Constraints: 120452
1655.85/1660.79 c #Conflicts: 1135000 | #Constraints: 121452
1655.85/1660.79 c #Conflicts: 1136000 | #Constraints: 122452
1655.85/1660.79 c #Conflicts: 1137000 | #Constraints: 123452
1655.85/1660.79 c #Conflicts: 1138000 | #Constraints: 124452
1655.85/1660.79 c #Conflicts: 1139000 | #Constraints: 125452
1655.85/1660.79 c #Conflicts: 1140000 | #Constraints: 126452
1655.85/1660.79 c #Conflicts: 1141000 | #Constraints: 127452
1655.85/1660.79 c #Conflicts: 1142000 | #Constraints: 128452
1655.85/1660.79 c #Conflicts: 1143000 | #Constraints: 129452
1655.85/1660.79 c #Conflicts: 1144000 | #Constraints: 130452
1655.85/1660.79 c #Conflicts: 1145000 | #Constraints: 131452
1655.85/1660.79 c #Conflicts: 1146000 | #Constraints: 132452
1655.85/1660.79 c #Conflicts: 1147000 | #Constraints: 133452
1655.85/1660.79 c #Conflicts: 1148000 | #Constraints: 134452
1655.85/1660.79 c #Conflicts: 1149000 | #Constraints: 135452
1655.85/1660.79 c #Conflicts: 1150000 | #Constraints: 136453
1655.85/1660.79 c #Conflicts: 1151000 | #Constraints: 137453
1655.85/1660.79 c #Conflicts: 1152000 | #Constraints: 138453
1655.85/1660.79 c #Conflicts: 1153000 | #Constraints: 139453
1655.85/1660.79 c #Conflicts: 1154000 | #Constraints: 140453
1655.85/1660.79 c INPROCESSING
1655.85/1660.79 c GARBAGE COLLECT
1655.85/1660.79 c #Conflicts: 1155000 | #Constraints: 110361
1655.85/1660.79 c #Conflicts: 1156000 | #Constraints: 111361
1655.85/1660.79 c #Conflicts: 1157000 | #Constraints: 112361
1655.85/1660.79 c #Conflicts: 1158000 | #Constraints: 113361
1655.85/1660.79 c #Conflicts: 1159000 | #Constraints: 114361
1655.85/1660.79 c #Conflicts: 1160000 | #Constraints: 115361
1655.85/1660.79 c #Conflicts: 1161000 | #Constraints: 116362
1655.85/1660.79 c #Conflicts: 1162000 | #Constraints: 117362
1655.85/1660.79 c #Conflicts: 1163000 | #Constraints: 118362
1655.85/1660.79 c #Conflicts: 1164000 | #Constraints: 119362
1655.85/1660.79 c #Conflicts: 1165000 | #Constraints: 120362
1655.85/1660.79 c #Conflicts: 1166000 | #Constraints: 121362
1655.85/1660.79 c #Conflicts: 1167000 | #Constraints: 122362
1655.85/1660.79 c #Conflicts: 1168000 | #Constraints: 123362
1655.85/1660.79 c #Conflicts: 1169000 | #Constraints: 124362
1655.85/1660.79 c #Conflicts: 1170000 | #Constraints: 125362
1655.85/1660.79 c #Conflicts: 1171000 | #Constraints: 126363
1655.85/1660.79 c #Conflicts: 1172000 | #Constraints: 127363
1655.85/1660.79 c #Conflicts: 1173000 | #Constraints: 128363
1655.85/1660.79 c #Conflicts: 1174000 | #Constraints: 129363
1655.85/1660.79 c #Conflicts: 1175000 | #Constraints: 130363
1655.85/1660.79 c #Conflicts: 1176000 | #Constraints: 131364
1655.85/1660.79 c #Conflicts: 1177000 | #Constraints: 132364
1655.85/1660.79 c INPROCESSING
1655.85/1660.79 c GARBAGE COLLECT
1655.85/1660.79 c #Conflicts: 1178000 | #Constraints: 106286
1655.85/1660.79 c #Conflicts: 1179000 | #Constraints: 107286
1655.85/1660.79 c #Conflicts: 1180000 | #Constraints: 108286
1655.85/1660.79 c #Conflicts: 1181000 | #Constraints: 109286
1655.85/1660.79 c #Conflicts: 1182000 | #Constraints: 110286
1655.85/1660.79 c #Conflicts: 1183000 | #Constraints: 111286
1655.85/1660.79 c #Conflicts: 1184000 | #Constraints: 112286
1655.85/1660.79 c #Conflicts: 1185000 | #Constraints: 113286
1655.85/1660.79 c #Conflicts: 1186000 | #Constraints: 114286
1655.85/1660.79 c #Conflicts: 1187000 | #Constraints: 115286
1655.85/1660.79 c #Conflicts: 1188000 | #Constraints: 116286
1655.85/1660.79 c #Conflicts: 1189000 | #Constraints: 117286
1655.85/1660.79 c #Conflicts: 1190000 | #Constraints: 118286
1655.85/1660.79 c #Conflicts: 1191000 | #Constraints: 119286
1655.85/1660.79 c #Conflicts: 1192000 | #Constraints: 120286
1655.85/1660.79 c #Conflicts: 1193000 | #Constraints: 121286
1655.85/1660.79 c #Conflicts: 1194000 | #Constraints: 122286
1655.85/1660.79 c #Conflicts: 1195000 | #Constraints: 123286
1655.85/1660.79 c #Conflicts: 1196000 | #Constraints: 124286
1655.85/1660.79 c #Conflicts: 1197000 | #Constraints: 125286
1655.85/1660.79 c #Conflicts: 1198000 | #Constraints: 126286
1655.85/1660.79 c #Conflicts: 1199000 | #Constraints: 127286
1655.85/1660.79 c #Conflicts: 1200000 | #Constraints: 128287
1655.85/1660.79 c #Conflicts: 1201000 | #Constraints: 129287
1655.85/1660.79 c #Conflicts: 1202000 | #Constraints: 130287
1655.85/1660.79 c #Conflicts: 1203000 | #Constraints: 131287
1655.85/1660.79 c #Conflicts: 1204000 | #Constraints: 132287
1655.85/1660.79 c #Conflicts: 1205000 | #Constraints: 133287
1655.85/1660.79 c #Conflicts: 1206000 | #Constraints: 134287
1655.85/1660.79 c #Conflicts: 1207000 | #Constraints: 135287
1655.85/1660.79 c #Conflicts: 1208000 | #Constraints: 136288
1813.77/1819.06 c #Conflicts: 1209000 | #Constraints: 137288
1813.77/1819.06 c #Conflicts: 1210000 | #Constraints: 138288
1813.77/1819.06 c #Conflicts: 1211000 | #Constraints: 139288
1813.77/1819.06 c #Conflicts: 1212000 | #Constraints: 140288
1813.77/1819.06 c #Conflicts: 1213000 | #Constraints: 141288
1813.77/1819.06 c #Conflicts: 1214000 | #Constraints: 142288
1813.77/1819.06 c #Conflicts: 1215000 | #Constraints: 143288
1813.77/1819.06 c #Conflicts: 1216000 | #Constraints: 144289
1813.77/1819.06 c #Conflicts: 1217000 | #Constraints: 145291
1813.77/1819.06 c #Conflicts: 1218000 | #Constraints: 146293
1813.77/1819.06 c #Conflicts: 1219000 | #Constraints: 147293
1813.77/1819.06 c #Conflicts: 1220000 | #Constraints: 148293
1813.77/1819.06 c #Conflicts: 1221000 | #Constraints: 149293
1813.77/1819.06 c #Conflicts: 1222000 | #Constraints: 150295
1813.77/1819.06 c #Conflicts: 1223000 | #Constraints: 151295
1813.77/1819.06 c #Conflicts: 1224000 | #Constraints: 152295
1813.77/1819.06 c #Conflicts: 1225000 | #Constraints: 153295
1813.77/1819.06 c #Conflicts: 1226000 | #Constraints: 154295
1813.77/1819.06 c #Conflicts: 1227000 | #Constraints: 155295
1813.77/1819.06 c #Conflicts: 1228000 | #Constraints: 156295
1813.77/1819.06 c #Conflicts: 1229000 | #Constraints: 157295
1813.77/1819.06 c #Conflicts: 1230000 | #Constraints: 158295
1813.77/1819.06 c #Conflicts: 1231000 | #Constraints: 159295
1813.77/1819.06 c #Conflicts: 1232000 | #Constraints: 160295
1813.77/1819.06 c #Conflicts: 1233000 | #Constraints: 161295
1813.77/1819.06 c #Conflicts: 1234000 | #Constraints: 162295
1813.77/1819.06 c #Conflicts: 1235000 | #Constraints: 163295
1813.77/1819.06 c #Conflicts: 1236000 | #Constraints: 164295
1813.77/1819.06 c #Conflicts: 1237000 | #Constraints: 165295
1813.77/1819.06 c #Conflicts: 1238000 | #Constraints: 166295
1813.77/1819.06 c #Conflicts: 1239000 | #Constraints: 167295
1813.77/1819.06 c #Conflicts: 1240000 | #Constraints: 168295
1813.77/1819.06 c #Conflicts: 1241000 | #Constraints: 169295
1813.77/1819.06 c #Conflicts: 1242000 | #Constraints: 170295
1813.77/1819.06 c #Conflicts: 1243000 | #Constraints: 171295
1813.77/1819.06 c #Conflicts: 1244000 | #Constraints: 172295
1813.77/1819.06 c #Conflicts: 1245000 | #Constraints: 173295
1813.77/1819.06 c #Conflicts: 1246000 | #Constraints: 174295
1813.77/1819.06 c #Conflicts: 1247000 | #Constraints: 175295
1813.77/1819.06 c #Conflicts: 1248000 | #Constraints: 176295
1813.77/1819.06 c #Conflicts: 1249000 | #Constraints: 177295
1813.77/1819.06 c #Conflicts: 1250000 | #Constraints: 178295
1813.77/1819.06 c #Conflicts: 1251000 | #Constraints: 179295
1813.77/1819.06 c #Conflicts: 1252000 | #Constraints: 180295
1813.77/1819.06 c #Conflicts: 1253000 | #Constraints: 181295
1813.77/1819.06 c #Conflicts: 1254000 | #Constraints: 182296
1813.77/1819.06 c #Conflicts: 1255000 | #Constraints: 183296
1813.77/1819.06 c #Conflicts: 1256000 | #Constraints: 184296
1813.77/1819.06 c #Conflicts: 1257000 | #Constraints: 185297
1813.77/1819.06 c #Conflicts: 1258000 | #Constraints: 186298
1813.77/1819.06 c #Conflicts: 1259000 | #Constraints: 187298
1813.77/1819.06 c #Conflicts: 1260000 | #Constraints: 188298
1813.77/1819.06 c #Conflicts: 1261000 | #Constraints: 189298
1813.77/1819.06 c #Conflicts: 1262000 | #Constraints: 190299
1813.77/1819.06 c #Conflicts: 1263000 | #Constraints: 191299
1813.77/1819.06 c #Conflicts: 1264000 | #Constraints: 192299
1813.77/1819.06 c #Conflicts: 1265000 | #Constraints: 193299
1813.77/1819.06 c #Conflicts: 1266000 | #Constraints: 194299
1813.77/1819.06 c #Conflicts: 1267000 | #Constraints: 195299
1813.77/1819.06 c #Conflicts: 1268000 | #Constraints: 196300
1813.77/1819.06 c #Conflicts: 1269000 | #Constraints: 197300
1813.77/1819.06 c INPROCESSING
1813.77/1819.06 c GARBAGE COLLECT
1813.77/1819.06 c #Conflicts: 1270000 | #Constraints: 138886
1813.77/1819.06 c #Conflicts: 1271000 | #Constraints: 139886
1813.77/1819.06 c #Conflicts: 1272000 | #Constraints: 140886
1813.77/1819.06 c #Conflicts: 1273000 | #Constraints: 141886
1813.77/1819.06 c #Conflicts: 1274000 | #Constraints: 142886
1813.77/1819.06 c #Conflicts: 1275000 | #Constraints: 143886
1813.77/1819.06 c #Conflicts: 1276000 | #Constraints: 144886
1813.77/1819.06 c #Conflicts: 1277000 | #Constraints: 145886
1813.77/1819.06 c #Conflicts: 1278000 | #Constraints: 146886
1813.77/1819.06 c #Conflicts: 1279000 | #Constraints: 147886
1813.77/1819.06 c #Conflicts: 1280000 | #Constraints: 148886
1813.77/1819.06 c #Conflicts: 1281000 | #Constraints: 149886
1813.77/1819.06 c #Conflicts: 1282000 | #Constraints: 150886
1813.77/1819.06 c #Conflicts: 1283000 | #Constraints: 151886
1813.77/1819.06 c #Conflicts: 1284000 | #Constraints: 152886
1813.77/1819.06 c #Conflicts: 1285000 | #Constraints: 153886
1813.77/1819.06 c #Conflicts: 1286000 | #Constraints: 154887
1813.77/1819.06 c #Conflicts: 1287000 | #Constraints: 155887
1933.85/1939.44 c #Conflicts: 1288000 | #Constraints: 156887
1933.85/1939.44 c #Conflicts: 1289000 | #Constraints: 157887
1933.85/1939.44 c #Conflicts: 1290000 | #Constraints: 158887
1933.85/1939.44 c #Conflicts: 1291000 | #Constraints: 159887
1933.85/1939.44 c #Conflicts: 1292000 | #Constraints: 160887
1933.85/1939.44 c #Conflicts: 1293000 | #Constraints: 161887
1933.85/1939.44 c INPROCESSING
1933.85/1939.44 c GARBAGE COLLECT
1933.85/1939.44 c #Conflicts: 1294000 | #Constraints: 121009
1933.85/1939.44 c #Conflicts: 1295000 | #Constraints: 122009
1933.85/1939.44 c #Conflicts: 1296000 | #Constraints: 123009
1933.85/1939.44 c #Conflicts: 1297000 | #Constraints: 124009
1933.85/1939.44 c #Conflicts: 1298000 | #Constraints: 125010
1933.85/1939.44 c #Conflicts: 1299000 | #Constraints: 126010
1933.85/1939.44 c #Conflicts: 1300000 | #Constraints: 127010
1933.85/1939.44 c #Conflicts: 1301000 | #Constraints: 128010
1933.85/1939.44 c #Conflicts: 1302000 | #Constraints: 129010
1933.85/1939.44 c #Conflicts: 1303000 | #Constraints: 130010
1933.85/1939.44 c #Conflicts: 1304000 | #Constraints: 131010
1933.85/1939.44 c #Conflicts: 1305000 | #Constraints: 132010
1933.85/1939.44 c #Conflicts: 1306000 | #Constraints: 133010
1933.85/1939.44 c #Conflicts: 1307000 | #Constraints: 134010
1933.85/1939.44 c #Conflicts: 1308000 | #Constraints: 135011
1933.85/1939.44 c #Conflicts: 1309000 | #Constraints: 136012
1933.85/1939.44 c #Conflicts: 1310000 | #Constraints: 137012
1933.85/1939.44 c #Conflicts: 1311000 | #Constraints: 138012
1933.85/1939.44 c #Conflicts: 1312000 | #Constraints: 139013
1933.85/1939.44 c #Conflicts: 1313000 | #Constraints: 140013
1933.85/1939.44 c #Conflicts: 1314000 | #Constraints: 141014
1933.85/1939.44 c #Conflicts: 1315000 | #Constraints: 142014
1933.85/1939.44 c #Conflicts: 1316000 | #Constraints: 143015
1933.85/1939.44 c #Conflicts: 1317000 | #Constraints: 144018
1933.85/1939.44 c #Conflicts: 1318000 | #Constraints: 145019
1933.85/1939.44 c INPROCESSING
1933.85/1939.44 c GARBAGE COLLECT
1933.85/1939.44 c #Conflicts: 1319000 | #Constraints: 112725
1933.85/1939.44 c #Conflicts: 1320000 | #Constraints: 113725
1933.85/1939.44 c #Conflicts: 1321000 | #Constraints: 114725
1933.85/1939.44 c #Conflicts: 1322000 | #Constraints: 115725
1933.85/1939.44 c #Conflicts: 1323000 | #Constraints: 116725
1933.85/1939.44 c #Conflicts: 1324000 | #Constraints: 117725
1933.85/1939.44 c #Conflicts: 1325000 | #Constraints: 118725
1933.85/1939.44 c #Conflicts: 1326000 | #Constraints: 119725
1933.85/1939.44 c #Conflicts: 1327000 | #Constraints: 120725
1933.85/1939.44 c #Conflicts: 1328000 | #Constraints: 121725
1933.85/1939.44 c #Conflicts: 1329000 | #Constraints: 122725
1933.85/1939.44 c #Conflicts: 1330000 | #Constraints: 123727
1933.85/1939.44 c #Conflicts: 1331000 | #Constraints: 124727
1933.85/1939.44 c #Conflicts: 1332000 | #Constraints: 125727
1933.85/1939.44 c #Conflicts: 1333000 | #Constraints: 126728
1933.85/1939.44 c #Conflicts: 1334000 | #Constraints: 127728
1933.85/1939.44 c #Conflicts: 1335000 | #Constraints: 128728
1933.85/1939.44 c #Conflicts: 1336000 | #Constraints: 129728
1933.85/1939.44 c #Conflicts: 1337000 | #Constraints: 130729
1933.85/1939.44 c #Conflicts: 1338000 | #Constraints: 131729
1933.85/1939.44 c #Conflicts: 1339000 | #Constraints: 132729
1933.85/1939.44 c #Conflicts: 1340000 | #Constraints: 133730
1933.85/1939.44 c #Conflicts: 1341000 | #Constraints: 134730
1933.85/1939.44 c #Conflicts: 1342000 | #Constraints: 135730
1933.85/1939.44 c #Conflicts: 1343000 | #Constraints: 136730
1933.85/1939.44 c INPROCESSING
1933.85/1939.44 c GARBAGE COLLECT
1933.85/1939.44 c #Conflicts: 1344000 | #Constraints: 108721
1933.85/1939.44 c #Conflicts: 1345000 | #Constraints: 109721
1933.85/1939.44 c #Conflicts: 1346000 | #Constraints: 110721
1933.85/1939.44 c #Conflicts: 1347000 | #Constraints: 111721
1933.85/1939.44 c #Conflicts: 1348000 | #Constraints: 112721
1933.85/1939.44 c #Conflicts: 1349000 | #Constraints: 113721
1933.85/1939.44 c #Conflicts: 1350000 | #Constraints: 114721
1933.85/1939.44 c #Conflicts: 1351000 | #Constraints: 115721
1933.85/1939.44 c #Conflicts: 1352000 | #Constraints: 116721
1933.85/1939.44 c #Conflicts: 1353000 | #Constraints: 117721
1933.85/1939.44 c #Conflicts: 1354000 | #Constraints: 118721
1933.85/1939.44 c #Conflicts: 1355000 | #Constraints: 119721
1933.85/1939.44 c #Conflicts: 1356000 | #Constraints: 120721
1933.85/1939.44 c #Conflicts: 1357000 | #Constraints: 121721
1933.85/1939.44 c #Conflicts: 1358000 | #Constraints: 122721
1933.85/1939.44 c #Conflicts: 1359000 | #Constraints: 123721
1933.85/1939.44 c #Conflicts: 1360000 | #Constraints: 124721
1933.85/1939.44 c #Conflicts: 1361000 | #Constraints: 125721
1933.85/1939.44 c #Conflicts: 1362000 | #Constraints: 126721
1933.85/1939.44 c #Conflicts: 1363000 | #Constraints: 127721
2083.77/2089.77 c #Conflicts: 1364000 | #Constraints: 128721
2083.77/2089.77 c #Conflicts: 1365000 | #Constraints: 129721
2083.77/2089.77 c #Conflicts: 1366000 | #Constraints: 130721
2083.77/2089.77 c #Conflicts: 1367000 | #Constraints: 131721
2083.77/2089.77 c #Conflicts: 1368000 | #Constraints: 132721
2083.77/2089.77 c #Conflicts: 1369000 | #Constraints: 133722
2083.77/2089.77 c #Conflicts: 1370000 | #Constraints: 134723
2083.77/2089.77 c #Conflicts: 1371000 | #Constraints: 135723
2083.77/2089.77 c #Conflicts: 1372000 | #Constraints: 136723
2083.77/2089.77 c #Conflicts: 1373000 | #Constraints: 137724
2083.77/2089.77 c #Conflicts: 1374000 | #Constraints: 138725
2083.77/2089.77 c #Conflicts: 1375000 | #Constraints: 139725
2083.77/2089.77 c #Conflicts: 1376000 | #Constraints: 140725
2083.77/2089.77 c #Conflicts: 1377000 | #Constraints: 141725
2083.77/2089.77 c #Conflicts: 1378000 | #Constraints: 142726
2083.77/2089.77 c #Conflicts: 1379000 | #Constraints: 143727
2083.77/2089.77 c #Conflicts: 1380000 | #Constraints: 144727
2083.77/2089.77 c #Conflicts: 1381000 | #Constraints: 145727
2083.77/2089.77 c #Conflicts: 1382000 | #Constraints: 146727
2083.77/2089.77 c #Conflicts: 1383000 | #Constraints: 147727
2083.77/2089.77 c #Conflicts: 1384000 | #Constraints: 148727
2083.77/2089.77 c #Conflicts: 1385000 | #Constraints: 149727
2083.77/2089.77 c #Conflicts: 1386000 | #Constraints: 150727
2083.77/2089.77 c #Conflicts: 1387000 | #Constraints: 151727
2083.77/2089.77 c #Conflicts: 1388000 | #Constraints: 152727
2083.77/2089.77 c #Conflicts: 1389000 | #Constraints: 153727
2083.77/2089.77 c #Conflicts: 1390000 | #Constraints: 154727
2083.77/2089.77 c #Conflicts: 1391000 | #Constraints: 155727
2083.77/2089.77 c #Conflicts: 1392000 | #Constraints: 156727
2083.77/2089.77 c #Conflicts: 1393000 | #Constraints: 157727
2083.77/2089.77 c #Conflicts: 1394000 | #Constraints: 158727
2083.77/2089.77 c #Conflicts: 1395000 | #Constraints: 159727
2083.77/2089.77 c #Conflicts: 1396000 | #Constraints: 160727
2083.77/2089.77 c #Conflicts: 1397000 | #Constraints: 161727
2083.77/2089.77 c #Conflicts: 1398000 | #Constraints: 162727
2083.77/2089.77 c #Conflicts: 1399000 | #Constraints: 163728
2083.77/2089.77 c #Conflicts: 1400000 | #Constraints: 164728
2083.77/2089.77 c #Conflicts: 1401000 | #Constraints: 165728
2083.77/2089.77 c #Conflicts: 1402000 | #Constraints: 166728
2083.77/2089.77 c #Conflicts: 1403000 | #Constraints: 167728
2083.77/2089.77 c #Conflicts: 1404000 | #Constraints: 168728
2083.77/2089.77 c #Conflicts: 1405000 | #Constraints: 169728
2083.77/2089.77 c #Conflicts: 1406000 | #Constraints: 170728
2083.77/2089.77 c #Conflicts: 1407000 | #Constraints: 171728
2083.77/2089.77 c #Conflicts: 1408000 | #Constraints: 172728
2083.77/2089.77 c #Conflicts: 1409000 | #Constraints: 173728
2083.77/2089.77 c #Conflicts: 1410000 | #Constraints: 174728
2083.77/2089.77 c #Conflicts: 1411000 | #Constraints: 175728
2083.77/2089.77 c #Conflicts: 1412000 | #Constraints: 176728
2083.77/2089.77 c #Conflicts: 1413000 | #Constraints: 177728
2083.77/2089.77 c #Conflicts: 1414000 | #Constraints: 178728
2083.77/2089.77 c #Conflicts: 1415000 | #Constraints: 179728
2083.77/2089.77 c #Conflicts: 1416000 | #Constraints: 180728
2083.77/2089.77 c #Conflicts: 1417000 | #Constraints: 181728
2083.77/2089.77 c #Conflicts: 1418000 | #Constraints: 182728
2083.77/2089.77 c #Conflicts: 1419000 | #Constraints: 183728
2083.77/2089.77 c #Conflicts: 1420000 | #Constraints: 184728
2083.77/2089.77 c #Conflicts: 1421000 | #Constraints: 185728
2083.77/2089.77 c #Conflicts: 1422000 | #Constraints: 186728
2083.77/2089.77 c #Conflicts: 1423000 | #Constraints: 187728
2083.77/2089.77 c #Conflicts: 1424000 | #Constraints: 188728
2083.77/2089.77 c #Conflicts: 1425000 | #Constraints: 189728
2083.77/2089.77 c #Conflicts: 1426000 | #Constraints: 190728
2083.77/2089.77 c #Conflicts: 1427000 | #Constraints: 191728
2083.77/2089.77 c #Conflicts: 1428000 | #Constraints: 192728
2083.77/2089.77 c #Conflicts: 1429000 | #Constraints: 193728
2083.77/2089.77 c #Conflicts: 1430000 | #Constraints: 194728
2083.77/2089.77 c #Conflicts: 1431000 | #Constraints: 195728
2083.77/2089.77 c #Conflicts: 1432000 | #Constraints: 196728
2083.77/2089.77 c #Conflicts: 1433000 | #Constraints: 197728
2083.77/2089.77 c #Conflicts: 1434000 | #Constraints: 198728
2083.77/2089.77 c #Conflicts: 1435000 | #Constraints: 199728
2083.77/2089.77 c #Conflicts: 1436000 | #Constraints: 200728
2083.77/2089.77 c #Conflicts: 1437000 | #Constraints: 201728
2083.77/2089.77 c #Conflicts: 1438000 | #Constraints: 202728
2083.77/2089.77 c #Conflicts: 1439000 | #Constraints: 203728
2083.77/2089.77 c #Conflicts: 1440000 | #Constraints: 204728
2083.77/2089.77 c INPROCESSING
2083.77/2089.77 c GARBAGE COLLECT
2083.77/2089.77 c #Conflicts: 1441000 | #Constraints: 142695
2083.77/2089.77 c #Conflicts: 1442000 | #Constraints: 143695
2206.56/2212.87 c #Conflicts: 1443000 | #Constraints: 144695
2206.56/2212.87 c #Conflicts: 1444000 | #Constraints: 145695
2206.56/2212.87 c #Conflicts: 1445000 | #Constraints: 146695
2206.56/2212.87 c #Conflicts: 1446000 | #Constraints: 147695
2206.56/2212.87 c #Conflicts: 1447000 | #Constraints: 148695
2206.56/2212.87 c #Conflicts: 1448000 | #Constraints: 149695
2206.56/2212.87 c #Conflicts: 1449000 | #Constraints: 150695
2206.56/2212.87 c #Conflicts: 1450000 | #Constraints: 151696
2206.56/2212.87 c #Conflicts: 1451000 | #Constraints: 152696
2206.56/2212.87 c #Conflicts: 1452000 | #Constraints: 153696
2206.56/2212.87 c #Conflicts: 1453000 | #Constraints: 154696
2206.56/2212.87 c #Conflicts: 1454000 | #Constraints: 155696
2206.56/2212.87 c #Conflicts: 1455000 | #Constraints: 156696
2206.56/2212.87 c #Conflicts: 1456000 | #Constraints: 157696
2206.56/2212.87 c #Conflicts: 1457000 | #Constraints: 158696
2206.56/2212.87 c #Conflicts: 1458000 | #Constraints: 159697
2206.56/2212.87 c #Conflicts: 1459000 | #Constraints: 160698
2206.56/2212.87 c #Conflicts: 1460000 | #Constraints: 161698
2206.56/2212.87 c #Conflicts: 1461000 | #Constraints: 162698
2206.56/2212.87 c #Conflicts: 1462000 | #Constraints: 163699
2206.56/2212.87 c #Conflicts: 1463000 | #Constraints: 164699
2206.56/2212.87 c #Conflicts: 1464000 | #Constraints: 165699
2206.56/2212.87 c #Conflicts: 1465000 | #Constraints: 166699
2206.56/2212.87 c #Conflicts: 1466000 | #Constraints: 167699
2206.56/2212.87 c INPROCESSING
2206.56/2212.87 c GARBAGE COLLECT
2206.56/2212.87 c #Conflicts: 1467000 | #Constraints: 124161
2206.56/2212.87 c #Conflicts: 1468000 | #Constraints: 125161
2206.56/2212.87 c #Conflicts: 1469000 | #Constraints: 126161
2206.56/2212.87 c #Conflicts: 1470000 | #Constraints: 127161
2206.56/2212.87 c #Conflicts: 1471000 | #Constraints: 128161
2206.56/2212.87 c #Conflicts: 1472000 | #Constraints: 129161
2206.56/2212.87 c #Conflicts: 1473000 | #Constraints: 130161
2206.56/2212.87 c #Conflicts: 1474000 | #Constraints: 131161
2206.56/2212.87 c #Conflicts: 1475000 | #Constraints: 132161
2206.56/2212.87 c #Conflicts: 1476000 | #Constraints: 133161
2206.56/2212.87 c #Conflicts: 1477000 | #Constraints: 134161
2206.56/2212.87 c #Conflicts: 1478000 | #Constraints: 135161
2206.56/2212.87 c #Conflicts: 1479000 | #Constraints: 136161
2206.56/2212.87 c #Conflicts: 1480000 | #Constraints: 137161
2206.56/2212.87 c #Conflicts: 1481000 | #Constraints: 138161
2206.56/2212.87 c #Conflicts: 1482000 | #Constraints: 139161
2206.56/2212.87 c #Conflicts: 1483000 | #Constraints: 140161
2206.56/2212.87 c #Conflicts: 1484000 | #Constraints: 141161
2206.56/2212.87 c #Conflicts: 1485000 | #Constraints: 142161
2206.56/2212.87 c #Conflicts: 1486000 | #Constraints: 143161
2206.56/2212.87 c #Conflicts: 1487000 | #Constraints: 144162
2206.56/2212.87 c #Conflicts: 1488000 | #Constraints: 145162
2206.56/2212.87 c #Conflicts: 1489000 | #Constraints: 146162
2206.56/2212.87 c #Conflicts: 1490000 | #Constraints: 147162
2206.56/2212.87 c #Conflicts: 1491000 | #Constraints: 148163
2206.56/2212.87 c #Conflicts: 1492000 | #Constraints: 149163
2206.56/2212.87 c INPROCESSING
2206.56/2212.87 c GARBAGE COLLECT
2206.56/2212.87 c #Conflicts: 1493000 | #Constraints: 114748
2206.56/2212.87 c #Conflicts: 1494000 | #Constraints: 115748
2206.56/2212.87 c #Conflicts: 1495000 | #Constraints: 116749
2206.56/2212.87 c #Conflicts: 1496000 | #Constraints: 117749
2206.56/2212.87 c #Conflicts: 1497000 | #Constraints: 118749
2206.56/2212.87 c #Conflicts: 1498000 | #Constraints: 119749
2206.56/2212.87 c #Conflicts: 1499000 | #Constraints: 120749
2206.56/2212.88 c #Conflicts: 1500000 | #Constraints: 121749
2206.56/2212.88 c #Conflicts: 1501000 | #Constraints: 122749
2206.56/2212.88 c #Conflicts: 1502000 | #Constraints: 123749
2206.56/2212.88 c #Conflicts: 1503000 | #Constraints: 124749
2206.56/2212.88 c #Conflicts: 1504000 | #Constraints: 125749
2206.56/2212.88 c #Conflicts: 1505000 | #Constraints: 126749
2206.56/2212.88 c #Conflicts: 1506000 | #Constraints: 127749
2206.56/2212.88 c #Conflicts: 1507000 | #Constraints: 128749
2206.56/2212.88 c #Conflicts: 1508000 | #Constraints: 129749
2206.56/2212.88 c #Conflicts: 1509000 | #Constraints: 130749
2206.56/2212.88 c #Conflicts: 1510000 | #Constraints: 131749
2206.56/2212.88 c #Conflicts: 1511000 | #Constraints: 132749
2206.56/2212.88 c #Conflicts: 1512000 | #Constraints: 133749
2206.56/2212.88 c #Conflicts: 1513000 | #Constraints: 134749
2206.56/2212.88 c #Conflicts: 1514000 | #Constraints: 135749
2206.56/2212.88 c #Conflicts: 1515000 | #Constraints: 136750
2206.56/2212.88 c #Conflicts: 1516000 | #Constraints: 137750
2206.56/2212.88 c #Conflicts: 1517000 | #Constraints: 138750
2206.56/2212.88 c #Conflicts: 1518000 | #Constraints: 139750
2206.56/2212.88 c INPROCESSING
2206.56/2212.88 c GARBAGE COLLECT
2345.54/2352.14 c #Conflicts: 1519000 | #Constraints: 109783
2345.54/2352.14 c #Conflicts: 1520000 | #Constraints: 110783
2345.54/2352.14 c #Conflicts: 1521000 | #Constraints: 111783
2345.54/2352.14 c #Conflicts: 1522000 | #Constraints: 112783
2345.54/2352.14 c #Conflicts: 1523000 | #Constraints: 113783
2345.54/2352.14 c #Conflicts: 1524000 | #Constraints: 114783
2345.54/2352.14 c #Conflicts: 1525000 | #Constraints: 115783
2345.54/2352.14 c #Conflicts: 1526000 | #Constraints: 116783
2345.54/2352.14 c #Conflicts: 1527000 | #Constraints: 117783
2345.54/2352.14 c #Conflicts: 1528000 | #Constraints: 118783
2345.54/2352.14 c #Conflicts: 1529000 | #Constraints: 119783
2345.54/2352.14 c #Conflicts: 1530000 | #Constraints: 120783
2345.54/2352.14 c #Conflicts: 1531000 | #Constraints: 121783
2345.54/2352.14 c #Conflicts: 1532000 | #Constraints: 122783
2345.54/2352.14 c #Conflicts: 1533000 | #Constraints: 123783
2345.54/2352.14 c #Conflicts: 1534000 | #Constraints: 124784
2345.54/2352.14 c #Conflicts: 1535000 | #Constraints: 125785
2345.54/2352.14 c #Conflicts: 1536000 | #Constraints: 126785
2345.54/2352.14 c #Conflicts: 1537000 | #Constraints: 127786
2345.54/2352.14 c #Conflicts: 1538000 | #Constraints: 128786
2345.54/2352.14 c #Conflicts: 1539000 | #Constraints: 129786
2345.54/2352.14 c #Conflicts: 1540000 | #Constraints: 130786
2345.54/2352.14 c #Conflicts: 1541000 | #Constraints: 131786
2345.54/2352.14 c #Conflicts: 1542000 | #Constraints: 132786
2345.54/2352.14 c #Conflicts: 1543000 | #Constraints: 133786
2345.54/2352.14 c #Conflicts: 1544000 | #Constraints: 134786
2345.54/2352.14 c #Conflicts: 1545000 | #Constraints: 135786
2345.54/2352.14 c #Conflicts: 1546000 | #Constraints: 136786
2345.54/2352.14 c #Conflicts: 1547000 | #Constraints: 137786
2345.54/2352.14 c #Conflicts: 1548000 | #Constraints: 138787
2345.54/2352.14 c #Conflicts: 1549000 | #Constraints: 139787
2345.54/2352.14 c #Conflicts: 1550000 | #Constraints: 140787
2345.54/2352.14 c #Conflicts: 1551000 | #Constraints: 141787
2345.54/2352.14 c #Conflicts: 1552000 | #Constraints: 142787
2345.54/2352.14 c #Conflicts: 1553000 | #Constraints: 143787
2345.54/2352.14 c #Conflicts: 1554000 | #Constraints: 144787
2345.54/2352.14 c #Conflicts: 1555000 | #Constraints: 145787
2345.54/2352.14 c #Conflicts: 1556000 | #Constraints: 146787
2345.54/2352.14 c #Conflicts: 1557000 | #Constraints: 147787
2345.54/2352.14 c #Conflicts: 1558000 | #Constraints: 148787
2345.54/2352.14 c #Conflicts: 1559000 | #Constraints: 149788
2345.54/2352.14 c #Conflicts: 1560000 | #Constraints: 150788
2345.54/2352.14 c #Conflicts: 1561000 | #Constraints: 151788
2345.54/2352.14 c #Conflicts: 1562000 | #Constraints: 152788
2345.54/2352.14 c #Conflicts: 1563000 | #Constraints: 153789
2345.54/2352.14 c #Conflicts: 1564000 | #Constraints: 154789
2345.54/2352.14 c #Conflicts: 1565000 | #Constraints: 155789
2345.54/2352.14 c #Conflicts: 1566000 | #Constraints: 156789
2345.54/2352.14 c #Conflicts: 1567000 | #Constraints: 157789
2345.54/2352.14 c #Conflicts: 1568000 | #Constraints: 158790
2345.54/2352.14 c #Conflicts: 1569000 | #Constraints: 159790
2345.54/2352.14 c #Conflicts: 1570000 | #Constraints: 160790
2345.54/2352.14 c #Conflicts: 1571000 | #Constraints: 161790
2345.54/2352.14 c #Conflicts: 1572000 | #Constraints: 162790
2345.54/2352.14 c #Conflicts: 1573000 | #Constraints: 163790
2345.54/2352.14 c #Conflicts: 1574000 | #Constraints: 164790
2345.54/2352.14 c #Conflicts: 1575000 | #Constraints: 165790
2345.54/2352.14 c #Conflicts: 1576000 | #Constraints: 166790
2345.54/2352.14 c #Conflicts: 1577000 | #Constraints: 167791
2345.54/2352.14 c #Conflicts: 1578000 | #Constraints: 168791
2345.54/2352.14 c #Conflicts: 1579000 | #Constraints: 169791
2345.54/2352.14 c #Conflicts: 1580000 | #Constraints: 170791
2345.54/2352.14 c #Conflicts: 1581000 | #Constraints: 171791
2345.54/2352.14 c #Conflicts: 1582000 | #Constraints: 172791
2345.54/2352.14 c #Conflicts: 1583000 | #Constraints: 173792
2345.54/2352.14 c #Conflicts: 1584000 | #Constraints: 174792
2345.54/2352.14 c #Conflicts: 1585000 | #Constraints: 175792
2345.54/2352.14 c #Conflicts: 1586000 | #Constraints: 176792
2345.54/2352.14 c #Conflicts: 1587000 | #Constraints: 177792
2345.54/2352.14 c #Conflicts: 1588000 | #Constraints: 178792
2345.54/2352.14 c #Conflicts: 1589000 | #Constraints: 179792
2345.54/2352.14 c #Conflicts: 1590000 | #Constraints: 180792
2345.54/2352.14 c #Conflicts: 1591000 | #Constraints: 181792
2345.54/2352.14 c #Conflicts: 1592000 | #Constraints: 182792
2345.54/2352.14 c #Conflicts: 1593000 | #Constraints: 183792
2345.54/2352.14 c #Conflicts: 1594000 | #Constraints: 184792
2345.54/2352.14 c #Conflicts: 1595000 | #Constraints: 185792
2345.54/2352.14 c #Conflicts: 1596000 | #Constraints: 186792
2345.54/2352.14 c #Conflicts: 1597000 | #Constraints: 187792
2520.87/2527.92 c #Conflicts: 1598000 | #Constraints: 188792
2520.87/2527.92 c #Conflicts: 1599000 | #Constraints: 189792
2520.87/2527.92 c #Conflicts: 1600000 | #Constraints: 190792
2520.87/2527.92 c #Conflicts: 1601000 | #Constraints: 191792
2520.87/2527.92 c #Conflicts: 1602000 | #Constraints: 192792
2520.87/2527.92 c #Conflicts: 1603000 | #Constraints: 193792
2520.87/2527.92 c #Conflicts: 1604000 | #Constraints: 194792
2520.87/2527.92 c #Conflicts: 1605000 | #Constraints: 195792
2520.87/2527.92 c #Conflicts: 1606000 | #Constraints: 196792
2520.87/2527.92 c #Conflicts: 1607000 | #Constraints: 197793
2520.87/2527.92 c #Conflicts: 1608000 | #Constraints: 198793
2520.87/2527.92 c #Conflicts: 1609000 | #Constraints: 199793
2520.87/2527.92 c #Conflicts: 1610000 | #Constraints: 200793
2520.87/2527.92 c #Conflicts: 1611000 | #Constraints: 201793
2520.87/2527.92 c #Conflicts: 1612000 | #Constraints: 202793
2520.87/2527.92 c #Conflicts: 1613000 | #Constraints: 203793
2520.87/2527.92 c #Conflicts: 1614000 | #Constraints: 204793
2520.87/2527.92 c #Conflicts: 1615000 | #Constraints: 205793
2520.87/2527.92 c #Conflicts: 1616000 | #Constraints: 206793
2520.87/2527.92 c #Conflicts: 1617000 | #Constraints: 207793
2520.87/2527.92 c #Conflicts: 1618000 | #Constraints: 208793
2520.87/2527.92 c #Conflicts: 1619000 | #Constraints: 209793
2520.87/2527.92 c #Conflicts: 1620000 | #Constraints: 210793
2520.87/2527.92 c #Conflicts: 1621000 | #Constraints: 211794
2520.87/2527.92 c INPROCESSING
2520.87/2527.92 c GARBAGE COLLECT
2520.87/2527.92 c #Conflicts: 1622000 | #Constraints: 146164
2520.87/2527.92 c #Conflicts: 1623000 | #Constraints: 147165
2520.87/2527.92 c #Conflicts: 1624000 | #Constraints: 148165
2520.87/2527.92 c #Conflicts: 1625000 | #Constraints: 149165
2520.87/2527.92 c #Conflicts: 1626000 | #Constraints: 150165
2520.87/2527.92 c #Conflicts: 1627000 | #Constraints: 151165
2520.87/2527.92 c #Conflicts: 1628000 | #Constraints: 152165
2520.87/2527.92 c #Conflicts: 1629000 | #Constraints: 153165
2520.87/2527.92 c #Conflicts: 1630000 | #Constraints: 154165
2520.87/2527.92 c #Conflicts: 1631000 | #Constraints: 155165
2520.87/2527.92 c #Conflicts: 1632000 | #Constraints: 156165
2520.87/2527.92 c #Conflicts: 1633000 | #Constraints: 157165
2520.87/2527.92 c #Conflicts: 1634000 | #Constraints: 158167
2520.87/2527.92 c #Conflicts: 1635000 | #Constraints: 159167
2520.87/2527.92 c #Conflicts: 1636000 | #Constraints: 160167
2520.87/2527.92 c #Conflicts: 1637000 | #Constraints: 161167
2520.87/2527.92 c #Conflicts: 1638000 | #Constraints: 162167
2520.87/2527.92 c #Conflicts: 1639000 | #Constraints: 163167
2520.87/2527.92 c #Conflicts: 1640000 | #Constraints: 164167
2520.87/2527.92 c #Conflicts: 1641000 | #Constraints: 165167
2520.87/2527.92 c #Conflicts: 1642000 | #Constraints: 166167
2520.87/2527.92 c #Conflicts: 1643000 | #Constraints: 167167
2520.87/2527.92 c #Conflicts: 1644000 | #Constraints: 168167
2520.87/2527.92 c #Conflicts: 1645000 | #Constraints: 169167
2520.87/2527.92 c #Conflicts: 1646000 | #Constraints: 170167
2520.87/2527.92 c #Conflicts: 1647000 | #Constraints: 171167
2520.87/2527.92 c #Conflicts: 1648000 | #Constraints: 172167
2520.87/2527.92 c #Conflicts: 1649000 | #Constraints: 173168
2520.87/2527.92 c INPROCESSING
2520.87/2527.92 c GARBAGE COLLECT
2520.87/2527.92 c #Conflicts: 1650000 | #Constraints: 126940
2520.87/2527.92 c #Conflicts: 1651000 | #Constraints: 127940
2520.87/2527.92 c #Conflicts: 1652000 | #Constraints: 128940
2520.87/2527.92 c #Conflicts: 1653000 | #Constraints: 129940
2520.87/2527.92 c #Conflicts: 1654000 | #Constraints: 130940
2520.87/2527.92 c #Conflicts: 1655000 | #Constraints: 131940
2520.87/2527.92 c #Conflicts: 1656000 | #Constraints: 132940
2520.87/2527.92 c #Conflicts: 1657000 | #Constraints: 133940
2520.87/2527.92 c #Conflicts: 1658000 | #Constraints: 134940
2520.87/2527.92 c #Conflicts: 1659000 | #Constraints: 135940
2520.87/2527.92 c #Conflicts: 1660000 | #Constraints: 136940
2520.87/2527.92 c #Conflicts: 1661000 | #Constraints: 137940
2520.87/2527.92 c #Conflicts: 1662000 | #Constraints: 138940
2520.87/2527.92 c #Conflicts: 1663000 | #Constraints: 139940
2520.87/2527.92 c #Conflicts: 1664000 | #Constraints: 140940
2520.87/2527.92 c #Conflicts: 1665000 | #Constraints: 141940
2520.87/2527.92 c #Conflicts: 1666000 | #Constraints: 142940
2520.87/2527.92 c #Conflicts: 1667000 | #Constraints: 143942
2520.87/2527.92 c #Conflicts: 1668000 | #Constraints: 144942
2520.87/2527.92 c #Conflicts: 1669000 | #Constraints: 145942
2520.87/2527.92 c #Conflicts: 1670000 | #Constraints: 146943
2520.87/2527.92 c #Conflicts: 1671000 | #Constraints: 147943
2520.87/2527.92 c #Conflicts: 1672000 | #Constraints: 148943
2520.87/2527.92 c #Conflicts: 1673000 | #Constraints: 149943
2520.87/2527.92 c #Conflicts: 1674000 | #Constraints: 150943
2520.87/2527.92 c #Conflicts: 1675000 | #Constraints: 151943
2643.66/2651.05 c #Conflicts: 1676000 | #Constraints: 152943
2643.66/2651.05 c #Conflicts: 1677000 | #Constraints: 153943
2643.66/2651.05 c INPROCESSING
2643.66/2651.05 c GARBAGE COLLECT
2643.66/2651.05 c #Conflicts: 1678000 | #Constraints: 117331
2643.66/2651.05 c #Conflicts: 1679000 | #Constraints: 118331
2643.66/2651.05 c #Conflicts: 1680000 | #Constraints: 119331
2643.66/2651.05 c #Conflicts: 1681000 | #Constraints: 120331
2643.66/2651.05 c #Conflicts: 1682000 | #Constraints: 121331
2643.66/2651.05 c #Conflicts: 1683000 | #Constraints: 122331
2643.66/2651.05 c #Conflicts: 1684000 | #Constraints: 123331
2643.66/2651.05 c #Conflicts: 1685000 | #Constraints: 124331
2643.66/2651.05 c #Conflicts: 1686000 | #Constraints: 125331
2643.66/2651.05 c #Conflicts: 1687000 | #Constraints: 126331
2643.66/2651.05 c #Conflicts: 1688000 | #Constraints: 127331
2643.66/2651.05 c #Conflicts: 1689000 | #Constraints: 128331
2643.66/2651.05 c #Conflicts: 1690000 | #Constraints: 129331
2643.66/2651.05 c #Conflicts: 1691000 | #Constraints: 130331
2643.66/2651.05 c #Conflicts: 1692000 | #Constraints: 131331
2643.66/2651.05 c #Conflicts: 1693000 | #Constraints: 132331
2643.66/2651.05 c #Conflicts: 1694000 | #Constraints: 133331
2643.66/2651.05 c #Conflicts: 1695000 | #Constraints: 134331
2643.66/2651.05 c #Conflicts: 1696000 | #Constraints: 135331
2643.66/2651.05 c #Conflicts: 1697000 | #Constraints: 136331
2643.66/2651.05 c #Conflicts: 1698000 | #Constraints: 137331
2643.66/2651.05 c #Conflicts: 1699000 | #Constraints: 138331
2643.66/2651.05 c #Conflicts: 1700000 | #Constraints: 139331
2643.66/2651.05 c #Conflicts: 1701000 | #Constraints: 140331
2643.66/2651.05 c #Conflicts: 1702000 | #Constraints: 141331
2643.66/2651.05 c #Conflicts: 1703000 | #Constraints: 142332
2643.66/2651.05 c #Conflicts: 1704000 | #Constraints: 143332
2643.66/2651.05 c #Conflicts: 1705000 | #Constraints: 144332
2643.66/2651.05 c INPROCESSING
2643.66/2651.05 c GARBAGE COLLECT
2643.66/2651.05 c #Conflicts: 1706000 | #Constraints: 112467
2643.66/2651.05 c #Conflicts: 1707000 | #Constraints: 113467
2643.66/2651.05 c #Conflicts: 1708000 | #Constraints: 114467
2643.66/2651.05 c #Conflicts: 1709000 | #Constraints: 115467
2643.66/2651.05 c #Conflicts: 1710000 | #Constraints: 116467
2643.66/2651.05 c #Conflicts: 1711000 | #Constraints: 117467
2643.66/2651.05 c #Conflicts: 1712000 | #Constraints: 118467
2643.66/2651.05 c #Conflicts: 1713000 | #Constraints: 119467
2643.66/2651.05 c #Conflicts: 1714000 | #Constraints: 120467
2643.66/2651.05 c #Conflicts: 1715000 | #Constraints: 121467
2643.66/2651.05 c #Conflicts: 1716000 | #Constraints: 122468
2643.66/2651.05 c #Conflicts: 1717000 | #Constraints: 123468
2643.66/2651.05 c #Conflicts: 1718000 | #Constraints: 124468
2643.66/2651.05 c #Conflicts: 1719000 | #Constraints: 125468
2643.66/2651.05 c #Conflicts: 1720000 | #Constraints: 126468
2643.66/2651.05 c #Conflicts: 1721000 | #Constraints: 127468
2643.66/2651.05 c #Conflicts: 1722000 | #Constraints: 128468
2643.66/2651.05 c #Conflicts: 1723000 | #Constraints: 129468
2643.66/2651.05 c #Conflicts: 1724000 | #Constraints: 130468
2643.66/2651.05 c #Conflicts: 1725000 | #Constraints: 131468
2643.66/2651.05 c #Conflicts: 1726000 | #Constraints: 132468
2643.66/2651.05 c #Conflicts: 1727000 | #Constraints: 133468
2643.66/2651.05 c #Conflicts: 1728000 | #Constraints: 134468
2643.66/2651.05 c #Conflicts: 1729000 | #Constraints: 135468
2643.66/2651.05 c #Conflicts: 1730000 | #Constraints: 136468
2643.66/2651.05 c #Conflicts: 1731000 | #Constraints: 137469
2643.66/2651.05 c #Conflicts: 1732000 | #Constraints: 138470
2643.66/2651.05 c #Conflicts: 1733000 | #Constraints: 139471
2643.66/2651.05 c #Conflicts: 1734000 | #Constraints: 140471
2643.66/2651.05 c #Conflicts: 1735000 | #Constraints: 141473
2643.66/2651.05 c #Conflicts: 1736000 | #Constraints: 142473
2643.66/2651.05 c #Conflicts: 1737000 | #Constraints: 143473
2643.66/2651.05 c #Conflicts: 1738000 | #Constraints: 144473
2643.66/2651.05 c #Conflicts: 1739000 | #Constraints: 145473
2643.66/2651.05 c #Conflicts: 1740000 | #Constraints: 146473
2643.66/2651.05 c #Conflicts: 1741000 | #Constraints: 147473
2643.66/2651.05 c #Conflicts: 1742000 | #Constraints: 148473
2643.66/2651.05 c #Conflicts: 1743000 | #Constraints: 149473
2643.66/2651.05 c #Conflicts: 1744000 | #Constraints: 150473
2643.66/2651.05 c #Conflicts: 1745000 | #Constraints: 151473
2643.66/2651.05 c #Conflicts: 1746000 | #Constraints: 152473
2643.66/2651.05 c #Conflicts: 1747000 | #Constraints: 153473
2643.66/2651.05 c #Conflicts: 1748000 | #Constraints: 154473
2643.66/2651.05 c #Conflicts: 1749000 | #Constraints: 155473
2643.66/2651.05 c #Conflicts: 1750000 | #Constraints: 156473
2643.66/2651.05 c #Conflicts: 1751000 | #Constraints: 157473
2643.66/2651.05 c #Conflicts: 1752000 | #Constraints: 158473
2802.75/2810.57 c #Conflicts: 1753000 | #Constraints: 159473
2802.75/2810.57 c #Conflicts: 1754000 | #Constraints: 160473
2802.75/2810.57 c #Conflicts: 1755000 | #Constraints: 161473
2802.75/2810.57 c #Conflicts: 1756000 | #Constraints: 162473
2802.75/2810.57 c #Conflicts: 1757000 | #Constraints: 163473
2802.75/2810.57 c #Conflicts: 1758000 | #Constraints: 164473
2802.75/2810.57 c #Conflicts: 1759000 | #Constraints: 165473
2802.75/2810.57 c #Conflicts: 1760000 | #Constraints: 166473
2802.75/2810.57 c #Conflicts: 1761000 | #Constraints: 167473
2802.75/2810.57 c #Conflicts: 1762000 | #Constraints: 168473
2802.75/2810.57 c #Conflicts: 1763000 | #Constraints: 169473
2802.75/2810.57 c #Conflicts: 1764000 | #Constraints: 170473
2802.75/2810.57 c #Conflicts: 1765000 | #Constraints: 171473
2802.75/2810.57 c #Conflicts: 1766000 | #Constraints: 172473
2802.75/2810.57 c #Conflicts: 1767000 | #Constraints: 173473
2802.75/2810.57 c #Conflicts: 1768000 | #Constraints: 174473
2802.75/2810.57 c #Conflicts: 1769000 | #Constraints: 175473
2802.75/2810.57 c #Conflicts: 1770000 | #Constraints: 176473
2802.75/2810.57 c #Conflicts: 1771000 | #Constraints: 177473
2802.75/2810.57 c #Conflicts: 1772000 | #Constraints: 178473
2802.75/2810.57 c #Conflicts: 1773000 | #Constraints: 179474
2802.75/2810.57 c #Conflicts: 1774000 | #Constraints: 180474
2802.75/2810.57 c #Conflicts: 1775000 | #Constraints: 181474
2802.75/2810.57 c #Conflicts: 1776000 | #Constraints: 182474
2802.75/2810.57 c #Conflicts: 1777000 | #Constraints: 183474
2802.75/2810.57 c #Conflicts: 1778000 | #Constraints: 184474
2802.75/2810.57 c #Conflicts: 1779000 | #Constraints: 185474
2802.75/2810.57 c #Conflicts: 1780000 | #Constraints: 186474
2802.75/2810.57 c #Conflicts: 1781000 | #Constraints: 187474
2802.75/2810.57 c #Conflicts: 1782000 | #Constraints: 188474
2802.75/2810.57 c #Conflicts: 1783000 | #Constraints: 189474
2802.75/2810.57 c #Conflicts: 1784000 | #Constraints: 190474
2802.75/2810.57 c #Conflicts: 1785000 | #Constraints: 191474
2802.75/2810.57 c #Conflicts: 1786000 | #Constraints: 192474
2802.75/2810.57 c #Conflicts: 1787000 | #Constraints: 193474
2802.75/2810.57 c #Conflicts: 1788000 | #Constraints: 194475
2802.75/2810.57 c #Conflicts: 1789000 | #Constraints: 195475
2802.75/2810.57 c #Conflicts: 1790000 | #Constraints: 196475
2802.75/2810.57 c #Conflicts: 1791000 | #Constraints: 197476
2802.75/2810.57 c #Conflicts: 1792000 | #Constraints: 198476
2802.75/2810.57 c #Conflicts: 1793000 | #Constraints: 199476
2802.75/2810.57 c #Conflicts: 1794000 | #Constraints: 200476
2802.75/2810.57 c #Conflicts: 1795000 | #Constraints: 201476
2802.75/2810.57 c #Conflicts: 1796000 | #Constraints: 202476
2802.75/2810.57 c #Conflicts: 1797000 | #Constraints: 203476
2802.75/2810.57 c #Conflicts: 1798000 | #Constraints: 204476
2802.75/2810.57 c #Conflicts: 1799000 | #Constraints: 205476
2802.75/2810.57 c #Conflicts: 1800000 | #Constraints: 206476
2802.75/2810.57 c #Conflicts: 1801000 | #Constraints: 207476
2802.75/2810.57 c #Conflicts: 1802000 | #Constraints: 208476
2802.75/2810.57 c #Conflicts: 1803000 | #Constraints: 209476
2802.75/2810.57 c #Conflicts: 1804000 | #Constraints: 210476
2802.75/2810.57 c #Conflicts: 1805000 | #Constraints: 211476
2802.75/2810.57 c #Conflicts: 1806000 | #Constraints: 212476
2802.75/2810.57 c #Conflicts: 1807000 | #Constraints: 213476
2802.75/2810.57 c #Conflicts: 1808000 | #Constraints: 214477
2802.75/2810.57 c #Conflicts: 1809000 | #Constraints: 215477
2802.75/2810.57 c #Conflicts: 1810000 | #Constraints: 216478
2802.75/2810.57 c #Conflicts: 1811000 | #Constraints: 217480
2802.75/2810.57 c #Conflicts: 1812000 | #Constraints: 218481
2802.75/2810.57 c INPROCESSING
2802.75/2810.57 c GARBAGE COLLECT
2802.75/2810.57 c #Conflicts: 1813000 | #Constraints: 149218
2802.75/2810.57 c #Conflicts: 1814000 | #Constraints: 150218
2802.75/2810.57 c #Conflicts: 1815000 | #Constraints: 151218
2802.75/2810.57 c #Conflicts: 1816000 | #Constraints: 152218
2802.75/2810.57 c #Conflicts: 1817000 | #Constraints: 153218
2802.75/2810.57 c #Conflicts: 1818000 | #Constraints: 154218
2802.75/2810.57 c #Conflicts: 1819000 | #Constraints: 155218
2802.75/2810.57 c #Conflicts: 1820000 | #Constraints: 156218
2802.75/2810.57 c #Conflicts: 1821000 | #Constraints: 157218
2802.75/2810.57 c #Conflicts: 1822000 | #Constraints: 158218
2802.75/2810.57 c #Conflicts: 1823000 | #Constraints: 159218
2802.75/2810.57 c #Conflicts: 1824000 | #Constraints: 160218
2802.75/2810.57 c #Conflicts: 1825000 | #Constraints: 161218
2802.75/2810.57 c #Conflicts: 1826000 | #Constraints: 162218
2802.75/2810.57 c #Conflicts: 1827000 | #Constraints: 163218
2802.75/2810.57 c #Conflicts: 1828000 | #Constraints: 164218
2802.75/2810.57 c #Conflicts: 1829000 | #Constraints: 165218
2802.75/2810.57 c #Conflicts: 1830000 | #Constraints: 166218
2935.31/2943.41 c #Conflicts: 1831000 | #Constraints: 167218
2935.31/2943.41 c #Conflicts: 1832000 | #Constraints: 168218
2935.31/2943.41 c #Conflicts: 1833000 | #Constraints: 169218
2935.31/2943.41 c #Conflicts: 1834000 | #Constraints: 170218
2935.31/2943.41 c #Conflicts: 1835000 | #Constraints: 171218
2935.31/2943.41 c #Conflicts: 1836000 | #Constraints: 172218
2935.31/2943.41 c #Conflicts: 1837000 | #Constraints: 173218
2935.31/2943.41 c #Conflicts: 1838000 | #Constraints: 174218
2935.31/2943.41 c #Conflicts: 1839000 | #Constraints: 175218
2935.31/2943.41 c #Conflicts: 1840000 | #Constraints: 176218
2935.31/2943.41 c #Conflicts: 1841000 | #Constraints: 177218
2935.31/2943.41 c #Conflicts: 1842000 | #Constraints: 178219
2935.31/2943.41 c INPROCESSING
2935.31/2943.41 c GARBAGE COLLECT
2935.31/2943.41 c #Conflicts: 1843000 | #Constraints: 129332
2935.31/2943.41 c #Conflicts: 1844000 | #Constraints: 130332
2935.31/2943.41 c #Conflicts: 1845000 | #Constraints: 131332
2935.31/2943.41 c #Conflicts: 1846000 | #Constraints: 132332
2935.31/2943.41 c #Conflicts: 1847000 | #Constraints: 133332
2935.31/2943.41 c #Conflicts: 1848000 | #Constraints: 134332
2935.31/2943.41 c #Conflicts: 1849000 | #Constraints: 135332
2935.31/2943.41 c #Conflicts: 1850000 | #Constraints: 136332
2935.31/2943.41 c #Conflicts: 1851000 | #Constraints: 137332
2935.31/2943.41 c #Conflicts: 1852000 | #Constraints: 138332
2935.31/2943.41 c #Conflicts: 1853000 | #Constraints: 139332
2935.31/2943.41 c #Conflicts: 1854000 | #Constraints: 140332
2935.31/2943.41 c #Conflicts: 1855000 | #Constraints: 141332
2935.31/2943.41 c #Conflicts: 1856000 | #Constraints: 142332
2935.31/2943.41 c #Conflicts: 1857000 | #Constraints: 143333
2935.31/2943.41 c #Conflicts: 1858000 | #Constraints: 144333
2935.31/2943.41 c #Conflicts: 1859000 | #Constraints: 145333
2935.31/2943.41 c #Conflicts: 1860000 | #Constraints: 146333
2935.31/2943.41 c #Conflicts: 1861000 | #Constraints: 147333
2935.31/2943.41 c #Conflicts: 1862000 | #Constraints: 148333
2935.31/2943.41 c #Conflicts: 1863000 | #Constraints: 149333
2935.31/2943.41 c #Conflicts: 1864000 | #Constraints: 150333
2935.31/2943.41 c #Conflicts: 1865000 | #Constraints: 151333
2935.31/2943.41 c #Conflicts: 1866000 | #Constraints: 152333
2935.31/2943.41 c #Conflicts: 1867000 | #Constraints: 153333
2935.31/2943.41 c #Conflicts: 1868000 | #Constraints: 154333
2935.31/2943.41 c #Conflicts: 1869000 | #Constraints: 155333
2935.31/2943.41 c #Conflicts: 1870000 | #Constraints: 156333
2935.31/2943.41 c #Conflicts: 1871000 | #Constraints: 157333
2935.31/2943.41 c #Conflicts: 1872000 | #Constraints: 158333
2935.31/2943.41 c INPROCESSING
2935.31/2943.41 c GARBAGE COLLECT
2935.31/2943.41 c #Conflicts: 1873000 | #Constraints: 119581
2935.31/2943.41 c #Conflicts: 1874000 | #Constraints: 120581
2935.31/2943.41 c #Conflicts: 1875000 | #Constraints: 121581
2935.31/2943.41 c #Conflicts: 1876000 | #Constraints: 122581
2935.31/2943.41 c #Conflicts: 1877000 | #Constraints: 123581
2935.31/2943.41 c #Conflicts: 1878000 | #Constraints: 124581
2935.31/2943.41 c #Conflicts: 1879000 | #Constraints: 125581
2935.31/2943.41 c #Conflicts: 1880000 | #Constraints: 126581
2935.31/2943.41 c #Conflicts: 1881000 | #Constraints: 127581
2935.31/2943.41 c #Conflicts: 1882000 | #Constraints: 128581
2935.31/2943.41 c #Conflicts: 1883000 | #Constraints: 129581
2935.31/2943.41 c #Conflicts: 1884000 | #Constraints: 130581
2935.31/2943.41 c #Conflicts: 1885000 | #Constraints: 131581
2935.31/2943.41 c #Conflicts: 1886000 | #Constraints: 132581
2935.31/2943.41 c #Conflicts: 1887000 | #Constraints: 133581
2935.31/2943.41 c #Conflicts: 1888000 | #Constraints: 134581
2935.31/2943.41 c #Conflicts: 1889000 | #Constraints: 135581
2935.31/2943.41 c #Conflicts: 1890000 | #Constraints: 136581
2935.31/2943.41 c #Conflicts: 1891000 | #Constraints: 137581
2935.31/2943.41 c #Conflicts: 1892000 | #Constraints: 138581
2935.31/2943.41 c #Conflicts: 1893000 | #Constraints: 139581
2935.31/2943.41 c #Conflicts: 1894000 | #Constraints: 140581
2935.31/2943.41 c #Conflicts: 1895000 | #Constraints: 141581
2935.31/2943.41 c #Conflicts: 1896000 | #Constraints: 142581
2935.31/2943.41 c #Conflicts: 1897000 | #Constraints: 143581
2935.31/2943.41 c #Conflicts: 1898000 | #Constraints: 144581
2935.31/2943.41 c #Conflicts: 1899000 | #Constraints: 145581
2935.31/2943.41 c #Conflicts: 1900000 | #Constraints: 146581
2935.31/2943.41 c #Conflicts: 1901000 | #Constraints: 147582
2935.31/2943.41 c INPROCESSING
2935.31/2943.41 c GARBAGE COLLECT
2935.31/2943.41 c rational objective 75.2218
3079.72/3088.25 c #Conflicts: 1902000 | #Constraints: 113738
3079.72/3088.25 c #Conflicts: 1903000 | #Constraints: 114738
3079.72/3088.25 c #Conflicts: 1904000 | #Constraints: 115738
3079.72/3088.25 c #Conflicts: 1905000 | #Constraints: 116738
3079.72/3088.25 c #Conflicts: 1906000 | #Constraints: 117738
3079.72/3088.25 c #Conflicts: 1907000 | #Constraints: 118738
3079.72/3088.25 c #Conflicts: 1908000 | #Constraints: 119738
3079.72/3088.25 c #Conflicts: 1909000 | #Constraints: 120738
3079.72/3088.25 c #Conflicts: 1910000 | #Constraints: 121738
3079.72/3088.25 c #Conflicts: 1911000 | #Constraints: 122738
3079.72/3088.25 c #Conflicts: 1912000 | #Constraints: 123738
3079.72/3088.25 c #Conflicts: 1913000 | #Constraints: 124738
3079.72/3088.25 c #Conflicts: 1914000 | #Constraints: 125738
3079.72/3088.25 c #Conflicts: 1915000 | #Constraints: 126738
3079.72/3088.25 c #Conflicts: 1916000 | #Constraints: 127738
3079.72/3088.25 c #Conflicts: 1917000 | #Constraints: 128738
3079.72/3088.25 c #Conflicts: 1918000 | #Constraints: 129738
3079.72/3088.25 c #Conflicts: 1919000 | #Constraints: 130738
3079.72/3088.25 c #Conflicts: 1920000 | #Constraints: 131738
3079.72/3088.25 c #Conflicts: 1921000 | #Constraints: 132738
3079.72/3088.25 c #Conflicts: 1922000 | #Constraints: 133738
3079.72/3088.25 c #Conflicts: 1923000 | #Constraints: 134738
3079.72/3088.25 c #Conflicts: 1924000 | #Constraints: 135738
3079.72/3088.25 c #Conflicts: 1925000 | #Constraints: 136738
3079.72/3088.25 c #Conflicts: 1926000 | #Constraints: 137738
3079.72/3088.25 c #Conflicts: 1927000 | #Constraints: 138738
3079.72/3088.25 c #Conflicts: 1928000 | #Constraints: 139738
3079.72/3088.25 c #Conflicts: 1929000 | #Constraints: 140738
3079.72/3088.25 c #Conflicts: 1930000 | #Constraints: 141738
3079.72/3088.25 c #Conflicts: 1931000 | #Constraints: 142738
3079.72/3088.25 c #Conflicts: 1932000 | #Constraints: 143738
3079.72/3088.25 c #Conflicts: 1933000 | #Constraints: 144738
3079.72/3088.25 c #Conflicts: 1934000 | #Constraints: 145738
3079.72/3088.25 c #Conflicts: 1935000 | #Constraints: 146738
3079.72/3088.25 c #Conflicts: 1936000 | #Constraints: 147738
3079.72/3088.25 c #Conflicts: 1937000 | #Constraints: 148738
3079.72/3088.25 c #Conflicts: 1938000 | #Constraints: 149738
3079.72/3088.25 c #Conflicts: 1939000 | #Constraints: 150738
3079.72/3088.25 c #Conflicts: 1940000 | #Constraints: 151738
3079.72/3088.25 c #Conflicts: 1941000 | #Constraints: 152738
3079.72/3088.25 c #Conflicts: 1942000 | #Constraints: 153738
3079.72/3088.25 c #Conflicts: 1943000 | #Constraints: 154738
3079.72/3088.25 c #Conflicts: 1944000 | #Constraints: 155738
3079.72/3088.25 c #Conflicts: 1945000 | #Constraints: 156738
3079.72/3088.25 c #Conflicts: 1946000 | #Constraints: 157738
3079.72/3088.25 c #Conflicts: 1947000 | #Constraints: 158738
3079.72/3088.25 c #Conflicts: 1948000 | #Constraints: 159738
3079.72/3088.25 c #Conflicts: 1949000 | #Constraints: 160738
3079.72/3088.25 c #Conflicts: 1950000 | #Constraints: 161738
3079.72/3088.25 c #Conflicts: 1951000 | #Constraints: 162738
3079.72/3088.25 c #Conflicts: 1952000 | #Constraints: 163738
3079.72/3088.25 c #Conflicts: 1953000 | #Constraints: 164738
3079.72/3088.25 c #Conflicts: 1954000 | #Constraints: 165738
3079.72/3088.25 c #Conflicts: 1955000 | #Constraints: 166738
3079.72/3088.25 c #Conflicts: 1956000 | #Constraints: 167738
3079.72/3088.25 c #Conflicts: 1957000 | #Constraints: 168738
3079.72/3088.25 c #Conflicts: 1958000 | #Constraints: 169738
3079.72/3088.25 c #Conflicts: 1959000 | #Constraints: 170738
3079.72/3088.25 c #Conflicts: 1960000 | #Constraints: 171738
3079.72/3088.25 c #Conflicts: 1961000 | #Constraints: 172738
3079.72/3088.25 c #Conflicts: 1962000 | #Constraints: 173738
3079.72/3088.25 c #Conflicts: 1963000 | #Constraints: 174738
3079.72/3088.25 c #Conflicts: 1964000 | #Constraints: 175738
3079.72/3088.25 c #Conflicts: 1965000 | #Constraints: 176738
3079.72/3088.25 c #Conflicts: 1966000 | #Constraints: 177738
3079.72/3088.25 c #Conflicts: 1967000 | #Constraints: 178738
3079.72/3088.25 c #Conflicts: 1968000 | #Constraints: 179738
3079.72/3088.25 c #Conflicts: 1969000 | #Constraints: 180738
3079.72/3088.25 c #Conflicts: 1970000 | #Constraints: 181738
3079.72/3088.25 c #Conflicts: 1971000 | #Constraints: 182739
3079.72/3088.25 c #Conflicts: 1972000 | #Constraints: 183739
3079.72/3088.25 c #Conflicts: 1973000 | #Constraints: 184739
3079.72/3088.25 c #Conflicts: 1974000 | #Constraints: 185739
3079.72/3088.25 c #Conflicts: 1975000 | #Constraints: 186739
3079.72/3088.25 c #Conflicts: 1976000 | #Constraints: 187739
3079.72/3088.25 c #Conflicts: 1977000 | #Constraints: 188739
3079.72/3088.25 c #Conflicts: 1978000 | #Constraints: 189739
3079.72/3088.25 c #Conflicts: 1979000 | #Constraints: 190739
3079.72/3088.25 c #Conflicts: 1980000 | #Constraints: 191739
3263.62/3272.65 c #Conflicts: 1981000 | #Constraints: 192739
3263.62/3272.65 c #Conflicts: 1982000 | #Constraints: 193739
3263.62/3272.65 c #Conflicts: 1983000 | #Constraints: 194739
3263.62/3272.65 c #Conflicts: 1984000 | #Constraints: 195739
3263.62/3272.65 c #Conflicts: 1985000 | #Constraints: 196739
3263.62/3272.65 c #Conflicts: 1986000 | #Constraints: 197739
3263.62/3272.65 c #Conflicts: 1987000 | #Constraints: 198739
3263.62/3272.65 c #Conflicts: 1988000 | #Constraints: 199739
3263.62/3272.65 c #Conflicts: 1989000 | #Constraints: 200740
3263.62/3272.65 c #Conflicts: 1990000 | #Constraints: 201742
3263.62/3272.65 c #Conflicts: 1991000 | #Constraints: 202742
3263.62/3272.65 c #Conflicts: 1992000 | #Constraints: 203743
3263.62/3272.65 c #Conflicts: 1993000 | #Constraints: 204743
3263.62/3272.65 c #Conflicts: 1994000 | #Constraints: 205743
3263.62/3272.65 c #Conflicts: 1995000 | #Constraints: 206743
3263.62/3272.65 c #Conflicts: 1996000 | #Constraints: 207743
3263.62/3272.65 c #Conflicts: 1997000 | #Constraints: 208744
3263.62/3272.65 c #Conflicts: 1998000 | #Constraints: 209744
3263.62/3272.65 c #Conflicts: 1999000 | #Constraints: 210744
3263.62/3272.65 c #Conflicts: 2000000 | #Constraints: 211744
3263.62/3272.65 c #Conflicts: 2001000 | #Constraints: 212744
3263.62/3272.65 c #Conflicts: 2002000 | #Constraints: 213744
3263.62/3272.65 c #Conflicts: 2003000 | #Constraints: 214744
3263.62/3272.65 c #Conflicts: 2004000 | #Constraints: 215744
3263.62/3272.65 c #Conflicts: 2005000 | #Constraints: 216744
3263.62/3272.65 c #Conflicts: 2006000 | #Constraints: 217744
3263.62/3272.65 c #Conflicts: 2007000 | #Constraints: 218744
3263.62/3272.65 c #Conflicts: 2008000 | #Constraints: 219744
3263.62/3272.65 c #Conflicts: 2009000 | #Constraints: 220745
3263.62/3272.65 c #Conflicts: 2010000 | #Constraints: 221745
3263.62/3272.65 c #Conflicts: 2011000 | #Constraints: 222745
3263.62/3272.65 c #Conflicts: 2012000 | #Constraints: 223746
3263.62/3272.65 c #Conflicts: 2013000 | #Constraints: 224746
3263.62/3272.65 c #Conflicts: 2014000 | #Constraints: 225746
3263.62/3272.65 c INPROCESSING
3263.62/3272.65 c GARBAGE COLLECT
3263.62/3272.65 c #Conflicts: 2015000 | #Constraints: 152827
3263.62/3272.65 c #Conflicts: 2016000 | #Constraints: 153827
3263.62/3272.65 c #Conflicts: 2017000 | #Constraints: 154827
3263.62/3272.65 c #Conflicts: 2018000 | #Constraints: 155827
3263.62/3272.65 c #Conflicts: 2019000 | #Constraints: 156827
3263.62/3272.65 c #Conflicts: 2020000 | #Constraints: 157827
3263.62/3272.65 c #Conflicts: 2021000 | #Constraints: 158827
3263.62/3272.65 c #Conflicts: 2022000 | #Constraints: 159827
3263.62/3272.65 c #Conflicts: 2023000 | #Constraints: 160828
3263.62/3272.65 c #Conflicts: 2024000 | #Constraints: 161828
3263.62/3272.65 c #Conflicts: 2025000 | #Constraints: 162828
3263.62/3272.65 c #Conflicts: 2026000 | #Constraints: 163828
3263.62/3272.65 c #Conflicts: 2027000 | #Constraints: 164828
3263.62/3272.65 c #Conflicts: 2028000 | #Constraints: 165828
3263.62/3272.65 c #Conflicts: 2029000 | #Constraints: 166828
3263.62/3272.65 c #Conflicts: 2030000 | #Constraints: 167828
3263.62/3272.65 c #Conflicts: 2031000 | #Constraints: 168829
3263.62/3272.65 c #Conflicts: 2032000 | #Constraints: 169829
3263.62/3272.65 c #Conflicts: 2033000 | #Constraints: 170830
3263.62/3272.65 c #Conflicts: 2034000 | #Constraints: 171831
3263.62/3272.65 c #Conflicts: 2035000 | #Constraints: 172832
3263.62/3272.65 c #Conflicts: 2036000 | #Constraints: 173833
3263.62/3272.65 c #Conflicts: 2037000 | #Constraints: 174833
3263.62/3272.65 c #Conflicts: 2038000 | #Constraints: 175833
3263.62/3272.65 c #Conflicts: 2039000 | #Constraints: 176833
3263.62/3272.65 c #Conflicts: 2040000 | #Constraints: 177833
3263.62/3272.65 c #Conflicts: 2041000 | #Constraints: 178833
3263.62/3272.65 c #Conflicts: 2042000 | #Constraints: 179833
3263.62/3272.65 c #Conflicts: 2043000 | #Constraints: 180833
3263.62/3272.65 c #Conflicts: 2044000 | #Constraints: 181833
3263.62/3272.65 c #Conflicts: 2045000 | #Constraints: 182833
3263.62/3272.65 c #Conflicts: 2046000 | #Constraints: 183833
3263.62/3272.65 c INPROCESSING
3263.62/3272.65 c GARBAGE COLLECT
3263.62/3272.65 c #Conflicts: 2047000 | #Constraints: 132286
3263.62/3272.65 c #Conflicts: 2048000 | #Constraints: 133287
3263.62/3272.65 c #Conflicts: 2049000 | #Constraints: 134287
3263.62/3272.65 c #Conflicts: 2050000 | #Constraints: 135287
3263.62/3272.65 c #Conflicts: 2051000 | #Constraints: 136287
3263.62/3272.65 c #Conflicts: 2052000 | #Constraints: 137287
3263.62/3272.65 c #Conflicts: 2053000 | #Constraints: 138287
3263.62/3272.65 c #Conflicts: 2054000 | #Constraints: 139288
3263.62/3272.65 c #Conflicts: 2055000 | #Constraints: 140293
3263.62/3272.65 c #Conflicts: 2056000 | #Constraints: 141294
3263.62/3272.65 c #Conflicts: 2057000 | #Constraints: 142295
3263.62/3272.65 c #Conflicts: 2058000 | #Constraints: 143295
3430.86/3440.34 c #Conflicts: 2059000 | #Constraints: 144295
3430.86/3440.34 c #Conflicts: 2060000 | #Constraints: 145295
3430.86/3440.34 c #Conflicts: 2061000 | #Constraints: 146295
3430.86/3440.34 c #Conflicts: 2062000 | #Constraints: 147295
3430.86/3440.34 c #Conflicts: 2063000 | #Constraints: 148295
3430.86/3440.34 c #Conflicts: 2064000 | #Constraints: 149295
3430.86/3440.34 c #Conflicts: 2065000 | #Constraints: 150295
3430.86/3440.34 c #Conflicts: 2066000 | #Constraints: 151295
3430.86/3440.34 c #Conflicts: 2067000 | #Constraints: 152295
3430.86/3440.34 c #Conflicts: 2068000 | #Constraints: 153295
3430.86/3440.34 c #Conflicts: 2069000 | #Constraints: 154295
3430.86/3440.34 c #Conflicts: 2070000 | #Constraints: 155295
3430.86/3440.34 c #Conflicts: 2071000 | #Constraints: 156295
3430.86/3440.34 c #Conflicts: 2072000 | #Constraints: 157295
3430.86/3440.34 c #Conflicts: 2073000 | #Constraints: 158295
3430.86/3440.34 c #Conflicts: 2074000 | #Constraints: 159295
3430.86/3440.34 c #Conflicts: 2075000 | #Constraints: 160295
3430.86/3440.34 c #Conflicts: 2076000 | #Constraints: 161295
3430.86/3440.34 c #Conflicts: 2077000 | #Constraints: 162295
3430.86/3440.34 c INPROCESSING
3430.86/3440.34 c GARBAGE COLLECT
3430.86/3440.34 c #Conflicts: 2078000 | #Constraints: 121340
3430.86/3440.34 c #Conflicts: 2079000 | #Constraints: 122341
3430.86/3440.34 c #Conflicts: 2080000 | #Constraints: 123341
3430.86/3440.34 c #Conflicts: 2081000 | #Constraints: 124341
3430.86/3440.34 c #Conflicts: 2082000 | #Constraints: 125341
3430.86/3440.34 c #Conflicts: 2083000 | #Constraints: 126341
3430.86/3440.34 c #Conflicts: 2084000 | #Constraints: 127341
3430.86/3440.34 c #Conflicts: 2085000 | #Constraints: 128341
3430.86/3440.34 c #Conflicts: 2086000 | #Constraints: 129472
3430.86/3440.34 c #Conflicts: 2087000 | #Constraints: 130475
3430.86/3440.34 c #Conflicts: 2088000 | #Constraints: 131478
3430.86/3440.34 c #Conflicts: 2089000 | #Constraints: 132482
3430.86/3440.34 c #Conflicts: 2090000 | #Constraints: 133484
3430.86/3440.34 c #Conflicts: 2091000 | #Constraints: 134484
3430.86/3440.34 c #Conflicts: 2092000 | #Constraints: 135484
3430.86/3440.34 c #Conflicts: 2093000 | #Constraints: 136485
3430.86/3440.34 c #Conflicts: 2094000 | #Constraints: 137485
3430.86/3440.34 c #Conflicts: 2095000 | #Constraints: 138485
3430.86/3440.34 c #Conflicts: 2096000 | #Constraints: 139485
3430.86/3440.34 c #Conflicts: 2097000 | #Constraints: 140485
3430.86/3440.34 c #Conflicts: 2098000 | #Constraints: 141486
3430.86/3440.34 c #Conflicts: 2099000 | #Constraints: 142486
3430.86/3440.34 c #Conflicts: 2100000 | #Constraints: 143486
3430.86/3440.34 c #Conflicts: 2101000 | #Constraints: 144486
3430.86/3440.34 c #Conflicts: 2102000 | #Constraints: 145486
3430.86/3440.34 c #Conflicts: 2103000 | #Constraints: 146486
3430.86/3440.34 c #Conflicts: 2104000 | #Constraints: 147487
3430.86/3440.34 c #Conflicts: 2105000 | #Constraints: 148487
3430.86/3440.34 c #Conflicts: 2106000 | #Constraints: 149487
3430.86/3440.34 c #Conflicts: 2107000 | #Constraints: 150487
3430.86/3440.34 c #Conflicts: 2108000 | #Constraints: 151487
3430.86/3440.34 c #Conflicts: 2109000 | #Constraints: 152487
3430.86/3440.34 c INPROCESSING
3430.86/3440.34 c GARBAGE COLLECT
3430.86/3440.34 c #Conflicts: 2110000 | #Constraints: 116673
3430.86/3440.34 c #Conflicts: 2111000 | #Constraints: 117673
3430.86/3440.34 c #Conflicts: 2112000 | #Constraints: 118674
3430.86/3440.34 c #Conflicts: 2113000 | #Constraints: 119674
3430.86/3440.34 c #Conflicts: 2114000 | #Constraints: 120674
3430.86/3440.34 c #Conflicts: 2115000 | #Constraints: 121674
3430.86/3440.34 c #Conflicts: 2116000 | #Constraints: 122674
3430.86/3440.34 c #Conflicts: 2117000 | #Constraints: 123674
3430.86/3440.34 c #Conflicts: 2118000 | #Constraints: 124674
3430.86/3440.34 c #Conflicts: 2119000 | #Constraints: 125674
3430.86/3440.34 c #Conflicts: 2120000 | #Constraints: 126674
3430.86/3440.34 c #Conflicts: 2121000 | #Constraints: 127675
3430.86/3440.34 c #Conflicts: 2122000 | #Constraints: 128675
3430.86/3440.34 c #Conflicts: 2123000 | #Constraints: 129675
3430.86/3440.34 c #Conflicts: 2124000 | #Constraints: 130675
3430.86/3440.34 c #Conflicts: 2125000 | #Constraints: 131675
3430.86/3440.34 c #Conflicts: 2126000 | #Constraints: 132675
3430.86/3440.34 c #Conflicts: 2127000 | #Constraints: 133675
3430.86/3440.34 c #Conflicts: 2128000 | #Constraints: 134675
3430.86/3440.34 c #Conflicts: 2129000 | #Constraints: 135675
3430.86/3440.34 c #Conflicts: 2130000 | #Constraints: 136675
3430.86/3440.34 c #Conflicts: 2131000 | #Constraints: 137675
3430.86/3440.34 c #Conflicts: 2132000 | #Constraints: 138675
3430.86/3440.34 c #Conflicts: 2133000 | #Constraints: 139675
3430.86/3440.34 c #Conflicts: 2134000 | #Constraints: 140675
3430.86/3440.34 c #Conflicts: 2135000 | #Constraints: 141675
3600.05/3610.01 c #Conflicts: 2136000 | #Constraints: 142675
3600.05/3610.01 c #Conflicts: 2137000 | #Constraints: 143675
3600.05/3610.01 c #Conflicts: 2138000 | #Constraints: 144675
3600.05/3610.01 c #Conflicts: 2139000 | #Constraints: 145676
3600.05/3610.01 c #Conflicts: 2140000 | #Constraints: 146676
3600.05/3610.01 c #Conflicts: 2141000 | #Constraints: 147676
3600.05/3610.01 c #Conflicts: 2142000 | #Constraints: 148677
3600.05/3610.01 c #Conflicts: 2143000 | #Constraints: 149677
3600.05/3610.01 c #Conflicts: 2144000 | #Constraints: 150677
3600.05/3610.01 c #Conflicts: 2145000 | #Constraints: 151677
3600.05/3610.01 c #Conflicts: 2146000 | #Constraints: 152677
3600.05/3610.01 c #Conflicts: 2147000 | #Constraints: 153677
3600.05/3610.01 c #Conflicts: 2148000 | #Constraints: 154678
3600.05/3610.01 c #Conflicts: 2149000 | #Constraints: 155678
3600.05/3610.01 c #Conflicts: 2150000 | #Constraints: 156678
3600.05/3610.01 c #Conflicts: 2151000 | #Constraints: 157678
3600.05/3610.01 c #Conflicts: 2152000 | #Constraints: 158678
3600.05/3610.01 c #Conflicts: 2153000 | #Constraints: 159679
3600.05/3610.01 c #Conflicts: 2154000 | #Constraints: 160679
3600.05/3610.01 c #Conflicts: 2155000 | #Constraints: 161679
3600.05/3610.01 c #Conflicts: 2156000 | #Constraints: 162679
3600.05/3610.01 c #Conflicts: 2157000 | #Constraints: 163679
3600.05/3610.01 c #Conflicts: 2158000 | #Constraints: 164679
3600.05/3610.01 c #Conflicts: 2159000 | #Constraints: 165679
3600.05/3610.01 c #Conflicts: 2160000 | #Constraints: 166679
3600.05/3610.01 c #Conflicts: 2161000 | #Constraints: 167679
3600.05/3610.01 c #Conflicts: 2162000 | #Constraints: 168679
3600.05/3610.01 c #Conflicts: 2163000 | #Constraints: 169679
3600.05/3610.01 c #Conflicts: 2164000 | #Constraints: 170679
3600.05/3610.01 c #Conflicts: 2165000 | #Constraints: 171679
3600.05/3610.01 c #Conflicts: 2166000 | #Constraints: 172679
3600.05/3610.01 c #Conflicts: 2167000 | #Constraints: 173679
3600.05/3610.01 c #Conflicts: 2168000 | #Constraints: 174679
3600.05/3610.01 c #Conflicts: 2169000 | #Constraints: 175679
3600.05/3610.01 c #Conflicts: 2170000 | #Constraints: 176679
3600.05/3610.01 c #Conflicts: 2171000 | #Constraints: 177679
3600.05/3610.01 c #Conflicts: 2172000 | #Constraints: 178679
3600.05/3610.01 c #Conflicts: 2173000 | #Constraints: 179679
3600.05/3610.01 c #Conflicts: 2174000 | #Constraints: 180679
3600.05/3610.01 c #Conflicts: 2175000 | #Constraints: 181679
3600.05/3610.01 c #Conflicts: 2176000 | #Constraints: 182679
3600.05/3610.01 c #Conflicts: 2177000 | #Constraints: 183680
3600.05/3610.01 c #Conflicts: 2178000 | #Constraints: 184680
3600.05/3610.01 c #Conflicts: 2179000 | #Constraints: 185680
3600.05/3610.01 c #Conflicts: 2180000 | #Constraints: 186680
3600.05/3610.01 c #Conflicts: 2181000 | #Constraints: 187680
3600.05/3610.01 c #Conflicts: 2182000 | #Constraints: 188681
3600.05/3610.01 c #Conflicts: 2183000 | #Constraints: 189681
3600.05/3610.01 c #Conflicts: 2184000 | #Constraints: 190681
3600.05/3610.01 c #Conflicts: 2185000 | #Constraints: 191681
3600.05/3610.01 c #Conflicts: 2186000 | #Constraints: 192681
3600.05/3610.01 c #Conflicts: 2187000 | #Constraints: 193681
3600.05/3610.01 c #Conflicts: 2188000 | #Constraints: 194681
3600.05/3610.01 c #Conflicts: 2189000 | #Constraints: 195681
3600.05/3610.01 c #Conflicts: 2190000 | #Constraints: 196681
3600.05/3610.01 c #Conflicts: 2191000 | #Constraints: 197681
3600.05/3610.01 c #Conflicts: 2192000 | #Constraints: 198681
3600.05/3610.01 c #Conflicts: 2193000 | #Constraints: 199681
3600.05/3610.01 c #Conflicts: 2194000 | #Constraints: 200681
3600.05/3610.01 c #Conflicts: 2195000 | #Constraints: 201681
3600.05/3610.01 c #Conflicts: 2196000 | #Constraints: 202681
3600.05/3610.01 c #Conflicts: 2197000 | #Constraints: 203681
3600.05/3610.01 c #Conflicts: 2198000 | #Constraints: 204681
3600.05/3610.01 c cpu time 3588.75 s
3600.05/3610.01 c deterministic time 254356077734 2.54e+11
3600.05/3610.01 c optimization time 226.743 s
3600.05/3610.01 c total solve time 3361.33 s
3600.05/3610.01 c core-guided solve time 0 s
3600.05/3610.01 c propagation time 1805.11 s
3600.05/3610.01 c conflict analysis time 1616.73 s
3600.05/3610.01 c propagations 880681102
3600.05/3610.01 c resolve steps 93178642
3600.05/3610.01 c decisions 4130375
3600.05/3610.01 c conflicts 2198537
3600.05/3610.01 c restarts 4093
3600.05/3610.01 c inprocessing phases 95
3600.05/3610.01 c garbage collections 95 ,( 100.00 )
3600.05/3610.01 c input clauses 74490 ,( 94.86 )
3600.05/3610.01 c input cardinalities 53 ,( 0.07 )
3600.05/3610.01 c input general constraints 3984 ,( 5.07 )
3600.05/3610.01 c input average constraint length 2.16
3600.05/3610.01 c input average constraint degree 1.27
3600.05/3610.01 c learned clauses 2108917 ,( 95.89 )
3600.05/3610.01 c learned cardinalities 23432 ,( 1.07 )
3600.05/3610.01 c learned general constraints 66863 ,( 3.04 )
3600.05/3610.01 c learned average constraint length 1032.80
3600.05/3610.01 c learned average constraint degree 1374511.84
3600.05/3610.01 c watched CF 32, 64, 128, Arb: 53516 , 0 , 0 , 0
3600.05/3610.01 c counting CF 32, 64, 128, Arb: 17331 , 0 , 0 , 0
3600.05/3610.01 c watched constraints 53516 ,( 75.54 )
3600.05/3610.01 c counting constraints 17331 ,( 24.46 )
3600.05/3610.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7725882970 , 970418643 , 2414147997 ,( 416130658 , 1998017339 )
3600.05/3610.01 c gcd simplifications 9482
3600.05/3610.01 c detected cardinalities 201
3600.05/3610.01 c weakened non-implied lits 12103881
3600.05/3610.01 c weakened non-implying lits 11176
3600.05/3610.01 c original variables 5363
3600.05/3610.01 c clausal propagations 333015190
3600.05/3610.01 c cardinality propagations 13959413
3600.05/3610.01 c watched propagations 26965689
3600.05/3610.01 c counting propagations 504485378
3600.05/3610.01 c watch lookups 37425458808
3600.05/3610.01 c watch backjump lookups 0
3600.05/3610.01 c watch checks 181007515686
3600.05/3610.01 c propagation checks 29720407313
3600.05/3610.01 c constraint additions 4430477826
3600.05/3610.01 c trail pops 887005864
3600.05/3610.01 c formula constraints 78527
3600.05/3610.01 c learned constraints 2198536
3600.05/3610.01 c bound constraints 0
3600.05/3610.01 c core-guided constraints 0
3600.05/3610.01 c encountered formula constraints 74850287
3600.05/3610.01 c encountered learned constraints 20491147
3600.05/3610.01 c encountered bound constraints 0
3600.05/3610.01 c encountered core-guided constraints 0
3600.05/3610.01 c LP total time 96.5894 s
3600.05/3610.01 c LP solve time 85.92 s
3600.05/3610.01 c LP constraints added 78884
3600.05/3610.01 c LP constraints removed 243
3600.05/3610.01 c LP pivots internal 219940
3600.05/3610.01 c LP pivots root 180819
3600.05/3610.01 c LP calls 754
3600.05/3610.01 c LP optimalities 65
3600.05/3610.01 c LP no pivot count 0
3600.05/3610.01 c LP infeasibilities 608
3600.05/3610.01 c LP valid Farkas constraints 608
3600.05/3610.01 c LP learned Farkas constraints 0
3600.05/3610.01 c LP basis resets 77
3600.05/3610.01 c LP cycling count 19
3600.05/3610.01 c LP singular count 50
3600.05/3610.01 c LP no primal count 0
3600.05/3610.01 c LP no farkas count 0
3600.05/3610.01 c LP other issue count 8
3600.05/3610.01 c LP Gomory cuts 68
3600.05/3610.01 c LP learned cuts 289
3600.05/3610.01 c LP deleted cuts 243
3600.05/3610.01 c LP encountered Gomory constraints 1207
3600.05/3610.01 c LP encountered Farkas constraints 34538
3600.05/3610.01 c LP encountered learned Farkas constraints 0
3600.05/3610.01 c CG auxiliary variables introduced 0
3600.05/3610.01 c CG solutions found 0
3600.05/3610.01 c CG cores constructed 0
3600.05/3610.01 c CG core cardinality constraints returned 0
3600.05/3610.01 c CG unit cores 0
3600.05/3610.01 c CG single cores 0
3600.05/3610.01 c CG blocks removed during cardinality reduction 0
3600.05/3610.01 c CG first core best 0
3600.05/3610.01 c CG decision core best 0
3600.05/3610.01 c CG core reduction tie 0
3600.05/3610.01 c CG core degree average 0.00
3600.05/3610.01 c CG core slack average 0.00
3600.05/3610.01 c CG core upper bound improvements 0
3600.05/3610.01 c STR number of successful calls 0
3600.05/3610.01 c STR number of unsuccessful calls 0
3600.05/3610.01 c STR number of inconclusive calls 0
3600.05/3610.01 c STR number of successful attempts 0
3600.05/3610.01 c STR number of unsuccessful attempts 0
3600.05/3610.01 c STR number of inconclusive attempts 0
3600.05/3610.01 c STR average degree increase per successful call inf
3600.05/3610.01 c STR average degree increase per successful attempt inf
3600.05/3610.01 c STR total number of conflicts for successful attempts 0
3600.05/3610.01 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.01 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.01 c STR average number of conflicts per successful attempt inf
3600.05/3610.01 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.01 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.01 c AVG.sumWPerc 28.59
3600.05/3610.01 c bigint constraints 0
3600.05/3610.01 s UNKNOWN
3600.05/3610.01 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: 63837 MiB (62148 MiB free)
memory of node 1: 64465 MiB (63094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545039-1753232794/watcher-4545039-1753232794 -o /tmp/evaluation-result-4545039-1753232794/solver-4545039-1753232794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753232791-164350 --watchdog 3760 run-dec-ls.sh HOME/instance-4545039-1753232794.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164490, runsolver pid=164487
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.99 3.16 3.77 5/253 164492
/proc/meminfo: memFree=128217452/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=59376 memory=14564 CPUtime=0.08 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 1403 0 0 0 5 3 0 0 20 0 1 0 238958269 60801024 3641 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 14844 3641 1984 1147 0 2271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63568 KiB
Current children cumulated memory: 17252 KiB
[startup+0.213839 s]*
/proc/loadavg: 1.99 3.16 3.77 5/253 164492
/proc/meminfo: memFree=128153908/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=63360 memory=18404 CPUtime=0.19 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 2467 0 0 0 13 6 0 0 20 0 1 0 238958269 64880640 4601 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 15840 4601 1984 1147 0 3267 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67552 KiB
Current children cumulated memory: 21092 KiB
[startup+0.313987 s]*
/proc/loadavg: 2.16 3.17 3.77 5/253 164492
/proc/meminfo: memFree=128064432/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=67372 memory=22008 CPUtime=0.29 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 3539 0 0 0 20 9 0 0 20 0 1 0 238958269 68988928 5502 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 16843 5502 1984 1147 0 4270 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71564 KiB
Current children cumulated memory: 24696 KiB
[startup+0.700326 s]
/proc/loadavg: 2.16 3.17 3.77 5/251 164492
/proc/meminfo: memFree=127905324/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=97956 memory=47128 CPUtime=0.66 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 9811 0 0 0 47 19 0 0 20 0 1 0 238958269 100306944 11782 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 24489 11782 2272 1147 0 11916 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 102148 KiB
Current children cumulated memory: 49816 KiB
[startup+1.5004 s]
/proc/loadavg: 2.16 3.17 3.77 5/257 164503
/proc/meminfo: memFree=127325476/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=190316 memory=120520 CPUtime=1.45 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 17830 0 0 0 121 24 0 0 20 0 1 0 238958269 194883584 30130 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 47579 30130 2304 1147 0 35006 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 194508 KiB
Current children cumulated memory: 123208 KiB
[startup+3.11315 s]
/proc/loadavg: 2.16 3.17 3.77 5/257 164503
/proc/meminfo: memFree=126957528/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=197456 memory=125000 CPUtime=3.06 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 18931 0 0 0 280 26 0 0 20 0 1 0 238958269 202194944 31250 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 49364 31250 2368 1147 0 36791 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 127688 KiB
[startup+6.30041 s]
/proc/loadavg: 2.30 3.19 3.77 5/257 164503
/proc/meminfo: memFree=125940340/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=197456 memory=128668 CPUtime=6.24 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 19318 0 0 0 596 28 0 0 20 0 1 0 238958269 202194944 32167 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 49364 32167 2368 1147 0 36791 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 131356 KiB
[startup+12.7004 s]
/proc/loadavg: 2.44 3.20 3.77 5/257 164503
/proc/meminfo: memFree=125933660/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=215536 memory=139136 CPUtime=12.62 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 20953 0 0 0 1229 33 0 0 20 0 1 0 238958269 220708864 34784 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 53884 34784 2368 1147 0 41311 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 219728 KiB
Current children cumulated memory: 141824 KiB
[startup+25.5004 s]
/proc/loadavg: 2.68 3.23 3.77 5/257 164503
/proc/meminfo: memFree=125957068/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=217996 memory=144132 CPUtime=25.39 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 21672 0 0 0 2498 41 0 0 20 0 1 0 238958269 223227904 36033 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 54499 36033 2368 1147 0 41926 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 222188 KiB
Current children cumulated memory: 146820 KiB
[startup+51.1133 s]
/proc/loadavg: 3.20 3.30 3.78 5/257 164504
/proc/meminfo: memFree=125925504/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=233052 memory=156900 CPUtime=50.92 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 22836 0 0 0 5035 57 0 0 20 0 1 0 238958269 238645248 39225 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 58263 39225 2368 1147 0 45690 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 237244 KiB
Current children cumulated memory: 159588 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 3.43 3.80 5/255 164506
/proc/meminfo: memFree=125819544/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=271836 memory=187148 CPUtime=101.95 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 26236 0 0 0 10106 89 0 0 20 0 1 0 238958269 278360064 46787 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 67959 46787 2464 1147 0 55386 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 276028 KiB
Current children cumulated memory: 189836 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.56 3.83 5/255 164553
/proc/meminfo: memFree=125239864/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=272532 memory=200176 CPUtime=161.77 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 26948 0 0 0 16054 123 0 0 20 0 1 0 238958269 279072768 50044 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 68133 50044 2464 1147 0 55560 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 276724 KiB
Current children cumulated memory: 202864 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.69 3.86 5/256 164556
/proc/meminfo: memFree=125214144/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=305128 memory=208212 CPUtime=221.57 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 27951 0 0 0 22005 152 0 0 20 0 1 0 238958269 312451072 52053 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 76282 52053 2464 1147 0 63709 0
Current children cumulated CPU time: 221.57 s
################
# More data... #
################
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.14 4.13 5/254 164692
/proc/meminfo: memFree=123457792/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3093.78 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49470 0 0 0 308363 1015 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 164693
/proc/meminfo: memFree=123452564/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3153.61 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49511 0 0 0 314333 1028 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/254 164695
/proc/meminfo: memFree=123453320/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3213.46 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49527 0 0 0 320304 1042 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/254 164711
/proc/meminfo: memFree=123459316/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3273.3 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49527 0 0 0 326271 1059 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/255 164714
/proc/meminfo: memFree=123445216/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3333.14 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49711 0 0 0 332241 1073 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/256 164721
/proc/meminfo: memFree=123431796/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3392.97 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49711 0 0 0 338208 1089 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/256 164723
/proc/meminfo: memFree=123438828/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3452.79 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49711 0 0 0 344179 1100 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/256 164725
/proc/meminfo: memFree=123431428/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3512.6 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49768 0 0 0 350146 1114 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/255 164727
/proc/meminfo: memFree=123423552/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3572.42 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49829 0 0 0 356116 1126 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.10 4.10 4.10 5/250 164749
/proc/meminfo: memFree=124661856/131382120 swapFree=33010416/33010684
[pid=164490] ppid=164487 vsize=4192 memory=2688 CPUtime=0 cores=1,3
/proc/164490/stat : 164490 (run-dec-ls.sh) S 164487 164490 164338 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 238958268 4292608 672 18446744073709551615 94887170863104 94887171757637 140724435002080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887171996688 94887172044432 94887176294400 140724435007845 140724435007971 140724435007971 140724435013575 0
/proc/164490/statm: 1048 672 640 219 0 110 0
[pid=164492] ppid=164490 vsize=921248 memory=786352 CPUtime=3600.05 cores=1,3
/proc/164492/stat : 164492 (roundingsat) R 164490 164490 164338 0 -1 4194304 49856 0 0 0 358875 1130 0 0 20 0 1 0 238958269 943357952 196588 18446744073709551615 4227072 8923433 140722395750160 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21458944 140722395752862 140722395752998 140722395752998 140722395758570 0
/proc/164492/statm: 230312 196588 2464 1147 0 217739 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 925440 KiB
Current children cumulated memory: 789040 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.02 s]
# the end of solver process 164490 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001746 s, system=0.0034 s
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 164492 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.76 s, system=11.3095 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): 3610.02
CPU time (s): 3600.07
CPU user time (s): 3588.76
CPU system time (s): 11.3095
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 925440
Max. memory (cumulated for all children) (KiB): 789040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.76
system time used= 11.3095
maximum resident set size= 786480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 1594
# summary of solver processes directly reported to runsolver:
# pid: 164490,164492
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.76
# total CPU system time (s): 11.3095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7709 second user time and 38.588 second system time
The end
Begin job on nodeC002 at 2025-07-23 03:06:35
IDJOB=4545039
IDBENCH=180696
IDSOLVER=3353
FILE ID=nodeC002/4545039-1753232794
RUNJOBID= nodeC002-1753232791-164350
SLURM_JOB_ID= 9687846
Free space on /tmp= 432280 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-53-24-1-mgd_c18.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545039-1753232794/watcher-4545039-1753232794 -o /tmp/evaluation-result-4545039-1753232794/solver-4545039-1753232794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753232791-164350 --watchdog 3760 run-dec-ls.sh HOME/instance-4545039-1753232794.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa4c4c17affaea5fdc372b8ff9588da4
RANDOM SEED=1896382980
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1297.002
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.221
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.017
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.237
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.746
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.907
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.236
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.720
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128265620 kB
MemAvailable: 129574496 kB
Buffers: 2128 kB
Cached: 2061056 kB
SwapCached: 28 kB
Active: 1446056 kB
Inactive: 952240 kB
Active(anon): 354936 kB
Inactive(anon): 6300 kB
Active(file): 1091120 kB
Inactive(file): 945940 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44228 kB
Writeback: 0 kB
AnonPages: 338316 kB
Mapped: 117400 kB
Shmem: 26124 kB
KReclaimable: 222888 kB
Slab: 314724 kB
SReclaimable: 222888 kB
SUnreclaim: 91836 kB
KernelStack: 4064 kB
PageTables: 3632 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 682400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 55296 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432216 MiB
End job on nodeC002 at 2025-07-23 04:06:45