0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.09/0.16 c [STEP] solving
0.09/0.16 c #variables 2046 #constraints 18944
0.09/0.16 c SMALL=int, LARGE=long long
0.09/0.16 c bounds - >= -2046 @ 0.096273
0.09/0.16 c stratification level: 0
0.27/0.39 c bounds - >= -560 @ 0.132515
0.27/0.39 c bounds - >= -559 @ 0.13695
0.27/0.39 c bounds - >= -558 @ 0.137591
0.27/0.39 c bounds - >= -557 @ 0.13819
0.27/0.39 c bounds - >= -556 @ 0.138772
0.27/0.39 c bounds - >= -555 @ 0.139372
0.27/0.39 c bounds - >= -554 @ 0.139966
0.27/0.39 c bounds - >= -553 @ 0.140568
0.27/0.39 c bounds - >= -552 @ 0.141177
0.27/0.39 c bounds - >= -551 @ 0.141789
0.27/0.39 c bounds - >= -550 @ 0.142387
0.27/0.39 c bounds - >= -549 @ 0.14298
0.27/0.39 c bounds - >= -548 @ 0.143603
0.27/0.39 c bounds - >= -547 @ 0.143681
0.27/0.39 c bounds - >= -546 @ 0.14407
0.27/0.39 c bounds - >= -545 @ 0.144533
0.27/0.39 c bounds - >= -544 @ 0.144655
0.27/0.39 c bounds - >= -543 @ 0.145011
0.27/0.39 c bounds - >= -542 @ 0.145641
0.27/0.39 c bounds - >= -541 @ 0.146495
0.27/0.39 c bounds - >= -540 @ 0.14752
0.27/0.39 c bounds - >= -539 @ 0.147671
0.27/0.39 c bounds - >= -538 @ 0.14859
0.27/0.39 c bounds - >= -537 @ 0.148998
0.27/0.39 c bounds - >= -536 @ 0.149958
0.27/0.39 c bounds - >= -535 @ 0.151095
0.27/0.39 c bounds - >= -534 @ 0.151651
0.27/0.39 c bounds - >= -533 @ 0.151651
0.27/0.39 c bounds - >= -532 @ 0.152642
0.27/0.39 c bounds - >= -531 @ 0.152642
0.27/0.39 c bounds - >= -530 @ 0.152642
0.27/0.39 c bounds - >= -529 @ 0.152642
0.27/0.39 c bounds - >= -528 @ 0.154603
0.27/0.39 c bounds - >= -527 @ 0.156097
0.27/0.39 c bounds - >= -526 @ 0.156934
0.27/0.39 c bounds - >= -525 @ 0.15758
0.27/0.39 c bounds - >= -524 @ 0.161083
0.27/0.39 c bounds - >= -523 @ 0.163062
0.27/0.39 c bounds - >= -522 @ 0.163555
0.27/0.39 c bounds - >= -521 @ 0.164121
0.27/0.39 c bounds - >= -520 @ 0.16488
0.27/0.39 c bounds - >= -519 @ 0.165867
0.27/0.39 c bounds - >= -518 @ 0.167278
0.27/0.39 c bounds - >= -517 @ 0.168854
0.27/0.39 c bounds - >= -516 @ 0.170605
0.27/0.39 c bounds - >= -515 @ 0.173284
0.27/0.39 c bounds - >= -514 @ 0.174936
0.27/0.39 c bounds - >= -513 @ 0.180189
0.27/0.39 c bounds - >= -512 @ 0.180796
0.27/0.39 c bounds - >= -511 @ 0.182739
0.27/0.39 c bounds - >= -510 @ 0.185947
0.27/0.39 c bounds - >= -509 @ 0.186149
0.27/0.39 c bounds - >= -508 @ 0.188607
0.27/0.39 c bounds - >= -507 @ 0.190449
0.27/0.39 c bounds - >= -506 @ 0.19151
0.27/0.39 c bounds - >= -505 @ 0.193837
0.27/0.39 c bounds - >= -504 @ 0.196075
0.27/0.39 c bounds - >= -503 @ 0.198067
0.27/0.39 c bounds - >= -502 @ 0.199059
0.27/0.39 c bounds - >= -501 @ 0.199059
0.27/0.39 c bounds - >= -500 @ 0.200053
0.27/0.39 c bounds - >= -499 @ 0.200319
0.27/0.39 c bounds - >= -498 @ 0.201047
0.27/0.39 c bounds - >= -497 @ 0.201047
0.27/0.39 c bounds - >= -496 @ 0.203026
0.27/0.39 c bounds - >= -495 @ 0.204558
0.27/0.39 c bounds - >= -494 @ 0.2068
0.27/0.39 c bounds - >= -493 @ 0.208396
0.27/0.39 c finalizing WCE round: reformulating cores
49.70/50.09 c bounds -242 >= -558 @ 0.218473
49.70/50.09 c #Conflicts: 1000 | #Constraints: 20571
49.70/50.09 c #Conflicts: 2000 | #Constraints: 21573
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 3000 | #Constraints: 21499
49.70/50.09 c #Conflicts: 4000 | #Constraints: 22501
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 5000 | #Constraints: 21923
49.70/50.09 c #Conflicts: 6000 | #Constraints: 22925
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 7000 | #Constraints: 21933
49.70/50.09 c #Conflicts: 8000 | #Constraints: 22935
49.70/50.09 c #Conflicts: 9000 | #Constraints: 23939
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 10000 | #Constraints: 22653
49.70/50.09 c #Conflicts: 11000 | #Constraints: 23655
49.70/50.09 c #Conflicts: 12000 | #Constraints: 24657
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 13000 | #Constraints: 23102
49.70/50.09 c #Conflicts: 14000 | #Constraints: 24104
49.70/50.09 c #Conflicts: 15000 | #Constraints: 25106
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 16000 | #Constraints: 23333
49.70/50.09 c #Conflicts: 17000 | #Constraints: 24335
49.70/50.09 c #Conflicts: 18000 | #Constraints: 25337
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 19000 | #Constraints: 23354
49.70/50.09 c bounds -251 >= -528 @ 14.0615
49.70/50.09 c #Conflicts: 20000 | #Constraints: 24358
49.70/50.09 c #Conflicts: 21000 | #Constraints: 25360
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 22000 | #Constraints: 23144
49.70/50.09 c #Conflicts: 23000 | #Constraints: 24146
49.70/50.09 c #Conflicts: 24000 | #Constraints: 25150
49.70/50.09 c #Conflicts: 25000 | #Constraints: 26152
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 26000 | #Constraints: 23768
49.70/50.09 c #Conflicts: 27000 | #Constraints: 24770
49.70/50.09 c #Conflicts: 28000 | #Constraints: 25772
49.70/50.09 c #Conflicts: 29000 | #Constraints: 26776
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 30000 | #Constraints: 24187
49.70/50.09 c #Conflicts: 31000 | #Constraints: 25189
49.70/50.09 c #Conflicts: 32000 | #Constraints: 26191
49.70/50.09 c #Conflicts: 33000 | #Constraints: 27195
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 34000 | #Constraints: 24409
49.70/50.09 c #Conflicts: 35000 | #Constraints: 25411
49.70/50.09 c #Conflicts: 36000 | #Constraints: 26413
49.70/50.09 c #Conflicts: 37000 | #Constraints: 27417
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 38000 | #Constraints: 24417
49.70/50.09 c #Conflicts: 39000 | #Constraints: 25419
49.70/50.09 c #Conflicts: 40000 | #Constraints: 26421
49.70/50.09 c #Conflicts: 41000 | #Constraints: 27425
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 42000 | #Constraints: 24223
49.70/50.09 c #Conflicts: 43000 | #Constraints: 25225
49.70/50.09 c #Conflicts: 44000 | #Constraints: 26229
49.70/50.09 c #Conflicts: 45000 | #Constraints: 27231
49.70/50.09 c #Conflicts: 46000 | #Constraints: 28233
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 47000 | #Constraints: 24842
49.70/50.09 c bounds -255 >= -491 @ 47.9678
49.70/50.09 c bounds -255 >= -490 @ 47.9706
49.70/50.09 c bounds -255 >= -489 @ 47.9725
49.70/50.09 c bounds -255 >= -488 @ 47.9768
49.70/50.09 c bounds -255 >= -487 @ 47.9802
49.70/50.09 c bounds -255 >= -486 @ 47.9911
49.70/50.09 c bounds -255 >= -485 @ 47.9954
49.70/50.09 c bounds -255 >= -484 @ 47.9988
49.70/50.09 c bounds -255 >= -483 @ 48.0029
49.70/50.09 c #Conflicts: 48000 | #Constraints: 25912
49.70/50.09 c #Conflicts: 49000 | #Constraints: 26912
49.70/50.09 c #Conflicts: 50000 | #Constraints: 27912
49.70/50.09 c #Conflicts: 51000 | #Constraints: 28912
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c #Conflicts: 52000 | #Constraints: 25336
49.70/50.09 c #Conflicts: 53000 | #Constraints: 26336
49.70/50.09 c #Conflicts: 54000 | #Constraints: 27336
49.70/50.09 c #Conflicts: 55000 | #Constraints: 28336
49.70/50.09 c bounds -255 >= -482 @ 49.0738
49.70/50.09 c bounds -255 >= -481 @ 49.0773
49.70/50.09 c bounds -255 >= -480 @ 49.0791
49.70/50.09 c bounds -255 >= -479 @ 49.081
49.70/50.09 c bounds -255 >= -478 @ 49.0818
49.70/50.09 c bounds -255 >= -477 @ 49.0835
49.70/50.09 c bounds -255 >= -476 @ 49.084
49.70/50.09 c #Conflicts: 56000 | #Constraints: 29421
49.70/50.09 c INPROCESSING
49.70/50.09 c GARBAGE COLLECT
49.70/50.09 c bounds -255 >= -475 @ 49.0923
49.70/50.09 c bounds -255 >= -474 @ 49.0948
49.70/50.09 c bounds -255 >= -473 @ 49.1199
50.29/50.61 c #Conflicts: 57000 | #Constraints: 25673
50.29/50.61 c #Conflicts: 58000 | #Constraints: 26673
50.29/50.61 c #Conflicts: 59000 | #Constraints: 27673
50.29/50.61 c #Conflicts: 60000 | #Constraints: 28673
50.29/50.61 c bounds -255 >= -472 @ 49.5509
50.29/50.61 c bounds -255 >= -471 @ 49.5557
50.29/50.61 c bounds -255 >= -470 @ 49.5569
50.29/50.61 c #Conflicts: 61000 | #Constraints: 29700
50.29/50.61 c bounds -255 >= -469 @ 49.559
50.29/50.61 c bounds -255 >= -468 @ 49.5603
50.29/50.61 c bounds -255 >= -467 @ 49.5615
50.29/50.61 c INPROCESSING
50.29/50.61 c GARBAGE COLLECT
50.29/50.61 c bounds -255 >= -466 @ 49.5777
50.29/50.61 c bounds -255 >= -465 @ 49.5779
50.29/50.61 c bounds -255 >= -464 @ 49.5779
50.29/50.61 c bounds -255 >= -463 @ 49.5789
50.29/50.61 c bounds -255 >= -462 @ 49.5855
50.29/50.61 c bounds -255 >= -461 @ 49.5877
50.29/50.61 c bounds -255 >= -460 @ 49.5898
50.29/50.61 c bounds -255 >= -459 @ 49.5909
50.29/50.61 c #Conflicts: 62000 | #Constraints: 25847
50.29/50.61 c bounds -255 >= -458 @ 49.5948
50.29/50.61 c bounds -255 >= -457 @ 49.5959
50.29/50.61 c finalizing WCE round: reformulating cores
83.80/84.21 c #Conflicts: 63000 | #Constraints: 26881
83.80/84.21 c #Conflicts: 64000 | #Constraints: 27883
83.80/84.21 c bounds -284 >= -485 @ 50.9778
83.80/84.21 c #Conflicts: 65000 | #Constraints: 28887
83.80/84.21 c #Conflicts: 66000 | #Constraints: 29889
83.80/84.21 c INPROCESSING
83.80/84.21 c GARBAGE COLLECT
83.80/84.21 c #Conflicts: 67000 | #Constraints: 25560
83.80/84.21 c #Conflicts: 68000 | #Constraints: 26562
83.80/84.21 c #Conflicts: 69000 | #Constraints: 27566
83.80/84.21 c #Conflicts: 70000 | #Constraints: 28568
83.80/84.21 c #Conflicts: 71000 | #Constraints: 29570
83.80/84.21 c #Conflicts: 72000 | #Constraints: 30574
83.80/84.21 c INPROCESSING
83.80/84.21 c GARBAGE COLLECT
83.80/84.21 c #Conflicts: 73000 | #Constraints: 26154
83.80/84.21 c #Conflicts: 74000 | #Constraints: 27156
83.80/84.21 c #Conflicts: 75000 | #Constraints: 28158
83.80/84.21 c bounds -284 >= -471 @ 57.2305
83.80/84.21 c #Conflicts: 76000 | #Constraints: 29162
83.80/84.21 c bounds -284 >= -468 @ 58.3631
83.80/84.21 c #Conflicts: 77000 | #Constraints: 30168
83.80/84.21 c #Conflicts: 78000 | #Constraints: 31170
83.80/84.21 c INPROCESSING
83.80/84.21 c GARBAGE COLLECT
83.80/84.21 c #Conflicts: 79000 | #Constraints: 26496
83.80/84.21 c #Conflicts: 80000 | #Constraints: 27498
83.80/84.21 c #Conflicts: 81000 | #Constraints: 28500
83.80/84.21 c #Conflicts: 82000 | #Constraints: 29504
83.80/84.21 c #Conflicts: 83000 | #Constraints: 30506
83.80/84.21 c #Conflicts: 84000 | #Constraints: 31508
83.80/84.21 c INPROCESSING
83.80/84.21 c GARBAGE COLLECT
83.80/84.21 c #Conflicts: 85000 | #Constraints: 26717
83.80/84.21 c #Conflicts: 86000 | #Constraints: 27719
83.80/84.21 c #Conflicts: 87000 | #Constraints: 28721
83.80/84.21 c #Conflicts: 88000 | #Constraints: 29725
83.80/84.21 c bounds -284 >= -454 @ 66.2171
83.80/84.21 c bounds -284 >= -453 @ 66.2274
83.80/84.21 c #Conflicts: 89000 | #Constraints: 30747
83.80/84.21 c bounds -284 >= -452 @ 66.3234
83.80/84.21 c bounds -284 >= -451 @ 66.3743
83.80/84.21 c #Conflicts: 90000 | #Constraints: 31791
83.80/84.21 c INPROCESSING
83.80/84.21 c GARBAGE COLLECT
83.80/84.21 c #Conflicts: 91000 | #Constraints: 26849
83.80/84.21 c #Conflicts: 92000 | #Constraints: 27849
83.80/84.21 c #Conflicts: 93000 | #Constraints: 28849
83.80/84.21 c #Conflicts: 94000 | #Constraints: 29849
83.80/84.22 c #Conflicts: 95000 | #Constraints: 30849
83.80/84.22 c #Conflicts: 96000 | #Constraints: 31849
83.80/84.22 c bounds -284 >= -450 @ 67.7296
83.80/84.22 c INPROCESSING
83.80/84.22 c GARBAGE COLLECT
83.80/84.22 c #Conflicts: 97000 | #Constraints: 26728
83.80/84.22 c #Conflicts: 98000 | #Constraints: 27728
83.80/84.22 c #Conflicts: 99000 | #Constraints: 28728
83.80/84.22 c #Conflicts: 100000 | #Constraints: 29728
83.80/84.22 c #Conflicts: 101000 | #Constraints: 30728
83.80/84.22 c #Conflicts: 102000 | #Constraints: 31728
83.80/84.22 c #Conflicts: 103000 | #Constraints: 32728
83.80/84.22 c INPROCESSING
83.80/84.22 c GARBAGE COLLECT
83.80/84.22 c #Conflicts: 104000 | #Constraints: 27343
83.80/84.22 c #Conflicts: 105000 | #Constraints: 28343
83.80/84.22 c #Conflicts: 106000 | #Constraints: 29343
83.80/84.22 c #Conflicts: 107000 | #Constraints: 30343
83.80/84.22 c #Conflicts: 108000 | #Constraints: 31343
83.80/84.22 c #Conflicts: 109000 | #Constraints: 32343
83.80/84.22 c #Conflicts: 110000 | #Constraints: 33343
83.80/84.22 c INPROCESSING
83.80/84.22 c GARBAGE COLLECT
83.80/84.22 c #Conflicts: 111000 | #Constraints: 27765
83.80/84.22 c #Conflicts: 112000 | #Constraints: 28765
83.80/84.22 c #Conflicts: 113000 | #Constraints: 29765
83.80/84.22 c #Conflicts: 114000 | #Constraints: 30765
83.80/84.22 c #Conflicts: 115000 | #Constraints: 31765
83.80/84.22 c #Conflicts: 116000 | #Constraints: 32765
83.80/84.22 c #Conflicts: 117000 | #Constraints: 33765
83.80/84.22 c #Conflicts: 118000 | #Constraints: 34765
83.80/84.22 c #Conflicts: 119000 | #Constraints: 35765
83.80/84.22 c #Conflicts: 120000 | #Constraints: 36765
83.80/84.22 c #Conflicts: 121000 | #Constraints: 37765
83.80/84.22 c #Conflicts: 122000 | #Constraints: 38765
83.80/84.22 c #Conflicts: 123000 | #Constraints: 39765
83.80/84.22 c #Conflicts: 124000 | #Constraints: 40765
83.80/84.22 c #Conflicts: 125000 | #Constraints: 41765
83.80/84.22 c #Conflicts: 126000 | #Constraints: 42765
83.80/84.22 c #Conflicts: 127000 | #Constraints: 43765
83.80/84.22 c #Conflicts: 128000 | #Constraints: 44765
83.80/84.22 c #Conflicts: 129000 | #Constraints: 45765
83.80/84.22 c #Conflicts: 130000 | #Constraints: 46765
83.80/84.22 c #Conflicts: 131000 | #Constraints: 47765
156.21/156.81 c #Conflicts: 132000 | #Constraints: 48765
156.21/156.81 c #Conflicts: 133000 | #Constraints: 49765
156.21/156.81 c #Conflicts: 134000 | #Constraints: 50765
156.21/156.81 c #Conflicts: 135000 | #Constraints: 51765
156.21/156.81 c #Conflicts: 136000 | #Constraints: 52765
156.21/156.81 c #Conflicts: 137000 | #Constraints: 53765
156.21/156.81 c #Conflicts: 138000 | #Constraints: 54765
156.21/156.81 c #Conflicts: 139000 | #Constraints: 55765
156.21/156.81 c #Conflicts: 140000 | #Constraints: 56765
156.21/156.81 c INPROCESSING
156.21/156.81 c GARBAGE COLLECT
156.21/156.81 c #Conflicts: 141000 | #Constraints: 39293
156.21/156.81 c #Conflicts: 142000 | #Constraints: 40293
156.21/156.81 c #Conflicts: 143000 | #Constraints: 41293
156.21/156.81 c #Conflicts: 144000 | #Constraints: 42293
156.21/156.81 c #Conflicts: 145000 | #Constraints: 43293
156.21/156.81 c #Conflicts: 146000 | #Constraints: 44293
156.21/156.81 c #Conflicts: 147000 | #Constraints: 45293
156.21/156.81 c #Conflicts: 148000 | #Constraints: 46293
156.21/156.81 c INPROCESSING
156.21/156.81 c GARBAGE COLLECT
156.21/156.81 c #Conflicts: 149000 | #Constraints: 33994
156.21/156.81 c #Conflicts: 150000 | #Constraints: 34994
156.21/156.81 c #Conflicts: 151000 | #Constraints: 35994
156.21/156.81 c #Conflicts: 152000 | #Constraints: 36994
156.21/156.81 c #Conflicts: 153000 | #Constraints: 37994
156.21/156.81 c #Conflicts: 154000 | #Constraints: 38994
156.21/156.81 c #Conflicts: 155000 | #Constraints: 39994
156.21/156.81 c #Conflicts: 156000 | #Constraints: 40994
156.21/156.81 c INPROCESSING
156.21/156.81 c GARBAGE COLLECT
156.21/156.81 c #Conflicts: 157000 | #Constraints: 31220
156.21/156.81 c #Conflicts: 158000 | #Constraints: 32220
156.21/156.81 c #Conflicts: 159000 | #Constraints: 33220
156.21/156.81 c #Conflicts: 160000 | #Constraints: 34220
156.21/156.81 c #Conflicts: 161000 | #Constraints: 35220
156.21/156.81 c #Conflicts: 162000 | #Constraints: 36220
156.21/156.81 c #Conflicts: 163000 | #Constraints: 37220
156.21/156.81 c #Conflicts: 164000 | #Constraints: 38220
156.21/156.81 c #Conflicts: 165000 | #Constraints: 39220
156.21/156.81 c INPROCESSING
156.21/156.81 c GARBAGE COLLECT
156.21/156.81 c #Conflicts: 166000 | #Constraints: 30572
156.21/156.81 c #Conflicts: 167000 | #Constraints: 31572
156.21/156.81 c #Conflicts: 168000 | #Constraints: 32572
156.21/156.81 c #Conflicts: 169000 | #Constraints: 33572
156.21/156.81 c #Conflicts: 170000 | #Constraints: 34572
156.21/156.81 c #Conflicts: 171000 | #Constraints: 35572
156.21/156.81 c #Conflicts: 172000 | #Constraints: 36572
156.21/156.81 c #Conflicts: 173000 | #Constraints: 37572
156.21/156.81 c #Conflicts: 174000 | #Constraints: 38572
156.21/156.81 c #Conflicts: 175000 | #Constraints: 39572
156.21/156.81 c #Conflicts: 176000 | #Constraints: 40572
156.21/156.81 c #Conflicts: 177000 | #Constraints: 41572
156.21/156.81 c #Conflicts: 178000 | #Constraints: 42572
156.21/156.81 c #Conflicts: 179000 | #Constraints: 43572
156.21/156.81 c #Conflicts: 180000 | #Constraints: 44572
156.21/156.81 c #Conflicts: 181000 | #Constraints: 45572
156.21/156.81 c #Conflicts: 182000 | #Constraints: 46572
156.21/156.81 c #Conflicts: 183000 | #Constraints: 47572
156.21/156.81 c #Conflicts: 184000 | #Constraints: 48572
156.21/156.81 c #Conflicts: 185000 | #Constraints: 49572
156.21/156.81 c #Conflicts: 186000 | #Constraints: 50572
156.21/156.81 c #Conflicts: 187000 | #Constraints: 51572
156.21/156.81 c #Conflicts: 188000 | #Constraints: 52572
156.21/156.81 c #Conflicts: 189000 | #Constraints: 53572
156.21/156.81 c #Conflicts: 190000 | #Constraints: 54572
156.21/156.81 c #Conflicts: 191000 | #Constraints: 55572
156.21/156.81 c #Conflicts: 192000 | #Constraints: 56572
156.21/156.81 c #Conflicts: 193000 | #Constraints: 57572
156.21/156.81 c #Conflicts: 194000 | #Constraints: 58572
156.21/156.81 c #Conflicts: 195000 | #Constraints: 59572
156.21/156.81 c #Conflicts: 196000 | #Constraints: 60572
156.21/156.81 c #Conflicts: 197000 | #Constraints: 61572
156.21/156.81 c #Conflicts: 198000 | #Constraints: 62572
156.21/156.81 c #Conflicts: 199000 | #Constraints: 63572
156.21/156.81 c #Conflicts: 200000 | #Constraints: 64572
156.21/156.81 c #Conflicts: 201000 | #Constraints: 65572
156.21/156.81 c INPROCESSING
156.21/156.81 c GARBAGE COLLECT
156.21/156.81 c #Conflicts: 202000 | #Constraints: 43898
156.21/156.81 c #Conflicts: 203000 | #Constraints: 44898
156.21/156.81 c #Conflicts: 204000 | #Constraints: 45898
156.21/156.81 c #Conflicts: 205000 | #Constraints: 46898
156.21/156.81 c #Conflicts: 206000 | #Constraints: 47898
156.21/156.81 c #Conflicts: 207000 | #Constraints: 48898
247.75/248.66 c #Conflicts: 208000 | #Constraints: 49898
247.75/248.66 c #Conflicts: 209000 | #Constraints: 50898
247.75/248.66 c #Conflicts: 210000 | #Constraints: 51898
247.75/248.66 c INPROCESSING
247.75/248.66 c GARBAGE COLLECT
247.75/248.66 c #Conflicts: 211000 | #Constraints: 36655
247.75/248.66 c #Conflicts: 212000 | #Constraints: 37655
247.75/248.66 c #Conflicts: 213000 | #Constraints: 38655
247.75/248.66 c #Conflicts: 214000 | #Constraints: 39655
247.75/248.66 c #Conflicts: 215000 | #Constraints: 40655
247.75/248.66 c #Conflicts: 216000 | #Constraints: 41655
247.75/248.66 c #Conflicts: 217000 | #Constraints: 42655
247.75/248.66 c #Conflicts: 218000 | #Constraints: 43655
247.75/248.66 c #Conflicts: 219000 | #Constraints: 44655
247.75/248.66 c #Conflicts: 220000 | #Constraints: 45655
247.75/248.66 c INPROCESSING
247.75/248.66 c GARBAGE COLLECT
247.75/248.66 c #Conflicts: 221000 | #Constraints: 33545
247.75/248.66 c #Conflicts: 222000 | #Constraints: 34545
247.75/248.66 c #Conflicts: 223000 | #Constraints: 35545
247.75/248.66 c #Conflicts: 224000 | #Constraints: 36545
247.75/248.66 c #Conflicts: 225000 | #Constraints: 37545
247.75/248.66 c #Conflicts: 226000 | #Constraints: 38545
247.75/248.66 c #Conflicts: 227000 | #Constraints: 39545
247.75/248.66 c #Conflicts: 228000 | #Constraints: 40545
247.75/248.66 c #Conflicts: 229000 | #Constraints: 41545
247.75/248.66 c #Conflicts: 230000 | #Constraints: 42545
247.75/248.66 c #Conflicts: 231000 | #Constraints: 43545
247.75/248.66 c INPROCESSING
247.75/248.66 c GARBAGE COLLECT
247.75/248.66 c #Conflicts: 232000 | #Constraints: 32883
247.75/248.66 c #Conflicts: 233000 | #Constraints: 33883
247.75/248.66 c #Conflicts: 234000 | #Constraints: 34883
247.75/248.66 c #Conflicts: 235000 | #Constraints: 35883
247.75/248.66 c #Conflicts: 236000 | #Constraints: 36883
247.75/248.66 c #Conflicts: 237000 | #Constraints: 37883
247.75/248.66 c #Conflicts: 238000 | #Constraints: 38883
247.75/248.66 c #Conflicts: 239000 | #Constraints: 39883
247.75/248.66 c #Conflicts: 240000 | #Constraints: 40883
247.75/248.66 c #Conflicts: 241000 | #Constraints: 41883
247.75/248.66 c #Conflicts: 242000 | #Constraints: 42883
247.75/248.66 c #Conflicts: 243000 | #Constraints: 43883
247.75/248.66 c #Conflicts: 244000 | #Constraints: 44883
247.75/248.66 c #Conflicts: 245000 | #Constraints: 45883
247.75/248.66 c #Conflicts: 246000 | #Constraints: 46883
247.75/248.66 c #Conflicts: 247000 | #Constraints: 47883
247.75/248.66 c #Conflicts: 248000 | #Constraints: 48883
247.75/248.66 c #Conflicts: 249000 | #Constraints: 49883
247.75/248.66 c #Conflicts: 250000 | #Constraints: 50883
247.75/248.66 c #Conflicts: 251000 | #Constraints: 51883
247.75/248.66 c #Conflicts: 252000 | #Constraints: 52883
247.75/248.66 c #Conflicts: 253000 | #Constraints: 53883
247.75/248.66 c #Conflicts: 254000 | #Constraints: 54883
247.75/248.66 c #Conflicts: 255000 | #Constraints: 55883
247.75/248.66 c #Conflicts: 256000 | #Constraints: 56883
247.75/248.66 c #Conflicts: 257000 | #Constraints: 57883
247.75/248.66 c #Conflicts: 258000 | #Constraints: 58883
247.75/248.66 c #Conflicts: 259000 | #Constraints: 59883
247.75/248.66 c #Conflicts: 260000 | #Constraints: 60883
247.75/248.66 c #Conflicts: 261000 | #Constraints: 61883
247.75/248.66 c #Conflicts: 262000 | #Constraints: 62883
247.75/248.66 c #Conflicts: 263000 | #Constraints: 63883
247.75/248.66 c #Conflicts: 264000 | #Constraints: 64883
247.75/248.66 c #Conflicts: 265000 | #Constraints: 65883
247.75/248.66 c #Conflicts: 266000 | #Constraints: 66883
247.75/248.66 c #Conflicts: 267000 | #Constraints: 67883
247.75/248.66 c #Conflicts: 268000 | #Constraints: 68883
247.75/248.66 c #Conflicts: 269000 | #Constraints: 69883
247.75/248.66 c #Conflicts: 270000 | #Constraints: 70883
247.75/248.66 c #Conflicts: 271000 | #Constraints: 71883
247.75/248.66 c #Conflicts: 272000 | #Constraints: 72883
247.75/248.66 c INPROCESSING
247.75/248.66 c GARBAGE COLLECT
247.75/248.66 c #Conflicts: 273000 | #Constraints: 47575
247.75/248.66 c #Conflicts: 274000 | #Constraints: 48575
247.75/248.66 c #Conflicts: 275000 | #Constraints: 49575
247.75/248.66 c #Conflicts: 276000 | #Constraints: 50575
247.75/248.66 c #Conflicts: 277000 | #Constraints: 51575
247.75/248.66 c #Conflicts: 278000 | #Constraints: 52575
247.75/248.66 c #Conflicts: 279000 | #Constraints: 53575
247.75/248.66 c #Conflicts: 280000 | #Constraints: 54575
247.75/248.66 c #Conflicts: 281000 | #Constraints: 55575
247.75/248.66 c #Conflicts: 282000 | #Constraints: 56575
247.75/248.66 c #Conflicts: 283000 | #Constraints: 57575
357.05/358.25 c INPROCESSING
357.05/358.25 c GARBAGE COLLECT
357.05/358.25 c #Conflicts: 284000 | #Constraints: 39663
357.05/358.25 c #Conflicts: 285000 | #Constraints: 40663
357.05/358.25 c #Conflicts: 286000 | #Constraints: 41663
357.05/358.25 c #Conflicts: 287000 | #Constraints: 42663
357.05/358.25 c #Conflicts: 288000 | #Constraints: 43663
357.05/358.25 c #Conflicts: 289000 | #Constraints: 44663
357.05/358.25 c #Conflicts: 290000 | #Constraints: 45663
357.05/358.25 c #Conflicts: 291000 | #Constraints: 46663
357.05/358.25 c #Conflicts: 292000 | #Constraints: 47663
357.05/358.25 c #Conflicts: 293000 | #Constraints: 48663
357.05/358.25 c #Conflicts: 294000 | #Constraints: 49663
357.05/358.25 c #Conflicts: 295000 | #Constraints: 50663
357.05/358.25 c INPROCESSING
357.05/358.25 c GARBAGE COLLECT
357.05/358.25 c #Conflicts: 296000 | #Constraints: 36366
357.05/358.25 c #Conflicts: 297000 | #Constraints: 37366
357.05/358.25 c #Conflicts: 298000 | #Constraints: 38366
357.05/358.25 c #Conflicts: 299000 | #Constraints: 39366
357.05/358.25 c #Conflicts: 300000 | #Constraints: 40366
357.05/358.25 c #Conflicts: 301000 | #Constraints: 41366
357.05/358.25 c #Conflicts: 302000 | #Constraints: 42366
357.05/358.25 c #Conflicts: 303000 | #Constraints: 43366
357.05/358.25 c #Conflicts: 304000 | #Constraints: 44366
357.05/358.25 c #Conflicts: 305000 | #Constraints: 45366
357.05/358.25 c #Conflicts: 306000 | #Constraints: 46366
357.05/358.25 c #Conflicts: 307000 | #Constraints: 47366
357.05/358.25 c INPROCESSING
357.05/358.25 c GARBAGE COLLECT
357.05/358.25 c #Conflicts: 308000 | #Constraints: 34752
357.05/358.25 c #Conflicts: 309000 | #Constraints: 35752
357.05/358.25 c #Conflicts: 310000 | #Constraints: 36752
357.05/358.25 c #Conflicts: 311000 | #Constraints: 37752
357.05/358.25 c #Conflicts: 312000 | #Constraints: 38752
357.05/358.25 c #Conflicts: 313000 | #Constraints: 39752
357.05/358.25 c #Conflicts: 314000 | #Constraints: 40752
357.05/358.25 c #Conflicts: 315000 | #Constraints: 41752
357.05/358.25 c #Conflicts: 316000 | #Constraints: 42752
357.05/358.25 c #Conflicts: 317000 | #Constraints: 43752
357.05/358.25 c #Conflicts: 318000 | #Constraints: 44752
357.05/358.25 c #Conflicts: 319000 | #Constraints: 45752
357.05/358.25 c #Conflicts: 320000 | #Constraints: 46752
357.05/358.25 c #Conflicts: 321000 | #Constraints: 47752
357.05/358.25 c #Conflicts: 322000 | #Constraints: 48752
357.05/358.25 c #Conflicts: 323000 | #Constraints: 49752
357.05/358.25 c #Conflicts: 324000 | #Constraints: 50752
357.05/358.25 c #Conflicts: 325000 | #Constraints: 51752
357.05/358.25 c #Conflicts: 326000 | #Constraints: 52752
357.05/358.25 c #Conflicts: 327000 | #Constraints: 53752
357.05/358.25 c #Conflicts: 328000 | #Constraints: 54752
357.05/358.25 c #Conflicts: 329000 | #Constraints: 55752
357.05/358.25 c #Conflicts: 330000 | #Constraints: 56752
357.05/358.25 c #Conflicts: 331000 | #Constraints: 57752
357.05/358.25 c #Conflicts: 332000 | #Constraints: 58752
357.05/358.25 c #Conflicts: 333000 | #Constraints: 59752
357.05/358.25 c #Conflicts: 334000 | #Constraints: 60752
357.05/358.25 c #Conflicts: 335000 | #Constraints: 61752
357.05/358.25 c #Conflicts: 336000 | #Constraints: 62752
357.05/358.25 c #Conflicts: 337000 | #Constraints: 63752
357.05/358.25 c #Conflicts: 338000 | #Constraints: 64752
357.05/358.25 c #Conflicts: 339000 | #Constraints: 65752
357.05/358.25 c #Conflicts: 340000 | #Constraints: 66752
357.05/358.25 c #Conflicts: 341000 | #Constraints: 67752
357.05/358.25 c #Conflicts: 342000 | #Constraints: 68752
357.05/358.25 c #Conflicts: 343000 | #Constraints: 69752
357.05/358.25 c #Conflicts: 344000 | #Constraints: 70752
357.05/358.25 c #Conflicts: 345000 | #Constraints: 71752
357.05/358.25 c #Conflicts: 346000 | #Constraints: 72752
357.05/358.25 c #Conflicts: 347000 | #Constraints: 73752
357.05/358.25 c #Conflicts: 348000 | #Constraints: 74752
357.05/358.25 c #Conflicts: 349000 | #Constraints: 75752
357.05/358.25 c #Conflicts: 350000 | #Constraints: 76752
357.05/358.25 c #Conflicts: 351000 | #Constraints: 77752
357.05/358.25 c #Conflicts: 352000 | #Constraints: 78752
357.05/358.25 c #Conflicts: 353000 | #Constraints: 79752
357.05/358.25 c INPROCESSING
357.05/358.25 c GARBAGE COLLECT
357.05/358.25 c #Conflicts: 354000 | #Constraints: 50808
357.05/358.25 c #Conflicts: 355000 | #Constraints: 51808
357.05/358.25 c #Conflicts: 356000 | #Constraints: 52808
357.05/358.25 c #Conflicts: 357000 | #Constraints: 53808
357.05/358.25 c #Conflicts: 358000 | #Constraints: 54808
357.05/358.25 c #Conflicts: 359000 | #Constraints: 55808
479.70/481.25 c #Conflicts: 360000 | #Constraints: 56808
479.70/481.25 c #Conflicts: 361000 | #Constraints: 57808
479.70/481.25 c #Conflicts: 362000 | #Constraints: 58808
479.70/481.25 c #Conflicts: 363000 | #Constraints: 59808
479.70/481.25 c #Conflicts: 364000 | #Constraints: 60808
479.70/481.25 c #Conflicts: 365000 | #Constraints: 61808
479.70/481.25 c #Conflicts: 366000 | #Constraints: 62808
479.70/481.25 c INPROCESSING
479.70/481.25 c GARBAGE COLLECT
479.70/481.25 c #Conflicts: 367000 | #Constraints: 42210
479.70/481.25 c #Conflicts: 368000 | #Constraints: 43210
479.70/481.25 c #Conflicts: 369000 | #Constraints: 44210
479.70/481.25 c #Conflicts: 370000 | #Constraints: 45210
479.70/481.25 c #Conflicts: 371000 | #Constraints: 46210
479.70/481.25 c #Conflicts: 372000 | #Constraints: 47210
479.70/481.25 c #Conflicts: 373000 | #Constraints: 48210
479.70/481.25 c #Conflicts: 374000 | #Constraints: 49210
479.70/481.25 c #Conflicts: 375000 | #Constraints: 50210
479.70/481.25 c #Conflicts: 376000 | #Constraints: 51210
479.70/481.25 c #Conflicts: 377000 | #Constraints: 52210
479.70/481.25 c #Conflicts: 378000 | #Constraints: 53210
479.70/481.25 c #Conflicts: 379000 | #Constraints: 54210
479.70/481.25 c #Conflicts: 380000 | #Constraints: 55210
479.70/481.25 c INPROCESSING
479.70/481.25 c GARBAGE COLLECT
479.70/481.25 c #Conflicts: 381000 | #Constraints: 38724
479.70/481.25 c #Conflicts: 382000 | #Constraints: 39724
479.70/481.25 c #Conflicts: 383000 | #Constraints: 40724
479.70/481.25 c #Conflicts: 384000 | #Constraints: 41724
479.70/481.25 c #Conflicts: 385000 | #Constraints: 42724
479.70/481.25 c #Conflicts: 386000 | #Constraints: 43724
479.70/481.25 c #Conflicts: 387000 | #Constraints: 44724
479.70/481.25 c #Conflicts: 388000 | #Constraints: 45724
479.70/481.25 c #Conflicts: 389000 | #Constraints: 46724
479.70/481.25 c #Conflicts: 390000 | #Constraints: 47724
479.70/481.25 c #Conflicts: 391000 | #Constraints: 48724
479.70/481.25 c #Conflicts: 392000 | #Constraints: 49724
479.70/481.25 c #Conflicts: 393000 | #Constraints: 50724
479.70/481.25 c INPROCESSING
479.70/481.25 c GARBAGE COLLECT
479.70/481.25 c #Conflicts: 394000 | #Constraints: 36168
479.70/481.25 c #Conflicts: 395000 | #Constraints: 37168
479.70/481.25 c #Conflicts: 396000 | #Constraints: 38168
479.70/481.25 c #Conflicts: 397000 | #Constraints: 39168
479.70/481.25 c #Conflicts: 398000 | #Constraints: 40168
479.70/481.25 c #Conflicts: 399000 | #Constraints: 41168
479.70/481.25 c #Conflicts: 400000 | #Constraints: 42168
479.70/481.25 c #Conflicts: 401000 | #Constraints: 43168
479.70/481.25 c #Conflicts: 402000 | #Constraints: 44168
479.70/481.25 c #Conflicts: 403000 | #Constraints: 45168
479.70/481.25 c #Conflicts: 404000 | #Constraints: 46168
479.70/481.25 c #Conflicts: 405000 | #Constraints: 47168
479.70/481.25 c #Conflicts: 406000 | #Constraints: 48168
479.70/481.25 c #Conflicts: 407000 | #Constraints: 49168
479.70/481.25 c #Conflicts: 408000 | #Constraints: 50168
479.70/481.25 c #Conflicts: 409000 | #Constraints: 51168
479.70/481.25 c #Conflicts: 410000 | #Constraints: 52168
479.70/481.25 c #Conflicts: 411000 | #Constraints: 53168
479.70/481.25 c #Conflicts: 412000 | #Constraints: 54168
479.70/481.25 c #Conflicts: 413000 | #Constraints: 55168
479.70/481.25 c #Conflicts: 414000 | #Constraints: 56168
479.70/481.25 c #Conflicts: 415000 | #Constraints: 57168
479.70/481.25 c #Conflicts: 416000 | #Constraints: 58168
479.70/481.25 c #Conflicts: 417000 | #Constraints: 59168
479.70/481.25 c #Conflicts: 418000 | #Constraints: 60168
479.70/481.25 c #Conflicts: 419000 | #Constraints: 61168
479.70/481.25 c #Conflicts: 420000 | #Constraints: 62168
479.70/481.25 c #Conflicts: 421000 | #Constraints: 63168
479.70/481.25 c #Conflicts: 422000 | #Constraints: 64168
479.70/481.25 c #Conflicts: 423000 | #Constraints: 65168
479.70/481.25 c #Conflicts: 424000 | #Constraints: 66168
479.70/481.25 c #Conflicts: 425000 | #Constraints: 67168
479.70/481.25 c #Conflicts: 426000 | #Constraints: 68168
479.70/481.25 c #Conflicts: 427000 | #Constraints: 69168
479.70/481.25 c #Conflicts: 428000 | #Constraints: 70168
479.70/481.25 c #Conflicts: 429000 | #Constraints: 71168
479.70/481.25 c #Conflicts: 430000 | #Constraints: 72168
479.70/481.25 c #Conflicts: 431000 | #Constraints: 73168
479.70/481.25 c #Conflicts: 432000 | #Constraints: 74168
479.70/481.25 c #Conflicts: 433000 | #Constraints: 75168
479.70/481.25 c #Conflicts: 434000 | #Constraints: 76168
479.70/481.25 c #Conflicts: 435000 | #Constraints: 77168
479.70/481.25 c #Conflicts: 436000 | #Constraints: 78168
620.20/622.18 c #Conflicts: 437000 | #Constraints: 79168
620.20/622.18 c #Conflicts: 438000 | #Constraints: 80168
620.20/622.18 c #Conflicts: 439000 | #Constraints: 81168
620.20/622.18 c #Conflicts: 440000 | #Constraints: 82168
620.20/622.18 c #Conflicts: 441000 | #Constraints: 83168
620.20/622.18 c #Conflicts: 442000 | #Constraints: 84168
620.20/622.18 c #Conflicts: 443000 | #Constraints: 85168
620.20/622.18 c #Conflicts: 444000 | #Constraints: 86168
620.20/622.18 c #Conflicts: 445000 | #Constraints: 87168
620.20/622.18 c INPROCESSING
620.20/622.18 c GARBAGE COLLECT
620.20/622.18 c #Conflicts: 446000 | #Constraints: 54601
620.20/622.18 c #Conflicts: 447000 | #Constraints: 55601
620.20/622.18 c #Conflicts: 448000 | #Constraints: 56601
620.20/622.18 c #Conflicts: 449000 | #Constraints: 57601
620.20/622.18 c #Conflicts: 450000 | #Constraints: 58601
620.20/622.18 c #Conflicts: 451000 | #Constraints: 59601
620.20/622.18 c #Conflicts: 452000 | #Constraints: 60601
620.20/622.18 c #Conflicts: 453000 | #Constraints: 61601
620.20/622.18 c #Conflicts: 454000 | #Constraints: 62601
620.20/622.18 c #Conflicts: 455000 | #Constraints: 63601
620.20/622.18 c #Conflicts: 456000 | #Constraints: 64601
620.20/622.18 c #Conflicts: 457000 | #Constraints: 65601
620.20/622.18 c #Conflicts: 458000 | #Constraints: 66601
620.20/622.18 c #Conflicts: 459000 | #Constraints: 67601
620.20/622.18 c #Conflicts: 460000 | #Constraints: 68601
620.20/622.18 c INPROCESSING
620.20/622.18 c GARBAGE COLLECT
620.20/622.18 c #Conflicts: 461000 | #Constraints: 45358
620.20/622.18 c #Conflicts: 462000 | #Constraints: 46358
620.20/622.18 c #Conflicts: 463000 | #Constraints: 47358
620.20/622.18 c #Conflicts: 464000 | #Constraints: 48358
620.20/622.18 c #Conflicts: 465000 | #Constraints: 49358
620.20/622.18 c #Conflicts: 466000 | #Constraints: 50358
620.20/622.18 c #Conflicts: 467000 | #Constraints: 51358
620.20/622.18 c #Conflicts: 468000 | #Constraints: 52358
620.20/622.18 c #Conflicts: 469000 | #Constraints: 53358
620.20/622.18 c #Conflicts: 470000 | #Constraints: 54358
620.20/622.18 c #Conflicts: 471000 | #Constraints: 55358
620.20/622.18 c #Conflicts: 472000 | #Constraints: 56358
620.20/622.18 c #Conflicts: 473000 | #Constraints: 57358
620.20/622.18 c #Conflicts: 474000 | #Constraints: 58358
620.20/622.18 c #Conflicts: 475000 | #Constraints: 59358
620.20/622.18 c INPROCESSING
620.20/622.18 c GARBAGE COLLECT
620.20/622.18 c #Conflicts: 476000 | #Constraints: 40704
620.20/622.18 c #Conflicts: 477000 | #Constraints: 41704
620.20/622.18 c #Conflicts: 478000 | #Constraints: 42704
620.20/622.18 c #Conflicts: 479000 | #Constraints: 43704
620.20/622.18 c #Conflicts: 480000 | #Constraints: 44704
620.20/622.18 c #Conflicts: 481000 | #Constraints: 45704
620.20/622.18 c #Conflicts: 482000 | #Constraints: 46704
620.20/622.18 c #Conflicts: 483000 | #Constraints: 47704
620.20/622.18 c #Conflicts: 484000 | #Constraints: 48704
620.20/622.18 c #Conflicts: 485000 | #Constraints: 49704
620.20/622.18 c #Conflicts: 486000 | #Constraints: 50704
620.20/622.18 c #Conflicts: 487000 | #Constraints: 51704
620.20/622.18 c #Conflicts: 488000 | #Constraints: 52704
620.20/622.18 c #Conflicts: 489000 | #Constraints: 53704
620.20/622.18 c #Conflicts: 490000 | #Constraints: 54704
620.20/622.18 c INPROCESSING
620.20/622.18 c GARBAGE COLLECT
620.20/622.18 c #Conflicts: 491000 | #Constraints: 38225
620.20/622.18 c #Conflicts: 492000 | #Constraints: 39225
620.20/622.18 c #Conflicts: 493000 | #Constraints: 40225
620.20/622.18 c #Conflicts: 494000 | #Constraints: 41225
620.20/622.18 c #Conflicts: 495000 | #Constraints: 42225
620.20/622.18 c #Conflicts: 496000 | #Constraints: 43225
620.20/622.18 c #Conflicts: 497000 | #Constraints: 44225
620.20/622.18 c #Conflicts: 498000 | #Constraints: 45225
620.20/622.18 c #Conflicts: 499000 | #Constraints: 46225
620.20/622.18 c #Conflicts: 500000 | #Constraints: 47225
620.20/622.18 c #Conflicts: 501000 | #Constraints: 48225
620.20/622.18 c #Conflicts: 502000 | #Constraints: 49225
620.20/622.18 c #Conflicts: 503000 | #Constraints: 50225
620.20/622.18 c #Conflicts: 504000 | #Constraints: 51225
620.20/622.18 c #Conflicts: 505000 | #Constraints: 52225
620.20/622.18 c #Conflicts: 506000 | #Constraints: 53225
620.20/622.18 c #Conflicts: 507000 | #Constraints: 54225
620.20/622.18 c #Conflicts: 508000 | #Constraints: 55225
620.20/622.18 c #Conflicts: 509000 | #Constraints: 56225
620.20/622.18 c #Conflicts: 510000 | #Constraints: 57225
620.20/622.18 c #Conflicts: 511000 | #Constraints: 58225
620.20/622.18 c #Conflicts: 512000 | #Constraints: 59225
824.20/826.71 c #Conflicts: 513000 | #Constraints: 60225
824.20/826.71 c #Conflicts: 514000 | #Constraints: 61225
824.20/826.71 c #Conflicts: 515000 | #Constraints: 62225
824.20/826.71 c #Conflicts: 516000 | #Constraints: 63225
824.20/826.71 c #Conflicts: 517000 | #Constraints: 64225
824.20/826.71 c #Conflicts: 518000 | #Constraints: 65225
824.20/826.71 c #Conflicts: 519000 | #Constraints: 66225
824.20/826.71 c #Conflicts: 520000 | #Constraints: 67225
824.20/826.71 c #Conflicts: 521000 | #Constraints: 68225
824.20/826.71 c #Conflicts: 522000 | #Constraints: 69225
824.20/826.71 c #Conflicts: 523000 | #Constraints: 70225
824.20/826.71 c #Conflicts: 524000 | #Constraints: 71225
824.20/826.71 c #Conflicts: 525000 | #Constraints: 72225
824.20/826.71 c #Conflicts: 526000 | #Constraints: 73225
824.20/826.71 c #Conflicts: 527000 | #Constraints: 74225
824.20/826.71 c #Conflicts: 528000 | #Constraints: 75225
824.20/826.71 c #Conflicts: 529000 | #Constraints: 76225
824.20/826.71 c #Conflicts: 530000 | #Constraints: 77225
824.20/826.71 c #Conflicts: 531000 | #Constraints: 78225
824.20/826.71 c #Conflicts: 532000 | #Constraints: 79225
824.20/826.71 c #Conflicts: 533000 | #Constraints: 80225
824.20/826.71 c #Conflicts: 534000 | #Constraints: 81225
824.20/826.71 c #Conflicts: 535000 | #Constraints: 82225
824.20/826.71 c #Conflicts: 536000 | #Constraints: 83225
824.20/826.71 c #Conflicts: 537000 | #Constraints: 84225
824.20/826.71 c #Conflicts: 538000 | #Constraints: 85225
824.20/826.71 c #Conflicts: 539000 | #Constraints: 86225
824.20/826.71 c #Conflicts: 540000 | #Constraints: 87225
824.20/826.71 c #Conflicts: 541000 | #Constraints: 88225
824.20/826.71 c #Conflicts: 542000 | #Constraints: 89225
824.20/826.71 c #Conflicts: 543000 | #Constraints: 90225
824.20/826.71 c #Conflicts: 544000 | #Constraints: 91225
824.20/826.71 c #Conflicts: 545000 | #Constraints: 92225
824.20/826.71 c #Conflicts: 546000 | #Constraints: 93225
824.20/826.71 c #Conflicts: 547000 | #Constraints: 94225
824.20/826.71 c INPROCESSING
824.20/826.71 c GARBAGE COLLECT
824.20/826.71 c #Conflicts: 548000 | #Constraints: 58036
824.20/826.71 c #Conflicts: 549000 | #Constraints: 59036
824.20/826.71 c #Conflicts: 550000 | #Constraints: 60036
824.20/826.71 c #Conflicts: 551000 | #Constraints: 61036
824.20/826.71 c #Conflicts: 552000 | #Constraints: 62036
824.20/826.71 c #Conflicts: 553000 | #Constraints: 63036
824.20/826.71 c #Conflicts: 554000 | #Constraints: 64036
824.20/826.71 c #Conflicts: 555000 | #Constraints: 65036
824.20/826.71 c #Conflicts: 556000 | #Constraints: 66036
824.20/826.71 c #Conflicts: 557000 | #Constraints: 67036
824.20/826.71 c #Conflicts: 558000 | #Constraints: 68036
824.20/826.71 c #Conflicts: 559000 | #Constraints: 69036
824.20/826.71 c #Conflicts: 560000 | #Constraints: 70036
824.20/826.71 c #Conflicts: 561000 | #Constraints: 71036
824.20/826.71 c #Conflicts: 562000 | #Constraints: 72036
824.20/826.71 c #Conflicts: 563000 | #Constraints: 73036
824.20/826.71 c #Conflicts: 564000 | #Constraints: 74036
824.20/826.71 c INPROCESSING
824.20/826.71 c GARBAGE COLLECT
824.20/826.71 c #Conflicts: 565000 | #Constraints: 48146
824.20/826.71 c #Conflicts: 566000 | #Constraints: 49146
824.20/826.71 c #Conflicts: 567000 | #Constraints: 50146
824.20/826.71 c #Conflicts: 568000 | #Constraints: 51146
824.20/826.71 c #Conflicts: 569000 | #Constraints: 52146
824.20/826.71 c #Conflicts: 570000 | #Constraints: 53146
824.20/826.71 c #Conflicts: 571000 | #Constraints: 54146
824.20/826.71 c #Conflicts: 572000 | #Constraints: 55146
824.20/826.71 c #Conflicts: 573000 | #Constraints: 56146
824.20/826.71 c #Conflicts: 574000 | #Constraints: 57146
824.20/826.71 c #Conflicts: 575000 | #Constraints: 58146
824.20/826.71 c #Conflicts: 576000 | #Constraints: 59146
824.20/826.71 c #Conflicts: 577000 | #Constraints: 60146
824.20/826.71 c #Conflicts: 578000 | #Constraints: 61146
824.20/826.71 c #Conflicts: 579000 | #Constraints: 62146
824.20/826.71 c #Conflicts: 580000 | #Constraints: 63146
824.20/826.71 c INPROCESSING
824.20/826.71 c GARBAGE COLLECT
824.20/826.71 c #Conflicts: 581000 | #Constraints: 42290
824.20/826.71 c #Conflicts: 582000 | #Constraints: 43290
824.20/826.71 c #Conflicts: 583000 | #Constraints: 44290
824.20/826.71 c #Conflicts: 584000 | #Constraints: 45290
824.20/826.71 c #Conflicts: 585000 | #Constraints: 46290
824.20/826.71 c #Conflicts: 586000 | #Constraints: 47290
824.20/826.71 c #Conflicts: 587000 | #Constraints: 48290
824.20/826.71 c #Conflicts: 588000 | #Constraints: 49290
824.20/826.71 c #Conflicts: 589000 | #Constraints: 50290
979.65/982.67 c #Conflicts: 590000 | #Constraints: 51290
979.65/982.67 c #Conflicts: 591000 | #Constraints: 52290
979.65/982.67 c #Conflicts: 592000 | #Constraints: 53290
979.65/982.67 c #Conflicts: 593000 | #Constraints: 54290
979.65/982.67 c #Conflicts: 594000 | #Constraints: 55290
979.65/982.67 c #Conflicts: 595000 | #Constraints: 56290
979.65/982.67 c #Conflicts: 596000 | #Constraints: 57290
979.65/982.67 c #Conflicts: 597000 | #Constraints: 58290
979.65/982.67 c INPROCESSING
979.65/982.67 c GARBAGE COLLECT
979.65/982.67 c #Conflicts: 598000 | #Constraints: 39869
979.65/982.67 c #Conflicts: 599000 | #Constraints: 40869
979.65/982.67 c #Conflicts: 600000 | #Constraints: 41869
979.65/982.67 c #Conflicts: 601000 | #Constraints: 42869
979.65/982.67 c #Conflicts: 602000 | #Constraints: 43869
979.65/982.67 c #Conflicts: 603000 | #Constraints: 44869
979.65/982.67 c #Conflicts: 604000 | #Constraints: 45869
979.65/982.67 c #Conflicts: 605000 | #Constraints: 46869
979.65/982.67 c #Conflicts: 606000 | #Constraints: 47869
979.65/982.67 c #Conflicts: 607000 | #Constraints: 48869
979.65/982.67 c #Conflicts: 608000 | #Constraints: 49869
979.65/982.67 c #Conflicts: 609000 | #Constraints: 50869
979.65/982.67 c #Conflicts: 610000 | #Constraints: 51869
979.65/982.67 c #Conflicts: 611000 | #Constraints: 52869
979.65/982.67 c #Conflicts: 612000 | #Constraints: 53869
979.65/982.67 c #Conflicts: 613000 | #Constraints: 54869
979.65/982.67 c #Conflicts: 614000 | #Constraints: 55869
979.65/982.67 c #Conflicts: 615000 | #Constraints: 56869
979.65/982.67 c INPROCESSING
979.65/982.67 c GARBAGE COLLECT
979.65/982.67 c #Conflicts: 616000 | #Constraints: 39557
979.65/982.67 c #Conflicts: 617000 | #Constraints: 40557
979.65/982.67 c #Conflicts: 618000 | #Constraints: 41557
979.65/982.67 c #Conflicts: 619000 | #Constraints: 42557
979.65/982.67 c #Conflicts: 620000 | #Constraints: 43557
979.65/982.67 c #Conflicts: 621000 | #Constraints: 44557
979.65/982.67 c #Conflicts: 622000 | #Constraints: 45557
979.65/982.67 c #Conflicts: 623000 | #Constraints: 46557
979.65/982.67 c #Conflicts: 624000 | #Constraints: 47557
979.65/982.67 c #Conflicts: 625000 | #Constraints: 48557
979.65/982.67 c #Conflicts: 626000 | #Constraints: 49557
979.65/982.67 c #Conflicts: 627000 | #Constraints: 50557
979.65/982.67 c #Conflicts: 628000 | #Constraints: 51557
979.65/982.67 c #Conflicts: 629000 | #Constraints: 52557
979.65/982.67 c #Conflicts: 630000 | #Constraints: 53557
979.65/982.67 c #Conflicts: 631000 | #Constraints: 54557
979.65/982.67 c #Conflicts: 632000 | #Constraints: 55557
979.65/982.67 c #Conflicts: 633000 | #Constraints: 56557
979.65/982.67 c #Conflicts: 634000 | #Constraints: 57557
979.65/982.67 c #Conflicts: 635000 | #Constraints: 58557
979.65/982.67 c #Conflicts: 636000 | #Constraints: 59557
979.65/982.67 c #Conflicts: 637000 | #Constraints: 60557
979.65/982.67 c #Conflicts: 638000 | #Constraints: 61557
979.65/982.67 c #Conflicts: 639000 | #Constraints: 62557
979.65/982.67 c #Conflicts: 640000 | #Constraints: 63557
979.65/982.67 c #Conflicts: 641000 | #Constraints: 64557
979.65/982.67 c #Conflicts: 642000 | #Constraints: 65557
979.65/982.67 c #Conflicts: 643000 | #Constraints: 66557
979.65/982.67 c #Conflicts: 644000 | #Constraints: 67557
979.65/982.67 c #Conflicts: 645000 | #Constraints: 68557
979.65/982.67 c #Conflicts: 646000 | #Constraints: 69557
979.65/982.67 c #Conflicts: 647000 | #Constraints: 70557
979.65/982.67 c #Conflicts: 648000 | #Constraints: 71557
979.65/982.67 c #Conflicts: 649000 | #Constraints: 72557
979.65/982.67 c #Conflicts: 650000 | #Constraints: 73557
979.65/982.67 c #Conflicts: 651000 | #Constraints: 74557
979.65/982.67 c #Conflicts: 652000 | #Constraints: 75557
979.65/982.67 c #Conflicts: 653000 | #Constraints: 76557
979.65/982.67 c #Conflicts: 654000 | #Constraints: 77557
979.65/982.67 c #Conflicts: 655000 | #Constraints: 78557
979.65/982.67 c #Conflicts: 656000 | #Constraints: 79557
979.65/982.67 c #Conflicts: 657000 | #Constraints: 80557
979.65/982.67 c #Conflicts: 658000 | #Constraints: 81557
979.65/982.67 c #Conflicts: 659000 | #Constraints: 82557
979.65/982.67 c #Conflicts: 660000 | #Constraints: 83557
979.65/982.67 c #Conflicts: 661000 | #Constraints: 84557
979.65/982.67 c #Conflicts: 662000 | #Constraints: 85557
979.65/982.67 c #Conflicts: 663000 | #Constraints: 86557
979.65/982.67 c #Conflicts: 664000 | #Constraints: 87557
979.65/982.67 c #Conflicts: 665000 | #Constraints: 88557
979.65/982.67 c #Conflicts: 666000 | #Constraints: 89557
979.65/982.67 c #Conflicts: 667000 | #Constraints: 90557
1168.72/1172.21 c #Conflicts: 668000 | #Constraints: 91557
1168.72/1172.21 c #Conflicts: 669000 | #Constraints: 92557
1168.72/1172.21 c #Conflicts: 670000 | #Constraints: 93557
1168.72/1172.21 c #Conflicts: 671000 | #Constraints: 94557
1168.72/1172.21 c #Conflicts: 672000 | #Constraints: 95557
1168.72/1172.21 c #Conflicts: 673000 | #Constraints: 96557
1168.72/1172.21 c #Conflicts: 674000 | #Constraints: 97557
1168.72/1172.21 c #Conflicts: 675000 | #Constraints: 98557
1168.72/1172.21 c #Conflicts: 676000 | #Constraints: 99557
1168.72/1172.21 c #Conflicts: 677000 | #Constraints: 100557
1168.72/1172.21 c #Conflicts: 678000 | #Constraints: 101557
1168.72/1172.21 c INPROCESSING
1168.72/1172.21 c GARBAGE COLLECT
1168.72/1172.21 c #Conflicts: 679000 | #Constraints: 61744
1168.72/1172.21 c #Conflicts: 680000 | #Constraints: 62744
1168.72/1172.21 c #Conflicts: 681000 | #Constraints: 63744
1168.72/1172.21 c #Conflicts: 682000 | #Constraints: 64744
1168.72/1172.21 c #Conflicts: 683000 | #Constraints: 65744
1168.72/1172.21 c #Conflicts: 684000 | #Constraints: 66744
1168.72/1172.21 c #Conflicts: 685000 | #Constraints: 67744
1168.72/1172.21 c #Conflicts: 686000 | #Constraints: 68744
1168.72/1172.21 c #Conflicts: 687000 | #Constraints: 69744
1168.72/1172.21 c #Conflicts: 688000 | #Constraints: 70744
1168.72/1172.21 c #Conflicts: 689000 | #Constraints: 71744
1168.72/1172.21 c #Conflicts: 690000 | #Constraints: 72744
1168.72/1172.21 c #Conflicts: 691000 | #Constraints: 73744
1168.72/1172.21 c #Conflicts: 692000 | #Constraints: 74744
1168.72/1172.21 c #Conflicts: 693000 | #Constraints: 75744
1168.72/1172.21 c #Conflicts: 694000 | #Constraints: 76744
1168.72/1172.21 c #Conflicts: 695000 | #Constraints: 77744
1168.72/1172.21 c #Conflicts: 696000 | #Constraints: 78744
1168.72/1172.21 c INPROCESSING
1168.72/1172.21 c GARBAGE COLLECT
1168.72/1172.21 c #Conflicts: 697000 | #Constraints: 50108
1168.72/1172.21 c #Conflicts: 698000 | #Constraints: 51108
1168.72/1172.21 c #Conflicts: 699000 | #Constraints: 52108
1168.72/1172.21 c #Conflicts: 700000 | #Constraints: 53108
1168.72/1172.21 c #Conflicts: 701000 | #Constraints: 54108
1168.72/1172.21 c #Conflicts: 702000 | #Constraints: 55108
1168.72/1172.21 c #Conflicts: 703000 | #Constraints: 56108
1168.72/1172.21 c #Conflicts: 704000 | #Constraints: 57108
1168.72/1172.21 c #Conflicts: 705000 | #Constraints: 58108
1168.72/1172.21 c #Conflicts: 706000 | #Constraints: 59108
1168.72/1172.21 c #Conflicts: 707000 | #Constraints: 60108
1168.72/1172.21 c #Conflicts: 708000 | #Constraints: 61108
1168.72/1172.21 c #Conflicts: 709000 | #Constraints: 62108
1168.72/1172.21 c #Conflicts: 710000 | #Constraints: 63108
1168.72/1172.21 c #Conflicts: 711000 | #Constraints: 64108
1168.72/1172.21 c #Conflicts: 712000 | #Constraints: 65108
1168.72/1172.21 c #Conflicts: 713000 | #Constraints: 66108
1168.72/1172.21 c #Conflicts: 714000 | #Constraints: 67108
1168.72/1172.21 c #Conflicts: 715000 | #Constraints: 68108
1168.72/1172.21 c INPROCESSING
1168.72/1172.21 c GARBAGE COLLECT
1168.72/1172.21 c #Conflicts: 716000 | #Constraints: 44942
1168.72/1172.21 c #Conflicts: 717000 | #Constraints: 45942
1168.72/1172.21 c #Conflicts: 718000 | #Constraints: 46942
1168.72/1172.21 c #Conflicts: 719000 | #Constraints: 47942
1168.72/1172.21 c #Conflicts: 720000 | #Constraints: 48942
1168.72/1172.21 c #Conflicts: 721000 | #Constraints: 49942
1168.72/1172.21 c #Conflicts: 722000 | #Constraints: 50942
1168.72/1172.21 c #Conflicts: 723000 | #Constraints: 51942
1168.72/1172.21 c #Conflicts: 724000 | #Constraints: 52942
1168.72/1172.21 c #Conflicts: 725000 | #Constraints: 53942
1168.72/1172.21 c #Conflicts: 726000 | #Constraints: 54942
1168.72/1172.21 c #Conflicts: 727000 | #Constraints: 55942
1168.72/1172.21 c #Conflicts: 728000 | #Constraints: 56942
1168.72/1172.21 c #Conflicts: 729000 | #Constraints: 57942
1168.72/1172.21 c #Conflicts: 730000 | #Constraints: 58942
1168.72/1172.21 c #Conflicts: 731000 | #Constraints: 59942
1168.72/1172.21 c #Conflicts: 732000 | #Constraints: 60942
1168.72/1172.21 c #Conflicts: 733000 | #Constraints: 61942
1168.72/1172.21 c #Conflicts: 734000 | #Constraints: 62942
1168.72/1172.21 c INPROCESSING
1168.72/1172.21 c GARBAGE COLLECT
1168.72/1172.21 c #Conflicts: 735000 | #Constraints: 42410
1168.72/1172.21 c #Conflicts: 736000 | #Constraints: 43410
1168.72/1172.21 c #Conflicts: 737000 | #Constraints: 44410
1168.72/1172.21 c #Conflicts: 738000 | #Constraints: 45410
1168.72/1172.21 c #Conflicts: 739000 | #Constraints: 46410
1168.72/1172.21 c #Conflicts: 740000 | #Constraints: 47410
1168.72/1172.21 c #Conflicts: 741000 | #Constraints: 48410
1168.72/1172.21 c #Conflicts: 742000 | #Constraints: 49410
1168.72/1172.21 c #Conflicts: 743000 | #Constraints: 50410
1318.59/1322.55 c #Conflicts: 744000 | #Constraints: 51410
1318.59/1322.55 c #Conflicts: 745000 | #Constraints: 52410
1318.59/1322.55 c #Conflicts: 746000 | #Constraints: 53410
1318.59/1322.55 c #Conflicts: 747000 | #Constraints: 54410
1318.59/1322.55 c #Conflicts: 748000 | #Constraints: 55410
1318.59/1322.55 c #Conflicts: 749000 | #Constraints: 56410
1318.59/1322.55 c #Conflicts: 750000 | #Constraints: 57410
1318.59/1322.55 c #Conflicts: 751000 | #Constraints: 58410
1318.59/1322.55 c #Conflicts: 752000 | #Constraints: 59410
1318.59/1322.55 c #Conflicts: 753000 | #Constraints: 60410
1318.59/1322.55 c INPROCESSING
1318.59/1322.55 c GARBAGE COLLECT
1318.59/1322.55 c #Conflicts: 754000 | #Constraints: 41068
1318.59/1322.55 c #Conflicts: 755000 | #Constraints: 42068
1318.59/1322.55 c #Conflicts: 756000 | #Constraints: 43068
1318.59/1322.55 c #Conflicts: 757000 | #Constraints: 44068
1318.59/1322.55 c #Conflicts: 758000 | #Constraints: 45068
1318.59/1322.55 c #Conflicts: 759000 | #Constraints: 46068
1318.59/1322.55 c #Conflicts: 760000 | #Constraints: 47068
1318.59/1322.55 c #Conflicts: 761000 | #Constraints: 48068
1318.59/1322.55 c #Conflicts: 762000 | #Constraints: 49068
1318.59/1322.55 c #Conflicts: 763000 | #Constraints: 50068
1318.59/1322.55 c #Conflicts: 764000 | #Constraints: 51068
1318.59/1322.55 c #Conflicts: 765000 | #Constraints: 52068
1318.59/1322.55 c #Conflicts: 766000 | #Constraints: 53068
1318.59/1322.55 c #Conflicts: 767000 | #Constraints: 54068
1318.59/1322.55 c #Conflicts: 768000 | #Constraints: 55068
1318.59/1322.55 c #Conflicts: 769000 | #Constraints: 56068
1318.59/1322.55 c #Conflicts: 770000 | #Constraints: 57068
1318.59/1322.55 c #Conflicts: 771000 | #Constraints: 58068
1318.59/1322.55 c #Conflicts: 772000 | #Constraints: 59068
1318.59/1322.55 c INPROCESSING
1318.59/1322.55 c GARBAGE COLLECT
1318.59/1322.55 c #Conflicts: 773000 | #Constraints: 40267
1318.59/1322.55 c #Conflicts: 774000 | #Constraints: 41267
1318.59/1322.55 c #Conflicts: 775000 | #Constraints: 42267
1318.59/1322.55 c #Conflicts: 776000 | #Constraints: 43267
1318.59/1322.55 c #Conflicts: 777000 | #Constraints: 44267
1318.59/1322.55 c #Conflicts: 778000 | #Constraints: 45267
1318.59/1322.55 c #Conflicts: 779000 | #Constraints: 46267
1318.59/1322.55 c #Conflicts: 780000 | #Constraints: 47267
1318.59/1322.55 c #Conflicts: 781000 | #Constraints: 48267
1318.59/1322.55 c #Conflicts: 782000 | #Constraints: 49267
1318.59/1322.55 c #Conflicts: 783000 | #Constraints: 50267
1318.59/1322.55 c #Conflicts: 784000 | #Constraints: 51267
1318.59/1322.55 c #Conflicts: 785000 | #Constraints: 52267
1318.59/1322.55 c #Conflicts: 786000 | #Constraints: 53267
1318.59/1322.55 c #Conflicts: 787000 | #Constraints: 54267
1318.59/1322.55 c #Conflicts: 788000 | #Constraints: 55267
1318.59/1322.55 c #Conflicts: 789000 | #Constraints: 56267
1318.59/1322.55 c #Conflicts: 790000 | #Constraints: 57267
1318.59/1322.55 c #Conflicts: 791000 | #Constraints: 58267
1318.59/1322.55 c #Conflicts: 792000 | #Constraints: 59267
1318.59/1322.55 c #Conflicts: 793000 | #Constraints: 60267
1318.59/1322.55 c #Conflicts: 794000 | #Constraints: 61267
1318.59/1322.55 c #Conflicts: 795000 | #Constraints: 62267
1318.59/1322.55 c #Conflicts: 796000 | #Constraints: 63267
1318.59/1322.55 c #Conflicts: 797000 | #Constraints: 64267
1318.59/1322.55 c #Conflicts: 798000 | #Constraints: 65267
1318.59/1322.55 c #Conflicts: 799000 | #Constraints: 66267
1318.59/1322.55 c #Conflicts: 800000 | #Constraints: 67267
1318.59/1322.55 c #Conflicts: 801000 | #Constraints: 68267
1318.59/1322.55 c #Conflicts: 802000 | #Constraints: 69267
1318.59/1322.55 c #Conflicts: 803000 | #Constraints: 70267
1318.59/1322.55 c #Conflicts: 804000 | #Constraints: 71267
1318.59/1322.55 c #Conflicts: 805000 | #Constraints: 72267
1318.59/1322.55 c #Conflicts: 806000 | #Constraints: 73267
1318.59/1322.55 c #Conflicts: 807000 | #Constraints: 74267
1318.59/1322.55 c #Conflicts: 808000 | #Constraints: 75267
1318.59/1322.55 c #Conflicts: 809000 | #Constraints: 76267
1318.59/1322.55 c #Conflicts: 810000 | #Constraints: 77267
1318.59/1322.55 c #Conflicts: 811000 | #Constraints: 78267
1318.59/1322.55 c #Conflicts: 812000 | #Constraints: 79267
1318.59/1322.55 c #Conflicts: 813000 | #Constraints: 80267
1318.59/1322.55 c #Conflicts: 814000 | #Constraints: 81267
1318.59/1322.55 c #Conflicts: 815000 | #Constraints: 82267
1318.59/1322.55 c #Conflicts: 816000 | #Constraints: 83267
1318.59/1322.55 c #Conflicts: 817000 | #Constraints: 84267
1318.59/1322.55 c #Conflicts: 818000 | #Constraints: 85267
1318.59/1322.55 c #Conflicts: 819000 | #Constraints: 86267
1318.59/1322.55 c #Conflicts: 820000 | #Constraints: 87267
1318.59/1322.55 c #Conflicts: 821000 | #Constraints: 88267
1559.42/1564.10 c #Conflicts: 822000 | #Constraints: 89267
1559.42/1564.10 c #Conflicts: 823000 | #Constraints: 90267
1559.42/1564.10 c #Conflicts: 824000 | #Constraints: 91267
1559.42/1564.10 c #Conflicts: 825000 | #Constraints: 92267
1559.42/1564.10 c #Conflicts: 826000 | #Constraints: 93267
1559.42/1564.10 c #Conflicts: 827000 | #Constraints: 94267
1559.42/1564.10 c #Conflicts: 828000 | #Constraints: 95267
1559.42/1564.10 c #Conflicts: 829000 | #Constraints: 96267
1559.42/1564.10 c #Conflicts: 830000 | #Constraints: 97267
1559.42/1564.10 c #Conflicts: 831000 | #Constraints: 98267
1559.42/1564.10 c #Conflicts: 832000 | #Constraints: 99267
1559.42/1564.10 c #Conflicts: 833000 | #Constraints: 100267
1559.42/1564.10 c #Conflicts: 834000 | #Constraints: 101267
1559.42/1564.10 c #Conflicts: 835000 | #Constraints: 102267
1559.42/1564.10 c #Conflicts: 836000 | #Constraints: 103267
1559.42/1564.10 c #Conflicts: 837000 | #Constraints: 104267
1559.42/1564.10 c #Conflicts: 838000 | #Constraints: 105267
1559.42/1564.10 c #Conflicts: 839000 | #Constraints: 106267
1559.42/1564.10 c #Conflicts: 840000 | #Constraints: 107267
1559.42/1564.10 c #Conflicts: 841000 | #Constraints: 108267
1559.42/1564.10 c #Conflicts: 842000 | #Constraints: 109267
1559.42/1564.10 c #Conflicts: 843000 | #Constraints: 110267
1559.42/1564.10 c INPROCESSING
1559.42/1564.10 c GARBAGE COLLECT
1559.42/1564.10 c #Conflicts: 844000 | #Constraints: 65957
1559.42/1564.10 c #Conflicts: 845000 | #Constraints: 66957
1559.42/1564.10 c #Conflicts: 846000 | #Constraints: 67957
1559.42/1564.10 c #Conflicts: 847000 | #Constraints: 68957
1559.42/1564.10 c #Conflicts: 848000 | #Constraints: 69957
1559.42/1564.10 c #Conflicts: 849000 | #Constraints: 70957
1559.42/1564.10 c #Conflicts: 850000 | #Constraints: 71957
1559.42/1564.10 c #Conflicts: 851000 | #Constraints: 72957
1559.42/1564.10 c #Conflicts: 852000 | #Constraints: 73957
1559.42/1564.10 c #Conflicts: 853000 | #Constraints: 74957
1559.42/1564.10 c #Conflicts: 854000 | #Constraints: 75957
1559.42/1564.10 c #Conflicts: 855000 | #Constraints: 76957
1559.42/1564.10 c #Conflicts: 856000 | #Constraints: 77957
1559.42/1564.10 c #Conflicts: 857000 | #Constraints: 78957
1559.42/1564.10 c #Conflicts: 858000 | #Constraints: 79957
1559.42/1564.10 c #Conflicts: 859000 | #Constraints: 80957
1559.42/1564.10 c #Conflicts: 860000 | #Constraints: 81957
1559.42/1564.10 c #Conflicts: 861000 | #Constraints: 82957
1559.42/1564.10 c #Conflicts: 862000 | #Constraints: 83957
1559.42/1564.10 c #Conflicts: 863000 | #Constraints: 84957
1559.42/1564.10 c #Conflicts: 864000 | #Constraints: 85957
1559.42/1564.10 c INPROCESSING
1559.42/1564.10 c GARBAGE COLLECT
1559.42/1564.10 c #Conflicts: 865000 | #Constraints: 54010
1559.42/1564.10 c #Conflicts: 866000 | #Constraints: 55010
1559.42/1564.10 c #Conflicts: 867000 | #Constraints: 56010
1559.42/1564.10 c #Conflicts: 868000 | #Constraints: 57010
1559.42/1564.10 c #Conflicts: 869000 | #Constraints: 58010
1559.42/1564.10 c #Conflicts: 870000 | #Constraints: 59010
1559.42/1564.10 c #Conflicts: 871000 | #Constraints: 60010
1559.42/1564.10 c #Conflicts: 872000 | #Constraints: 61010
1559.42/1564.10 c #Conflicts: 873000 | #Constraints: 62010
1559.42/1564.10 c #Conflicts: 874000 | #Constraints: 63010
1559.42/1564.10 c #Conflicts: 875000 | #Constraints: 64010
1559.42/1564.10 c #Conflicts: 876000 | #Constraints: 65010
1559.42/1564.10 c #Conflicts: 877000 | #Constraints: 66010
1559.42/1564.10 c #Conflicts: 878000 | #Constraints: 67010
1559.42/1564.10 c #Conflicts: 879000 | #Constraints: 68010
1559.42/1564.10 c #Conflicts: 880000 | #Constraints: 69010
1559.42/1564.10 c #Conflicts: 881000 | #Constraints: 70010
1559.42/1564.10 c #Conflicts: 882000 | #Constraints: 71010
1559.42/1564.10 c #Conflicts: 883000 | #Constraints: 72010
1559.42/1564.10 c #Conflicts: 884000 | #Constraints: 73010
1559.42/1564.10 c #Conflicts: 885000 | #Constraints: 74010
1559.42/1564.10 c INPROCESSING
1559.42/1564.10 c GARBAGE COLLECT
1559.42/1564.10 c #Conflicts: 886000 | #Constraints: 48143
1559.42/1564.10 c #Conflicts: 887000 | #Constraints: 49143
1559.42/1564.10 c #Conflicts: 888000 | #Constraints: 50143
1559.42/1564.10 c #Conflicts: 889000 | #Constraints: 51143
1559.42/1564.10 c #Conflicts: 890000 | #Constraints: 52143
1559.42/1564.10 c #Conflicts: 891000 | #Constraints: 53143
1559.42/1564.10 c #Conflicts: 892000 | #Constraints: 54143
1559.42/1564.10 c #Conflicts: 893000 | #Constraints: 55143
1559.42/1564.10 c #Conflicts: 894000 | #Constraints: 56143
1559.42/1564.10 c #Conflicts: 895000 | #Constraints: 57143
1559.42/1564.10 c #Conflicts: 896000 | #Constraints: 58143
1559.42/1564.10 c #Conflicts: 897000 | #Constraints: 59143
1691.14/1696.19 c #Conflicts: 898000 | #Constraints: 60143
1691.14/1696.19 c #Conflicts: 899000 | #Constraints: 61143
1691.14/1696.19 c #Conflicts: 900000 | #Constraints: 62143
1691.14/1696.19 c #Conflicts: 901000 | #Constraints: 63143
1691.14/1696.19 c #Conflicts: 902000 | #Constraints: 64143
1691.14/1696.19 c #Conflicts: 903000 | #Constraints: 65143
1691.14/1696.19 c #Conflicts: 904000 | #Constraints: 66143
1691.14/1696.19 c #Conflicts: 905000 | #Constraints: 67143
1691.14/1696.19 c #Conflicts: 906000 | #Constraints: 68143
1691.14/1696.19 c INPROCESSING
1691.14/1696.19 c GARBAGE COLLECT
1691.14/1696.19 c #Conflicts: 907000 | #Constraints: 45193
1691.14/1696.19 c #Conflicts: 908000 | #Constraints: 46193
1691.14/1696.19 c #Conflicts: 909000 | #Constraints: 47193
1691.14/1696.19 c #Conflicts: 910000 | #Constraints: 48193
1691.14/1696.19 c #Conflicts: 911000 | #Constraints: 49193
1691.14/1696.19 c #Conflicts: 912000 | #Constraints: 50193
1691.14/1696.19 c #Conflicts: 913000 | #Constraints: 51193
1691.14/1696.19 c #Conflicts: 914000 | #Constraints: 52193
1691.14/1696.19 c #Conflicts: 915000 | #Constraints: 53193
1691.14/1696.19 c #Conflicts: 916000 | #Constraints: 54193
1691.14/1696.19 c #Conflicts: 917000 | #Constraints: 55193
1691.14/1696.19 c #Conflicts: 918000 | #Constraints: 56193
1691.14/1696.19 c #Conflicts: 919000 | #Constraints: 57193
1691.14/1696.19 c #Conflicts: 920000 | #Constraints: 58193
1691.14/1696.19 c #Conflicts: 921000 | #Constraints: 59193
1691.14/1696.19 c #Conflicts: 922000 | #Constraints: 60193
1691.14/1696.19 c #Conflicts: 923000 | #Constraints: 61193
1691.14/1696.19 c #Conflicts: 924000 | #Constraints: 62193
1691.14/1696.19 c #Conflicts: 925000 | #Constraints: 63193
1691.14/1696.19 c #Conflicts: 926000 | #Constraints: 64193
1691.14/1696.19 c #Conflicts: 927000 | #Constraints: 65193
1691.14/1696.19 c INPROCESSING
1691.14/1696.19 c GARBAGE COLLECT
1691.14/1696.19 c #Conflicts: 928000 | #Constraints: 43616
1691.14/1696.19 c #Conflicts: 929000 | #Constraints: 44616
1691.14/1696.19 c #Conflicts: 930000 | #Constraints: 45616
1691.14/1696.19 c #Conflicts: 931000 | #Constraints: 46616
1691.14/1696.19 c #Conflicts: 932000 | #Constraints: 47616
1691.14/1696.19 c #Conflicts: 933000 | #Constraints: 48616
1691.14/1696.19 c #Conflicts: 934000 | #Constraints: 49616
1691.14/1696.19 c #Conflicts: 935000 | #Constraints: 50616
1691.14/1696.19 c #Conflicts: 936000 | #Constraints: 51616
1691.14/1696.19 c #Conflicts: 937000 | #Constraints: 52616
1691.14/1696.19 c #Conflicts: 938000 | #Constraints: 53616
1691.14/1696.19 c #Conflicts: 939000 | #Constraints: 54616
1691.14/1696.19 c #Conflicts: 940000 | #Constraints: 55616
1691.14/1696.19 c #Conflicts: 941000 | #Constraints: 56616
1691.14/1696.19 c #Conflicts: 942000 | #Constraints: 57616
1691.14/1696.19 c #Conflicts: 943000 | #Constraints: 58616
1691.14/1696.19 c #Conflicts: 944000 | #Constraints: 59616
1691.14/1696.19 c #Conflicts: 945000 | #Constraints: 60616
1691.14/1696.19 c #Conflicts: 946000 | #Constraints: 61616
1691.14/1696.19 c #Conflicts: 947000 | #Constraints: 62616
1691.14/1696.19 c #Conflicts: 948000 | #Constraints: 63616
1691.14/1696.19 c INPROCESSING
1691.14/1696.19 c GARBAGE COLLECT
1691.14/1696.19 c #Conflicts: 949000 | #Constraints: 42631
1691.14/1696.19 c #Conflicts: 950000 | #Constraints: 43631
1691.14/1696.19 c #Conflicts: 951000 | #Constraints: 44631
1691.14/1696.19 c #Conflicts: 952000 | #Constraints: 45631
1691.14/1696.19 c #Conflicts: 953000 | #Constraints: 46631
1691.14/1696.19 c #Conflicts: 954000 | #Constraints: 47631
1691.14/1696.19 c #Conflicts: 955000 | #Constraints: 48631
1691.14/1696.19 c #Conflicts: 956000 | #Constraints: 49631
1691.14/1696.19 c #Conflicts: 957000 | #Constraints: 50631
1691.14/1696.19 c #Conflicts: 958000 | #Constraints: 51631
1691.14/1696.19 c #Conflicts: 959000 | #Constraints: 52631
1691.14/1696.19 c #Conflicts: 960000 | #Constraints: 53631
1691.14/1696.19 c #Conflicts: 961000 | #Constraints: 54631
1691.14/1696.19 c #Conflicts: 962000 | #Constraints: 55631
1691.14/1696.19 c #Conflicts: 963000 | #Constraints: 56631
1691.14/1696.19 c #Conflicts: 964000 | #Constraints: 57631
1691.14/1696.19 c #Conflicts: 965000 | #Constraints: 58631
1691.14/1696.19 c #Conflicts: 966000 | #Constraints: 59631
1691.14/1696.19 c #Conflicts: 967000 | #Constraints: 60631
1691.14/1696.19 c #Conflicts: 968000 | #Constraints: 61631
1691.14/1696.19 c #Conflicts: 969000 | #Constraints: 62631
1691.14/1696.19 c #Conflicts: 970000 | #Constraints: 63631
1691.14/1696.19 c #Conflicts: 971000 | #Constraints: 64631
1691.14/1696.19 c #Conflicts: 972000 | #Constraints: 65631
1691.14/1696.19 c #Conflicts: 973000 | #Constraints: 66631
1691.14/1696.19 c #Conflicts: 974000 | #Constraints: 67631
2002.84/2008.72 c #Conflicts: 975000 | #Constraints: 68631
2002.84/2008.72 c #Conflicts: 976000 | #Constraints: 69631
2002.84/2008.72 c #Conflicts: 977000 | #Constraints: 70631
2002.84/2008.72 c #Conflicts: 978000 | #Constraints: 71631
2002.84/2008.72 c #Conflicts: 979000 | #Constraints: 72631
2002.84/2008.72 c #Conflicts: 980000 | #Constraints: 73631
2002.84/2008.72 c #Conflicts: 981000 | #Constraints: 74631
2002.84/2008.72 c #Conflicts: 982000 | #Constraints: 75631
2002.84/2008.72 c #Conflicts: 983000 | #Constraints: 76631
2002.84/2008.72 c #Conflicts: 984000 | #Constraints: 77631
2002.84/2008.72 c #Conflicts: 985000 | #Constraints: 78631
2002.84/2008.72 c #Conflicts: 986000 | #Constraints: 79631
2002.84/2008.72 c #Conflicts: 987000 | #Constraints: 80631
2002.84/2008.72 c #Conflicts: 988000 | #Constraints: 81631
2002.84/2008.72 c #Conflicts: 989000 | #Constraints: 82631
2002.84/2008.72 c #Conflicts: 990000 | #Constraints: 83631
2002.84/2008.72 c #Conflicts: 991000 | #Constraints: 84631
2002.84/2008.72 c #Conflicts: 992000 | #Constraints: 85631
2002.84/2008.72 c #Conflicts: 993000 | #Constraints: 86631
2002.84/2008.72 c #Conflicts: 994000 | #Constraints: 87631
2002.84/2008.72 c #Conflicts: 995000 | #Constraints: 88631
2002.84/2008.72 c #Conflicts: 996000 | #Constraints: 89631
2002.84/2008.72 c #Conflicts: 997000 | #Constraints: 90631
2002.84/2008.72 c #Conflicts: 998000 | #Constraints: 91631
2002.84/2008.72 c #Conflicts: 999000 | #Constraints: 92631
2002.84/2008.72 c #Conflicts: 1000000 | #Constraints: 93631
2002.84/2008.72 c #Conflicts: 1001000 | #Constraints: 94631
2002.84/2008.72 c #Conflicts: 1002000 | #Constraints: 95631
2002.84/2008.72 c #Conflicts: 1003000 | #Constraints: 96631
2002.84/2008.72 c #Conflicts: 1004000 | #Constraints: 97631
2002.84/2008.72 c #Conflicts: 1005000 | #Constraints: 98631
2002.84/2008.72 c #Conflicts: 1006000 | #Constraints: 99631
2002.84/2008.72 c #Conflicts: 1007000 | #Constraints: 100631
2002.84/2008.72 c #Conflicts: 1008000 | #Constraints: 101631
2002.84/2008.72 c #Conflicts: 1009000 | #Constraints: 102631
2002.84/2008.72 c #Conflicts: 1010000 | #Constraints: 103631
2002.84/2008.72 c #Conflicts: 1011000 | #Constraints: 104631
2002.84/2008.72 c #Conflicts: 1012000 | #Constraints: 105631
2002.84/2008.72 c #Conflicts: 1013000 | #Constraints: 106631
2002.84/2008.72 c #Conflicts: 1014000 | #Constraints: 107631
2002.84/2008.72 c #Conflicts: 1015000 | #Constraints: 108631
2002.84/2008.72 c #Conflicts: 1016000 | #Constraints: 109631
2002.84/2008.72 c #Conflicts: 1017000 | #Constraints: 110631
2002.84/2008.72 c #Conflicts: 1018000 | #Constraints: 111631
2002.84/2008.72 c #Conflicts: 1019000 | #Constraints: 112631
2002.84/2008.72 c #Conflicts: 1020000 | #Constraints: 113631
2002.84/2008.72 c #Conflicts: 1021000 | #Constraints: 114631
2002.84/2008.72 c #Conflicts: 1022000 | #Constraints: 115631
2002.84/2008.72 c #Conflicts: 1023000 | #Constraints: 116631
2002.84/2008.72 c #Conflicts: 1024000 | #Constraints: 117631
2002.84/2008.72 c #Conflicts: 1025000 | #Constraints: 118631
2002.84/2008.72 c #Conflicts: 1026000 | #Constraints: 119631
2002.84/2008.72 c INPROCESSING
2002.84/2008.72 c GARBAGE COLLECT
2002.84/2008.72 c #Conflicts: 1027000 | #Constraints: 70485
2002.84/2008.72 c #Conflicts: 1028000 | #Constraints: 71485
2002.84/2008.72 c #Conflicts: 1029000 | #Constraints: 72485
2002.84/2008.72 c #Conflicts: 1030000 | #Constraints: 73485
2002.84/2008.72 c #Conflicts: 1031000 | #Constraints: 74485
2002.84/2008.72 c #Conflicts: 1032000 | #Constraints: 75485
2002.84/2008.72 c #Conflicts: 1033000 | #Constraints: 76485
2002.84/2008.72 c #Conflicts: 1034000 | #Constraints: 77485
2002.84/2008.72 c #Conflicts: 1035000 | #Constraints: 78485
2002.84/2008.72 c #Conflicts: 1036000 | #Constraints: 79485
2002.84/2008.72 c #Conflicts: 1037000 | #Constraints: 80485
2002.84/2008.72 c #Conflicts: 1038000 | #Constraints: 81485
2002.84/2008.72 c #Conflicts: 1039000 | #Constraints: 82485
2002.84/2008.72 c #Conflicts: 1040000 | #Constraints: 83485
2002.84/2008.72 c #Conflicts: 1041000 | #Constraints: 84485
2002.84/2008.72 c #Conflicts: 1042000 | #Constraints: 85485
2002.84/2008.72 c #Conflicts: 1043000 | #Constraints: 86485
2002.84/2008.72 c #Conflicts: 1044000 | #Constraints: 87485
2002.84/2008.72 c #Conflicts: 1045000 | #Constraints: 88485
2002.84/2008.72 c #Conflicts: 1046000 | #Constraints: 89485
2002.84/2008.72 c #Conflicts: 1047000 | #Constraints: 90485
2002.84/2008.72 c #Conflicts: 1048000 | #Constraints: 91485
2002.84/2008.72 c #Conflicts: 1049000 | #Constraints: 92485
2002.84/2008.72 c INPROCESSING
2002.84/2008.72 c GARBAGE COLLECT
2002.84/2008.72 c #Conflicts: 1050000 | #Constraints: 57082
2002.84/2008.72 c #Conflicts: 1051000 | #Constraints: 58082
2002.84/2008.72 c #Conflicts: 1052000 | #Constraints: 59082
2171.06/2177.45 c #Conflicts: 1053000 | #Constraints: 60082
2171.06/2177.45 c #Conflicts: 1054000 | #Constraints: 61082
2171.06/2177.45 c #Conflicts: 1055000 | #Constraints: 62082
2171.06/2177.45 c #Conflicts: 1056000 | #Constraints: 63082
2171.06/2177.45 c #Conflicts: 1057000 | #Constraints: 64082
2171.06/2177.45 c #Conflicts: 1058000 | #Constraints: 65082
2171.06/2177.45 c #Conflicts: 1059000 | #Constraints: 66082
2171.06/2177.45 c #Conflicts: 1060000 | #Constraints: 67082
2171.06/2177.45 c #Conflicts: 1061000 | #Constraints: 68082
2171.06/2177.45 c #Conflicts: 1062000 | #Constraints: 69082
2171.06/2177.45 c #Conflicts: 1063000 | #Constraints: 70082
2171.06/2177.45 c #Conflicts: 1064000 | #Constraints: 71082
2171.06/2177.45 c #Conflicts: 1065000 | #Constraints: 72082
2171.06/2177.45 c #Conflicts: 1066000 | #Constraints: 73082
2171.06/2177.45 c #Conflicts: 1067000 | #Constraints: 74082
2171.06/2177.45 c #Conflicts: 1068000 | #Constraints: 75082
2171.06/2177.45 c #Conflicts: 1069000 | #Constraints: 76082
2171.06/2177.45 c #Conflicts: 1070000 | #Constraints: 77082
2171.06/2177.45 c #Conflicts: 1071000 | #Constraints: 78082
2171.06/2177.45 c #Conflicts: 1072000 | #Constraints: 79082
2171.06/2177.45 c INPROCESSING
2171.06/2177.45 c GARBAGE COLLECT
2171.06/2177.45 c #Conflicts: 1073000 | #Constraints: 50434
2171.06/2177.45 c #Conflicts: 1074000 | #Constraints: 51434
2171.06/2177.45 c #Conflicts: 1075000 | #Constraints: 52434
2171.06/2177.45 c #Conflicts: 1076000 | #Constraints: 53434
2171.06/2177.45 c #Conflicts: 1077000 | #Constraints: 54434
2171.06/2177.45 c #Conflicts: 1078000 | #Constraints: 55434
2171.06/2177.45 c #Conflicts: 1079000 | #Constraints: 56434
2171.06/2177.45 c #Conflicts: 1080000 | #Constraints: 57434
2171.06/2177.45 c #Conflicts: 1081000 | #Constraints: 58434
2171.06/2177.45 c #Conflicts: 1082000 | #Constraints: 59434
2171.06/2177.45 c #Conflicts: 1083000 | #Constraints: 60434
2171.06/2177.45 c #Conflicts: 1084000 | #Constraints: 61434
2171.06/2177.45 c #Conflicts: 1085000 | #Constraints: 62434
2171.06/2177.45 c #Conflicts: 1086000 | #Constraints: 63434
2171.06/2177.45 c #Conflicts: 1087000 | #Constraints: 64434
2171.06/2177.45 c #Conflicts: 1088000 | #Constraints: 65434
2171.06/2177.45 c #Conflicts: 1089000 | #Constraints: 66434
2171.06/2177.45 c #Conflicts: 1090000 | #Constraints: 67434
2171.06/2177.45 c #Conflicts: 1091000 | #Constraints: 68434
2171.06/2177.45 c #Conflicts: 1092000 | #Constraints: 69434
2171.06/2177.45 c #Conflicts: 1093000 | #Constraints: 70434
2171.06/2177.45 c #Conflicts: 1094000 | #Constraints: 71434
2171.06/2177.45 c #Conflicts: 1095000 | #Constraints: 72434
2171.06/2177.45 c INPROCESSING
2171.06/2177.45 c GARBAGE COLLECT
2171.06/2177.45 c #Conflicts: 1096000 | #Constraints: 47049
2171.06/2177.45 c #Conflicts: 1097000 | #Constraints: 48049
2171.06/2177.45 c #Conflicts: 1098000 | #Constraints: 49049
2171.06/2177.45 c #Conflicts: 1099000 | #Constraints: 50049
2171.06/2177.45 c #Conflicts: 1100000 | #Constraints: 51049
2171.06/2177.45 c #Conflicts: 1101000 | #Constraints: 52049
2171.06/2177.45 c #Conflicts: 1102000 | #Constraints: 53049
2171.06/2177.45 c #Conflicts: 1103000 | #Constraints: 54049
2171.06/2177.45 c #Conflicts: 1104000 | #Constraints: 55049
2171.06/2177.45 c #Conflicts: 1105000 | #Constraints: 56049
2171.06/2177.45 c #Conflicts: 1106000 | #Constraints: 57049
2171.06/2177.45 c #Conflicts: 1107000 | #Constraints: 58049
2171.06/2177.45 c #Conflicts: 1108000 | #Constraints: 59049
2171.06/2177.45 c #Conflicts: 1109000 | #Constraints: 60049
2171.06/2177.45 c #Conflicts: 1110000 | #Constraints: 61049
2171.06/2177.45 c #Conflicts: 1111000 | #Constraints: 62049
2171.06/2177.45 c #Conflicts: 1112000 | #Constraints: 63049
2171.06/2177.45 c #Conflicts: 1113000 | #Constraints: 64049
2171.06/2177.45 c #Conflicts: 1114000 | #Constraints: 65049
2171.06/2177.45 c #Conflicts: 1115000 | #Constraints: 66049
2171.06/2177.45 c #Conflicts: 1116000 | #Constraints: 67049
2171.06/2177.45 c #Conflicts: 1117000 | #Constraints: 68049
2171.06/2177.45 c #Conflicts: 1118000 | #Constraints: 69049
2171.06/2177.45 c INPROCESSING
2171.06/2177.45 c GARBAGE COLLECT
2171.06/2177.45 c #Conflicts: 1119000 | #Constraints: 45205
2171.06/2177.45 c #Conflicts: 1120000 | #Constraints: 46205
2171.06/2177.45 c #Conflicts: 1121000 | #Constraints: 47205
2171.06/2177.45 c #Conflicts: 1122000 | #Constraints: 48205
2171.06/2177.45 c #Conflicts: 1123000 | #Constraints: 49205
2171.06/2177.45 c #Conflicts: 1124000 | #Constraints: 50205
2171.06/2177.45 c #Conflicts: 1125000 | #Constraints: 51205
2171.06/2177.45 c #Conflicts: 1126000 | #Constraints: 52205
2171.06/2177.45 c #Conflicts: 1127000 | #Constraints: 53205
2171.06/2177.45 c #Conflicts: 1128000 | #Constraints: 54205
2171.06/2177.45 c #Conflicts: 1129000 | #Constraints: 55205
2411.68/2418.75 c #Conflicts: 1130000 | #Constraints: 56205
2411.68/2418.75 c #Conflicts: 1131000 | #Constraints: 57205
2411.68/2418.75 c #Conflicts: 1132000 | #Constraints: 58205
2411.68/2418.75 c #Conflicts: 1133000 | #Constraints: 59205
2411.68/2418.75 c #Conflicts: 1134000 | #Constraints: 60205
2411.68/2418.75 c #Conflicts: 1135000 | #Constraints: 61205
2411.68/2418.75 c #Conflicts: 1136000 | #Constraints: 62205
2411.68/2418.75 c #Conflicts: 1137000 | #Constraints: 63205
2411.68/2418.75 c #Conflicts: 1138000 | #Constraints: 64205
2411.68/2418.75 c #Conflicts: 1139000 | #Constraints: 65205
2411.68/2418.75 c #Conflicts: 1140000 | #Constraints: 66205
2411.68/2418.75 c #Conflicts: 1141000 | #Constraints: 67205
2411.68/2418.75 c #Conflicts: 1142000 | #Constraints: 68205
2411.68/2418.75 c INPROCESSING
2411.68/2418.75 c GARBAGE COLLECT
2411.68/2418.75 c #Conflicts: 1143000 | #Constraints: 45032
2411.68/2418.75 c #Conflicts: 1144000 | #Constraints: 46032
2411.68/2418.75 c #Conflicts: 1145000 | #Constraints: 47032
2411.68/2418.75 c #Conflicts: 1146000 | #Constraints: 48032
2411.68/2418.75 c #Conflicts: 1147000 | #Constraints: 49032
2411.68/2418.75 c #Conflicts: 1148000 | #Constraints: 50032
2411.68/2418.75 c #Conflicts: 1149000 | #Constraints: 51032
2411.68/2418.75 c #Conflicts: 1150000 | #Constraints: 52032
2411.68/2418.75 c #Conflicts: 1151000 | #Constraints: 53032
2411.68/2418.75 c #Conflicts: 1152000 | #Constraints: 54032
2411.68/2418.75 c #Conflicts: 1153000 | #Constraints: 55032
2411.68/2418.75 c #Conflicts: 1154000 | #Constraints: 56032
2411.68/2418.75 c #Conflicts: 1155000 | #Constraints: 57032
2411.68/2418.75 c #Conflicts: 1156000 | #Constraints: 58032
2411.68/2418.75 c #Conflicts: 1157000 | #Constraints: 59032
2411.68/2418.75 c #Conflicts: 1158000 | #Constraints: 60032
2411.68/2418.75 c #Conflicts: 1159000 | #Constraints: 61032
2411.68/2418.75 c #Conflicts: 1160000 | #Constraints: 62032
2411.68/2418.75 c #Conflicts: 1161000 | #Constraints: 63032
2411.68/2418.75 c #Conflicts: 1162000 | #Constraints: 64032
2411.68/2418.75 c #Conflicts: 1163000 | #Constraints: 65032
2411.68/2418.75 c #Conflicts: 1164000 | #Constraints: 66032
2411.68/2418.75 c #Conflicts: 1165000 | #Constraints: 67032
2411.68/2418.75 c #Conflicts: 1166000 | #Constraints: 68032
2411.68/2418.75 c #Conflicts: 1167000 | #Constraints: 69032
2411.68/2418.75 c #Conflicts: 1168000 | #Constraints: 70032
2411.68/2418.75 c #Conflicts: 1169000 | #Constraints: 71032
2411.68/2418.75 c #Conflicts: 1170000 | #Constraints: 72032
2411.68/2418.75 c #Conflicts: 1171000 | #Constraints: 73032
2411.68/2418.75 c #Conflicts: 1172000 | #Constraints: 74032
2411.68/2418.75 c #Conflicts: 1173000 | #Constraints: 75032
2411.68/2418.75 c #Conflicts: 1174000 | #Constraints: 76032
2411.68/2418.75 c #Conflicts: 1175000 | #Constraints: 77032
2411.68/2418.75 c #Conflicts: 1176000 | #Constraints: 78032
2411.68/2418.75 c #Conflicts: 1177000 | #Constraints: 79032
2411.68/2418.75 c #Conflicts: 1178000 | #Constraints: 80032
2411.68/2418.75 c #Conflicts: 1179000 | #Constraints: 81032
2411.68/2418.75 c #Conflicts: 1180000 | #Constraints: 82032
2411.68/2418.75 c #Conflicts: 1181000 | #Constraints: 83032
2411.68/2418.75 c #Conflicts: 1182000 | #Constraints: 84032
2411.68/2418.75 c #Conflicts: 1183000 | #Constraints: 85032
2411.68/2418.75 c #Conflicts: 1184000 | #Constraints: 86032
2411.68/2418.75 c #Conflicts: 1185000 | #Constraints: 87032
2411.68/2418.75 c #Conflicts: 1186000 | #Constraints: 88032
2411.68/2418.75 c #Conflicts: 1187000 | #Constraints: 89032
2411.68/2418.75 c #Conflicts: 1188000 | #Constraints: 90032
2411.68/2418.75 c #Conflicts: 1189000 | #Constraints: 91032
2411.68/2418.75 c #Conflicts: 1190000 | #Constraints: 92032
2411.68/2418.75 c #Conflicts: 1191000 | #Constraints: 93032
2411.68/2418.75 c #Conflicts: 1192000 | #Constraints: 94032
2411.68/2418.75 c #Conflicts: 1193000 | #Constraints: 95032
2411.68/2418.75 c #Conflicts: 1194000 | #Constraints: 96032
2411.68/2418.75 c #Conflicts: 1195000 | #Constraints: 97032
2411.68/2418.75 c #Conflicts: 1196000 | #Constraints: 98032
2411.68/2418.75 c #Conflicts: 1197000 | #Constraints: 99032
2411.68/2418.75 c #Conflicts: 1198000 | #Constraints: 100032
2411.68/2418.75 c #Conflicts: 1199000 | #Constraints: 101032
2411.68/2418.75 c #Conflicts: 1200000 | #Constraints: 102032
2411.68/2418.75 c #Conflicts: 1201000 | #Constraints: 103032
2411.68/2418.75 c #Conflicts: 1202000 | #Constraints: 104032
2411.68/2418.75 c #Conflicts: 1203000 | #Constraints: 105032
2411.68/2418.75 c #Conflicts: 1204000 | #Constraints: 106032
2411.68/2418.75 c #Conflicts: 1205000 | #Constraints: 107032
2411.68/2418.75 c #Conflicts: 1206000 | #Constraints: 108032
2411.68/2418.75 c #Conflicts: 1207000 | #Constraints: 109032
2755.70/2763.76 c #Conflicts: 1208000 | #Constraints: 110032
2755.70/2763.76 c #Conflicts: 1209000 | #Constraints: 111032
2755.70/2763.76 c #Conflicts: 1210000 | #Constraints: 112032
2755.70/2763.76 c #Conflicts: 1211000 | #Constraints: 113032
2755.70/2763.76 c #Conflicts: 1212000 | #Constraints: 114032
2755.70/2763.76 c #Conflicts: 1213000 | #Constraints: 115032
2755.70/2763.76 c #Conflicts: 1214000 | #Constraints: 116032
2755.70/2763.76 c #Conflicts: 1215000 | #Constraints: 117032
2755.70/2763.76 c #Conflicts: 1216000 | #Constraints: 118032
2755.70/2763.76 c #Conflicts: 1217000 | #Constraints: 119032
2755.70/2763.76 c #Conflicts: 1218000 | #Constraints: 120032
2755.70/2763.76 c #Conflicts: 1219000 | #Constraints: 121032
2755.70/2763.76 c #Conflicts: 1220000 | #Constraints: 122032
2755.70/2763.76 c #Conflicts: 1221000 | #Constraints: 123032
2755.70/2763.76 c #Conflicts: 1222000 | #Constraints: 124032
2755.70/2763.76 c #Conflicts: 1223000 | #Constraints: 125032
2755.70/2763.76 c #Conflicts: 1224000 | #Constraints: 126032
2755.70/2763.76 c #Conflicts: 1225000 | #Constraints: 127032
2755.70/2763.76 c #Conflicts: 1226000 | #Constraints: 128032
2755.70/2763.76 c #Conflicts: 1227000 | #Constraints: 129032
2755.70/2763.76 c #Conflicts: 1228000 | #Constraints: 130032
2755.70/2763.76 c INPROCESSING
2755.70/2763.76 c GARBAGE COLLECT
2755.70/2763.76 c #Conflicts: 1229000 | #Constraints: 76045
2755.70/2763.76 c #Conflicts: 1230000 | #Constraints: 77045
2755.70/2763.76 c #Conflicts: 1231000 | #Constraints: 78045
2755.70/2763.76 c #Conflicts: 1232000 | #Constraints: 79045
2755.70/2763.76 c #Conflicts: 1233000 | #Constraints: 80045
2755.70/2763.76 c #Conflicts: 1234000 | #Constraints: 81045
2755.70/2763.76 c #Conflicts: 1235000 | #Constraints: 82045
2755.70/2763.76 c #Conflicts: 1236000 | #Constraints: 83045
2755.70/2763.76 c #Conflicts: 1237000 | #Constraints: 84045
2755.70/2763.76 c #Conflicts: 1238000 | #Constraints: 85045
2755.70/2763.76 c #Conflicts: 1239000 | #Constraints: 86045
2755.70/2763.76 c #Conflicts: 1240000 | #Constraints: 87045
2755.70/2763.76 c #Conflicts: 1241000 | #Constraints: 88045
2755.70/2763.76 c #Conflicts: 1242000 | #Constraints: 89045
2755.70/2763.76 c #Conflicts: 1243000 | #Constraints: 90045
2755.70/2763.76 c #Conflicts: 1244000 | #Constraints: 91045
2755.70/2763.76 c #Conflicts: 1245000 | #Constraints: 92045
2755.70/2763.76 c #Conflicts: 1246000 | #Constraints: 93045
2755.70/2763.76 c #Conflicts: 1247000 | #Constraints: 94045
2755.70/2763.76 c #Conflicts: 1248000 | #Constraints: 95045
2755.70/2763.76 c #Conflicts: 1249000 | #Constraints: 96045
2755.70/2763.76 c #Conflicts: 1250000 | #Constraints: 97045
2755.70/2763.76 c #Conflicts: 1251000 | #Constraints: 98045
2755.70/2763.76 c #Conflicts: 1252000 | #Constraints: 99045
2755.70/2763.76 c #Conflicts: 1253000 | #Constraints: 100045
2755.70/2763.76 c INPROCESSING
2755.70/2763.76 c GARBAGE COLLECT
2755.70/2763.76 c #Conflicts: 1254000 | #Constraints: 61159
2755.70/2763.76 c #Conflicts: 1255000 | #Constraints: 62159
2755.70/2763.76 c #Conflicts: 1256000 | #Constraints: 63159
2755.70/2763.76 c #Conflicts: 1257000 | #Constraints: 64159
2755.70/2763.76 c #Conflicts: 1258000 | #Constraints: 65159
2755.70/2763.76 c #Conflicts: 1259000 | #Constraints: 66159
2755.70/2763.76 c #Conflicts: 1260000 | #Constraints: 67159
2755.70/2763.76 c #Conflicts: 1261000 | #Constraints: 68159
2755.70/2763.76 c #Conflicts: 1262000 | #Constraints: 69159
2755.70/2763.76 c #Conflicts: 1263000 | #Constraints: 70159
2755.70/2763.76 c #Conflicts: 1264000 | #Constraints: 71159
2755.70/2763.76 c #Conflicts: 1265000 | #Constraints: 72159
2755.70/2763.76 c #Conflicts: 1266000 | #Constraints: 73159
2755.70/2763.76 c #Conflicts: 1267000 | #Constraints: 74159
2755.70/2763.76 c #Conflicts: 1268000 | #Constraints: 75159
2755.70/2763.76 c #Conflicts: 1269000 | #Constraints: 76159
2755.70/2763.76 c #Conflicts: 1270000 | #Constraints: 77159
2755.70/2763.76 c #Conflicts: 1271000 | #Constraints: 78159
2755.70/2763.76 c #Conflicts: 1272000 | #Constraints: 79159
2755.70/2763.76 c #Conflicts: 1273000 | #Constraints: 80159
2755.70/2763.76 c #Conflicts: 1274000 | #Constraints: 81159
2755.70/2763.76 c #Conflicts: 1275000 | #Constraints: 82159
2755.70/2763.76 c #Conflicts: 1276000 | #Constraints: 83159
2755.70/2763.76 c #Conflicts: 1277000 | #Constraints: 84159
2755.70/2763.76 c #Conflicts: 1278000 | #Constraints: 85159
2755.70/2763.76 c INPROCESSING
2755.70/2763.76 c GARBAGE COLLECT
2755.70/2763.76 c #Conflicts: 1279000 | #Constraints: 53699
2755.70/2763.76 c #Conflicts: 1280000 | #Constraints: 54699
2755.70/2763.76 c #Conflicts: 1281000 | #Constraints: 55699
2755.70/2763.76 c #Conflicts: 1282000 | #Constraints: 56699
2755.70/2763.76 c #Conflicts: 1283000 | #Constraints: 57699
2755.70/2763.76 c #Conflicts: 1284000 | #Constraints: 58699
2932.40/2940.91 c #Conflicts: 1285000 | #Constraints: 59699
2932.40/2940.91 c #Conflicts: 1286000 | #Constraints: 60699
2932.40/2940.91 c #Conflicts: 1287000 | #Constraints: 61699
2932.40/2940.91 c #Conflicts: 1288000 | #Constraints: 62699
2932.40/2940.91 c #Conflicts: 1289000 | #Constraints: 63699
2932.40/2940.91 c #Conflicts: 1290000 | #Constraints: 64699
2932.40/2940.91 c #Conflicts: 1291000 | #Constraints: 65699
2932.40/2940.91 c #Conflicts: 1292000 | #Constraints: 66699
2932.40/2940.91 c #Conflicts: 1293000 | #Constraints: 67699
2932.40/2940.91 c #Conflicts: 1294000 | #Constraints: 68699
2932.40/2940.91 c #Conflicts: 1295000 | #Constraints: 69699
2932.40/2940.91 c #Conflicts: 1296000 | #Constraints: 70699
2932.40/2940.91 c #Conflicts: 1297000 | #Constraints: 71699
2932.40/2940.91 c #Conflicts: 1298000 | #Constraints: 72699
2932.40/2940.91 c #Conflicts: 1299000 | #Constraints: 73699
2932.40/2940.91 c #Conflicts: 1300000 | #Constraints: 74699
2932.40/2940.91 c #Conflicts: 1301000 | #Constraints: 75699
2932.40/2940.91 c #Conflicts: 1302000 | #Constraints: 76699
2932.40/2940.91 c #Conflicts: 1303000 | #Constraints: 77699
2932.40/2940.91 c INPROCESSING
2932.40/2940.91 c GARBAGE COLLECT
2932.40/2940.91 c #Conflicts: 1304000 | #Constraints: 49898
2932.40/2940.91 c #Conflicts: 1305000 | #Constraints: 50898
2932.40/2940.91 c #Conflicts: 1306000 | #Constraints: 51898
2932.40/2940.91 c #Conflicts: 1307000 | #Constraints: 52898
2932.40/2940.91 c #Conflicts: 1308000 | #Constraints: 53898
2932.40/2940.91 c #Conflicts: 1309000 | #Constraints: 54898
2932.40/2940.91 c #Conflicts: 1310000 | #Constraints: 55898
2932.40/2940.91 c #Conflicts: 1311000 | #Constraints: 56898
2932.40/2940.91 c #Conflicts: 1312000 | #Constraints: 57898
2932.40/2940.91 c #Conflicts: 1313000 | #Constraints: 58898
2932.40/2940.91 c #Conflicts: 1314000 | #Constraints: 59898
2932.40/2940.91 c #Conflicts: 1315000 | #Constraints: 60898
2932.40/2940.91 c #Conflicts: 1316000 | #Constraints: 61898
2932.40/2940.91 c #Conflicts: 1317000 | #Constraints: 62898
2932.40/2940.91 c #Conflicts: 1318000 | #Constraints: 63898
2932.40/2940.91 c #Conflicts: 1319000 | #Constraints: 64898
2932.40/2940.91 c #Conflicts: 1320000 | #Constraints: 65898
2932.40/2940.91 c #Conflicts: 1321000 | #Constraints: 66898
2932.40/2940.91 c #Conflicts: 1322000 | #Constraints: 67898
2932.40/2940.91 c #Conflicts: 1323000 | #Constraints: 68898
2932.40/2940.91 c #Conflicts: 1324000 | #Constraints: 69898
2932.40/2940.91 c #Conflicts: 1325000 | #Constraints: 70898
2932.40/2940.91 c #Conflicts: 1326000 | #Constraints: 71898
2932.40/2940.91 c #Conflicts: 1327000 | #Constraints: 72898
2932.40/2940.91 c #Conflicts: 1328000 | #Constraints: 73898
2932.40/2940.91 c INPROCESSING
2932.40/2940.91 c GARBAGE COLLECT
2932.40/2940.91 c #Conflicts: 1329000 | #Constraints: 47790
2932.40/2940.91 c #Conflicts: 1330000 | #Constraints: 48790
2932.40/2940.91 c #Conflicts: 1331000 | #Constraints: 49790
2932.40/2940.91 c #Conflicts: 1332000 | #Constraints: 50790
2932.40/2940.91 c #Conflicts: 1333000 | #Constraints: 51790
2932.40/2940.91 c #Conflicts: 1334000 | #Constraints: 52790
2932.40/2940.91 c #Conflicts: 1335000 | #Constraints: 53790
2932.40/2940.91 c #Conflicts: 1336000 | #Constraints: 54790
2932.40/2940.91 c #Conflicts: 1337000 | #Constraints: 55790
2932.40/2940.91 c #Conflicts: 1338000 | #Constraints: 56790
2932.40/2940.91 c #Conflicts: 1339000 | #Constraints: 57790
2932.40/2940.91 c #Conflicts: 1340000 | #Constraints: 58790
2932.40/2940.91 c #Conflicts: 1341000 | #Constraints: 59790
2932.40/2940.91 c #Conflicts: 1342000 | #Constraints: 60790
2932.40/2940.91 c #Conflicts: 1343000 | #Constraints: 61790
2932.40/2940.91 c #Conflicts: 1344000 | #Constraints: 62790
2932.40/2940.91 c #Conflicts: 1345000 | #Constraints: 63790
2932.40/2940.91 c #Conflicts: 1346000 | #Constraints: 64790
2932.40/2940.91 c #Conflicts: 1347000 | #Constraints: 65790
2932.40/2940.91 c #Conflicts: 1348000 | #Constraints: 66790
2932.40/2940.91 c #Conflicts: 1349000 | #Constraints: 67790
2932.40/2940.91 c #Conflicts: 1350000 | #Constraints: 68790
2932.40/2940.91 c #Conflicts: 1351000 | #Constraints: 69790
2932.40/2940.91 c #Conflicts: 1352000 | #Constraints: 70790
2932.40/2940.91 c #Conflicts: 1353000 | #Constraints: 71790
2932.40/2940.91 c #Conflicts: 1354000 | #Constraints: 72790
2932.40/2940.91 c INPROCESSING
2932.40/2940.91 c GARBAGE COLLECT
2932.40/2940.91 c #Conflicts: 1355000 | #Constraints: 47420
2932.40/2940.91 c #Conflicts: 1356000 | #Constraints: 48420
2932.40/2940.91 c #Conflicts: 1357000 | #Constraints: 49420
2932.40/2940.91 c #Conflicts: 1358000 | #Constraints: 50420
2932.40/2940.91 c #Conflicts: 1359000 | #Constraints: 51420
2932.40/2940.91 c #Conflicts: 1360000 | #Constraints: 52420
3235.65/3245.08 c #Conflicts: 1361000 | #Constraints: 53420
3235.65/3245.08 c #Conflicts: 1362000 | #Constraints: 54420
3235.65/3245.08 c #Conflicts: 1363000 | #Constraints: 55420
3235.65/3245.08 c #Conflicts: 1364000 | #Constraints: 56420
3235.65/3245.08 c #Conflicts: 1365000 | #Constraints: 57420
3235.65/3245.08 c #Conflicts: 1366000 | #Constraints: 58420
3235.65/3245.08 c #Conflicts: 1367000 | #Constraints: 59420
3235.65/3245.08 c #Conflicts: 1368000 | #Constraints: 60420
3235.65/3245.08 c #Conflicts: 1369000 | #Constraints: 61420
3235.65/3245.08 c #Conflicts: 1370000 | #Constraints: 62420
3235.65/3245.08 c #Conflicts: 1371000 | #Constraints: 63420
3235.65/3245.08 c #Conflicts: 1372000 | #Constraints: 64420
3235.65/3245.08 c #Conflicts: 1373000 | #Constraints: 65420
3235.65/3245.08 c #Conflicts: 1374000 | #Constraints: 66420
3235.65/3245.08 c #Conflicts: 1375000 | #Constraints: 67420
3235.65/3245.08 c #Conflicts: 1376000 | #Constraints: 68420
3235.65/3245.08 c #Conflicts: 1377000 | #Constraints: 69420
3235.65/3245.08 c #Conflicts: 1378000 | #Constraints: 70420
3235.65/3245.08 c #Conflicts: 1379000 | #Constraints: 71420
3235.65/3245.08 c #Conflicts: 1380000 | #Constraints: 72420
3235.65/3245.08 c #Conflicts: 1381000 | #Constraints: 73420
3235.65/3245.08 c #Conflicts: 1382000 | #Constraints: 74420
3235.65/3245.08 c #Conflicts: 1383000 | #Constraints: 75420
3235.65/3245.08 c #Conflicts: 1384000 | #Constraints: 76420
3235.65/3245.08 c #Conflicts: 1385000 | #Constraints: 77420
3235.65/3245.08 c #Conflicts: 1386000 | #Constraints: 78420
3235.65/3245.08 c #Conflicts: 1387000 | #Constraints: 79420
3235.65/3245.08 c #Conflicts: 1388000 | #Constraints: 80420
3235.65/3245.08 c #Conflicts: 1389000 | #Constraints: 81420
3235.65/3245.08 c #Conflicts: 1390000 | #Constraints: 82420
3235.65/3245.08 c #Conflicts: 1391000 | #Constraints: 83420
3235.65/3245.08 c #Conflicts: 1392000 | #Constraints: 84420
3235.65/3245.08 c #Conflicts: 1393000 | #Constraints: 85420
3235.65/3245.08 c #Conflicts: 1394000 | #Constraints: 86420
3235.65/3245.08 c #Conflicts: 1395000 | #Constraints: 87420
3235.65/3245.08 c #Conflicts: 1396000 | #Constraints: 88420
3235.65/3245.08 c #Conflicts: 1397000 | #Constraints: 89420
3235.65/3245.08 c #Conflicts: 1398000 | #Constraints: 90420
3235.65/3245.08 c #Conflicts: 1399000 | #Constraints: 91420
3235.65/3245.08 c #Conflicts: 1400000 | #Constraints: 92420
3235.65/3245.08 c #Conflicts: 1401000 | #Constraints: 93420
3235.65/3245.08 c #Conflicts: 1402000 | #Constraints: 94420
3235.65/3245.08 c #Conflicts: 1403000 | #Constraints: 95420
3235.65/3245.08 c #Conflicts: 1404000 | #Constraints: 96420
3235.65/3245.08 c #Conflicts: 1405000 | #Constraints: 97420
3235.65/3245.08 c #Conflicts: 1406000 | #Constraints: 98420
3235.65/3245.08 c #Conflicts: 1407000 | #Constraints: 99420
3235.65/3245.08 c #Conflicts: 1408000 | #Constraints: 100420
3235.65/3245.08 c #Conflicts: 1409000 | #Constraints: 101420
3235.65/3245.08 c #Conflicts: 1410000 | #Constraints: 102420
3235.65/3245.08 c #Conflicts: 1411000 | #Constraints: 103420
3235.65/3245.08 c #Conflicts: 1412000 | #Constraints: 104420
3235.65/3245.08 c #Conflicts: 1413000 | #Constraints: 105420
3235.65/3245.08 c #Conflicts: 1414000 | #Constraints: 106420
3235.65/3245.08 c #Conflicts: 1415000 | #Constraints: 107420
3235.65/3245.08 c #Conflicts: 1416000 | #Constraints: 108420
3235.65/3245.08 c #Conflicts: 1417000 | #Constraints: 109420
3235.65/3245.08 c #Conflicts: 1418000 | #Constraints: 110420
3235.65/3245.08 c #Conflicts: 1419000 | #Constraints: 111420
3235.65/3245.08 c #Conflicts: 1420000 | #Constraints: 112420
3235.65/3245.08 c #Conflicts: 1421000 | #Constraints: 113420
3235.65/3245.08 c #Conflicts: 1422000 | #Constraints: 114420
3235.65/3245.08 c #Conflicts: 1423000 | #Constraints: 115420
3235.65/3245.08 c #Conflicts: 1424000 | #Constraints: 116420
3235.65/3245.08 c #Conflicts: 1425000 | #Constraints: 117420
3235.65/3245.08 c #Conflicts: 1426000 | #Constraints: 118420
3235.65/3245.08 c #Conflicts: 1427000 | #Constraints: 119420
3235.65/3245.08 c #Conflicts: 1428000 | #Constraints: 120420
3235.65/3245.08 c #Conflicts: 1429000 | #Constraints: 121420
3235.65/3245.08 c #Conflicts: 1430000 | #Constraints: 122420
3235.65/3245.08 c #Conflicts: 1431000 | #Constraints: 123420
3235.65/3245.08 c #Conflicts: 1432000 | #Constraints: 124420
3235.65/3245.08 c #Conflicts: 1433000 | #Constraints: 125420
3235.65/3245.08 c #Conflicts: 1434000 | #Constraints: 126420
3235.65/3245.08 c #Conflicts: 1435000 | #Constraints: 127420
3235.65/3245.08 c #Conflicts: 1436000 | #Constraints: 128420
3235.65/3245.08 c #Conflicts: 1437000 | #Constraints: 129420
3235.65/3245.08 c #Conflicts: 1438000 | #Constraints: 130420
3235.65/3245.08 c #Conflicts: 1439000 | #Constraints: 131420
3457.67/3467.67 c #Conflicts: 1440000 | #Constraints: 132420
3457.67/3467.67 c #Conflicts: 1441000 | #Constraints: 133420
3457.67/3467.67 c #Conflicts: 1442000 | #Constraints: 134420
3457.67/3467.67 c #Conflicts: 1443000 | #Constraints: 135420
3457.67/3467.67 c #Conflicts: 1444000 | #Constraints: 136420
3457.67/3467.67 c #Conflicts: 1445000 | #Constraints: 137420
3457.67/3467.67 c #Conflicts: 1446000 | #Constraints: 138420
3457.67/3467.67 c #Conflicts: 1447000 | #Constraints: 139420
3457.67/3467.67 c INPROCESSING
3457.67/3467.67 c GARBAGE COLLECT
3457.67/3467.67 c #Conflicts: 1448000 | #Constraints: 80590
3457.67/3467.67 c #Conflicts: 1449000 | #Constraints: 81590
3457.67/3467.67 c #Conflicts: 1450000 | #Constraints: 82590
3457.67/3467.67 c #Conflicts: 1451000 | #Constraints: 83590
3457.67/3467.67 c #Conflicts: 1452000 | #Constraints: 84590
3457.67/3467.67 c #Conflicts: 1453000 | #Constraints: 85590
3457.67/3467.67 c #Conflicts: 1454000 | #Constraints: 86590
3457.67/3467.67 c #Conflicts: 1455000 | #Constraints: 87590
3457.67/3467.67 c #Conflicts: 1456000 | #Constraints: 88590
3457.67/3467.67 c #Conflicts: 1457000 | #Constraints: 89590
3457.67/3467.67 c #Conflicts: 1458000 | #Constraints: 90590
3457.67/3467.67 c #Conflicts: 1459000 | #Constraints: 91590
3457.67/3467.67 c #Conflicts: 1460000 | #Constraints: 92590
3457.67/3467.67 c #Conflicts: 1461000 | #Constraints: 93590
3457.67/3467.67 c #Conflicts: 1462000 | #Constraints: 94590
3457.67/3467.67 c #Conflicts: 1463000 | #Constraints: 95590
3457.67/3467.67 c #Conflicts: 1464000 | #Constraints: 96590
3457.67/3467.67 c #Conflicts: 1465000 | #Constraints: 97590
3457.67/3467.67 c #Conflicts: 1466000 | #Constraints: 98590
3457.67/3467.67 c #Conflicts: 1467000 | #Constraints: 99590
3457.67/3467.67 c #Conflicts: 1468000 | #Constraints: 100590
3457.67/3467.67 c #Conflicts: 1469000 | #Constraints: 101590
3457.67/3467.67 c #Conflicts: 1470000 | #Constraints: 102590
3457.67/3467.67 c #Conflicts: 1471000 | #Constraints: 103590
3457.67/3467.67 c #Conflicts: 1472000 | #Constraints: 104590
3457.67/3467.67 c #Conflicts: 1473000 | #Constraints: 105590
3457.67/3467.67 c #Conflicts: 1474000 | #Constraints: 106590
3457.67/3467.67 c INPROCESSING
3457.67/3467.67 c GARBAGE COLLECT
3457.67/3467.67 c #Conflicts: 1475000 | #Constraints: 64229
3457.67/3467.67 c #Conflicts: 1476000 | #Constraints: 65229
3457.67/3467.67 c #Conflicts: 1477000 | #Constraints: 66229
3457.67/3467.67 c #Conflicts: 1478000 | #Constraints: 67229
3457.67/3467.67 c #Conflicts: 1479000 | #Constraints: 68229
3457.67/3467.67 c #Conflicts: 1480000 | #Constraints: 69229
3457.67/3467.67 c #Conflicts: 1481000 | #Constraints: 70229
3457.67/3467.67 c #Conflicts: 1482000 | #Constraints: 71229
3457.67/3467.67 c #Conflicts: 1483000 | #Constraints: 72229
3457.67/3467.67 c #Conflicts: 1484000 | #Constraints: 73229
3457.67/3467.67 c #Conflicts: 1485000 | #Constraints: 74229
3457.67/3467.67 c #Conflicts: 1486000 | #Constraints: 75229
3457.67/3467.67 c #Conflicts: 1487000 | #Constraints: 76229
3457.67/3467.67 c #Conflicts: 1488000 | #Constraints: 77229
3457.67/3467.67 c #Conflicts: 1489000 | #Constraints: 78229
3457.67/3467.67 c #Conflicts: 1490000 | #Constraints: 79229
3457.67/3467.67 c #Conflicts: 1491000 | #Constraints: 80229
3457.67/3467.67 c #Conflicts: 1492000 | #Constraints: 81229
3457.67/3467.67 c #Conflicts: 1493000 | #Constraints: 82229
3457.67/3467.67 c #Conflicts: 1494000 | #Constraints: 83229
3457.67/3467.67 c #Conflicts: 1495000 | #Constraints: 84229
3457.67/3467.67 c #Conflicts: 1496000 | #Constraints: 85229
3457.67/3467.67 c #Conflicts: 1497000 | #Constraints: 86229
3457.67/3467.67 c #Conflicts: 1498000 | #Constraints: 87229
3457.67/3467.67 c #Conflicts: 1499000 | #Constraints: 88229
3457.67/3467.67 c #Conflicts: 1500000 | #Constraints: 89229
3457.67/3467.67 c #Conflicts: 1501000 | #Constraints: 90229
3457.67/3467.67 c INPROCESSING
3457.67/3467.67 c GARBAGE COLLECT
3457.67/3467.67 c #Conflicts: 1502000 | #Constraints: 55988
3457.67/3467.67 c #Conflicts: 1503000 | #Constraints: 56988
3457.67/3467.67 c #Conflicts: 1504000 | #Constraints: 57988
3457.67/3467.67 c #Conflicts: 1505000 | #Constraints: 58988
3457.67/3467.67 c #Conflicts: 1506000 | #Constraints: 59988
3457.67/3467.67 c #Conflicts: 1507000 | #Constraints: 60988
3457.67/3467.67 c #Conflicts: 1508000 | #Constraints: 61988
3457.67/3467.67 c #Conflicts: 1509000 | #Constraints: 62988
3457.67/3467.67 c #Conflicts: 1510000 | #Constraints: 63988
3457.67/3467.67 c #Conflicts: 1511000 | #Constraints: 64988
3457.67/3467.67 c #Conflicts: 1512000 | #Constraints: 65988
3457.67/3467.67 c #Conflicts: 1513000 | #Constraints: 66988
3457.67/3467.67 c #Conflicts: 1514000 | #Constraints: 67988
3457.67/3467.67 c #Conflicts: 1515000 | #Constraints: 68988
3457.67/3467.67 c #Conflicts: 1516000 | #Constraints: 69988
3588.41/3598.70 c #Conflicts: 1517000 | #Constraints: 70988
3588.41/3598.70 c #Conflicts: 1518000 | #Constraints: 71988
3588.41/3598.70 c #Conflicts: 1519000 | #Constraints: 72988
3588.41/3598.70 c #Conflicts: 1520000 | #Constraints: 73988
3588.41/3598.70 c #Conflicts: 1521000 | #Constraints: 74988
3588.41/3598.70 c #Conflicts: 1522000 | #Constraints: 75988
3588.41/3598.70 c #Conflicts: 1523000 | #Constraints: 76988
3588.41/3598.70 c #Conflicts: 1524000 | #Constraints: 77988
3588.41/3598.70 c #Conflicts: 1525000 | #Constraints: 78988
3588.41/3598.70 c #Conflicts: 1526000 | #Constraints: 79988
3588.41/3598.70 c #Conflicts: 1527000 | #Constraints: 80988
3588.41/3598.70 c #Conflicts: 1528000 | #Constraints: 81988
3588.41/3598.70 c INPROCESSING
3588.41/3598.70 c GARBAGE COLLECT
3588.41/3598.70 c #Conflicts: 1529000 | #Constraints: 51729
3588.41/3598.70 c #Conflicts: 1530000 | #Constraints: 52729
3588.41/3598.70 c #Conflicts: 1531000 | #Constraints: 53729
3588.41/3598.70 c #Conflicts: 1532000 | #Constraints: 54729
3588.41/3598.70 c #Conflicts: 1533000 | #Constraints: 55729
3588.41/3598.70 c #Conflicts: 1534000 | #Constraints: 56729
3588.41/3598.70 c #Conflicts: 1535000 | #Constraints: 57729
3588.41/3598.70 c #Conflicts: 1536000 | #Constraints: 58729
3588.41/3598.70 c #Conflicts: 1537000 | #Constraints: 59729
3588.41/3598.70 c #Conflicts: 1538000 | #Constraints: 60729
3588.41/3598.70 c #Conflicts: 1539000 | #Constraints: 61729
3588.41/3598.70 c #Conflicts: 1540000 | #Constraints: 62729
3588.41/3598.70 c #Conflicts: 1541000 | #Constraints: 63729
3588.41/3598.70 c #Conflicts: 1542000 | #Constraints: 64729
3588.41/3598.70 c #Conflicts: 1543000 | #Constraints: 65729
3588.41/3598.70 c #Conflicts: 1544000 | #Constraints: 66729
3588.41/3598.70 c #Conflicts: 1545000 | #Constraints: 67729
3588.41/3598.70 c #Conflicts: 1546000 | #Constraints: 68729
3588.41/3598.70 c #Conflicts: 1547000 | #Constraints: 69729
3588.41/3598.70 c #Conflicts: 1548000 | #Constraints: 70729
3588.41/3598.70 c #Conflicts: 1549000 | #Constraints: 71729
3588.41/3598.70 c #Conflicts: 1550000 | #Constraints: 72729
3588.41/3598.70 c #Conflicts: 1551000 | #Constraints: 73729
3588.41/3598.70 c #Conflicts: 1552000 | #Constraints: 74729
3588.41/3598.70 c #Conflicts: 1553000 | #Constraints: 75729
3588.41/3598.70 c #Conflicts: 1554000 | #Constraints: 76729
3588.41/3598.70 c #Conflicts: 1555000 | #Constraints: 77729
3588.41/3598.70 c #Conflicts: 1556000 | #Constraints: 78729
3588.41/3598.70 c INPROCESSING
3588.41/3598.70 c GARBAGE COLLECT
3588.41/3598.70 c #Conflicts: 1557000 | #Constraints: 50353
3588.41/3598.70 c #Conflicts: 1558000 | #Constraints: 51353
3588.41/3598.70 c #Conflicts: 1559000 | #Constraints: 52353
3588.41/3598.70 c #Conflicts: 1560000 | #Constraints: 53353
3588.41/3598.70 c #Conflicts: 1561000 | #Constraints: 54353
3588.41/3598.70 c #Conflicts: 1562000 | #Constraints: 55353
3588.41/3598.70 c #Conflicts: 1563000 | #Constraints: 56353
3588.41/3598.70 c #Conflicts: 1564000 | #Constraints: 57353
3588.41/3598.70 c #Conflicts: 1565000 | #Constraints: 58353
3588.41/3598.70 c #Conflicts: 1566000 | #Constraints: 59353
3588.41/3598.70 c #Conflicts: 1567000 | #Constraints: 60353
3588.41/3598.70 c #Conflicts: 1568000 | #Constraints: 61353
3588.41/3598.70 c #Conflicts: 1569000 | #Constraints: 62353
3588.41/3598.70 c #Conflicts: 1570000 | #Constraints: 63353
3588.41/3598.70 c #Conflicts: 1571000 | #Constraints: 64353
3588.41/3598.70 c #Conflicts: 1572000 | #Constraints: 65353
3588.41/3598.70 c #Conflicts: 1573000 | #Constraints: 66353
3588.41/3598.70 c #Conflicts: 1574000 | #Constraints: 67353
3588.41/3598.70 c #Conflicts: 1575000 | #Constraints: 68353
3588.41/3598.70 c #Conflicts: 1576000 | #Constraints: 69353
3588.41/3598.70 c #Conflicts: 1577000 | #Constraints: 70353
3588.41/3598.70 c #Conflicts: 1578000 | #Constraints: 71353
3588.41/3598.70 c #Conflicts: 1579000 | #Constraints: 72353
3588.41/3598.70 c #Conflicts: 1580000 | #Constraints: 73353
3588.41/3598.70 c #Conflicts: 1581000 | #Constraints: 74353
3588.41/3598.70 c #Conflicts: 1582000 | #Constraints: 75353
3588.41/3598.70 c #Conflicts: 1583000 | #Constraints: 76353
3588.41/3598.70 c #Conflicts: 1584000 | #Constraints: 77353
3588.41/3598.70 c INPROCESSING
3588.41/3598.70 c GARBAGE COLLECT
3588.41/3598.70 c #Conflicts: 1585000 | #Constraints: 49801
3588.41/3598.70 c #Conflicts: 1586000 | #Constraints: 50801
3588.41/3598.70 c #Conflicts: 1587000 | #Constraints: 51801
3588.41/3598.70 c #Conflicts: 1588000 | #Constraints: 52801
3588.41/3598.70 c #Conflicts: 1589000 | #Constraints: 53801
3588.41/3598.70 c #Conflicts: 1590000 | #Constraints: 54801
3588.41/3598.70 c #Conflicts: 1591000 | #Constraints: 55801
3588.41/3598.70 c #Conflicts: 1592000 | #Constraints: 56801
3588.41/3598.70 c #Conflicts: 1593000 | #Constraints: 57801
3600.09/3610.40 c #Conflicts: 1594000 | #Constraints: 58801
3600.09/3610.40 c #Conflicts: 1595000 | #Constraints: 59801
3600.09/3610.40 c #Conflicts: 1596000 | #Constraints: 60801
3600.09/3610.40 c #Conflicts: 1597000 | #Constraints: 61801
3600.09/3610.40 c #Conflicts: 1598000 | #Constraints: 62801
3600.09/3610.40 c #Conflicts: 1599000 | #Constraints: 63801
3600.09/3610.40 c #Conflicts: 1600000 | #Constraints: 64801
3600.09/3610.40 c Program interrupted by user.
3600.09/3610.40 c cpu time 3587.49 s
3600.09/3610.40 c deterministic time 304640227530 3.05e+11
3600.09/3610.40 c optimization time 88.7028 s
3600.09/3610.40 c total solve time 3498.69 s
3600.09/3610.40 c core-guided solve time 3498.69 s
3600.09/3610.40 c propagation time 2998.51 s
3600.09/3610.40 c conflict analysis time 564.284 s
3600.09/3610.40 c propagations 188848494
3600.09/3610.40 c resolve steps 31286900
3600.09/3610.40 c decisions 4875177
3600.09/3610.40 c conflicts 1600589
3600.09/3610.40 c restarts 3069
3600.09/3610.40 c inprocessing phases 80
3600.09/3610.40 c input clauses 19592
3600.09/3610.40 c input cardinalities 403
3600.09/3610.40 c input general constraints 211
3600.09/3610.40 c input average constraint length 14.68
3600.09/3610.40 c input average constraint degree 9.37
3600.09/3610.40 c learned clauses 1152706
3600.09/3610.40 c learned cardinalities 30077
3600.09/3610.40 c learned general constraints 417830
3600.09/3610.40 c learned average constraint length 139.76
3600.09/3610.40 c learned average constraint degree 27779.86
3600.09/3610.40 c watched constraints 389372
3600.09/3610.40 c counting constraints 28669
3600.09/3610.40 c gcd simplifications 11541
3600.09/3610.40 c detected cardinalities 1129
3600.09/3610.40 c weakened non-implied lits 13472087
3600.09/3610.40 c weakened non-implying lits 20516
3600.09/3610.40 c original variables 2046
3600.09/3610.40 c clausal propagations 140397214
3600.09/3610.40 c cardinality propagations 1134132
3600.09/3610.40 c watched propagations 8104186
3600.09/3610.40 c counting propagations 36654257
3600.09/3610.40 c watch lookups 74435182939
3600.09/3610.40 c watch backjump lookups 64966663614
3600.09/3610.40 c watch checks 146308651239
3600.09/3610.40 c propagation checks 17932429583
3600.09/3610.40 c constraint additions 608252428
3600.09/3610.40 c trail pops 195324055
3600.09/3610.40 c formula constraints 18944
3600.09/3610.40 c learned constraints 1600613
3600.09/3610.40 c bound constraints 123
3600.09/3610.40 c core-guided constraints 1139
3600.09/3610.40 c encountered formula constraints 9734912
3600.09/3610.40 c encountered learned constraints 21745156
3600.09/3610.40 c encountered bound constraints 33
3600.09/3610.40 c encountered core-guided constraints 1407388
3600.09/3610.40 c LP total time 0 s
3600.09/3610.40 c LP solve time 0 s
3600.09/3610.40 c LP constraints added 0
3600.09/3610.40 c LP constraints removed 0
3600.09/3610.40 c LP pivots internal 0
3600.09/3610.40 c LP pivots root 0
3600.09/3610.40 c LP calls 0
3600.09/3610.40 c LP optimalities 0
3600.09/3610.40 c LP no pivot count 0
3600.09/3610.40 c LP infeasibilities 0
3600.09/3610.40 c LP valid Farkas constraints 0
3600.09/3610.40 c LP learned Farkas constraints 0
3600.09/3610.40 c LP basis resets 0
3600.09/3610.40 c LP cycling count 0
3600.09/3610.40 c LP singular count 0
3600.09/3610.40 c LP no primal count 0
3600.09/3610.40 c LP no farkas count 0
3600.09/3610.40 c LP other issue count 0
3600.09/3610.40 c LP Gomory cuts 0
3600.09/3610.40 c LP learned cuts 0
3600.09/3610.40 c LP deleted cuts 0
3600.09/3610.40 c LP encountered Gomory constraints 0
3600.09/3610.40 c LP encountered Farkas constraints 0
3600.09/3610.40 c LP encountered learned Farkas constraints 0
3600.09/3610.40 c CG auxiliary variables introduced 747
3600.09/3610.40 c CG solutions found 2
3600.09/3610.40 c CG cores constructed 106
3600.09/3610.40 c CG core cardinality constraints returned 0
3600.09/3610.40 c CG unit cores 0
3600.09/3610.40 c CG single cores 106
3600.09/3610.40 c CG blocks removed during cardinality reduction 0
3600.09/3610.40 c CG first core best 0
3600.09/3610.40 c CG decision core best 0
3600.09/3610.40 c CG core reduction tie 0
3600.09/3610.40 c CG core degree average 1.00
3600.09/3610.40 c CG core slack average 5.44
3600.09/3610.40 c CG exhausted 5
3600.09/3610.40 c CG exhaust time 64.342 s
3600.09/3610.40 c CG trimmed 5
3600.09/3610.40 c CG trim time 0.001845 s
3600.09/3610.40 c CG minimized 0
3600.09/3610.40 c CG minimize time 0 s
3600.09/3610.40 c CG am1 prop time 0.010582 s
3600.09/3610.40 c CG # am1s reformulated 500
3600.09/3610.40 c CG lower bound derived from am1s 1485
3600.09/3610.40 c CG # clausal cores 106
3600.09/3610.40 c CG # cardinality cores 0
3600.09/3610.40 c CG # pb cores 0
3600.09/3610.40 c CG # pb reforms 0
3600.09/3610.40 c CG # cores discarded because of pb reform 0
3600.09/3610.40 d LOWERBOUND -450
3600.09/3610.40 d NCORES 106
3600.09/3610.40 d NPBCORES 0
3600.09/3610.40 d NPBREFORM 0
3600.09/3610.40 d NTRIMMED 5
3600.09/3610.40 d NEXHAUSTED 5
3600.09/3610.40 d NAM1S 500
3600.09/3610.40 d AM1LB 1485
3600.09/3610.40 o -284
3600.09/3610.40 s SATISFIABLE
3600.09/3610.40 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 -x50 x51 x52 -x53 x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 x227 x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 x262 -x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 -x400 x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 x440 x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 x485 -x486 x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 x644 x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 x805 -x806 -x807 x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 x832 x833 -x834 -x835 x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 x880 -x881 x882 -x883 -x884 -x885 x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 x1020 x1021 -x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 x1109 x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046
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 (63129 MiB free)
memory of node 1: 64465 MiB (60357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522086-1751583111/watcher-4522086-1751583111 -o /tmp/evaluation-result-4522086-1751583111/solver-4522086-1751583111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84438 --watchdog 3760 pb-oll-rs HOME/instance-4522086-1751583111.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=86072, runsolver pid=86069
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126451316/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=20676 memory=6016 CPUtime=0.09 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 663 0 0 0 6 3 0 0 20 0 1 0 73990307 21172224 1504 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 5169 1504 1120 243 0 1418 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20676 KiB
Current children cumulated memory: 6016 KiB
[startup+0.214687 s]*
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126451316/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=23924 memory=10240 CPUtime=0.18 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 1583 0 0 0 13 5 0 0 20 0 1 0 73990307 24498176 2560 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 5981 2560 1312 243 0 2230 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 23924 KiB
Current children cumulated memory: 10240 KiB
[startup+0.313463 s]*
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126451316/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=24904 memory=13648 CPUtime=0.27 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 1902 0 0 0 17 10 0 0 20 0 1 0 73990307 25501696 3412 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 6226 3412 1344 243 0 2475 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 24904 KiB
Current children cumulated memory: 13648 KiB
[startup+0.700204 s]
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126447220/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=26008 memory=15184 CPUtime=0.62 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 2266 0 0 0 46 16 0 0 20 0 1 0 73990307 26632192 3796 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 6502 3796 1344 243 0 2751 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 26008 KiB
Current children cumulated memory: 15184 KiB
[startup+1.50016 s]
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126445204/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=42220 memory=24932 CPUtime=1.41 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 4192 0 0 0 122 19 0 0 20 0 1 0 73990307 43233280 6233 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 10555 6233 1344 243 0 6804 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 42220 KiB
Current children cumulated memory: 24932 KiB
[startup+3.1055 s]
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126432696/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=56100 memory=39800 CPUtime=3 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 5402 0 0 0 278 22 0 0 20 0 1 0 73990307 57446400 9950 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 14025 9950 1344 243 0 10274 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 56100 KiB
Current children cumulated memory: 39800 KiB
[startup+6.30017 s]
/proc/loadavg: 4.19 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126410520/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=79776 memory=53980 CPUtime=6.16 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 6594 0 0 0 590 26 0 0 20 0 1 0 73990307 81690624 13495 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 19944 13495 1344 243 0 16193 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 79776 KiB
Current children cumulated memory: 53980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126372888/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=89244 memory=73068 CPUtime=12.51 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 9225 0 0 0 1217 34 0 0 20 0 1 0 73990307 91385856 18267 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 22311 18267 1344 243 0 18560 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 89244 KiB
Current children cumulated memory: 73068 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126311376/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=130128 memory=95436 CPUtime=25.25 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 11967 0 0 0 2479 46 0 0 20 0 1 0 73990307 133251072 23859 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 32532 23859 1344 243 0 28781 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 130128 KiB
Current children cumulated memory: 95436 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.19 4.14 5/251 86074
/proc/meminfo: memFree=126163600/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=142256 memory=123256 CPUtime=50.8 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 15045 0 0 0 5009 71 0 0 20 0 1 0 73990307 145670144 30814 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 35564 30814 1344 243 0 31813 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 142256 KiB
Current children cumulated memory: 123256 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/250 86076
/proc/meminfo: memFree=126060548/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=158380 memory=137496 CPUtime=101.85 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 19375 0 0 0 10060 125 0 0 20 0 1 0 73990307 162181120 34374 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 39595 34374 1344 243 0 35844 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 158380 KiB
Current children cumulated memory: 137496 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/251 86079
/proc/meminfo: memFree=125881976/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=160056 memory=139332 CPUtime=161.7 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 20001 0 0 0 16004 166 0 0 20 0 1 0 73990307 163897344 34833 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 40014 34833 1344 243 0 36263 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 160056 KiB
Current children cumulated memory: 139332 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.12 5/250 86085
/proc/meminfo: memFree=125789948/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=160056 memory=139588 CPUtime=221.54 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 20049 0 0 0 21952 202 0 0 20 0 1 0 73990307 163897344 34897 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 40014 34897 1344 243 0 36263 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 160056 KiB
Current children cumulated memory: 139588 KiB
[startup+282.3 s]
/proc/loadavg: 4.51 4.24 4.16 5/250 86087
/proc/meminfo: memFree=125722708/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=162304 memory=141636 CPUtime=281.37 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 20572 0 0 0 27901 236 0 0 20 0 1 0 73990307 166199296 35409 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 40576 35409 1344 243 0 36825 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 162304 KiB
Current children cumulated memory: 141636 KiB
[startup+342.3 s]
/proc/loadavg: 4.58 4.33 4.19 5/250 86089
/proc/meminfo: memFree=125624088/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=162304 memory=141764 CPUtime=341.2 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 20605 0 0 0 33860 260 0 0 20 0 1 0 73990307 166199296 35441 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 40576 35441 1344 243 0 36825 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 162304 KiB
Current children cumulated memory: 141764 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 4.30 4.19 5/251 86094
/proc/meminfo: memFree=125575424/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=163748 memory=143008 CPUtime=401.02 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 21238 0 0 0 39814 288 0 0 20 0 1 0 73990307 167677952 35752 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 40937 35752 1344 243 0 37186 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 163748 KiB
Current children cumulated memory: 143008 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.26 4.18 5/251 86095
/proc/meminfo: memFree=125435900/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=163748 memory=143008 CPUtime=460.85 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 21240 0 0 0 45769 316 0 0 20 0 1 0 73990307 167677952 35752 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 40937 35752 1344 243 0 37186 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 150780 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.13 4.18 5/250 86226
/proc/meminfo: memFree=123249680/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=172964 memory=150752 CPUtime=2854.03 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 28820 0 0 0 284315 1088 0 0 20 0 1 0 73990307 177115136 37688 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43241 37688 1344 243 0 39490 0
Current children cumulated CPU time: 2854.03 s
Current children cumulated vsize: 172964 KiB
Current children cumulated memory: 150752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/250 86228
/proc/meminfo: memFree=123210396/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=174120 memory=151648 CPUtime=2913.86 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29077 0 0 0 290278 1108 0 0 20 0 1 0 73990307 178298880 37912 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43530 37912 1344 243 0 39779 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 151648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/250 86230
/proc/meminfo: memFree=123039528/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=174120 memory=157024 CPUtime=2973.67 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29101 0 0 0 296236 1131 0 0 20 0 1 0 73990307 178298880 39256 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43530 39256 1344 243 0 39779 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 157024 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.17 5/250 86231
/proc/meminfo: memFree=123022736/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=174120 memory=160992 CPUtime=3033.48 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29127 0 0 0 302200 1148 0 0 20 0 1 0 73990307 178298880 40248 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43530 40248 1344 243 0 39779 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 160992 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/249 86233
/proc/meminfo: memFree=123000004/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=174120 memory=160992 CPUtime=3093.32 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29127 0 0 0 308171 1161 0 0 20 0 1 0 73990307 178298880 40248 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43530 40248 1344 243 0 39779 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 160992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/249 86235
/proc/meminfo: memFree=122970600/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=174120 memory=160992 CPUtime=3153.16 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29128 0 0 0 314145 1171 0 0 20 0 1 0 73990307 178298880 40248 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43530 40248 1344 243 0 39779 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 160992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/251 86243
/proc/meminfo: memFree=122887884/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=174120 memory=161120 CPUtime=3213 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29188 0 0 0 320119 1181 0 0 20 0 1 0 73990307 178298880 40280 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 43530 40280 1344 243 0 39779 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 174120 KiB
Current children cumulated memory: 161120 KiB
[startup+3282.3 s]
/proc/loadavg: 3.60 3.98 4.11 4/245 86275
/proc/meminfo: memFree=123040096/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=176804 memory=162528 CPUtime=3272.85 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29547 0 0 0 326097 1188 0 0 20 0 1 0 73990307 181047296 40632 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44201 40632 1344 243 0 40450 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 176804 KiB
Current children cumulated memory: 162528 KiB
[startup+3342.3 s]
/proc/loadavg: 3.00 3.75 4.02 3/239 86308
/proc/meminfo: memFree=126922976/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=176804 memory=162688 CPUtime=3332.7 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 29966 0 0 0 332072 1198 0 0 20 0 1 0 73990307 181047296 40672 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44201 40672 1344 243 0 40450 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 176804 KiB
Current children cumulated memory: 162688 KiB
[startup+3402.3 s]
/proc/loadavg: 2.48 3.46 3.90 3/239 86312
/proc/meminfo: memFree=126931724/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=176804 memory=162688 CPUtime=3392.55 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 30250 0 0 0 338046 1209 0 0 20 0 1 0 73990307 181047296 40672 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44201 40672 1344 243 0 40450 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 176804 KiB
Current children cumulated memory: 162688 KiB
[startup+3462.3 s]
/proc/loadavg: 2.22 3.21 3.78 3/239 86314
/proc/meminfo: memFree=126931976/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=176804 memory=162688 CPUtime=3452.38 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 30518 0 0 0 344017 1221 0 0 20 0 1 0 73990307 181047296 40672 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44201 40672 1344 243 0 40450 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 176804 KiB
Current children cumulated memory: 162688 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 3.00 3.68 3/238 86316
/proc/meminfo: memFree=126932236/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=176804 memory=162688 CPUtime=3512.21 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 30779 0 0 0 349985 1236 0 0 20 0 1 0 73990307 181047296 40672 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44201 40672 1344 243 0 40450 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 176804 KiB
Current children cumulated memory: 162688 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.83 3.57 3/238 86319
/proc/meminfo: memFree=126912224/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=176804 memory=162688 CPUtime=3572.05 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 31046 0 0 0 355955 1250 0 0 20 0 1 0 73990307 181047296 40672 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44201 40672 1344 243 0 40450 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 176804 KiB
Current children cumulated memory: 162688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 1.92 2.73 3.52 2/233 86352
/proc/meminfo: memFree=128825932/131382116 swapFree=33009904/33010684
[pid=86072] ppid=86069 vsize=177800 memory=163456 CPUtime=3600.09 cores=4,6
/proc/86072/stat : 86072 (pb-oll-rs) R 86069 86072 84427 0 -1 4194304 31263 0 0 0 358749 1260 0 0 20 0 1 0 73990307 182067200 40864 18446744073709551615 4218880 5211445 140721581220384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12095488 140721581226396 140721581226473 140721581226473 140721581232075 0
/proc/86072/statm: 44450 40864 1344 243 0 40699 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 177800 KiB
Current children cumulated memory: 163456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 86072 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.5 s, system=12.6031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.1
CPU user time (s): 3587.5
CPU system time (s): 12.6031
CPU usage (%): 99.7146
Max. virtual memory (cumulated for all children) (KiB): 178620
Max. memory (cumulated for all children) (KiB): 164192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.5
system time used= 12.6031
maximum resident set size= 164192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31278
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= 128
involuntary context switches= 2812
# summary of solver processes directly reported to runsolver:
# pid: 86072
# total CPU time (s): 3600.1
# total CPU user time (s): 3587.5
# total CPU system time (s): 12.6031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4254 second user time and 33.4278 second system time
The end
Begin job on nodeC004 at 2025-07-04 00:51:51
IDJOB=4522086
IDBENCH=178576
IDSOLVER=3345
FILE ID=nodeC004/4522086-1751583111
RUNJOBID= nodeC004-1751575512-84438
SLURM_JOB_ID= 9598804
Free space on /tmp= 431560 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522086-1751583111/watcher-4522086-1751583111 -o /tmp/evaluation-result-4522086-1751583111/solver-4522086-1751583111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84438 --watchdog 3760 pb-oll-rs HOME/instance-4522086-1751583111.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=1638370262
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3592.061
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.807
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.981
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2595.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.503
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126451236 kB
MemAvailable: 127379024 kB
Buffers: 2128 kB
Cached: 1677068 kB
SwapCached: 32 kB
Active: 3132020 kB
Inactive: 1083060 kB
Active(anon): 2543068 kB
Inactive(anon): 10748 kB
Active(file): 588952 kB
Inactive(file): 1072312 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4444 kB
Writeback: 0 kB
AnonPages: 2538368 kB
Mapped: 107392 kB
Shmem: 17932 kB
KReclaimable: 212304 kB
Slab: 299444 kB
SReclaimable: 212304 kB
SUnreclaim: 87140 kB
KernelStack: 4096 kB
PageTables: 8000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2938040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1474560 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431676 MiB
End job on nodeC004 at 2025-07-04 01:52:02