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.00/0.01 c [STEP] solving
0.00/0.01 c #variables 468 #constraints 468
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.000877
0.00/0.01 c stratification level: 0
0.00/0.02 c bounds - >= 46 @ 0.001727
0.00/0.02 c bounds - >= 47 @ 0.001727
0.00/0.02 c bounds - >= 48 @ 0.001727
0.00/0.02 c bounds - >= 49 @ 0.001737
0.00/0.02 c bounds - >= 50 @ 0.00178
0.00/0.02 c bounds - >= 51 @ 0.001885
0.00/0.02 c bounds - >= 52 @ 0.001989
0.00/0.02 c bounds - >= 53 @ 0.00209
0.00/0.02 c bounds - >= 54 @ 0.002189
0.00/0.02 c bounds - >= 55 @ 0.002292
0.00/0.02 c bounds - >= 56 @ 0.002394
0.00/0.02 c bounds - >= 57 @ 0.002498
0.00/0.02 c bounds - >= 58 @ 0.002599
0.00/0.02 c bounds - >= 59 @ 0.00266
0.00/0.02 c bounds - >= 60 @ 0.002676
0.00/0.02 c bounds - >= 61 @ 0.002676
0.00/0.02 c bounds - >= 62 @ 0.002676
0.00/0.02 c bounds - >= 63 @ 0.002676
0.00/0.02 c bounds - >= 64 @ 0.002676
0.00/0.02 c bounds - >= 65 @ 0.002676
0.00/0.02 c bounds - >= 66 @ 0.002676
0.00/0.02 c bounds - >= 67 @ 0.002676
0.00/0.02 c bounds - >= 68 @ 0.002676
0.00/0.02 c bounds - >= 69 @ 0.002726
0.00/0.02 c bounds - >= 70 @ 0.002833
0.00/0.02 c bounds - >= 71 @ 0.00294
0.00/0.02 c bounds - >= 72 @ 0.003051
0.00/0.02 c bounds - >= 73 @ 0.003175
0.00/0.02 c bounds - >= 74 @ 0.00329
0.00/0.02 c bounds - >= 75 @ 0.003403
0.00/0.02 c bounds - >= 76 @ 0.003523
0.00/0.02 c bounds - >= 77 @ 0.003618
0.00/0.02 c bounds - >= 78 @ 0.003684
0.00/0.02 c bounds - >= 79 @ 0.003806
0.00/0.02 c bounds - >= 80 @ 0.003918
0.00/0.02 c bounds - >= 81 @ 0.00404
0.00/0.02 c bounds - >= 82 @ 0.004157
0.00/0.02 c bounds - >= 83 @ 0.004268
0.00/0.02 c bounds - >= 84 @ 0.004381
0.00/0.02 c bounds - >= 85 @ 0.004492
0.00/0.02 c bounds - >= 86 @ 0.004575
0.00/0.02 c bounds - >= 87 @ 0.004677
0.00/0.02 c bounds - >= 88 @ 0.004791
0.00/0.02 c bounds - >= 89 @ 0.004917
0.00/0.02 c bounds - >= 90 @ 0.005037
0.00/0.02 c bounds - >= 91 @ 0.005154
0.00/0.02 c bounds - >= 92 @ 0.005288
0.00/0.02 c bounds - >= 93 @ 0.005422
0.00/0.02 c bounds - >= 94 @ 0.005515
0.00/0.02 c bounds - >= 95 @ 0.005525
0.00/0.02 c bounds - >= 96 @ 0.005525
0.00/0.02 c bounds - >= 97 @ 0.005525
0.00/0.02 c bounds - >= 98 @ 0.005525
0.00/0.02 c bounds - >= 99 @ 0.005525
0.00/0.02 c bounds - >= 100 @ 0.005525
0.00/0.02 c bounds - >= 101 @ 0.005537
0.00/0.02 c bounds - >= 102 @ 0.005537
0.00/0.02 c bounds - >= 103 @ 0.005537
0.00/0.02 c bounds - >= 104 @ 0.005537
0.00/0.02 c bounds - >= 105 @ 0.005537
0.00/0.02 c bounds - >= 106 @ 0.005537
0.00/0.02 c bounds - >= 107 @ 0.005541
0.00/0.02 c bounds - >= 108 @ 0.005573
0.00/0.02 c bounds - >= 109 @ 0.005573
0.00/0.02 c bounds - >= 110 @ 0.005573
0.00/0.02 c bounds - >= 111 @ 0.005573
0.00/0.02 c bounds - >= 112 @ 0.005573
0.00/0.02 c bounds - >= 113 @ 0.005573
0.00/0.02 c bounds - >= 114 @ 0.005573
0.00/0.02 c bounds - >= 115 @ 0.005628
0.00/0.02 c bounds - >= 116 @ 0.005774
0.00/0.02 c bounds - >= 117 @ 0.0059
0.00/0.02 c bounds - >= 118 @ 0.006028
0.00/0.02 c bounds - >= 119 @ 0.006154
0.00/0.02 c bounds - >= 120 @ 0.006311
0.00/0.02 c bounds - >= 121 @ 0.006441
0.00/0.02 c bounds - >= 122 @ 0.006547
0.00/0.02 c bounds - >= 123 @ 0.006557
0.00/0.02 c bounds - >= 124 @ 0.006557
0.00/0.02 c bounds - >= 125 @ 0.006557
0.00/0.02 c bounds - >= 126 @ 0.006557
0.00/0.02 c bounds - >= 127 @ 0.006557
0.00/0.02 c finalizing WCE round: reformulating cores
38.77/38.97 c #Conflicts: 1000 | #Constraints: 1646
38.77/38.97 c #Conflicts: 2000 | #Constraints: 2648
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 3000 | #Constraints: 2561
38.77/38.97 c #Conflicts: 4000 | #Constraints: 3563
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 5000 | #Constraints: 2976
38.77/38.97 c #Conflicts: 6000 | #Constraints: 3978
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 7000 | #Constraints: 2977
38.77/38.97 c #Conflicts: 8000 | #Constraints: 3979
38.77/38.97 c #Conflicts: 9000 | #Constraints: 4983
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 10000 | #Constraints: 3679
38.77/38.97 c #Conflicts: 11000 | #Constraints: 4681
38.77/38.97 c #Conflicts: 12000 | #Constraints: 5683
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 13000 | #Constraints: 4130
38.77/38.97 c #Conflicts: 14000 | #Constraints: 5132
38.77/38.97 c #Conflicts: 15000 | #Constraints: 6134
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 16000 | #Constraints: 4369
38.77/38.97 c #Conflicts: 17000 | #Constraints: 5371
38.77/38.97 c #Conflicts: 18000 | #Constraints: 6373
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 19000 | #Constraints: 4399
38.77/38.97 c #Conflicts: 20000 | #Constraints: 5401
38.77/38.97 c #Conflicts: 21000 | #Constraints: 6403
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 22000 | #Constraints: 4204
38.77/38.97 c #Conflicts: 23000 | #Constraints: 5206
38.77/38.97 c #Conflicts: 24000 | #Constraints: 6210
38.77/38.97 c #Conflicts: 25000 | #Constraints: 7212
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 26000 | #Constraints: 4819
38.77/38.97 c #Conflicts: 27000 | #Constraints: 5821
38.77/38.97 c #Conflicts: 28000 | #Constraints: 6823
38.77/38.97 c #Conflicts: 29000 | #Constraints: 7827
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 30000 | #Constraints: 5228
38.77/38.97 c #Conflicts: 31000 | #Constraints: 6230
38.77/38.97 c #Conflicts: 32000 | #Constraints: 7232
38.77/38.97 c #Conflicts: 33000 | #Constraints: 8236
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 34000 | #Constraints: 5444
38.77/38.97 c #Conflicts: 35000 | #Constraints: 6446
38.77/38.97 c #Conflicts: 36000 | #Constraints: 7448
38.77/38.97 c #Conflicts: 37000 | #Constraints: 8452
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 38000 | #Constraints: 5453
38.77/38.97 c #Conflicts: 39000 | #Constraints: 6455
38.77/38.97 c #Conflicts: 40000 | #Constraints: 7457
38.77/38.97 c #Conflicts: 41000 | #Constraints: 8461
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 42000 | #Constraints: 5271
38.77/38.97 c #Conflicts: 43000 | #Constraints: 6273
38.77/38.97 c #Conflicts: 44000 | #Constraints: 7277
38.77/38.97 c #Conflicts: 45000 | #Constraints: 8279
38.77/38.97 c #Conflicts: 46000 | #Constraints: 9281
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 47000 | #Constraints: 5882
38.77/38.97 c #Conflicts: 48000 | #Constraints: 6884
38.77/38.97 c #Conflicts: 49000 | #Constraints: 7886
38.77/38.97 c #Conflicts: 50000 | #Constraints: 8890
38.77/38.97 c #Conflicts: 51000 | #Constraints: 9892
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 52000 | #Constraints: 6295
38.77/38.97 c #Conflicts: 53000 | #Constraints: 7297
38.77/38.97 c #Conflicts: 54000 | #Constraints: 8299
38.77/38.97 c #Conflicts: 55000 | #Constraints: 9303
38.77/38.97 c #Conflicts: 56000 | #Constraints: 10305
38.77/38.97 c INPROCESSING
38.77/38.97 c GARBAGE COLLECT
38.77/38.97 c #Conflicts: 57000 | #Constraints: 6504
38.77/38.97 c #Conflicts: 58000 | #Constraints: 7506
38.77/38.97 c #Conflicts: 59000 | #Constraints: 8508
38.77/38.97 c bounds 212 >= 127 @ 37.6391
38.77/38.97 c bounds 212 >= 128 @ 37.6503
38.77/38.97 c bounds 212 >= 129 @ 37.653
38.77/38.97 c bounds 212 >= 130 @ 37.6564
38.77/38.97 c bounds 212 >= 131 @ 37.6636
38.77/38.97 c bounds 212 >= 132 @ 37.6677
38.77/38.97 c bounds 212 >= 133 @ 37.6719
38.77/38.97 c bounds 212 >= 134 @ 37.6726
38.77/38.97 c bounds 212 >= 135 @ 37.677
38.77/38.97 c bounds 212 >= 136 @ 37.6827
38.77/38.97 c bounds 212 >= 137 @ 37.6912
38.77/38.97 c bounds 212 >= 138 @ 37.7112
38.77/38.97 c finalizing WCE round: reformulating cores
171.91/172.42 c #Conflicts: 60000 | #Constraints: 9664
171.91/172.42 c #Conflicts: 61000 | #Constraints: 10668
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 62000 | #Constraints: 6628
171.91/172.42 c #Conflicts: 63000 | #Constraints: 7630
171.91/172.42 c #Conflicts: 64000 | #Constraints: 8632
171.91/172.42 c #Conflicts: 65000 | #Constraints: 9636
171.91/172.42 c #Conflicts: 66000 | #Constraints: 10638
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 67000 | #Constraints: 6423
171.91/172.42 c #Conflicts: 68000 | #Constraints: 7425
171.91/172.42 c bounds 211 >= 138 @ 48.1653
171.91/172.42 c bounds 211 >= 139 @ 48.1805
171.91/172.42 c bounds 211 >= 140 @ 48.267
171.91/172.42 c bounds 211 >= 141 @ 48.968
171.91/172.42 c #Conflicts: 69000 | #Constraints: 8608
171.91/172.42 c #Conflicts: 70000 | #Constraints: 9608
171.91/172.42 c #Conflicts: 71000 | #Constraints: 10608
171.91/172.42 c #Conflicts: 72000 | #Constraints: 11608
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 73000 | #Constraints: 7204
171.91/172.42 c #Conflicts: 74000 | #Constraints: 8204
171.91/172.42 c #Conflicts: 75000 | #Constraints: 9204
171.91/172.42 c #Conflicts: 76000 | #Constraints: 10204
171.91/172.42 c #Conflicts: 77000 | #Constraints: 11204
171.91/172.42 c #Conflicts: 78000 | #Constraints: 12204
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 79000 | #Constraints: 7601
171.91/172.42 c #Conflicts: 80000 | #Constraints: 8601
171.91/172.42 c #Conflicts: 81000 | #Constraints: 9601
171.91/172.42 c #Conflicts: 82000 | #Constraints: 10601
171.91/172.42 c #Conflicts: 83000 | #Constraints: 11601
171.91/172.42 c #Conflicts: 84000 | #Constraints: 12601
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 85000 | #Constraints: 7800
171.91/172.42 c #Conflicts: 86000 | #Constraints: 8800
171.91/172.42 c #Conflicts: 87000 | #Constraints: 9800
171.91/172.42 c #Conflicts: 88000 | #Constraints: 10800
171.91/172.42 c #Conflicts: 89000 | #Constraints: 11800
171.91/172.42 c #Conflicts: 90000 | #Constraints: 12800
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 91000 | #Constraints: 7800
171.91/172.42 c #Conflicts: 92000 | #Constraints: 8800
171.91/172.42 c #Conflicts: 93000 | #Constraints: 9800
171.91/172.42 c #Conflicts: 94000 | #Constraints: 10800
171.91/172.42 c #Conflicts: 95000 | #Constraints: 11800
171.91/172.42 c #Conflicts: 96000 | #Constraints: 12800
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 97000 | #Constraints: 7597
171.91/172.42 c #Conflicts: 98000 | #Constraints: 8597
171.91/172.42 c #Conflicts: 99000 | #Constraints: 9597
171.91/172.42 c #Conflicts: 100000 | #Constraints: 10597
171.91/172.42 c #Conflicts: 101000 | #Constraints: 11597
171.91/172.42 c #Conflicts: 102000 | #Constraints: 12597
171.91/172.42 c #Conflicts: 103000 | #Constraints: 13597
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 104000 | #Constraints: 8197
171.91/172.42 c #Conflicts: 105000 | #Constraints: 9197
171.91/172.42 c #Conflicts: 106000 | #Constraints: 10197
171.91/172.42 c #Conflicts: 107000 | #Constraints: 11197
171.91/172.42 c #Conflicts: 108000 | #Constraints: 12197
171.91/172.42 c #Conflicts: 109000 | #Constraints: 13197
171.91/172.42 c #Conflicts: 110000 | #Constraints: 14197
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 111000 | #Constraints: 8605
171.91/172.42 c #Conflicts: 112000 | #Constraints: 9605
171.91/172.42 c #Conflicts: 113000 | #Constraints: 10605
171.91/172.42 c #Conflicts: 114000 | #Constraints: 11605
171.91/172.42 c #Conflicts: 115000 | #Constraints: 12605
171.91/172.42 c #Conflicts: 116000 | #Constraints: 13605
171.91/172.42 c #Conflicts: 117000 | #Constraints: 14605
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 118000 | #Constraints: 8804
171.91/172.42 c #Conflicts: 119000 | #Constraints: 9804
171.91/172.42 c #Conflicts: 120000 | #Constraints: 10804
171.91/172.42 c #Conflicts: 121000 | #Constraints: 11804
171.91/172.42 c #Conflicts: 122000 | #Constraints: 12804
171.91/172.42 c #Conflicts: 123000 | #Constraints: 13804
171.91/172.42 c #Conflicts: 124000 | #Constraints: 14804
171.91/172.42 c INPROCESSING
171.91/172.42 c GARBAGE COLLECT
171.91/172.42 c #Conflicts: 125000 | #Constraints: 8801
171.91/172.42 c #Conflicts: 126000 | #Constraints: 9801
171.91/172.42 c #Conflicts: 127000 | #Constraints: 10801
171.91/172.42 c #Conflicts: 128000 | #Constraints: 11801
171.91/172.42 c #Conflicts: 129000 | #Constraints: 12801
317.51/318.40 c #Conflicts: 130000 | #Constraints: 13801
317.51/318.40 c #Conflicts: 131000 | #Constraints: 14801
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 132000 | #Constraints: 8604
317.51/318.40 c #Conflicts: 133000 | #Constraints: 9604
317.51/318.40 c #Conflicts: 134000 | #Constraints: 10604
317.51/318.40 c #Conflicts: 135000 | #Constraints: 11604
317.51/318.40 c #Conflicts: 136000 | #Constraints: 12604
317.51/318.40 c #Conflicts: 137000 | #Constraints: 13604
317.51/318.40 c #Conflicts: 138000 | #Constraints: 14604
317.51/318.40 c #Conflicts: 139000 | #Constraints: 15604
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 140000 | #Constraints: 9210
317.51/318.40 c #Conflicts: 141000 | #Constraints: 10210
317.51/318.40 c #Conflicts: 142000 | #Constraints: 11210
317.51/318.40 c #Conflicts: 143000 | #Constraints: 12210
317.51/318.40 c #Conflicts: 144000 | #Constraints: 13210
317.51/318.40 c #Conflicts: 145000 | #Constraints: 14210
317.51/318.40 c #Conflicts: 146000 | #Constraints: 15210
317.51/318.40 c #Conflicts: 147000 | #Constraints: 16210
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 148000 | #Constraints: 9603
317.51/318.40 c #Conflicts: 149000 | #Constraints: 10603
317.51/318.40 c #Conflicts: 150000 | #Constraints: 11603
317.51/318.40 c #Conflicts: 151000 | #Constraints: 12603
317.51/318.40 c #Conflicts: 152000 | #Constraints: 13603
317.51/318.40 c #Conflicts: 153000 | #Constraints: 14603
317.51/318.40 c #Conflicts: 154000 | #Constraints: 15603
317.51/318.40 c #Conflicts: 155000 | #Constraints: 16603
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 156000 | #Constraints: 9802
317.51/318.40 c #Conflicts: 157000 | #Constraints: 10802
317.51/318.40 c #Conflicts: 158000 | #Constraints: 11802
317.51/318.40 c #Conflicts: 159000 | #Constraints: 12802
317.51/318.40 c #Conflicts: 160000 | #Constraints: 13802
317.51/318.40 c #Conflicts: 161000 | #Constraints: 14802
317.51/318.40 c #Conflicts: 162000 | #Constraints: 15802
317.51/318.40 c #Conflicts: 163000 | #Constraints: 16802
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 164000 | #Constraints: 9796
317.51/318.40 c #Conflicts: 165000 | #Constraints: 10796
317.51/318.40 c #Conflicts: 166000 | #Constraints: 11796
317.51/318.40 c #Conflicts: 167000 | #Constraints: 12796
317.51/318.40 c #Conflicts: 168000 | #Constraints: 13796
317.51/318.40 c #Conflicts: 169000 | #Constraints: 14796
317.51/318.40 c #Conflicts: 170000 | #Constraints: 15796
317.51/318.40 c #Conflicts: 171000 | #Constraints: 16796
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 172000 | #Constraints: 9607
317.51/318.40 c #Conflicts: 173000 | #Constraints: 10607
317.51/318.40 c #Conflicts: 174000 | #Constraints: 11607
317.51/318.40 c #Conflicts: 175000 | #Constraints: 12607
317.51/318.40 c #Conflicts: 176000 | #Constraints: 13607
317.51/318.40 c #Conflicts: 177000 | #Constraints: 14607
317.51/318.40 c #Conflicts: 178000 | #Constraints: 15607
317.51/318.40 c #Conflicts: 179000 | #Constraints: 16607
317.51/318.40 c #Conflicts: 180000 | #Constraints: 17607
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 181000 | #Constraints: 10202
317.51/318.40 c #Conflicts: 182000 | #Constraints: 11202
317.51/318.40 c #Conflicts: 183000 | #Constraints: 12202
317.51/318.40 c #Conflicts: 184000 | #Constraints: 13202
317.51/318.40 c #Conflicts: 185000 | #Constraints: 14202
317.51/318.40 c #Conflicts: 186000 | #Constraints: 15202
317.51/318.40 c #Conflicts: 187000 | #Constraints: 16202
317.51/318.40 c #Conflicts: 188000 | #Constraints: 17202
317.51/318.40 c #Conflicts: 189000 | #Constraints: 18202
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 190000 | #Constraints: 10610
317.51/318.40 c #Conflicts: 191000 | #Constraints: 11610
317.51/318.40 c #Conflicts: 192000 | #Constraints: 12610
317.51/318.40 c #Conflicts: 193000 | #Constraints: 13610
317.51/318.40 c #Conflicts: 194000 | #Constraints: 14610
317.51/318.40 c #Conflicts: 195000 | #Constraints: 15610
317.51/318.40 c #Conflicts: 196000 | #Constraints: 16610
317.51/318.40 c #Conflicts: 197000 | #Constraints: 17610
317.51/318.40 c #Conflicts: 198000 | #Constraints: 18610
317.51/318.40 c INPROCESSING
317.51/318.40 c GARBAGE COLLECT
317.51/318.40 c #Conflicts: 199000 | #Constraints: 10814
317.51/318.40 c #Conflicts: 200000 | #Constraints: 11814
317.51/318.40 c #Conflicts: 201000 | #Constraints: 12814
317.51/318.40 c #Conflicts: 202000 | #Constraints: 13814
490.51/491.95 c #Conflicts: 203000 | #Constraints: 14814
490.51/491.95 c #Conflicts: 204000 | #Constraints: 15814
490.51/491.95 c #Conflicts: 205000 | #Constraints: 16814
490.51/491.95 c #Conflicts: 206000 | #Constraints: 17814
490.51/491.95 c #Conflicts: 207000 | #Constraints: 18814
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 208000 | #Constraints: 10815
490.51/491.95 c #Conflicts: 209000 | #Constraints: 11815
490.51/491.95 c #Conflicts: 210000 | #Constraints: 12815
490.51/491.95 c #Conflicts: 211000 | #Constraints: 13815
490.51/491.95 c #Conflicts: 212000 | #Constraints: 14815
490.51/491.95 c #Conflicts: 213000 | #Constraints: 15815
490.51/491.95 c #Conflicts: 214000 | #Constraints: 16815
490.51/491.95 c #Conflicts: 215000 | #Constraints: 17815
490.51/491.95 c #Conflicts: 216000 | #Constraints: 18815
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 217000 | #Constraints: 10611
490.51/491.95 c #Conflicts: 218000 | #Constraints: 11611
490.51/491.95 c #Conflicts: 219000 | #Constraints: 12611
490.51/491.95 c #Conflicts: 220000 | #Constraints: 13611
490.51/491.95 c #Conflicts: 221000 | #Constraints: 14611
490.51/491.95 c #Conflicts: 222000 | #Constraints: 15611
490.51/491.95 c #Conflicts: 223000 | #Constraints: 16611
490.51/491.95 c #Conflicts: 224000 | #Constraints: 17611
490.51/491.95 c #Conflicts: 225000 | #Constraints: 18611
490.51/491.95 c #Conflicts: 226000 | #Constraints: 19611
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 227000 | #Constraints: 11223
490.51/491.95 c #Conflicts: 228000 | #Constraints: 12223
490.51/491.95 c #Conflicts: 229000 | #Constraints: 13223
490.51/491.95 c #Conflicts: 230000 | #Constraints: 14223
490.51/491.95 c #Conflicts: 231000 | #Constraints: 15223
490.51/491.95 c #Conflicts: 232000 | #Constraints: 16223
490.51/491.95 c #Conflicts: 233000 | #Constraints: 17223
490.51/491.95 c #Conflicts: 234000 | #Constraints: 18223
490.51/491.95 c #Conflicts: 235000 | #Constraints: 19223
490.51/491.95 c #Conflicts: 236000 | #Constraints: 20223
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 237000 | #Constraints: 11618
490.51/491.95 c #Conflicts: 238000 | #Constraints: 12618
490.51/491.95 c #Conflicts: 239000 | #Constraints: 13618
490.51/491.95 c #Conflicts: 240000 | #Constraints: 14618
490.51/491.95 c #Conflicts: 241000 | #Constraints: 15618
490.51/491.95 c #Conflicts: 242000 | #Constraints: 16618
490.51/491.95 c #Conflicts: 243000 | #Constraints: 17618
490.51/491.95 c #Conflicts: 244000 | #Constraints: 18618
490.51/491.95 c #Conflicts: 245000 | #Constraints: 19618
490.51/491.95 c #Conflicts: 246000 | #Constraints: 20618
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 247000 | #Constraints: 11821
490.51/491.95 c #Conflicts: 248000 | #Constraints: 12821
490.51/491.95 c #Conflicts: 249000 | #Constraints: 13821
490.51/491.95 c #Conflicts: 250000 | #Constraints: 14821
490.51/491.95 c #Conflicts: 251000 | #Constraints: 15821
490.51/491.95 c #Conflicts: 252000 | #Constraints: 16821
490.51/491.95 c #Conflicts: 253000 | #Constraints: 17821
490.51/491.95 c #Conflicts: 254000 | #Constraints: 18821
490.51/491.95 c #Conflicts: 255000 | #Constraints: 19821
490.51/491.95 c #Conflicts: 256000 | #Constraints: 20821
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 257000 | #Constraints: 11829
490.51/491.95 c #Conflicts: 258000 | #Constraints: 12829
490.51/491.95 c #Conflicts: 259000 | #Constraints: 13829
490.51/491.95 c #Conflicts: 260000 | #Constraints: 14829
490.51/491.95 c #Conflicts: 261000 | #Constraints: 15829
490.51/491.95 c #Conflicts: 262000 | #Constraints: 16829
490.51/491.95 c #Conflicts: 263000 | #Constraints: 17829
490.51/491.95 c #Conflicts: 264000 | #Constraints: 18829
490.51/491.95 c #Conflicts: 265000 | #Constraints: 19829
490.51/491.95 c #Conflicts: 266000 | #Constraints: 20829
490.51/491.95 c INPROCESSING
490.51/491.95 c GARBAGE COLLECT
490.51/491.95 c #Conflicts: 267000 | #Constraints: 11629
490.51/491.95 c #Conflicts: 268000 | #Constraints: 12629
490.51/491.95 c #Conflicts: 269000 | #Constraints: 13629
490.51/491.95 c #Conflicts: 270000 | #Constraints: 14629
490.51/491.95 c #Conflicts: 271000 | #Constraints: 15629
490.51/491.95 c #Conflicts: 272000 | #Constraints: 16629
490.51/491.95 c #Conflicts: 273000 | #Constraints: 17629
490.51/491.95 c #Conflicts: 274000 | #Constraints: 18629
490.51/491.95 c #Conflicts: 275000 | #Constraints: 19629
490.51/491.95 c #Conflicts: 276000 | #Constraints: 20629
700.61/702.66 c #Conflicts: 277000 | #Constraints: 21629
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 278000 | #Constraints: 12214
700.61/702.66 c #Conflicts: 279000 | #Constraints: 13214
700.61/702.66 c #Conflicts: 280000 | #Constraints: 14214
700.61/702.66 c #Conflicts: 281000 | #Constraints: 15214
700.61/702.66 c #Conflicts: 282000 | #Constraints: 16214
700.61/702.66 c #Conflicts: 283000 | #Constraints: 17214
700.61/702.66 c #Conflicts: 284000 | #Constraints: 18214
700.61/702.66 c #Conflicts: 285000 | #Constraints: 19214
700.61/702.66 c #Conflicts: 286000 | #Constraints: 20214
700.61/702.66 c #Conflicts: 287000 | #Constraints: 21214
700.61/702.66 c #Conflicts: 288000 | #Constraints: 22214
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 289000 | #Constraints: 12623
700.61/702.66 c #Conflicts: 290000 | #Constraints: 13623
700.61/702.66 c #Conflicts: 291000 | #Constraints: 14623
700.61/702.66 c #Conflicts: 292000 | #Constraints: 15623
700.61/702.66 c #Conflicts: 293000 | #Constraints: 16623
700.61/702.66 c #Conflicts: 294000 | #Constraints: 17623
700.61/702.66 c #Conflicts: 295000 | #Constraints: 18623
700.61/702.66 c #Conflicts: 296000 | #Constraints: 19623
700.61/702.66 c #Conflicts: 297000 | #Constraints: 20623
700.61/702.66 c #Conflicts: 298000 | #Constraints: 21623
700.61/702.66 c #Conflicts: 299000 | #Constraints: 22623
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 300000 | #Constraints: 12827
700.61/702.66 c #Conflicts: 301000 | #Constraints: 13827
700.61/702.66 c #Conflicts: 302000 | #Constraints: 14827
700.61/702.66 c #Conflicts: 303000 | #Constraints: 15827
700.61/702.66 c #Conflicts: 304000 | #Constraints: 16827
700.61/702.66 c #Conflicts: 305000 | #Constraints: 17827
700.61/702.66 c #Conflicts: 306000 | #Constraints: 18827
700.61/702.66 c #Conflicts: 307000 | #Constraints: 19827
700.61/702.66 c #Conflicts: 308000 | #Constraints: 20827
700.61/702.66 c #Conflicts: 309000 | #Constraints: 21827
700.61/702.66 c #Conflicts: 310000 | #Constraints: 22827
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 311000 | #Constraints: 12825
700.61/702.66 c #Conflicts: 312000 | #Constraints: 13825
700.61/702.66 c #Conflicts: 313000 | #Constraints: 14825
700.61/702.66 c #Conflicts: 314000 | #Constraints: 15825
700.61/702.66 c #Conflicts: 315000 | #Constraints: 16825
700.61/702.66 c #Conflicts: 316000 | #Constraints: 17825
700.61/702.66 c #Conflicts: 317000 | #Constraints: 18825
700.61/702.66 c #Conflicts: 318000 | #Constraints: 19825
700.61/702.66 c #Conflicts: 319000 | #Constraints: 20825
700.61/702.66 c #Conflicts: 320000 | #Constraints: 21825
700.61/702.66 c #Conflicts: 321000 | #Constraints: 22825
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 322000 | #Constraints: 12625
700.61/702.66 c #Conflicts: 323000 | #Constraints: 13625
700.61/702.66 c #Conflicts: 324000 | #Constraints: 14625
700.61/702.66 c #Conflicts: 325000 | #Constraints: 15625
700.61/702.66 c #Conflicts: 326000 | #Constraints: 16625
700.61/702.66 c #Conflicts: 327000 | #Constraints: 17625
700.61/702.66 c #Conflicts: 328000 | #Constraints: 18625
700.61/702.66 c #Conflicts: 329000 | #Constraints: 19625
700.61/702.66 c #Conflicts: 330000 | #Constraints: 20625
700.61/702.66 c #Conflicts: 331000 | #Constraints: 21625
700.61/702.66 c #Conflicts: 332000 | #Constraints: 22625
700.61/702.66 c #Conflicts: 333000 | #Constraints: 23625
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 334000 | #Constraints: 13228
700.61/702.66 c #Conflicts: 335000 | #Constraints: 14228
700.61/702.66 c #Conflicts: 336000 | #Constraints: 15228
700.61/702.66 c #Conflicts: 337000 | #Constraints: 16228
700.61/702.66 c #Conflicts: 338000 | #Constraints: 17228
700.61/702.66 c #Conflicts: 339000 | #Constraints: 18228
700.61/702.66 c #Conflicts: 340000 | #Constraints: 19228
700.61/702.66 c #Conflicts: 341000 | #Constraints: 20228
700.61/702.66 c #Conflicts: 342000 | #Constraints: 21228
700.61/702.66 c #Conflicts: 343000 | #Constraints: 22228
700.61/702.66 c #Conflicts: 344000 | #Constraints: 23228
700.61/702.66 c #Conflicts: 345000 | #Constraints: 24228
700.61/702.66 c INPROCESSING
700.61/702.66 c GARBAGE COLLECT
700.61/702.66 c #Conflicts: 346000 | #Constraints: 13624
700.61/702.66 c #Conflicts: 347000 | #Constraints: 14624
700.61/702.66 c #Conflicts: 348000 | #Constraints: 15624
700.61/702.66 c #Conflicts: 349000 | #Constraints: 16624
700.61/702.66 c #Conflicts: 350000 | #Constraints: 17624
700.61/702.66 c #Conflicts: 351000 | #Constraints: 18624
941.77/944.57 c #Conflicts: 352000 | #Constraints: 19624
941.77/944.57 c #Conflicts: 353000 | #Constraints: 20624
941.77/944.57 c #Conflicts: 354000 | #Constraints: 21624
941.77/944.57 c #Conflicts: 355000 | #Constraints: 22624
941.77/944.57 c #Conflicts: 356000 | #Constraints: 23624
941.77/944.57 c #Conflicts: 357000 | #Constraints: 24624
941.77/944.57 c INPROCESSING
941.77/944.57 c GARBAGE COLLECT
941.77/944.57 c #Conflicts: 358000 | #Constraints: 13816
941.77/944.57 c #Conflicts: 359000 | #Constraints: 14816
941.77/944.57 c #Conflicts: 360000 | #Constraints: 15816
941.77/944.57 c #Conflicts: 361000 | #Constraints: 16816
941.77/944.57 c #Conflicts: 362000 | #Constraints: 17816
941.77/944.57 c #Conflicts: 363000 | #Constraints: 18816
941.77/944.57 c #Conflicts: 364000 | #Constraints: 19816
941.77/944.57 c #Conflicts: 365000 | #Constraints: 20816
941.77/944.57 c #Conflicts: 366000 | #Constraints: 21816
941.77/944.57 c #Conflicts: 367000 | #Constraints: 22816
941.77/944.57 c #Conflicts: 368000 | #Constraints: 23816
941.77/944.57 c #Conflicts: 369000 | #Constraints: 24816
941.77/944.57 c INPROCESSING
941.77/944.57 c GARBAGE COLLECT
941.77/944.57 c #Conflicts: 370000 | #Constraints: 13819
941.77/944.57 c #Conflicts: 371000 | #Constraints: 14819
941.77/944.57 c #Conflicts: 372000 | #Constraints: 15819
941.77/944.57 c #Conflicts: 373000 | #Constraints: 16819
941.77/944.57 c #Conflicts: 374000 | #Constraints: 17819
941.77/944.57 c #Conflicts: 375000 | #Constraints: 18819
941.77/944.57 c #Conflicts: 376000 | #Constraints: 19819
941.77/944.57 c #Conflicts: 377000 | #Constraints: 20819
941.77/944.57 c #Conflicts: 378000 | #Constraints: 21819
941.77/944.57 c #Conflicts: 379000 | #Constraints: 22819
941.77/944.57 c #Conflicts: 380000 | #Constraints: 23819
941.77/944.57 c #Conflicts: 381000 | #Constraints: 24819
941.77/944.57 c INPROCESSING
941.77/944.57 c GARBAGE COLLECT
941.77/944.57 c #Conflicts: 382000 | #Constraints: 13624
941.77/944.57 c #Conflicts: 383000 | #Constraints: 14624
941.77/944.57 c #Conflicts: 384000 | #Constraints: 15624
941.77/944.57 c #Conflicts: 385000 | #Constraints: 16624
941.77/944.57 c #Conflicts: 386000 | #Constraints: 17624
941.77/944.57 c #Conflicts: 387000 | #Constraints: 18624
941.77/944.57 c #Conflicts: 388000 | #Constraints: 19624
941.77/944.57 c #Conflicts: 389000 | #Constraints: 20624
941.77/944.57 c #Conflicts: 390000 | #Constraints: 21624
941.77/944.57 c #Conflicts: 391000 | #Constraints: 22624
941.77/944.57 c #Conflicts: 392000 | #Constraints: 23624
941.77/944.57 c #Conflicts: 393000 | #Constraints: 24624
941.77/944.57 c #Conflicts: 394000 | #Constraints: 25624
941.77/944.57 c INPROCESSING
941.77/944.57 c GARBAGE COLLECT
941.77/944.57 c #Conflicts: 395000 | #Constraints: 14227
941.77/944.57 c #Conflicts: 396000 | #Constraints: 15227
941.77/944.57 c #Conflicts: 397000 | #Constraints: 16227
941.77/944.57 c #Conflicts: 398000 | #Constraints: 17227
941.77/944.57 c #Conflicts: 399000 | #Constraints: 18227
941.77/944.57 c #Conflicts: 400000 | #Constraints: 19227
941.77/944.57 c #Conflicts: 401000 | #Constraints: 20227
941.77/944.57 c #Conflicts: 402000 | #Constraints: 21227
941.77/944.57 c #Conflicts: 403000 | #Constraints: 22227
941.77/944.57 c #Conflicts: 404000 | #Constraints: 23227
941.77/944.57 c #Conflicts: 405000 | #Constraints: 24227
941.77/944.57 c #Conflicts: 406000 | #Constraints: 25227
941.77/944.57 c #Conflicts: 407000 | #Constraints: 26227
941.77/944.57 c INPROCESSING
941.77/944.57 c GARBAGE COLLECT
941.77/944.57 c #Conflicts: 408000 | #Constraints: 14630
941.77/944.57 c #Conflicts: 409000 | #Constraints: 15630
941.77/944.57 c #Conflicts: 410000 | #Constraints: 16630
941.77/944.57 c #Conflicts: 411000 | #Constraints: 17630
941.77/944.57 c #Conflicts: 412000 | #Constraints: 18630
941.77/944.57 c #Conflicts: 413000 | #Constraints: 19630
941.77/944.57 c #Conflicts: 414000 | #Constraints: 20630
941.77/944.57 c #Conflicts: 415000 | #Constraints: 21630
941.77/944.57 c #Conflicts: 416000 | #Constraints: 22630
941.77/944.57 c #Conflicts: 417000 | #Constraints: 23630
941.77/944.57 c #Conflicts: 418000 | #Constraints: 24630
941.77/944.57 c #Conflicts: 419000 | #Constraints: 25630
941.77/944.57 c #Conflicts: 420000 | #Constraints: 26630
941.77/944.57 c INPROCESSING
941.77/944.57 c GARBAGE COLLECT
941.77/944.57 c #Conflicts: 421000 | #Constraints: 14838
941.77/944.57 c #Conflicts: 422000 | #Constraints: 15838
941.77/944.57 c #Conflicts: 423000 | #Constraints: 16838
941.77/944.57 c #Conflicts: 424000 | #Constraints: 17838
941.77/944.57 c #Conflicts: 425000 | #Constraints: 18838
941.77/944.57 c #Conflicts: 426000 | #Constraints: 19838
1217.79/1221.34 c #Conflicts: 427000 | #Constraints: 20838
1217.79/1221.34 c #Conflicts: 428000 | #Constraints: 21838
1217.79/1221.34 c #Conflicts: 429000 | #Constraints: 22838
1217.79/1221.34 c #Conflicts: 430000 | #Constraints: 23838
1217.79/1221.34 c #Conflicts: 431000 | #Constraints: 24838
1217.79/1221.34 c #Conflicts: 432000 | #Constraints: 25838
1217.79/1221.34 c #Conflicts: 433000 | #Constraints: 26838
1217.79/1221.34 c INPROCESSING
1217.79/1221.34 c GARBAGE COLLECT
1217.79/1221.34 c #Conflicts: 434000 | #Constraints: 14835
1217.79/1221.34 c #Conflicts: 435000 | #Constraints: 15835
1217.79/1221.34 c #Conflicts: 436000 | #Constraints: 16835
1217.79/1221.34 c #Conflicts: 437000 | #Constraints: 17835
1217.79/1221.34 c #Conflicts: 438000 | #Constraints: 18835
1217.79/1221.34 c #Conflicts: 439000 | #Constraints: 19835
1217.79/1221.34 c #Conflicts: 440000 | #Constraints: 20835
1217.79/1221.34 c #Conflicts: 441000 | #Constraints: 21835
1217.79/1221.34 c #Conflicts: 442000 | #Constraints: 22835
1217.79/1221.34 c #Conflicts: 443000 | #Constraints: 23835
1217.79/1221.34 c #Conflicts: 444000 | #Constraints: 24835
1217.79/1221.34 c #Conflicts: 445000 | #Constraints: 25835
1217.79/1221.34 c #Conflicts: 446000 | #Constraints: 26835
1217.79/1221.34 c INPROCESSING
1217.79/1221.34 c GARBAGE COLLECT
1217.79/1221.34 c #Conflicts: 447000 | #Constraints: 14637
1217.79/1221.34 c #Conflicts: 448000 | #Constraints: 15637
1217.79/1221.34 c #Conflicts: 449000 | #Constraints: 16637
1217.79/1221.34 c #Conflicts: 450000 | #Constraints: 17637
1217.79/1221.34 c #Conflicts: 451000 | #Constraints: 18637
1217.79/1221.34 c #Conflicts: 452000 | #Constraints: 19637
1217.79/1221.34 c #Conflicts: 453000 | #Constraints: 20637
1217.79/1221.34 c #Conflicts: 454000 | #Constraints: 21637
1217.79/1221.34 c #Conflicts: 455000 | #Constraints: 22637
1217.79/1221.34 c #Conflicts: 456000 | #Constraints: 23637
1217.79/1221.34 c #Conflicts: 457000 | #Constraints: 24637
1217.79/1221.34 c #Conflicts: 458000 | #Constraints: 25637
1217.79/1221.34 c #Conflicts: 459000 | #Constraints: 26637
1217.79/1221.34 c #Conflicts: 460000 | #Constraints: 27637
1217.79/1221.34 c INPROCESSING
1217.79/1221.34 c GARBAGE COLLECT
1217.79/1221.34 c #Conflicts: 461000 | #Constraints: 15237
1217.79/1221.34 c #Conflicts: 462000 | #Constraints: 16237
1217.79/1221.34 c #Conflicts: 463000 | #Constraints: 17237
1217.79/1221.34 c #Conflicts: 464000 | #Constraints: 18237
1217.79/1221.34 c #Conflicts: 465000 | #Constraints: 19237
1217.79/1221.34 c #Conflicts: 466000 | #Constraints: 20237
1217.79/1221.34 c #Conflicts: 467000 | #Constraints: 21237
1217.79/1221.34 c #Conflicts: 468000 | #Constraints: 22237
1217.79/1221.34 c #Conflicts: 469000 | #Constraints: 23237
1217.79/1221.34 c #Conflicts: 470000 | #Constraints: 24237
1217.79/1221.34 c #Conflicts: 471000 | #Constraints: 25237
1217.79/1221.34 c #Conflicts: 472000 | #Constraints: 26237
1217.79/1221.34 c #Conflicts: 473000 | #Constraints: 27237
1217.79/1221.34 c #Conflicts: 474000 | #Constraints: 28237
1217.79/1221.34 c INPROCESSING
1217.79/1221.34 c GARBAGE COLLECT
1217.79/1221.34 c #Conflicts: 475000 | #Constraints: 15630
1217.79/1221.34 c #Conflicts: 476000 | #Constraints: 16630
1217.79/1221.34 c #Conflicts: 477000 | #Constraints: 17630
1217.79/1221.34 c #Conflicts: 478000 | #Constraints: 18630
1217.79/1221.34 c #Conflicts: 479000 | #Constraints: 19630
1217.79/1221.34 c #Conflicts: 480000 | #Constraints: 20630
1217.79/1221.34 c #Conflicts: 481000 | #Constraints: 21630
1217.79/1221.34 c #Conflicts: 482000 | #Constraints: 22630
1217.79/1221.34 c #Conflicts: 483000 | #Constraints: 23630
1217.79/1221.34 c #Conflicts: 484000 | #Constraints: 24630
1217.79/1221.34 c #Conflicts: 485000 | #Constraints: 25630
1217.79/1221.34 c #Conflicts: 486000 | #Constraints: 26630
1217.79/1221.34 c #Conflicts: 487000 | #Constraints: 27630
1217.79/1221.34 c #Conflicts: 488000 | #Constraints: 28630
1217.79/1221.34 c INPROCESSING
1217.79/1221.34 c GARBAGE COLLECT
1217.79/1221.34 c #Conflicts: 489000 | #Constraints: 15830
1217.79/1221.34 c #Conflicts: 490000 | #Constraints: 16830
1217.79/1221.34 c #Conflicts: 491000 | #Constraints: 17830
1217.79/1221.34 c #Conflicts: 492000 | #Constraints: 18830
1217.79/1221.34 c #Conflicts: 493000 | #Constraints: 19830
1217.79/1221.34 c #Conflicts: 494000 | #Constraints: 20830
1217.79/1221.34 c #Conflicts: 495000 | #Constraints: 21830
1217.79/1221.34 c #Conflicts: 496000 | #Constraints: 22830
1217.79/1221.34 c #Conflicts: 497000 | #Constraints: 23830
1217.79/1221.34 c #Conflicts: 498000 | #Constraints: 24830
1217.79/1221.34 c #Conflicts: 499000 | #Constraints: 25830
1217.79/1221.34 c #Conflicts: 500000 | #Constraints: 26830
1217.79/1221.34 c #Conflicts: 501000 | #Constraints: 27830
1531.42/1535.94 c #Conflicts: 502000 | #Constraints: 28830
1531.42/1535.94 c INPROCESSING
1531.42/1535.94 c GARBAGE COLLECT
1531.42/1535.94 c #Conflicts: 503000 | #Constraints: 15821
1531.42/1535.94 c #Conflicts: 504000 | #Constraints: 16821
1531.42/1535.94 c #Conflicts: 505000 | #Constraints: 17821
1531.42/1535.94 c #Conflicts: 506000 | #Constraints: 18821
1531.42/1535.94 c #Conflicts: 507000 | #Constraints: 19821
1531.42/1535.94 c #Conflicts: 508000 | #Constraints: 20821
1531.42/1535.94 c #Conflicts: 509000 | #Constraints: 21821
1531.42/1535.94 c #Conflicts: 510000 | #Constraints: 22821
1531.42/1535.94 c #Conflicts: 511000 | #Constraints: 23821
1531.42/1535.94 c #Conflicts: 512000 | #Constraints: 24821
1531.42/1535.94 c #Conflicts: 513000 | #Constraints: 25821
1531.42/1535.94 c #Conflicts: 514000 | #Constraints: 26821
1531.42/1535.94 c #Conflicts: 515000 | #Constraints: 27821
1531.42/1535.94 c #Conflicts: 516000 | #Constraints: 28821
1531.42/1535.94 c INPROCESSING
1531.42/1535.94 c GARBAGE COLLECT
1531.42/1535.94 c #Conflicts: 517000 | #Constraints: 15631
1531.42/1535.94 c #Conflicts: 518000 | #Constraints: 16631
1531.42/1535.94 c #Conflicts: 519000 | #Constraints: 17631
1531.42/1535.94 c #Conflicts: 520000 | #Constraints: 18631
1531.42/1535.94 c #Conflicts: 521000 | #Constraints: 19631
1531.42/1535.94 c #Conflicts: 522000 | #Constraints: 20631
1531.42/1535.94 c #Conflicts: 523000 | #Constraints: 21631
1531.42/1535.94 c #Conflicts: 524000 | #Constraints: 22631
1531.42/1535.94 c #Conflicts: 525000 | #Constraints: 23631
1531.42/1535.94 c #Conflicts: 526000 | #Constraints: 24631
1531.42/1535.94 c #Conflicts: 527000 | #Constraints: 25631
1531.42/1535.94 c #Conflicts: 528000 | #Constraints: 26631
1531.42/1535.94 c #Conflicts: 529000 | #Constraints: 27631
1531.42/1535.94 c #Conflicts: 530000 | #Constraints: 28631
1531.42/1535.94 c #Conflicts: 531000 | #Constraints: 29631
1531.42/1535.94 c INPROCESSING
1531.42/1535.94 c GARBAGE COLLECT
1531.42/1535.94 c #Conflicts: 532000 | #Constraints: 16234
1531.42/1535.94 c #Conflicts: 533000 | #Constraints: 17234
1531.42/1535.94 c #Conflicts: 534000 | #Constraints: 18234
1531.42/1535.94 c #Conflicts: 535000 | #Constraints: 19234
1531.42/1535.94 c #Conflicts: 536000 | #Constraints: 20234
1531.42/1535.94 c #Conflicts: 537000 | #Constraints: 21234
1531.42/1535.94 c #Conflicts: 538000 | #Constraints: 22234
1531.42/1535.94 c #Conflicts: 539000 | #Constraints: 23234
1531.42/1535.94 c #Conflicts: 540000 | #Constraints: 24234
1531.42/1535.94 c #Conflicts: 541000 | #Constraints: 25234
1531.42/1535.94 c #Conflicts: 542000 | #Constraints: 26234
1531.42/1535.94 c #Conflicts: 543000 | #Constraints: 27234
1531.42/1535.94 c #Conflicts: 544000 | #Constraints: 28234
1531.42/1535.94 c #Conflicts: 545000 | #Constraints: 29234
1531.42/1535.94 c #Conflicts: 546000 | #Constraints: 30234
1531.42/1535.94 c INPROCESSING
1531.42/1535.94 c GARBAGE COLLECT
1531.42/1535.94 c #Conflicts: 547000 | #Constraints: 16629
1531.42/1535.94 c #Conflicts: 548000 | #Constraints: 17629
1531.42/1535.94 c #Conflicts: 549000 | #Constraints: 18629
1531.42/1535.94 c #Conflicts: 550000 | #Constraints: 19629
1531.42/1535.94 c #Conflicts: 551000 | #Constraints: 20629
1531.42/1535.94 c #Conflicts: 552000 | #Constraints: 21629
1531.42/1535.94 c #Conflicts: 553000 | #Constraints: 22629
1531.42/1535.94 c #Conflicts: 554000 | #Constraints: 23629
1531.42/1535.94 c #Conflicts: 555000 | #Constraints: 24629
1531.42/1535.94 c #Conflicts: 556000 | #Constraints: 25629
1531.42/1535.94 c #Conflicts: 557000 | #Constraints: 26629
1531.42/1535.94 c #Conflicts: 558000 | #Constraints: 27629
1531.42/1535.94 c #Conflicts: 559000 | #Constraints: 28629
1531.42/1535.94 c #Conflicts: 560000 | #Constraints: 29629
1531.42/1535.94 c #Conflicts: 561000 | #Constraints: 30629
1531.42/1535.94 c INPROCESSING
1531.42/1535.94 c GARBAGE COLLECT
1531.42/1535.94 c #Conflicts: 562000 | #Constraints: 16831
1531.42/1535.94 c #Conflicts: 563000 | #Constraints: 17831
1531.42/1535.94 c #Conflicts: 564000 | #Constraints: 18831
1531.42/1535.94 c #Conflicts: 565000 | #Constraints: 19831
1531.42/1535.94 c #Conflicts: 566000 | #Constraints: 20831
1531.42/1535.94 c #Conflicts: 567000 | #Constraints: 21831
1531.42/1535.94 c #Conflicts: 568000 | #Constraints: 22831
1531.42/1535.94 c #Conflicts: 569000 | #Constraints: 23831
1531.42/1535.94 c #Conflicts: 570000 | #Constraints: 24831
1531.42/1535.94 c #Conflicts: 571000 | #Constraints: 25831
1531.42/1535.94 c #Conflicts: 572000 | #Constraints: 26831
1531.42/1535.94 c #Conflicts: 573000 | #Constraints: 27831
1531.42/1535.94 c #Conflicts: 574000 | #Constraints: 28831
1531.42/1535.94 c #Conflicts: 575000 | #Constraints: 29831
1531.42/1535.94 c #Conflicts: 576000 | #Constraints: 30831
1531.42/1535.94 c INPROCESSING
1531.42/1535.94 c GARBAGE COLLECT
1868.08/1873.64 c #Conflicts: 577000 | #Constraints: 16834
1868.08/1873.64 c #Conflicts: 578000 | #Constraints: 17834
1868.08/1873.64 c #Conflicts: 579000 | #Constraints: 18834
1868.08/1873.64 c #Conflicts: 580000 | #Constraints: 19834
1868.08/1873.64 c #Conflicts: 581000 | #Constraints: 20834
1868.08/1873.64 c #Conflicts: 582000 | #Constraints: 21834
1868.08/1873.64 c #Conflicts: 583000 | #Constraints: 22834
1868.08/1873.64 c #Conflicts: 584000 | #Constraints: 23834
1868.08/1873.64 c #Conflicts: 585000 | #Constraints: 24834
1868.08/1873.64 c #Conflicts: 586000 | #Constraints: 25834
1868.08/1873.64 c #Conflicts: 587000 | #Constraints: 26834
1868.08/1873.64 c #Conflicts: 588000 | #Constraints: 27834
1868.08/1873.64 c #Conflicts: 589000 | #Constraints: 28834
1868.08/1873.64 c #Conflicts: 590000 | #Constraints: 29834
1868.08/1873.64 c #Conflicts: 591000 | #Constraints: 30834
1868.08/1873.64 c INPROCESSING
1868.08/1873.64 c GARBAGE COLLECT
1868.08/1873.64 c #Conflicts: 592000 | #Constraints: 16633
1868.08/1873.64 c #Conflicts: 593000 | #Constraints: 17633
1868.08/1873.64 c #Conflicts: 594000 | #Constraints: 18633
1868.08/1873.64 c #Conflicts: 595000 | #Constraints: 19633
1868.08/1873.64 c #Conflicts: 596000 | #Constraints: 20633
1868.08/1873.64 c #Conflicts: 597000 | #Constraints: 21633
1868.08/1873.64 c #Conflicts: 598000 | #Constraints: 22633
1868.08/1873.64 c #Conflicts: 599000 | #Constraints: 23633
1868.08/1873.64 c #Conflicts: 600000 | #Constraints: 24633
1868.08/1873.64 c #Conflicts: 601000 | #Constraints: 25633
1868.08/1873.64 c #Conflicts: 602000 | #Constraints: 26633
1868.08/1873.64 c #Conflicts: 603000 | #Constraints: 27633
1868.08/1873.64 c #Conflicts: 604000 | #Constraints: 28633
1868.08/1873.64 c #Conflicts: 605000 | #Constraints: 29633
1868.08/1873.64 c #Conflicts: 606000 | #Constraints: 30633
1868.08/1873.64 c #Conflicts: 607000 | #Constraints: 31633
1868.08/1873.64 c INPROCESSING
1868.08/1873.64 c GARBAGE COLLECT
1868.08/1873.64 c #Conflicts: 608000 | #Constraints: 17234
1868.08/1873.64 c #Conflicts: 609000 | #Constraints: 18234
1868.08/1873.64 c #Conflicts: 610000 | #Constraints: 19234
1868.08/1873.64 c #Conflicts: 611000 | #Constraints: 20234
1868.08/1873.64 c #Conflicts: 612000 | #Constraints: 21234
1868.08/1873.64 c #Conflicts: 613000 | #Constraints: 22234
1868.08/1873.64 c #Conflicts: 614000 | #Constraints: 23234
1868.08/1873.64 c #Conflicts: 615000 | #Constraints: 24234
1868.08/1873.64 c #Conflicts: 616000 | #Constraints: 25234
1868.08/1873.64 c #Conflicts: 617000 | #Constraints: 26234
1868.08/1873.64 c #Conflicts: 618000 | #Constraints: 27234
1868.08/1873.64 c #Conflicts: 619000 | #Constraints: 28234
1868.08/1873.64 c #Conflicts: 620000 | #Constraints: 29234
1868.08/1873.64 c #Conflicts: 621000 | #Constraints: 30234
1868.08/1873.64 c #Conflicts: 622000 | #Constraints: 31234
1868.08/1873.64 c #Conflicts: 623000 | #Constraints: 32234
1868.08/1873.64 c INPROCESSING
1868.08/1873.64 c GARBAGE COLLECT
1868.08/1873.64 c #Conflicts: 624000 | #Constraints: 17634
1868.08/1873.64 c #Conflicts: 625000 | #Constraints: 18634
1868.08/1873.64 c #Conflicts: 626000 | #Constraints: 19634
1868.08/1873.64 c #Conflicts: 627000 | #Constraints: 20634
1868.08/1873.64 c #Conflicts: 628000 | #Constraints: 21634
1868.08/1873.64 c #Conflicts: 629000 | #Constraints: 22634
1868.08/1873.64 c #Conflicts: 630000 | #Constraints: 23634
1868.08/1873.64 c #Conflicts: 631000 | #Constraints: 24634
1868.08/1873.64 c #Conflicts: 632000 | #Constraints: 25634
1868.08/1873.64 c #Conflicts: 633000 | #Constraints: 26634
1868.08/1873.64 c #Conflicts: 634000 | #Constraints: 27634
1868.08/1873.64 c #Conflicts: 635000 | #Constraints: 28634
1868.08/1873.64 c #Conflicts: 636000 | #Constraints: 29634
1868.08/1873.64 c #Conflicts: 637000 | #Constraints: 30634
1868.08/1873.64 c #Conflicts: 638000 | #Constraints: 31634
1868.08/1873.64 c #Conflicts: 639000 | #Constraints: 32634
1868.08/1873.64 c INPROCESSING
1868.08/1873.64 c GARBAGE COLLECT
1868.08/1873.64 c #Conflicts: 640000 | #Constraints: 17830
1868.08/1873.64 c #Conflicts: 641000 | #Constraints: 18830
1868.08/1873.64 c #Conflicts: 642000 | #Constraints: 19830
1868.08/1873.64 c #Conflicts: 643000 | #Constraints: 20830
1868.08/1873.64 c #Conflicts: 644000 | #Constraints: 21830
1868.08/1873.64 c #Conflicts: 645000 | #Constraints: 22830
1868.08/1873.64 c #Conflicts: 646000 | #Constraints: 23830
1868.08/1873.64 c #Conflicts: 647000 | #Constraints: 24830
1868.08/1873.64 c #Conflicts: 648000 | #Constraints: 25830
1868.08/1873.64 c #Conflicts: 649000 | #Constraints: 26830
1868.08/1873.64 c #Conflicts: 650000 | #Constraints: 27830
1868.08/1873.64 c #Conflicts: 651000 | #Constraints: 28830
1868.08/1873.64 c #Conflicts: 652000 | #Constraints: 29830
2226.87/2233.54 c #Conflicts: 653000 | #Constraints: 30830
2226.87/2233.54 c #Conflicts: 654000 | #Constraints: 31830
2226.87/2233.54 c #Conflicts: 655000 | #Constraints: 32830
2226.87/2233.54 c INPROCESSING
2226.87/2233.54 c GARBAGE COLLECT
2226.87/2233.54 c #Conflicts: 656000 | #Constraints: 17829
2226.87/2233.54 c #Conflicts: 657000 | #Constraints: 18829
2226.87/2233.54 c #Conflicts: 658000 | #Constraints: 19829
2226.87/2233.54 c #Conflicts: 659000 | #Constraints: 20829
2226.87/2233.54 c #Conflicts: 660000 | #Constraints: 21829
2226.87/2233.54 c #Conflicts: 661000 | #Constraints: 22829
2226.87/2233.54 c #Conflicts: 662000 | #Constraints: 23829
2226.87/2233.54 c #Conflicts: 663000 | #Constraints: 24829
2226.87/2233.54 c #Conflicts: 664000 | #Constraints: 25829
2226.87/2233.54 c #Conflicts: 665000 | #Constraints: 26829
2226.87/2233.54 c #Conflicts: 666000 | #Constraints: 27829
2226.87/2233.54 c #Conflicts: 667000 | #Constraints: 28829
2226.87/2233.54 c #Conflicts: 668000 | #Constraints: 29829
2226.87/2233.54 c #Conflicts: 669000 | #Constraints: 30829
2226.87/2233.54 c #Conflicts: 670000 | #Constraints: 31829
2226.87/2233.54 c #Conflicts: 671000 | #Constraints: 32829
2226.87/2233.54 c INPROCESSING
2226.87/2233.54 c GARBAGE COLLECT
2226.87/2233.54 c #Conflicts: 672000 | #Constraints: 17636
2226.87/2233.54 c #Conflicts: 673000 | #Constraints: 18636
2226.87/2233.54 c #Conflicts: 674000 | #Constraints: 19636
2226.87/2233.54 c #Conflicts: 675000 | #Constraints: 20636
2226.87/2233.54 c #Conflicts: 676000 | #Constraints: 21636
2226.87/2233.54 c #Conflicts: 677000 | #Constraints: 22636
2226.87/2233.54 c #Conflicts: 678000 | #Constraints: 23636
2226.87/2233.54 c #Conflicts: 679000 | #Constraints: 24636
2226.87/2233.54 c #Conflicts: 680000 | #Constraints: 25636
2226.87/2233.54 c #Conflicts: 681000 | #Constraints: 26636
2226.87/2233.54 c #Conflicts: 682000 | #Constraints: 27636
2226.87/2233.54 c #Conflicts: 683000 | #Constraints: 28636
2226.87/2233.54 c #Conflicts: 684000 | #Constraints: 29636
2226.87/2233.54 c #Conflicts: 685000 | #Constraints: 30636
2226.87/2233.54 c #Conflicts: 686000 | #Constraints: 31636
2226.87/2233.54 c #Conflicts: 687000 | #Constraints: 32636
2226.87/2233.54 c #Conflicts: 688000 | #Constraints: 33636
2226.87/2233.54 c INPROCESSING
2226.87/2233.54 c GARBAGE COLLECT
2226.87/2233.54 c #Conflicts: 689000 | #Constraints: 18227
2226.87/2233.54 c #Conflicts: 690000 | #Constraints: 19227
2226.87/2233.54 c #Conflicts: 691000 | #Constraints: 20227
2226.87/2233.54 c #Conflicts: 692000 | #Constraints: 21227
2226.87/2233.54 c #Conflicts: 693000 | #Constraints: 22227
2226.87/2233.54 c #Conflicts: 694000 | #Constraints: 23227
2226.87/2233.54 c #Conflicts: 695000 | #Constraints: 24227
2226.87/2233.54 c #Conflicts: 696000 | #Constraints: 25227
2226.87/2233.54 c #Conflicts: 697000 | #Constraints: 26227
2226.87/2233.54 c #Conflicts: 698000 | #Constraints: 27227
2226.87/2233.54 c #Conflicts: 699000 | #Constraints: 28227
2226.87/2233.54 c #Conflicts: 700000 | #Constraints: 29227
2226.87/2233.54 c #Conflicts: 701000 | #Constraints: 30227
2226.87/2233.54 c #Conflicts: 702000 | #Constraints: 31227
2226.87/2233.54 c #Conflicts: 703000 | #Constraints: 32227
2226.87/2233.54 c #Conflicts: 704000 | #Constraints: 33227
2226.87/2233.54 c #Conflicts: 705000 | #Constraints: 34227
2226.87/2233.54 c INPROCESSING
2226.87/2233.54 c GARBAGE COLLECT
2226.87/2233.54 c #Conflicts: 706000 | #Constraints: 18639
2226.87/2233.54 c #Conflicts: 707000 | #Constraints: 19639
2226.87/2233.54 c #Conflicts: 708000 | #Constraints: 20639
2226.87/2233.54 c #Conflicts: 709000 | #Constraints: 21639
2226.87/2233.54 c #Conflicts: 710000 | #Constraints: 22639
2226.87/2233.54 c #Conflicts: 711000 | #Constraints: 23639
2226.87/2233.54 c #Conflicts: 712000 | #Constraints: 24639
2226.87/2233.54 c #Conflicts: 713000 | #Constraints: 25639
2226.87/2233.54 c #Conflicts: 714000 | #Constraints: 26639
2226.87/2233.54 c #Conflicts: 715000 | #Constraints: 27639
2226.87/2233.54 c #Conflicts: 716000 | #Constraints: 28639
2226.87/2233.54 c #Conflicts: 717000 | #Constraints: 29639
2226.87/2233.54 c #Conflicts: 718000 | #Constraints: 30639
2226.87/2233.54 c #Conflicts: 719000 | #Constraints: 31639
2226.87/2233.54 c #Conflicts: 720000 | #Constraints: 32639
2226.87/2233.54 c #Conflicts: 721000 | #Constraints: 33639
2226.87/2233.54 c #Conflicts: 722000 | #Constraints: 34639
2226.87/2233.54 c INPROCESSING
2226.87/2233.54 c GARBAGE COLLECT
2226.87/2233.54 c #Conflicts: 723000 | #Constraints: 18841
2226.87/2233.54 c #Conflicts: 724000 | #Constraints: 19841
2226.87/2233.54 c #Conflicts: 725000 | #Constraints: 20841
2226.87/2233.54 c #Conflicts: 726000 | #Constraints: 21841
2226.87/2233.54 c #Conflicts: 727000 | #Constraints: 22841
2226.87/2233.54 c #Conflicts: 728000 | #Constraints: 23841
2613.68/2621.52 c #Conflicts: 729000 | #Constraints: 24841
2613.68/2621.52 c #Conflicts: 730000 | #Constraints: 25841
2613.68/2621.52 c #Conflicts: 731000 | #Constraints: 26841
2613.68/2621.52 c #Conflicts: 732000 | #Constraints: 27841
2613.68/2621.52 c #Conflicts: 733000 | #Constraints: 28841
2613.68/2621.52 c #Conflicts: 734000 | #Constraints: 29841
2613.68/2621.52 c #Conflicts: 735000 | #Constraints: 30841
2613.68/2621.52 c #Conflicts: 736000 | #Constraints: 31841
2613.68/2621.52 c #Conflicts: 737000 | #Constraints: 32841
2613.68/2621.52 c #Conflicts: 738000 | #Constraints: 33841
2613.68/2621.52 c #Conflicts: 739000 | #Constraints: 34841
2613.68/2621.52 c INPROCESSING
2613.68/2621.52 c GARBAGE COLLECT
2613.68/2621.52 c #Conflicts: 740000 | #Constraints: 18845
2613.68/2621.52 c #Conflicts: 741000 | #Constraints: 19845
2613.68/2621.52 c #Conflicts: 742000 | #Constraints: 20845
2613.68/2621.52 c #Conflicts: 743000 | #Constraints: 21845
2613.68/2621.52 c #Conflicts: 744000 | #Constraints: 22845
2613.68/2621.52 c #Conflicts: 745000 | #Constraints: 23845
2613.68/2621.52 c #Conflicts: 746000 | #Constraints: 24845
2613.68/2621.52 c #Conflicts: 747000 | #Constraints: 25845
2613.68/2621.52 c #Conflicts: 748000 | #Constraints: 26845
2613.68/2621.52 c #Conflicts: 749000 | #Constraints: 27845
2613.68/2621.52 c #Conflicts: 750000 | #Constraints: 28845
2613.68/2621.52 c #Conflicts: 751000 | #Constraints: 29845
2613.68/2621.52 c #Conflicts: 752000 | #Constraints: 30845
2613.68/2621.52 c #Conflicts: 753000 | #Constraints: 31845
2613.68/2621.52 c #Conflicts: 754000 | #Constraints: 32845
2613.68/2621.52 c #Conflicts: 755000 | #Constraints: 33845
2613.68/2621.52 c #Conflicts: 756000 | #Constraints: 34845
2613.68/2621.52 c INPROCESSING
2613.68/2621.52 c GARBAGE COLLECT
2613.68/2621.52 c #Conflicts: 757000 | #Constraints: 18626
2613.68/2621.52 c #Conflicts: 758000 | #Constraints: 19626
2613.68/2621.52 c #Conflicts: 759000 | #Constraints: 20626
2613.68/2621.52 c #Conflicts: 760000 | #Constraints: 21626
2613.68/2621.52 c #Conflicts: 761000 | #Constraints: 22626
2613.68/2621.52 c #Conflicts: 762000 | #Constraints: 23626
2613.68/2621.52 c #Conflicts: 763000 | #Constraints: 24626
2613.68/2621.52 c #Conflicts: 764000 | #Constraints: 25626
2613.68/2621.52 c #Conflicts: 765000 | #Constraints: 26626
2613.68/2621.52 c #Conflicts: 766000 | #Constraints: 27626
2613.68/2621.52 c #Conflicts: 767000 | #Constraints: 28626
2613.68/2621.52 c #Conflicts: 768000 | #Constraints: 29626
2613.68/2621.52 c #Conflicts: 769000 | #Constraints: 30626
2613.68/2621.52 c #Conflicts: 770000 | #Constraints: 31626
2613.68/2621.52 c #Conflicts: 771000 | #Constraints: 32626
2613.68/2621.52 c #Conflicts: 772000 | #Constraints: 33626
2613.68/2621.52 c #Conflicts: 773000 | #Constraints: 34626
2613.68/2621.52 c #Conflicts: 774000 | #Constraints: 35626
2613.68/2621.52 c INPROCESSING
2613.68/2621.52 c GARBAGE COLLECT
2613.68/2621.52 c #Conflicts: 775000 | #Constraints: 19236
2613.68/2621.52 c #Conflicts: 776000 | #Constraints: 20236
2613.68/2621.52 c #Conflicts: 777000 | #Constraints: 21236
2613.68/2621.52 c #Conflicts: 778000 | #Constraints: 22236
2613.68/2621.52 c #Conflicts: 779000 | #Constraints: 23236
2613.68/2621.52 c #Conflicts: 780000 | #Constraints: 24236
2613.68/2621.52 c #Conflicts: 781000 | #Constraints: 25236
2613.68/2621.52 c #Conflicts: 782000 | #Constraints: 26236
2613.68/2621.52 c #Conflicts: 783000 | #Constraints: 27236
2613.68/2621.52 c #Conflicts: 784000 | #Constraints: 28236
2613.68/2621.52 c #Conflicts: 785000 | #Constraints: 29236
2613.68/2621.52 c #Conflicts: 786000 | #Constraints: 30236
2613.68/2621.52 c #Conflicts: 787000 | #Constraints: 31236
2613.68/2621.52 c #Conflicts: 788000 | #Constraints: 32236
2613.68/2621.52 c #Conflicts: 789000 | #Constraints: 33236
2613.68/2621.52 c #Conflicts: 790000 | #Constraints: 34236
2613.68/2621.52 c #Conflicts: 791000 | #Constraints: 35236
2613.68/2621.52 c #Conflicts: 792000 | #Constraints: 36236
2613.68/2621.52 c INPROCESSING
2613.68/2621.52 c GARBAGE COLLECT
2613.68/2621.52 c #Conflicts: 793000 | #Constraints: 19640
2613.68/2621.52 c #Conflicts: 794000 | #Constraints: 20640
2613.68/2621.52 c #Conflicts: 795000 | #Constraints: 21640
2613.68/2621.52 c #Conflicts: 796000 | #Constraints: 22640
2613.68/2621.52 c #Conflicts: 797000 | #Constraints: 23640
2613.68/2621.52 c #Conflicts: 798000 | #Constraints: 24640
2613.68/2621.52 c #Conflicts: 799000 | #Constraints: 25640
2613.68/2621.52 c #Conflicts: 800000 | #Constraints: 26640
2613.68/2621.52 c #Conflicts: 801000 | #Constraints: 27640
2613.68/2621.52 c #Conflicts: 802000 | #Constraints: 28640
2613.68/2621.52 c #Conflicts: 803000 | #Constraints: 29640
2613.68/2621.52 c #Conflicts: 804000 | #Constraints: 30640
3041.33/3050.59 c #Conflicts: 805000 | #Constraints: 31640
3041.33/3050.59 c #Conflicts: 806000 | #Constraints: 32640
3041.33/3050.59 c #Conflicts: 807000 | #Constraints: 33640
3041.33/3050.59 c #Conflicts: 808000 | #Constraints: 34640
3041.33/3050.59 c #Conflicts: 809000 | #Constraints: 35640
3041.33/3050.59 c #Conflicts: 810000 | #Constraints: 36640
3041.33/3050.59 c INPROCESSING
3041.33/3050.59 c GARBAGE COLLECT
3041.33/3050.59 c #Conflicts: 811000 | #Constraints: 19842
3041.33/3050.59 c #Conflicts: 812000 | #Constraints: 20842
3041.33/3050.59 c #Conflicts: 813000 | #Constraints: 21842
3041.33/3050.59 c #Conflicts: 814000 | #Constraints: 22842
3041.33/3050.59 c #Conflicts: 815000 | #Constraints: 23842
3041.33/3050.59 c #Conflicts: 816000 | #Constraints: 24842
3041.33/3050.59 c #Conflicts: 817000 | #Constraints: 25842
3041.33/3050.59 c #Conflicts: 818000 | #Constraints: 26842
3041.33/3050.59 c #Conflicts: 819000 | #Constraints: 27842
3041.33/3050.59 c #Conflicts: 820000 | #Constraints: 28842
3041.33/3050.59 c #Conflicts: 821000 | #Constraints: 29842
3041.33/3050.59 c #Conflicts: 822000 | #Constraints: 30842
3041.33/3050.59 c #Conflicts: 823000 | #Constraints: 31842
3041.33/3050.59 c #Conflicts: 824000 | #Constraints: 32842
3041.33/3050.59 c #Conflicts: 825000 | #Constraints: 33842
3041.33/3050.59 c #Conflicts: 826000 | #Constraints: 34842
3041.33/3050.59 c #Conflicts: 827000 | #Constraints: 35842
3041.33/3050.59 c #Conflicts: 828000 | #Constraints: 36842
3041.33/3050.59 c INPROCESSING
3041.33/3050.59 c GARBAGE COLLECT
3041.33/3050.59 c #Conflicts: 829000 | #Constraints: 19841
3041.33/3050.59 c #Conflicts: 830000 | #Constraints: 20841
3041.33/3050.59 c #Conflicts: 831000 | #Constraints: 21841
3041.33/3050.59 c #Conflicts: 832000 | #Constraints: 22841
3041.33/3050.59 c #Conflicts: 833000 | #Constraints: 23841
3041.33/3050.59 c #Conflicts: 834000 | #Constraints: 24841
3041.33/3050.59 c #Conflicts: 835000 | #Constraints: 25841
3041.33/3050.59 c #Conflicts: 836000 | #Constraints: 26841
3041.33/3050.59 c #Conflicts: 837000 | #Constraints: 27841
3041.33/3050.59 c #Conflicts: 838000 | #Constraints: 28841
3041.33/3050.59 c #Conflicts: 839000 | #Constraints: 29841
3041.33/3050.59 c #Conflicts: 840000 | #Constraints: 30841
3041.33/3050.59 c #Conflicts: 841000 | #Constraints: 31841
3041.33/3050.59 c #Conflicts: 842000 | #Constraints: 32841
3041.33/3050.59 c #Conflicts: 843000 | #Constraints: 33841
3041.33/3050.59 c #Conflicts: 844000 | #Constraints: 34841
3041.33/3050.59 c #Conflicts: 845000 | #Constraints: 35841
3041.33/3050.59 c #Conflicts: 846000 | #Constraints: 36841
3041.33/3050.59 c INPROCESSING
3041.33/3050.59 c GARBAGE COLLECT
3041.33/3050.59 c #Conflicts: 847000 | #Constraints: 19638
3041.33/3050.59 c #Conflicts: 848000 | #Constraints: 20638
3041.33/3050.59 c #Conflicts: 849000 | #Constraints: 21638
3041.33/3050.59 c #Conflicts: 850000 | #Constraints: 22638
3041.33/3050.59 c #Conflicts: 851000 | #Constraints: 23638
3041.33/3050.59 c #Conflicts: 852000 | #Constraints: 24638
3041.33/3050.59 c #Conflicts: 853000 | #Constraints: 25638
3041.33/3050.59 c #Conflicts: 854000 | #Constraints: 26638
3041.33/3050.59 c #Conflicts: 855000 | #Constraints: 27638
3041.33/3050.59 c #Conflicts: 856000 | #Constraints: 28638
3041.33/3050.59 c #Conflicts: 857000 | #Constraints: 29638
3041.33/3050.59 c #Conflicts: 858000 | #Constraints: 30638
3041.33/3050.59 c #Conflicts: 859000 | #Constraints: 31638
3041.33/3050.59 c #Conflicts: 860000 | #Constraints: 32638
3041.33/3050.59 c #Conflicts: 861000 | #Constraints: 33638
3041.33/3050.59 c #Conflicts: 862000 | #Constraints: 34638
3041.33/3050.59 c #Conflicts: 863000 | #Constraints: 35638
3041.33/3050.59 c #Conflicts: 864000 | #Constraints: 36638
3041.33/3050.59 c #Conflicts: 865000 | #Constraints: 37638
3041.33/3050.59 c INPROCESSING
3041.33/3050.59 c GARBAGE COLLECT
3041.33/3050.59 c #Conflicts: 866000 | #Constraints: 20245
3041.33/3050.59 c #Conflicts: 867000 | #Constraints: 21245
3041.33/3050.59 c #Conflicts: 868000 | #Constraints: 22245
3041.33/3050.59 c #Conflicts: 869000 | #Constraints: 23245
3041.33/3050.59 c #Conflicts: 870000 | #Constraints: 24245
3041.33/3050.59 c #Conflicts: 871000 | #Constraints: 25245
3041.33/3050.59 c #Conflicts: 872000 | #Constraints: 26245
3041.33/3050.59 c #Conflicts: 873000 | #Constraints: 27245
3041.33/3050.59 c #Conflicts: 874000 | #Constraints: 28245
3041.33/3050.59 c #Conflicts: 875000 | #Constraints: 29245
3041.33/3050.59 c #Conflicts: 876000 | #Constraints: 30245
3041.33/3050.59 c #Conflicts: 877000 | #Constraints: 31245
3041.33/3050.59 c #Conflicts: 878000 | #Constraints: 32245
3041.33/3050.59 c #Conflicts: 879000 | #Constraints: 33245
3041.33/3050.59 c #Conflicts: 880000 | #Constraints: 34245
3041.33/3050.59 c #Conflicts: 881000 | #Constraints: 35245
3493.52/3504.18 c #Conflicts: 882000 | #Constraints: 36245
3493.52/3504.18 c #Conflicts: 883000 | #Constraints: 37245
3493.52/3504.18 c #Conflicts: 884000 | #Constraints: 38245
3493.52/3504.18 c INPROCESSING
3493.52/3504.18 c GARBAGE COLLECT
3493.52/3504.18 c #Conflicts: 885000 | #Constraints: 20641
3493.52/3504.18 c #Conflicts: 886000 | #Constraints: 21641
3493.52/3504.18 c #Conflicts: 887000 | #Constraints: 22641
3493.52/3504.18 c #Conflicts: 888000 | #Constraints: 23641
3493.52/3504.18 c #Conflicts: 889000 | #Constraints: 24641
3493.52/3504.18 c #Conflicts: 890000 | #Constraints: 25641
3493.52/3504.18 c #Conflicts: 891000 | #Constraints: 26641
3493.52/3504.18 c #Conflicts: 892000 | #Constraints: 27641
3493.52/3504.18 c #Conflicts: 893000 | #Constraints: 28641
3493.52/3504.18 c #Conflicts: 894000 | #Constraints: 29641
3493.52/3504.18 c #Conflicts: 895000 | #Constraints: 30641
3493.52/3504.18 c #Conflicts: 896000 | #Constraints: 31641
3493.52/3504.18 c #Conflicts: 897000 | #Constraints: 32641
3493.52/3504.18 c #Conflicts: 898000 | #Constraints: 33641
3493.52/3504.18 c #Conflicts: 899000 | #Constraints: 34641
3493.52/3504.18 c #Conflicts: 900000 | #Constraints: 35641
3493.52/3504.18 c #Conflicts: 901000 | #Constraints: 36641
3493.52/3504.18 c #Conflicts: 902000 | #Constraints: 37641
3493.52/3504.18 c #Conflicts: 903000 | #Constraints: 38641
3493.52/3504.18 c INPROCESSING
3493.52/3504.18 c GARBAGE COLLECT
3493.52/3504.18 c #Conflicts: 904000 | #Constraints: 20839
3493.52/3504.18 c #Conflicts: 905000 | #Constraints: 21839
3493.52/3504.18 c #Conflicts: 906000 | #Constraints: 22839
3493.52/3504.18 c #Conflicts: 907000 | #Constraints: 23839
3493.52/3504.18 c #Conflicts: 908000 | #Constraints: 24839
3493.52/3504.18 c #Conflicts: 909000 | #Constraints: 25839
3493.52/3504.18 c #Conflicts: 910000 | #Constraints: 26839
3493.52/3504.18 c #Conflicts: 911000 | #Constraints: 27839
3493.52/3504.18 c #Conflicts: 912000 | #Constraints: 28839
3493.52/3504.18 c #Conflicts: 913000 | #Constraints: 29839
3493.52/3504.18 c #Conflicts: 914000 | #Constraints: 30839
3493.52/3504.18 c #Conflicts: 915000 | #Constraints: 31839
3493.52/3504.18 c #Conflicts: 916000 | #Constraints: 32839
3493.52/3504.18 c #Conflicts: 917000 | #Constraints: 33839
3493.52/3504.18 c #Conflicts: 918000 | #Constraints: 34839
3493.52/3504.18 c #Conflicts: 919000 | #Constraints: 35839
3493.52/3504.18 c #Conflicts: 920000 | #Constraints: 36839
3493.52/3504.18 c #Conflicts: 921000 | #Constraints: 37839
3493.52/3504.18 c #Conflicts: 922000 | #Constraints: 38839
3493.52/3504.18 c INPROCESSING
3493.52/3504.18 c GARBAGE COLLECT
3493.52/3504.18 c #Conflicts: 923000 | #Constraints: 20831
3493.52/3504.18 c #Conflicts: 924000 | #Constraints: 21831
3493.52/3504.18 c #Conflicts: 925000 | #Constraints: 22831
3493.52/3504.18 c #Conflicts: 926000 | #Constraints: 23831
3493.52/3504.18 c #Conflicts: 927000 | #Constraints: 24831
3493.52/3504.18 c #Conflicts: 928000 | #Constraints: 25831
3493.52/3504.18 c #Conflicts: 929000 | #Constraints: 26831
3493.52/3504.18 c #Conflicts: 930000 | #Constraints: 27831
3493.52/3504.18 c #Conflicts: 931000 | #Constraints: 28831
3493.52/3504.18 c #Conflicts: 932000 | #Constraints: 29831
3493.52/3504.18 c #Conflicts: 933000 | #Constraints: 30831
3493.52/3504.18 c #Conflicts: 934000 | #Constraints: 31831
3493.52/3504.18 c #Conflicts: 935000 | #Constraints: 32831
3493.52/3504.18 c #Conflicts: 936000 | #Constraints: 33831
3493.52/3504.18 c #Conflicts: 937000 | #Constraints: 34831
3493.52/3504.18 c #Conflicts: 938000 | #Constraints: 35831
3493.52/3504.18 c #Conflicts: 939000 | #Constraints: 36831
3493.52/3504.18 c #Conflicts: 940000 | #Constraints: 37831
3493.52/3504.18 c #Conflicts: 941000 | #Constraints: 38831
3493.52/3504.18 c INPROCESSING
3493.52/3504.18 c GARBAGE COLLECT
3493.52/3504.18 c #Conflicts: 942000 | #Constraints: 20637
3493.52/3504.18 c #Conflicts: 943000 | #Constraints: 21637
3493.52/3504.18 c #Conflicts: 944000 | #Constraints: 22637
3493.52/3504.18 c #Conflicts: 945000 | #Constraints: 23637
3493.52/3504.18 c #Conflicts: 946000 | #Constraints: 24637
3493.52/3504.18 c #Conflicts: 947000 | #Constraints: 25637
3493.52/3504.18 c #Conflicts: 948000 | #Constraints: 26637
3493.52/3504.18 c #Conflicts: 949000 | #Constraints: 27637
3493.52/3504.18 c #Conflicts: 950000 | #Constraints: 28637
3493.52/3504.18 c #Conflicts: 951000 | #Constraints: 29637
3493.52/3504.18 c #Conflicts: 952000 | #Constraints: 30637
3493.52/3504.18 c #Conflicts: 953000 | #Constraints: 31637
3493.52/3504.18 c #Conflicts: 954000 | #Constraints: 32637
3493.52/3504.18 c #Conflicts: 955000 | #Constraints: 33637
3493.52/3504.18 c #Conflicts: 956000 | #Constraints: 34637
3493.52/3504.18 c #Conflicts: 957000 | #Constraints: 35637
3600.08/3611.00 c #Conflicts: 958000 | #Constraints: 36637
3600.08/3611.00 c #Conflicts: 959000 | #Constraints: 37637
3600.08/3611.00 c #Conflicts: 960000 | #Constraints: 38637
3600.08/3611.00 c #Conflicts: 961000 | #Constraints: 39637
3600.08/3611.00 c INPROCESSING
3600.08/3611.00 c GARBAGE COLLECT
3600.08/3611.00 c #Conflicts: 962000 | #Constraints: 21231
3600.08/3611.00 c #Conflicts: 963000 | #Constraints: 22231
3600.08/3611.00 c #Conflicts: 964000 | #Constraints: 23231
3600.08/3611.00 c #Conflicts: 965000 | #Constraints: 24231
3600.08/3611.00 c #Conflicts: 966000 | #Constraints: 25231
3600.08/3611.00 c #Conflicts: 967000 | #Constraints: 26231
3600.08/3611.00 c #Conflicts: 968000 | #Constraints: 27231
3600.08/3611.00 c #Conflicts: 969000 | #Constraints: 28231
3600.08/3611.00 c #Conflicts: 970000 | #Constraints: 29231
3600.08/3611.00 c #Conflicts: 971000 | #Constraints: 30231
3600.08/3611.00 c #Conflicts: 972000 | #Constraints: 31231
3600.08/3611.00 c #Conflicts: 973000 | #Constraints: 32231
3600.08/3611.00 c #Conflicts: 974000 | #Constraints: 33231
3600.08/3611.00 c Program interrupted by user.
3600.08/3611.00 c cpu time 3586.8 s
3600.08/3611.00 c deterministic time 335062857850 3.35e+11
3600.08/3611.00 c optimization time 118.916 s
3600.08/3611.00 c total solve time 3467.88 s
3600.08/3611.00 c core-guided solve time 3467.88 s
3600.08/3611.00 c propagation time 3158.08 s
3600.08/3611.00 c conflict analysis time 404.104 s
3600.08/3611.00 c propagations 126311652
3600.08/3611.00 c resolve steps 16372385
3600.08/3611.00 c decisions 10932873
3600.08/3611.00 c conflicts 974728
3600.08/3611.00 c restarts 2045
3600.08/3611.00 c inprocessing phases 89
3600.08/3611.00 c input clauses 150
3600.08/3611.00 c input cardinalities 355
3600.08/3611.00 c input general constraints 618
3600.08/3611.00 c input average constraint length 51.84
3600.08/3611.00 c input average constraint degree 24.11
3600.08/3611.00 c learned clauses 339035
3600.08/3611.00 c learned cardinalities 1427
3600.08/3611.00 c learned general constraints 634287
3600.08/3611.00 c learned average constraint length 146.62
3600.08/3611.00 c learned average constraint degree 6775420.14
3600.08/3611.00 c watched constraints 594169
3600.08/3611.00 c counting constraints 40736
3600.08/3611.00 c gcd simplifications 115899
3600.08/3611.00 c detected cardinalities 1041
3600.08/3611.00 c weakened non-implied lits 12390510
3600.08/3611.00 c weakened non-implying lits 111169
3600.08/3611.00 c original variables 468
3600.08/3611.00 c clausal propagations 18361553
3600.08/3611.00 c cardinality propagations 2277102
3600.08/3611.00 c watched propagations 35109755
3600.08/3611.00 c counting propagations 69980162
3600.08/3611.00 c watch lookups 76171139650
3600.08/3611.00 c watch backjump lookups 72715185251
3600.08/3611.00 c watch checks 159597959128
3600.08/3611.00 c propagation checks 25696825147
3600.08/3611.00 c constraint additions 606284994
3600.08/3611.00 c trail pops 138219154
3600.08/3611.00 c formula constraints 468
3600.08/3611.00 c learned constraints 974749
3600.08/3611.00 c bound constraints 109
3600.08/3611.00 c core-guided constraints 546
3600.08/3611.00 c encountered formula constraints 2374167
3600.08/3611.00 c encountered learned constraints 12403218
3600.08/3611.00 c encountered bound constraints 159
3600.08/3611.00 c encountered core-guided constraints 2569569
3600.08/3611.00 c LP total time 0 s
3600.08/3611.00 c LP solve time 0 s
3600.08/3611.00 c LP constraints added 0
3600.08/3611.00 c LP constraints removed 0
3600.08/3611.00 c LP pivots internal 0
3600.08/3611.00 c LP pivots root 0
3600.08/3611.00 c LP calls 0
3600.08/3611.00 c LP optimalities 0
3600.08/3611.00 c LP no pivot count 0
3600.08/3611.00 c LP infeasibilities 0
3600.08/3611.00 c LP valid Farkas constraints 0
3600.08/3611.00 c LP learned Farkas constraints 0
3600.08/3611.00 c LP basis resets 0
3600.08/3611.00 c LP cycling count 0
3600.08/3611.00 c LP singular count 0
3600.08/3611.00 c LP no primal count 0
3600.08/3611.00 c LP no farkas count 0
3600.08/3611.00 c LP other issue count 0
3600.08/3611.00 c LP Gomory cuts 0
3600.08/3611.00 c LP learned cuts 0
3600.08/3611.00 c LP deleted cuts 0
3600.08/3611.00 c LP encountered Gomory constraints 0
3600.08/3611.00 c LP encountered Farkas constraints 0
3600.08/3611.00 c LP encountered learned Farkas constraints 0
3600.08/3611.00 c CG auxiliary variables introduced 243
3600.08/3611.00 c CG solutions found 2
3600.08/3611.00 c CG cores constructed 96
3600.08/3611.00 c CG core cardinality constraints returned 0
3600.08/3611.00 c CG unit cores 0
3600.08/3611.00 c CG single cores 96
3600.08/3611.00 c CG blocks removed during cardinality reduction 0
3600.08/3611.00 c CG first core best 0
3600.08/3611.00 c CG decision core best 0
3600.08/3611.00 c CG core reduction tie 0
3600.08/3611.00 c CG core degree average 1.00
3600.08/3611.00 c CG core slack average 4.52
3600.08/3611.00 c CG exhausted 0
3600.08/3611.00 c CG exhaust time 47.2224 s
3600.08/3611.00 c CG trimmed 8
3600.08/3611.00 c CG trim time 0.01048 s
3600.08/3611.00 c CG minimized 0
3600.08/3611.00 c CG minimize time 0 s
3600.08/3611.00 c CG am1 prop time 0.01757 s
3600.08/3611.00 c CG # am1s reformulated 45
3600.08/3611.00 c CG lower bound derived from am1s 45
3600.08/3611.00 c CG # clausal cores 38
3600.08/3611.00 c CG # cardinality cores 0
3600.08/3611.00 c CG # pb cores 58
3600.08/3611.00 c CG # pb reforms 0
3600.08/3611.00 c CG # cores discarded because of pb reform 0
3600.08/3611.00 d LOWERBOUND 141
3600.08/3611.00 d NCORES 96
3600.08/3611.00 d NPBCORES 58
3600.08/3611.00 d NPBREFORM 0
3600.08/3611.00 d NTRIMMED 8
3600.08/3611.00 d NEXHAUSTED 0
3600.08/3611.00 d NAM1S 45
3600.08/3611.00 d AM1LB 45
3600.08/3611.00 o 211
3600.08/3611.00 s SATISFIABLE
3600.08/3611.00 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
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: 63665 MiB (62260 MiB free)
memory of node 1: 64507 MiB (60732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489272-1751346158/watcher-4489272-1751346158 -o /tmp/evaluation-result-4489272-1751346158/solver-4489272-1751346158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50525 --watchdog 3760 pb-oll-rs HOME/instance-4489272-1751346158.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51901, runsolver pid=51898
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.06 4.12 4.09 5/264 51902
/proc/meminfo: memFree=125936672/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=21996 memory=11120 CPUtime=0.09 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 1123 0 0 0 8 1 0 0 20 0 1 0 50293562 22523904 2780 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 5499 2780 1344 243 0 1748 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21996 KiB
Current children cumulated memory: 11120 KiB
[startup+0.205638 s]*
/proc/loadavg: 4.06 4.12 4.09 5/264 51902
/proc/meminfo: memFree=125936672/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=23340 memory=12528 CPUtime=0.19 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 1461 0 0 0 18 1 0 0 20 0 1 0 50293562 23900160 3132 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 5835 3132 1344 243 0 2084 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23340 KiB
Current children cumulated memory: 12528 KiB
[startup+0.305568 s]*
/proc/loadavg: 4.06 4.12 4.09 5/264 51902
/proc/meminfo: memFree=125934908/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=24292 memory=13424 CPUtime=0.29 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 1688 0 0 0 27 2 0 0 20 0 1 0 50293562 24875008 3356 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 6073 3356 1344 243 0 2322 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24292 KiB
Current children cumulated memory: 13424 KiB
[startup+0.700163 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 51902
/proc/meminfo: memFree=125932892/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=28864 memory=16496 CPUtime=0.68 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 2472 0 0 0 66 2 0 0 20 0 1 0 50293562 29556736 4124 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 7216 4124 1344 243 0 3465 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28864 KiB
Current children cumulated memory: 16496 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 51902
/proc/meminfo: memFree=125925080/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=37076 memory=22384 CPUtime=1.48 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 3954 0 0 0 144 4 0 0 20 0 1 0 50293562 37965824 5596 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 9269 5596 1344 243 0 5518 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37076 KiB
Current children cumulated memory: 22384 KiB
[startup+3.10546 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 51902
/proc/meminfo: memFree=125921300/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=40724 memory=29688 CPUtime=3.08 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 5265 0 0 0 299 9 0 0 20 0 1 0 50293562 41701376 7422 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 10181 7422 1344 243 0 6430 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40724 KiB
Current children cumulated memory: 29688 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 51902
/proc/meminfo: memFree=125917540/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=50948 memory=34720 CPUtime=6.26 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 6009 0 0 0 610 16 0 0 20 0 1 0 50293562 52170752 8680 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 12737 8680 1344 243 0 8986 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 50948 KiB
Current children cumulated memory: 34720 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 51902
/proc/meminfo: memFree=125905632/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=57444 memory=43724 CPUtime=12.64 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 7246 0 0 0 1236 28 0 0 20 0 1 0 50293562 58822656 10931 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 14361 10931 1344 243 0 10610 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57444 KiB
Current children cumulated memory: 43724 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 51903
/proc/meminfo: memFree=125894732/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=75264 memory=52356 CPUtime=25.41 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 8882 0 0 0 2491 50 0 0 20 0 1 0 50293562 77070336 13089 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 18816 13089 1344 243 0 15065 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 52356 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 51903
/proc/meminfo: memFree=125879492/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=81156 memory=61852 CPUtime=50.95 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 10250 0 0 0 5010 85 0 0 20 0 1 0 50293562 83103744 15463 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 20289 15463 1344 243 0 16538 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 81156 KiB
Current children cumulated memory: 61852 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 51905
/proc/meminfo: memFree=125873252/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=82892 memory=63388 CPUtime=102 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 10652 0 0 0 10081 119 0 0 20 0 1 0 50293562 84881408 15847 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 20723 15847 1344 243 0 16972 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 82892 KiB
Current children cumulated memory: 63388 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 51952
/proc/meminfo: memFree=126578684/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=83880 memory=64284 CPUtime=161.83 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 10899 0 0 0 16018 165 0 0 20 0 1 0 50293562 85893120 16071 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 20970 16071 1344 243 0 17219 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 83880 KiB
Current children cumulated memory: 64284 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/265 52004
/proc/meminfo: memFree=126652860/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=85388 memory=65436 CPUtime=221.67 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 11226 0 0 0 21949 218 0 0 20 0 1 0 50293562 87437312 16359 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 21347 16359 1344 243 0 17596 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 85388 KiB
Current children cumulated memory: 65436 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 52006
/proc/meminfo: memFree=126589576/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=85952 memory=71068 CPUtime=281.5 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 11448 0 0 0 27887 263 0 0 20 0 1 0 50293562 88014848 17767 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 21488 17767 1344 243 0 17737 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 85952 KiB
Current children cumulated memory: 71068 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 4.18 4.11 5/265 52008
/proc/meminfo: memFree=126541648/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=86032 memory=71196 CPUtime=341.34 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 11501 0 0 0 33833 301 0 0 20 0 1 0 50293562 88096768 17799 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 21508 17799 1344 243 0 17757 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 86032 KiB
Current children cumulated memory: 71196 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/265 52010
/proc/meminfo: memFree=126491748/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=86748 memory=71800 CPUtime=401.18 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 11756 0 0 0 39786 332 0 0 20 0 1 0 50293562 88829952 17950 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 21687 17950 1344 243 0 17936 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 86748 KiB
Current children cumulated memory: 71800 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/265 52012
/proc/meminfo: memFree=126533056/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=86936 memory=72056 CPUtime=461 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 11869 0 0 0 45738 362 0 0 20 0 1 0 50293562 89022464 18014 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 21734 18014 1344 243 0 17983 0
################
# More data... #
################
Current children cumulated memory: 79460 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 52128
/proc/meminfo: memFree=126381424/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=95624 memory=79460 CPUtime=2853.72 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 14895 0 0 0 284235 1137 0 0 20 0 1 0 50293562 97918976 19865 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 23906 19865 1344 243 0 20155 0
Current children cumulated CPU time: 2853.72 s
Current children cumulated vsize: 95624 KiB
Current children cumulated memory: 79460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 52130
/proc/meminfo: memFree=126380376/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=95460 memory=79588 CPUtime=2913.53 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 14932 0 0 0 290197 1156 0 0 20 0 1 0 50293562 97751040 19897 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 23865 19897 1344 243 0 20114 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 95460 KiB
Current children cumulated memory: 79588 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 52132
/proc/meminfo: memFree=126374660/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=95980 memory=81928 CPUtime=2973.35 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15049 0 0 0 296163 1172 0 0 20 0 1 0 50293562 98283520 20482 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 23995 20482 1344 243 0 20244 0
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 95980 KiB
Current children cumulated memory: 81928 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 52136
/proc/meminfo: memFree=126364368/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=95980 memory=81928 CPUtime=3033.16 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15049 0 0 0 302129 1187 0 0 20 0 1 0 50293562 98283520 20482 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 23995 20482 1344 243 0 20244 0
Current children cumulated CPU time: 3033.16 s
Current children cumulated vsize: 95980 KiB
Current children cumulated memory: 81928 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 52138
/proc/meminfo: memFree=126353024/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=95980 memory=82824 CPUtime=3092.97 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15100 0 0 0 308094 1203 0 0 20 0 1 0 50293562 98283520 20706 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 23995 20706 1344 243 0 20244 0
Current children cumulated CPU time: 3092.97 s
Current children cumulated vsize: 95980 KiB
Current children cumulated memory: 82824 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 52140
/proc/meminfo: memFree=126350112/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=95980 memory=82824 CPUtime=3152.78 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15100 0 0 0 314061 1217 0 0 20 0 1 0 50293562 98283520 20706 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 23995 20706 1344 243 0 20244 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 95980 KiB
Current children cumulated memory: 82824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 52148
/proc/meminfo: memFree=126353676/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96404 memory=82824 CPUtime=3212.59 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15146 0 0 0 320026 1233 0 0 20 0 1 0 50293562 98717696 20706 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24101 20706 1344 243 0 20350 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 96404 KiB
Current children cumulated memory: 82824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 52150
/proc/meminfo: memFree=126348928/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96404 memory=82824 CPUtime=3272.41 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15146 0 0 0 325994 1247 0 0 20 0 1 0 50293562 98717696 20706 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24101 20706 1344 243 0 20350 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 96404 KiB
Current children cumulated memory: 82824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 52152
/proc/meminfo: memFree=126330584/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96920 memory=83208 CPUtime=3332.21 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15223 0 0 0 331959 1262 0 0 20 0 1 0 50293562 99246080 20802 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24230 20802 1344 243 0 20479 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 96920 KiB
Current children cumulated memory: 83208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 52154
/proc/meminfo: memFree=126321292/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96920 memory=83208 CPUtime=3392.03 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15223 0 0 0 337927 1276 0 0 20 0 1 0 50293562 99246080 20802 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24230 20802 1344 243 0 20479 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 96920 KiB
Current children cumulated memory: 83208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 52155
/proc/meminfo: memFree=126313824/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96756 memory=83208 CPUtime=3451.85 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15266 0 0 0 343892 1293 0 0 20 0 1 0 50293562 99078144 20802 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24189 20802 1344 243 0 20438 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 83208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 52170
/proc/meminfo: memFree=126314080/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96756 memory=83208 CPUtime=3511.66 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15266 0 0 0 349859 1307 0 0 20 0 1 0 50293562 99078144 20802 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24189 20802 1344 243 0 20438 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 83208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 52172
/proc/meminfo: memFree=126328632/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96756 memory=83336 CPUtime=3571.47 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15312 0 0 0 355824 1323 0 0 20 0 1 0 50293562 99078144 20834 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24189 20834 1344 243 0 20438 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 83336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 3.87 4.04 4.07 4/258 52204
/proc/meminfo: memFree=126477460/131249996 swapFree=33010684/33010684
[pid=51901] ppid=51898 vsize=96756 memory=83336 CPUtime=3600.08 cores=0,2
/proc/51901/stat : 51901 (pb-oll-rs) R 51898 51901 50515 0 -1 4194304 15312 0 0 0 358679 1329 0 0 20 0 1 0 50293562 99078144 20834 18446744073709551615 4218880 5211445 140724626668272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 13742080 140724626676124 140724626676201 140724626676201 140724626681803 0
/proc/51901/statm: 24189 20834 1344 243 0 20438 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 96756 KiB
Current children cumulated memory: 83336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 51901 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.8 s, system=13.296 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.01
CPU time (s): 3600.1
CPU user time (s): 3586.8
CPU system time (s): 13.296
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (KiB): 96920
Max. memory (cumulated for all children) (KiB): 83336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.8
system time used= 13.296
maximum resident set size= 83592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15326
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= 107
involuntary context switches= 4686
# summary of solver processes directly reported to runsolver:
# pid: 51901
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.8
# total CPU system time (s): 13.296
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62444 second user time and 15.9985 second system time
The end
Begin job on nodeC017 at 2025-07-01 07:02:38
IDJOB=4489272
IDBENCH=147544
IDSOLVER=3345
FILE ID=nodeC017/4489272-1751346158
RUNJOBID= nodeC017-1751338915-50525
SLURM_JOB_ID= 9594401
Free space on /tmp= 433012 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489272-1751346158/watcher-4489272-1751346158 -o /tmp/evaluation-result-4489272-1751346158/solver-4489272-1751346158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50525 --watchdog 3760 pb-oll-rs HOME/instance-4489272-1751346158.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=1198759133
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.041
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.042
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3610.498
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3591.873
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125945040 kB
MemAvailable: 128802608 kB
Buffers: 2380 kB
Cached: 3628128 kB
SwapCached: 0 kB
Active: 1355640 kB
Inactive: 3322468 kB
Active(anon): 1065668 kB
Inactive(anon): 12 kB
Active(file): 289972 kB
Inactive(file): 3322456 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1632 kB
Writeback: 0 kB
AnonPages: 1046628 kB
Mapped: 106868 kB
Shmem: 18080 kB
KReclaimable: 168360 kB
Slab: 257044 kB
SReclaimable: 168360 kB
SUnreclaim: 88684 kB
KernelStack: 4236 kB
PageTables: 5220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1449168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 901120 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-07-01 08:02:49