0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 256 #constraints 181
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 3 @ 0.000505
0.00/0.00 c stratification level: 0
0.00/0.02 c bounds - >= 19 @ 0.001154
0.00/0.02 c bounds - >= 20 @ 0.001215
0.00/0.02 c bounds - >= 23 @ 0.001299
0.00/0.02 c bounds - >= 31 @ 0.001371
0.00/0.02 c bounds - >= 36 @ 0.00144
0.00/0.02 c bounds - >= 42 @ 0.001507
0.00/0.02 c bounds - >= 49 @ 0.001573
0.00/0.02 c bounds - >= 58 @ 0.001639
0.00/0.02 c bounds - >= 66 @ 0.001705
0.00/0.02 c bounds - >= 72 @ 0.001775
0.00/0.02 c bounds - >= 78 @ 0.001842
0.00/0.02 c bounds - >= 83 @ 0.001913
0.00/0.02 c bounds - >= 95 @ 0.001967
0.00/0.02 c bounds - >= 99 @ 0.002033
0.00/0.02 c bounds - >= 105 @ 0.002092
0.00/0.02 c bounds - >= 108 @ 0.002152
0.00/0.02 c finalizing WCE round: reformulating cores
33.49/33.65 c #Conflicts: 1000 | #Constraints: 1206
33.49/33.65 c #Conflicts: 2000 | #Constraints: 2208
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 3000 | #Constraints: 2194
33.49/33.65 c #Conflicts: 4000 | #Constraints: 3196
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 5000 | #Constraints: 2609
33.49/33.65 c #Conflicts: 6000 | #Constraints: 3611
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 7000 | #Constraints: 2616
33.49/33.65 c #Conflicts: 8000 | #Constraints: 3618
33.49/33.65 c #Conflicts: 9000 | #Constraints: 4622
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 10000 | #Constraints: 3324
33.49/33.65 c #Conflicts: 11000 | #Constraints: 4326
33.49/33.65 c #Conflicts: 12000 | #Constraints: 5328
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 13000 | #Constraints: 3785
33.49/33.65 c #Conflicts: 14000 | #Constraints: 4787
33.49/33.65 c bounds 115 >= 108 @ 2.65215
33.49/33.65 c bounds 115 >= 111 @ 2.65325
33.49/33.65 c #Conflicts: 15000 | #Constraints: 5801
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 16000 | #Constraints: 4032
33.49/33.65 c #Conflicts: 17000 | #Constraints: 5032
33.49/33.65 c #Conflicts: 18000 | #Constraints: 6032
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 19000 | #Constraints: 4045
33.49/33.65 c #Conflicts: 20000 | #Constraints: 5045
33.49/33.65 c #Conflicts: 21000 | #Constraints: 6045
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 22000 | #Constraints: 3855
33.49/33.65 c #Conflicts: 23000 | #Constraints: 4855
33.49/33.65 c #Conflicts: 24000 | #Constraints: 5855
33.49/33.65 c #Conflicts: 25000 | #Constraints: 6855
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 26000 | #Constraints: 4460
33.49/33.65 c #Conflicts: 27000 | #Constraints: 5460
33.49/33.65 c #Conflicts: 28000 | #Constraints: 6460
33.49/33.65 c #Conflicts: 29000 | #Constraints: 7460
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 30000 | #Constraints: 4863
33.49/33.65 c #Conflicts: 31000 | #Constraints: 5863
33.49/33.65 c #Conflicts: 32000 | #Constraints: 6863
33.49/33.65 c #Conflicts: 33000 | #Constraints: 7863
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 34000 | #Constraints: 5061
33.49/33.65 c #Conflicts: 35000 | #Constraints: 6061
33.49/33.65 c #Conflicts: 36000 | #Constraints: 7061
33.49/33.65 c #Conflicts: 37000 | #Constraints: 8061
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 38000 | #Constraints: 5062
33.49/33.65 c #Conflicts: 39000 | #Constraints: 6062
33.49/33.65 c #Conflicts: 40000 | #Constraints: 7062
33.49/33.65 c #Conflicts: 41000 | #Constraints: 8062
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 42000 | #Constraints: 4866
33.49/33.65 c #Conflicts: 43000 | #Constraints: 5866
33.49/33.65 c #Conflicts: 44000 | #Constraints: 6866
33.49/33.65 c #Conflicts: 45000 | #Constraints: 7866
33.49/33.65 c #Conflicts: 46000 | #Constraints: 8866
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 47000 | #Constraints: 5464
33.49/33.65 c #Conflicts: 48000 | #Constraints: 6464
33.49/33.65 c #Conflicts: 49000 | #Constraints: 7464
33.49/33.65 c #Conflicts: 50000 | #Constraints: 8464
33.49/33.65 c #Conflicts: 51000 | #Constraints: 9464
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 52000 | #Constraints: 5858
33.49/33.65 c #Conflicts: 53000 | #Constraints: 6858
33.49/33.65 c #Conflicts: 54000 | #Constraints: 7858
33.49/33.65 c #Conflicts: 55000 | #Constraints: 8858
33.49/33.65 c #Conflicts: 56000 | #Constraints: 9858
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 57000 | #Constraints: 6058
33.49/33.65 c #Conflicts: 58000 | #Constraints: 7058
33.49/33.65 c #Conflicts: 59000 | #Constraints: 8058
33.49/33.65 c #Conflicts: 60000 | #Constraints: 9058
33.49/33.65 c #Conflicts: 61000 | #Constraints: 10058
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 62000 | #Constraints: 6066
33.49/33.65 c #Conflicts: 63000 | #Constraints: 7066
33.49/33.65 c #Conflicts: 64000 | #Constraints: 8066
33.49/33.65 c #Conflicts: 65000 | #Constraints: 9066
33.49/33.65 c #Conflicts: 66000 | #Constraints: 10066
33.49/33.65 c INPROCESSING
33.49/33.65 c GARBAGE COLLECT
33.49/33.65 c #Conflicts: 67000 | #Constraints: 5864
106.60/106.99 c #Conflicts: 68000 | #Constraints: 6864
106.60/106.99 c #Conflicts: 69000 | #Constraints: 7864
106.60/106.99 c #Conflicts: 70000 | #Constraints: 8864
106.60/106.99 c #Conflicts: 71000 | #Constraints: 9864
106.60/106.99 c #Conflicts: 72000 | #Constraints: 10864
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 73000 | #Constraints: 6465
106.60/106.99 c #Conflicts: 74000 | #Constraints: 7465
106.60/106.99 c #Conflicts: 75000 | #Constraints: 8465
106.60/106.99 c #Conflicts: 76000 | #Constraints: 9465
106.60/106.99 c #Conflicts: 77000 | #Constraints: 10465
106.60/106.99 c #Conflicts: 78000 | #Constraints: 11465
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 79000 | #Constraints: 6863
106.60/106.99 c #Conflicts: 80000 | #Constraints: 7863
106.60/106.99 c #Conflicts: 81000 | #Constraints: 8863
106.60/106.99 c #Conflicts: 82000 | #Constraints: 9863
106.60/106.99 c #Conflicts: 83000 | #Constraints: 10863
106.60/106.99 c #Conflicts: 84000 | #Constraints: 11863
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 85000 | #Constraints: 7065
106.60/106.99 c #Conflicts: 86000 | #Constraints: 8065
106.60/106.99 c #Conflicts: 87000 | #Constraints: 9065
106.60/106.99 c #Conflicts: 88000 | #Constraints: 10065
106.60/106.99 c #Conflicts: 89000 | #Constraints: 11065
106.60/106.99 c #Conflicts: 90000 | #Constraints: 12065
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 91000 | #Constraints: 7069
106.60/106.99 c #Conflicts: 92000 | #Constraints: 8069
106.60/106.99 c #Conflicts: 93000 | #Constraints: 9069
106.60/106.99 c #Conflicts: 94000 | #Constraints: 10069
106.60/106.99 c #Conflicts: 95000 | #Constraints: 11069
106.60/106.99 c #Conflicts: 96000 | #Constraints: 12069
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 97000 | #Constraints: 6871
106.60/106.99 c #Conflicts: 98000 | #Constraints: 7871
106.60/106.99 c #Conflicts: 99000 | #Constraints: 8871
106.60/106.99 c #Conflicts: 100000 | #Constraints: 9871
106.60/106.99 c #Conflicts: 101000 | #Constraints: 10871
106.60/106.99 c #Conflicts: 102000 | #Constraints: 11871
106.60/106.99 c #Conflicts: 103000 | #Constraints: 12871
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 104000 | #Constraints: 7474
106.60/106.99 c #Conflicts: 105000 | #Constraints: 8474
106.60/106.99 c #Conflicts: 106000 | #Constraints: 9474
106.60/106.99 c #Conflicts: 107000 | #Constraints: 10474
106.60/106.99 c #Conflicts: 108000 | #Constraints: 11474
106.60/106.99 c #Conflicts: 109000 | #Constraints: 12474
106.60/106.99 c #Conflicts: 110000 | #Constraints: 13474
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 111000 | #Constraints: 7874
106.60/106.99 c #Conflicts: 112000 | #Constraints: 8874
106.60/106.99 c #Conflicts: 113000 | #Constraints: 9874
106.60/106.99 c #Conflicts: 114000 | #Constraints: 10874
106.60/106.99 c #Conflicts: 115000 | #Constraints: 11874
106.60/106.99 c #Conflicts: 116000 | #Constraints: 12874
106.60/106.99 c #Conflicts: 117000 | #Constraints: 13874
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 118000 | #Constraints: 8075
106.60/106.99 c #Conflicts: 119000 | #Constraints: 9075
106.60/106.99 c #Conflicts: 120000 | #Constraints: 10075
106.60/106.99 c #Conflicts: 121000 | #Constraints: 11075
106.60/106.99 c #Conflicts: 122000 | #Constraints: 12075
106.60/106.99 c #Conflicts: 123000 | #Constraints: 13075
106.60/106.99 c #Conflicts: 124000 | #Constraints: 14075
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 125000 | #Constraints: 8073
106.60/106.99 c #Conflicts: 126000 | #Constraints: 9073
106.60/106.99 c #Conflicts: 127000 | #Constraints: 10073
106.60/106.99 c #Conflicts: 128000 | #Constraints: 11073
106.60/106.99 c #Conflicts: 129000 | #Constraints: 12073
106.60/106.99 c #Conflicts: 130000 | #Constraints: 13073
106.60/106.99 c #Conflicts: 131000 | #Constraints: 14073
106.60/106.99 c INPROCESSING
106.60/106.99 c GARBAGE COLLECT
106.60/106.99 c #Conflicts: 132000 | #Constraints: 7878
106.60/106.99 c #Conflicts: 133000 | #Constraints: 8878
106.60/106.99 c #Conflicts: 134000 | #Constraints: 9878
106.60/106.99 c #Conflicts: 135000 | #Constraints: 10878
106.60/106.99 c #Conflicts: 136000 | #Constraints: 11878
106.60/106.99 c #Conflicts: 137000 | #Constraints: 12878
106.60/106.99 c #Conflicts: 138000 | #Constraints: 13878
106.60/106.99 c #Conflicts: 139000 | #Constraints: 14878
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 140000 | #Constraints: 8472
211.41/212.06 c #Conflicts: 141000 | #Constraints: 9472
211.41/212.06 c #Conflicts: 142000 | #Constraints: 10472
211.41/212.06 c #Conflicts: 143000 | #Constraints: 11472
211.41/212.06 c #Conflicts: 144000 | #Constraints: 12472
211.41/212.06 c #Conflicts: 145000 | #Constraints: 13472
211.41/212.06 c #Conflicts: 146000 | #Constraints: 14472
211.41/212.06 c #Conflicts: 147000 | #Constraints: 15472
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 148000 | #Constraints: 8875
211.41/212.06 c #Conflicts: 149000 | #Constraints: 9875
211.41/212.06 c #Conflicts: 150000 | #Constraints: 10875
211.41/212.06 c #Conflicts: 151000 | #Constraints: 11875
211.41/212.06 c #Conflicts: 152000 | #Constraints: 12875
211.41/212.06 c #Conflicts: 153000 | #Constraints: 13875
211.41/212.06 c #Conflicts: 154000 | #Constraints: 14875
211.41/212.06 c #Conflicts: 155000 | #Constraints: 15875
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 156000 | #Constraints: 9072
211.41/212.06 c #Conflicts: 157000 | #Constraints: 10072
211.41/212.06 c #Conflicts: 158000 | #Constraints: 11072
211.41/212.06 c #Conflicts: 159000 | #Constraints: 12072
211.41/212.06 c #Conflicts: 160000 | #Constraints: 13072
211.41/212.06 c #Conflicts: 161000 | #Constraints: 14072
211.41/212.06 c #Conflicts: 162000 | #Constraints: 15072
211.41/212.06 c #Conflicts: 163000 | #Constraints: 16072
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 164000 | #Constraints: 9073
211.41/212.06 c #Conflicts: 165000 | #Constraints: 10073
211.41/212.06 c #Conflicts: 166000 | #Constraints: 11073
211.41/212.06 c #Conflicts: 167000 | #Constraints: 12073
211.41/212.06 c #Conflicts: 168000 | #Constraints: 13073
211.41/212.06 c #Conflicts: 169000 | #Constraints: 14073
211.41/212.06 c #Conflicts: 170000 | #Constraints: 15073
211.41/212.06 c #Conflicts: 171000 | #Constraints: 16073
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 172000 | #Constraints: 8869
211.41/212.06 c #Conflicts: 173000 | #Constraints: 9869
211.41/212.06 c #Conflicts: 174000 | #Constraints: 10869
211.41/212.06 c #Conflicts: 175000 | #Constraints: 11869
211.41/212.06 c #Conflicts: 176000 | #Constraints: 12869
211.41/212.06 c #Conflicts: 177000 | #Constraints: 13869
211.41/212.06 c #Conflicts: 178000 | #Constraints: 14869
211.41/212.06 c #Conflicts: 179000 | #Constraints: 15869
211.41/212.06 c #Conflicts: 180000 | #Constraints: 16869
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 181000 | #Constraints: 9470
211.41/212.06 c #Conflicts: 182000 | #Constraints: 10470
211.41/212.06 c #Conflicts: 183000 | #Constraints: 11470
211.41/212.06 c #Conflicts: 184000 | #Constraints: 12470
211.41/212.06 c #Conflicts: 185000 | #Constraints: 13470
211.41/212.06 c #Conflicts: 186000 | #Constraints: 14470
211.41/212.06 c #Conflicts: 187000 | #Constraints: 15470
211.41/212.06 c #Conflicts: 188000 | #Constraints: 16470
211.41/212.06 c #Conflicts: 189000 | #Constraints: 17470
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 190000 | #Constraints: 9873
211.41/212.06 c #Conflicts: 191000 | #Constraints: 10873
211.41/212.06 c #Conflicts: 192000 | #Constraints: 11873
211.41/212.06 c #Conflicts: 193000 | #Constraints: 12873
211.41/212.06 c #Conflicts: 194000 | #Constraints: 13873
211.41/212.06 c #Conflicts: 195000 | #Constraints: 14873
211.41/212.06 c #Conflicts: 196000 | #Constraints: 15873
211.41/212.06 c #Conflicts: 197000 | #Constraints: 16873
211.41/212.06 c #Conflicts: 198000 | #Constraints: 17873
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 199000 | #Constraints: 10074
211.41/212.06 c #Conflicts: 200000 | #Constraints: 11074
211.41/212.06 c #Conflicts: 201000 | #Constraints: 12074
211.41/212.06 c #Conflicts: 202000 | #Constraints: 13074
211.41/212.06 c #Conflicts: 203000 | #Constraints: 14074
211.41/212.06 c #Conflicts: 204000 | #Constraints: 15074
211.41/212.06 c #Conflicts: 205000 | #Constraints: 16074
211.41/212.06 c #Conflicts: 206000 | #Constraints: 17074
211.41/212.06 c #Conflicts: 207000 | #Constraints: 18074
211.41/212.06 c INPROCESSING
211.41/212.06 c GARBAGE COLLECT
211.41/212.06 c #Conflicts: 208000 | #Constraints: 10076
211.41/212.06 c #Conflicts: 209000 | #Constraints: 11076
211.41/212.06 c #Conflicts: 210000 | #Constraints: 12076
211.41/212.06 c #Conflicts: 211000 | #Constraints: 13076
211.41/212.06 c #Conflicts: 212000 | #Constraints: 14076
354.71/355.76 c #Conflicts: 213000 | #Constraints: 15076
354.71/355.76 c #Conflicts: 214000 | #Constraints: 16076
354.71/355.76 c #Conflicts: 215000 | #Constraints: 17076
354.71/355.76 c #Conflicts: 216000 | #Constraints: 18076
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 217000 | #Constraints: 9881
354.71/355.76 c #Conflicts: 218000 | #Constraints: 10881
354.71/355.76 c #Conflicts: 219000 | #Constraints: 11881
354.71/355.76 c #Conflicts: 220000 | #Constraints: 12881
354.71/355.76 c #Conflicts: 221000 | #Constraints: 13881
354.71/355.76 c #Conflicts: 222000 | #Constraints: 14881
354.71/355.76 c #Conflicts: 223000 | #Constraints: 15881
354.71/355.76 c #Conflicts: 224000 | #Constraints: 16881
354.71/355.76 c #Conflicts: 225000 | #Constraints: 17881
354.71/355.76 c #Conflicts: 226000 | #Constraints: 18881
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 227000 | #Constraints: 10481
354.71/355.76 c #Conflicts: 228000 | #Constraints: 11481
354.71/355.76 c #Conflicts: 229000 | #Constraints: 12481
354.71/355.76 c #Conflicts: 230000 | #Constraints: 13481
354.71/355.76 c #Conflicts: 231000 | #Constraints: 14481
354.71/355.76 c #Conflicts: 232000 | #Constraints: 15481
354.71/355.76 c #Conflicts: 233000 | #Constraints: 16481
354.71/355.76 c #Conflicts: 234000 | #Constraints: 17481
354.71/355.76 c #Conflicts: 235000 | #Constraints: 18481
354.71/355.76 c #Conflicts: 236000 | #Constraints: 19481
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 237000 | #Constraints: 10875
354.71/355.76 c #Conflicts: 238000 | #Constraints: 11875
354.71/355.76 c #Conflicts: 239000 | #Constraints: 12875
354.71/355.76 c #Conflicts: 240000 | #Constraints: 13875
354.71/355.76 c #Conflicts: 241000 | #Constraints: 14875
354.71/355.76 c #Conflicts: 242000 | #Constraints: 15875
354.71/355.76 c #Conflicts: 243000 | #Constraints: 16875
354.71/355.76 c #Conflicts: 244000 | #Constraints: 17875
354.71/355.76 c #Conflicts: 245000 | #Constraints: 18875
354.71/355.76 c #Conflicts: 246000 | #Constraints: 19875
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 247000 | #Constraints: 11071
354.71/355.76 c #Conflicts: 248000 | #Constraints: 12071
354.71/355.76 c #Conflicts: 249000 | #Constraints: 13071
354.71/355.76 c #Conflicts: 250000 | #Constraints: 14071
354.71/355.76 c #Conflicts: 251000 | #Constraints: 15071
354.71/355.76 c #Conflicts: 252000 | #Constraints: 16071
354.71/355.76 c #Conflicts: 253000 | #Constraints: 17071
354.71/355.76 c #Conflicts: 254000 | #Constraints: 18071
354.71/355.76 c #Conflicts: 255000 | #Constraints: 19071
354.71/355.76 c #Conflicts: 256000 | #Constraints: 20071
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 257000 | #Constraints: 11068
354.71/355.76 c #Conflicts: 258000 | #Constraints: 12068
354.71/355.76 c #Conflicts: 259000 | #Constraints: 13068
354.71/355.76 c #Conflicts: 260000 | #Constraints: 14068
354.71/355.76 c #Conflicts: 261000 | #Constraints: 15068
354.71/355.76 c #Conflicts: 262000 | #Constraints: 16068
354.71/355.76 c #Conflicts: 263000 | #Constraints: 17068
354.71/355.76 c #Conflicts: 264000 | #Constraints: 18068
354.71/355.76 c #Conflicts: 265000 | #Constraints: 19068
354.71/355.76 c #Conflicts: 266000 | #Constraints: 20068
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 267000 | #Constraints: 10874
354.71/355.76 c #Conflicts: 268000 | #Constraints: 11874
354.71/355.76 c #Conflicts: 269000 | #Constraints: 12874
354.71/355.76 c #Conflicts: 270000 | #Constraints: 13874
354.71/355.76 c #Conflicts: 271000 | #Constraints: 14874
354.71/355.76 c #Conflicts: 272000 | #Constraints: 15874
354.71/355.76 c #Conflicts: 273000 | #Constraints: 16874
354.71/355.76 c #Conflicts: 274000 | #Constraints: 17874
354.71/355.76 c #Conflicts: 275000 | #Constraints: 18874
354.71/355.76 c #Conflicts: 276000 | #Constraints: 19874
354.71/355.76 c #Conflicts: 277000 | #Constraints: 20874
354.71/355.76 c INPROCESSING
354.71/355.76 c GARBAGE COLLECT
354.71/355.76 c #Conflicts: 278000 | #Constraints: 11472
354.71/355.76 c #Conflicts: 279000 | #Constraints: 12472
354.71/355.76 c #Conflicts: 280000 | #Constraints: 13472
354.71/355.76 c #Conflicts: 281000 | #Constraints: 14472
354.71/355.76 c #Conflicts: 282000 | #Constraints: 15472
354.71/355.76 c #Conflicts: 283000 | #Constraints: 16472
354.71/355.76 c #Conflicts: 284000 | #Constraints: 17472
354.71/355.76 c #Conflicts: 285000 | #Constraints: 18472
354.71/355.76 c #Conflicts: 286000 | #Constraints: 19472
505.71/507.14 c #Conflicts: 287000 | #Constraints: 20472
505.71/507.14 c #Conflicts: 288000 | #Constraints: 21472
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 289000 | #Constraints: 11875
505.71/507.14 c #Conflicts: 290000 | #Constraints: 12875
505.71/507.14 c #Conflicts: 291000 | #Constraints: 13875
505.71/507.14 c #Conflicts: 292000 | #Constraints: 14875
505.71/507.14 c #Conflicts: 293000 | #Constraints: 15875
505.71/507.14 c #Conflicts: 294000 | #Constraints: 16875
505.71/507.14 c #Conflicts: 295000 | #Constraints: 17875
505.71/507.14 c #Conflicts: 296000 | #Constraints: 18875
505.71/507.14 c #Conflicts: 297000 | #Constraints: 19875
505.71/507.14 c #Conflicts: 298000 | #Constraints: 20875
505.71/507.14 c #Conflicts: 299000 | #Constraints: 21875
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 300000 | #Constraints: 12072
505.71/507.14 c #Conflicts: 301000 | #Constraints: 13072
505.71/507.14 c #Conflicts: 302000 | #Constraints: 14072
505.71/507.14 c #Conflicts: 303000 | #Constraints: 15072
505.71/507.14 c #Conflicts: 304000 | #Constraints: 16072
505.71/507.14 c #Conflicts: 305000 | #Constraints: 17072
505.71/507.14 c #Conflicts: 306000 | #Constraints: 18072
505.71/507.14 c #Conflicts: 307000 | #Constraints: 19072
505.71/507.14 c #Conflicts: 308000 | #Constraints: 20072
505.71/507.14 c #Conflicts: 309000 | #Constraints: 21072
505.71/507.14 c #Conflicts: 310000 | #Constraints: 22072
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 311000 | #Constraints: 12081
505.71/507.14 c #Conflicts: 312000 | #Constraints: 13081
505.71/507.14 c #Conflicts: 313000 | #Constraints: 14081
505.71/507.14 c #Conflicts: 314000 | #Constraints: 15081
505.71/507.14 c #Conflicts: 315000 | #Constraints: 16081
505.71/507.14 c #Conflicts: 316000 | #Constraints: 17081
505.71/507.14 c #Conflicts: 317000 | #Constraints: 18081
505.71/507.14 c #Conflicts: 318000 | #Constraints: 19081
505.71/507.14 c #Conflicts: 319000 | #Constraints: 20081
505.71/507.14 c #Conflicts: 320000 | #Constraints: 21081
505.71/507.14 c #Conflicts: 321000 | #Constraints: 22081
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 322000 | #Constraints: 11879
505.71/507.14 c #Conflicts: 323000 | #Constraints: 12879
505.71/507.14 c #Conflicts: 324000 | #Constraints: 13879
505.71/507.14 c #Conflicts: 325000 | #Constraints: 14879
505.71/507.14 c #Conflicts: 326000 | #Constraints: 15879
505.71/507.14 c #Conflicts: 327000 | #Constraints: 16879
505.71/507.14 c #Conflicts: 328000 | #Constraints: 17879
505.71/507.14 c #Conflicts: 329000 | #Constraints: 18879
505.71/507.14 c #Conflicts: 330000 | #Constraints: 19879
505.71/507.14 c #Conflicts: 331000 | #Constraints: 20879
505.71/507.14 c #Conflicts: 332000 | #Constraints: 21879
505.71/507.14 c #Conflicts: 333000 | #Constraints: 22879
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 334000 | #Constraints: 12476
505.71/507.14 c #Conflicts: 335000 | #Constraints: 13476
505.71/507.14 c #Conflicts: 336000 | #Constraints: 14476
505.71/507.14 c #Conflicts: 337000 | #Constraints: 15476
505.71/507.14 c #Conflicts: 338000 | #Constraints: 16476
505.71/507.14 c #Conflicts: 339000 | #Constraints: 17476
505.71/507.14 c #Conflicts: 340000 | #Constraints: 18476
505.71/507.14 c #Conflicts: 341000 | #Constraints: 19476
505.71/507.14 c #Conflicts: 342000 | #Constraints: 20476
505.71/507.14 c #Conflicts: 343000 | #Constraints: 21476
505.71/507.14 c #Conflicts: 344000 | #Constraints: 22476
505.71/507.14 c #Conflicts: 345000 | #Constraints: 23476
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 346000 | #Constraints: 12877
505.71/507.14 c #Conflicts: 347000 | #Constraints: 13877
505.71/507.14 c #Conflicts: 348000 | #Constraints: 14877
505.71/507.14 c #Conflicts: 349000 | #Constraints: 15877
505.71/507.14 c #Conflicts: 350000 | #Constraints: 16877
505.71/507.14 c #Conflicts: 351000 | #Constraints: 17877
505.71/507.14 c #Conflicts: 352000 | #Constraints: 18877
505.71/507.14 c #Conflicts: 353000 | #Constraints: 19877
505.71/507.14 c #Conflicts: 354000 | #Constraints: 20877
505.71/507.14 c #Conflicts: 355000 | #Constraints: 21877
505.71/507.14 c #Conflicts: 356000 | #Constraints: 22877
505.71/507.14 c #Conflicts: 357000 | #Constraints: 23877
505.71/507.14 c INPROCESSING
505.71/507.14 c GARBAGE COLLECT
505.71/507.14 c #Conflicts: 358000 | #Constraints: 13079
505.71/507.14 c #Conflicts: 359000 | #Constraints: 14079
505.71/507.14 c #Conflicts: 360000 | #Constraints: 15079
505.71/507.14 c #Conflicts: 361000 | #Constraints: 16079
688.23/690.17 c #Conflicts: 362000 | #Constraints: 17079
688.23/690.17 c #Conflicts: 363000 | #Constraints: 18079
688.23/690.17 c #Conflicts: 364000 | #Constraints: 19079
688.23/690.17 c #Conflicts: 365000 | #Constraints: 20079
688.23/690.17 c #Conflicts: 366000 | #Constraints: 21079
688.23/690.17 c #Conflicts: 367000 | #Constraints: 22079
688.23/690.17 c #Conflicts: 368000 | #Constraints: 23079
688.23/690.17 c #Conflicts: 369000 | #Constraints: 24079
688.23/690.17 c INPROCESSING
688.23/690.17 c GARBAGE COLLECT
688.23/690.17 c #Conflicts: 370000 | #Constraints: 13082
688.23/690.17 c #Conflicts: 371000 | #Constraints: 14082
688.23/690.17 c #Conflicts: 372000 | #Constraints: 15082
688.23/690.17 c #Conflicts: 373000 | #Constraints: 16082
688.23/690.17 c #Conflicts: 374000 | #Constraints: 17082
688.23/690.17 c #Conflicts: 375000 | #Constraints: 18082
688.23/690.17 c #Conflicts: 376000 | #Constraints: 19082
688.23/690.17 c #Conflicts: 377000 | #Constraints: 20082
688.23/690.17 c #Conflicts: 378000 | #Constraints: 21082
688.23/690.17 c #Conflicts: 379000 | #Constraints: 22082
688.23/690.17 c #Conflicts: 380000 | #Constraints: 23082
688.23/690.17 c #Conflicts: 381000 | #Constraints: 24082
688.23/690.17 c INPROCESSING
688.23/690.17 c GARBAGE COLLECT
688.23/690.17 c #Conflicts: 382000 | #Constraints: 12882
688.23/690.17 c #Conflicts: 383000 | #Constraints: 13882
688.23/690.17 c #Conflicts: 384000 | #Constraints: 14882
688.23/690.17 c #Conflicts: 385000 | #Constraints: 15882
688.23/690.17 c #Conflicts: 386000 | #Constraints: 16882
688.23/690.17 c #Conflicts: 387000 | #Constraints: 17882
688.23/690.17 c #Conflicts: 388000 | #Constraints: 18882
688.23/690.17 c #Conflicts: 389000 | #Constraints: 19882
688.23/690.17 c #Conflicts: 390000 | #Constraints: 20882
688.23/690.17 c #Conflicts: 391000 | #Constraints: 21882
688.23/690.17 c #Conflicts: 392000 | #Constraints: 22882
688.23/690.17 c #Conflicts: 393000 | #Constraints: 23882
688.23/690.17 c #Conflicts: 394000 | #Constraints: 24882
688.23/690.17 c INPROCESSING
688.23/690.17 c GARBAGE COLLECT
688.23/690.17 c #Conflicts: 395000 | #Constraints: 13486
688.23/690.17 c #Conflicts: 396000 | #Constraints: 14486
688.23/690.17 c #Conflicts: 397000 | #Constraints: 15486
688.23/690.17 c #Conflicts: 398000 | #Constraints: 16486
688.23/690.17 c #Conflicts: 399000 | #Constraints: 17486
688.23/690.17 c #Conflicts: 400000 | #Constraints: 18486
688.23/690.17 c #Conflicts: 401000 | #Constraints: 19486
688.23/690.17 c #Conflicts: 402000 | #Constraints: 20486
688.23/690.17 c #Conflicts: 403000 | #Constraints: 21486
688.23/690.17 c #Conflicts: 404000 | #Constraints: 22486
688.23/690.17 c #Conflicts: 405000 | #Constraints: 23486
688.23/690.17 c #Conflicts: 406000 | #Constraints: 24486
688.23/690.17 c #Conflicts: 407000 | #Constraints: 25486
688.23/690.17 c INPROCESSING
688.23/690.17 c GARBAGE COLLECT
688.23/690.17 c #Conflicts: 408000 | #Constraints: 13882
688.23/690.17 c #Conflicts: 409000 | #Constraints: 14882
688.23/690.17 c #Conflicts: 410000 | #Constraints: 15882
688.23/690.17 c #Conflicts: 411000 | #Constraints: 16882
688.23/690.17 c #Conflicts: 412000 | #Constraints: 17882
688.23/690.17 c #Conflicts: 413000 | #Constraints: 18882
688.23/690.17 c #Conflicts: 414000 | #Constraints: 19882
688.23/690.17 c #Conflicts: 415000 | #Constraints: 20882
688.23/690.17 c #Conflicts: 416000 | #Constraints: 21882
688.23/690.17 c #Conflicts: 417000 | #Constraints: 22882
688.23/690.17 c #Conflicts: 418000 | #Constraints: 23882
688.23/690.17 c #Conflicts: 419000 | #Constraints: 24882
688.23/690.17 c #Conflicts: 420000 | #Constraints: 25882
688.23/690.17 c INPROCESSING
688.23/690.17 c GARBAGE COLLECT
688.23/690.17 c #Conflicts: 421000 | #Constraints: 14082
688.23/690.17 c #Conflicts: 422000 | #Constraints: 15082
688.23/690.17 c #Conflicts: 423000 | #Constraints: 16082
688.23/690.17 c #Conflicts: 424000 | #Constraints: 17082
688.23/690.17 c #Conflicts: 425000 | #Constraints: 18082
688.23/690.17 c #Conflicts: 426000 | #Constraints: 19082
688.23/690.17 c #Conflicts: 427000 | #Constraints: 20082
688.23/690.17 c #Conflicts: 428000 | #Constraints: 21082
688.23/690.17 c #Conflicts: 429000 | #Constraints: 22082
688.23/690.17 c #Conflicts: 430000 | #Constraints: 23082
688.23/690.17 c #Conflicts: 431000 | #Constraints: 24082
688.23/690.17 c #Conflicts: 432000 | #Constraints: 25082
688.23/690.17 c #Conflicts: 433000 | #Constraints: 26082
688.23/690.17 c INPROCESSING
688.23/690.17 c GARBAGE COLLECT
688.23/690.17 c #Conflicts: 434000 | #Constraints: 14079
688.23/690.17 c #Conflicts: 435000 | #Constraints: 15079
688.23/690.17 c #Conflicts: 436000 | #Constraints: 16079
911.53/914.08 c #Conflicts: 437000 | #Constraints: 17079
911.53/914.08 c #Conflicts: 438000 | #Constraints: 18079
911.53/914.08 c #Conflicts: 439000 | #Constraints: 19079
911.53/914.08 c #Conflicts: 440000 | #Constraints: 20079
911.53/914.08 c #Conflicts: 441000 | #Constraints: 21079
911.53/914.08 c #Conflicts: 442000 | #Constraints: 22079
911.53/914.08 c #Conflicts: 443000 | #Constraints: 23079
911.53/914.08 c #Conflicts: 444000 | #Constraints: 24079
911.53/914.08 c #Conflicts: 445000 | #Constraints: 25079
911.53/914.08 c #Conflicts: 446000 | #Constraints: 26079
911.53/914.08 c INPROCESSING
911.53/914.08 c GARBAGE COLLECT
911.53/914.08 c #Conflicts: 447000 | #Constraints: 13872
911.53/914.08 c #Conflicts: 448000 | #Constraints: 14872
911.53/914.08 c #Conflicts: 449000 | #Constraints: 15872
911.53/914.08 c #Conflicts: 450000 | #Constraints: 16872
911.53/914.08 c #Conflicts: 451000 | #Constraints: 17872
911.53/914.08 c #Conflicts: 452000 | #Constraints: 18872
911.53/914.08 c #Conflicts: 453000 | #Constraints: 19872
911.53/914.08 c #Conflicts: 454000 | #Constraints: 20872
911.53/914.08 c #Conflicts: 455000 | #Constraints: 21872
911.53/914.08 c #Conflicts: 456000 | #Constraints: 22872
911.53/914.08 c #Conflicts: 457000 | #Constraints: 23872
911.53/914.08 c #Conflicts: 458000 | #Constraints: 24872
911.53/914.08 c #Conflicts: 459000 | #Constraints: 25872
911.53/914.08 c #Conflicts: 460000 | #Constraints: 26872
911.53/914.08 c INPROCESSING
911.53/914.08 c GARBAGE COLLECT
911.53/914.08 c #Conflicts: 461000 | #Constraints: 14477
911.53/914.08 c #Conflicts: 462000 | #Constraints: 15477
911.53/914.08 c #Conflicts: 463000 | #Constraints: 16477
911.53/914.08 c #Conflicts: 464000 | #Constraints: 17477
911.53/914.08 c #Conflicts: 465000 | #Constraints: 18477
911.53/914.08 c #Conflicts: 466000 | #Constraints: 19477
911.53/914.08 c #Conflicts: 467000 | #Constraints: 20477
911.53/914.08 c #Conflicts: 468000 | #Constraints: 21477
911.53/914.08 c #Conflicts: 469000 | #Constraints: 22477
911.53/914.08 c #Conflicts: 470000 | #Constraints: 23477
911.53/914.08 c #Conflicts: 471000 | #Constraints: 24477
911.53/914.08 c #Conflicts: 472000 | #Constraints: 25477
911.53/914.08 c #Conflicts: 473000 | #Constraints: 26477
911.53/914.08 c #Conflicts: 474000 | #Constraints: 27477
911.53/914.08 c INPROCESSING
911.53/914.08 c GARBAGE COLLECT
911.53/914.08 c #Conflicts: 475000 | #Constraints: 14870
911.53/914.08 c #Conflicts: 476000 | #Constraints: 15870
911.53/914.08 c #Conflicts: 477000 | #Constraints: 16870
911.53/914.08 c #Conflicts: 478000 | #Constraints: 17870
911.53/914.08 c #Conflicts: 479000 | #Constraints: 18870
911.53/914.08 c #Conflicts: 480000 | #Constraints: 19870
911.53/914.08 c #Conflicts: 481000 | #Constraints: 20870
911.53/914.08 c #Conflicts: 482000 | #Constraints: 21870
911.53/914.08 c #Conflicts: 483000 | #Constraints: 22870
911.53/914.08 c #Conflicts: 484000 | #Constraints: 23870
911.53/914.08 c #Conflicts: 485000 | #Constraints: 24870
911.53/914.08 c #Conflicts: 486000 | #Constraints: 25870
911.53/914.08 c #Conflicts: 487000 | #Constraints: 26870
911.53/914.08 c #Conflicts: 488000 | #Constraints: 27870
911.53/914.08 c INPROCESSING
911.53/914.08 c GARBAGE COLLECT
911.53/914.08 c #Conflicts: 489000 | #Constraints: 15070
911.53/914.08 c #Conflicts: 490000 | #Constraints: 16070
911.53/914.08 c #Conflicts: 491000 | #Constraints: 17070
911.53/914.08 c #Conflicts: 492000 | #Constraints: 18070
911.53/914.08 c #Conflicts: 493000 | #Constraints: 19070
911.53/914.08 c #Conflicts: 494000 | #Constraints: 20070
911.53/914.08 c #Conflicts: 495000 | #Constraints: 21070
911.53/914.08 c #Conflicts: 496000 | #Constraints: 22070
911.53/914.08 c #Conflicts: 497000 | #Constraints: 23070
911.53/914.08 c #Conflicts: 498000 | #Constraints: 24070
911.53/914.08 c #Conflicts: 499000 | #Constraints: 25070
911.53/914.08 c #Conflicts: 500000 | #Constraints: 26070
911.53/914.08 c #Conflicts: 501000 | #Constraints: 27070
911.53/914.08 c #Conflicts: 502000 | #Constraints: 28070
911.53/914.08 c INPROCESSING
911.53/914.08 c GARBAGE COLLECT
911.53/914.08 c #Conflicts: 503000 | #Constraints: 15077
911.53/914.08 c #Conflicts: 504000 | #Constraints: 16077
911.53/914.08 c #Conflicts: 505000 | #Constraints: 17077
911.53/914.08 c #Conflicts: 506000 | #Constraints: 18077
911.53/914.08 c #Conflicts: 507000 | #Constraints: 19077
911.53/914.08 c #Conflicts: 508000 | #Constraints: 20077
911.53/914.08 c #Conflicts: 509000 | #Constraints: 21077
911.53/914.08 c #Conflicts: 510000 | #Constraints: 22077
911.53/914.08 c #Conflicts: 511000 | #Constraints: 23077
1166.23/1169.41 c #Conflicts: 512000 | #Constraints: 24077
1166.23/1169.41 c #Conflicts: 513000 | #Constraints: 25077
1166.23/1169.41 c #Conflicts: 514000 | #Constraints: 26077
1166.23/1169.41 c #Conflicts: 515000 | #Constraints: 27077
1166.23/1169.41 c #Conflicts: 516000 | #Constraints: 28077
1166.23/1169.41 c INPROCESSING
1166.23/1169.41 c GARBAGE COLLECT
1166.23/1169.41 c #Conflicts: 517000 | #Constraints: 14879
1166.23/1169.41 c #Conflicts: 518000 | #Constraints: 15879
1166.23/1169.41 c #Conflicts: 519000 | #Constraints: 16879
1166.23/1169.41 c #Conflicts: 520000 | #Constraints: 17879
1166.23/1169.41 c #Conflicts: 521000 | #Constraints: 18879
1166.23/1169.41 c #Conflicts: 522000 | #Constraints: 19879
1166.23/1169.41 c #Conflicts: 523000 | #Constraints: 20879
1166.23/1169.41 c #Conflicts: 524000 | #Constraints: 21879
1166.23/1169.41 c #Conflicts: 525000 | #Constraints: 22879
1166.23/1169.41 c #Conflicts: 526000 | #Constraints: 23879
1166.23/1169.41 c #Conflicts: 527000 | #Constraints: 24879
1166.23/1169.41 c #Conflicts: 528000 | #Constraints: 25879
1166.23/1169.41 c #Conflicts: 529000 | #Constraints: 26879
1166.23/1169.41 c #Conflicts: 530000 | #Constraints: 27879
1166.23/1169.41 c #Conflicts: 531000 | #Constraints: 28879
1166.23/1169.41 c INPROCESSING
1166.23/1169.41 c GARBAGE COLLECT
1166.23/1169.41 c #Conflicts: 532000 | #Constraints: 15480
1166.23/1169.41 c #Conflicts: 533000 | #Constraints: 16480
1166.23/1169.41 c #Conflicts: 534000 | #Constraints: 17480
1166.23/1169.41 c #Conflicts: 535000 | #Constraints: 18480
1166.23/1169.41 c #Conflicts: 536000 | #Constraints: 19480
1166.23/1169.41 c #Conflicts: 537000 | #Constraints: 20480
1166.23/1169.41 c #Conflicts: 538000 | #Constraints: 21480
1166.23/1169.41 c #Conflicts: 539000 | #Constraints: 22480
1166.23/1169.41 c #Conflicts: 540000 | #Constraints: 23480
1166.23/1169.41 c #Conflicts: 541000 | #Constraints: 24480
1166.23/1169.41 c #Conflicts: 542000 | #Constraints: 25480
1166.23/1169.41 c #Conflicts: 543000 | #Constraints: 26480
1166.23/1169.41 c #Conflicts: 544000 | #Constraints: 27480
1166.23/1169.41 c #Conflicts: 545000 | #Constraints: 28480
1166.23/1169.41 c #Conflicts: 546000 | #Constraints: 29480
1166.23/1169.41 c INPROCESSING
1166.23/1169.41 c GARBAGE COLLECT
1166.23/1169.41 c #Conflicts: 547000 | #Constraints: 15874
1166.23/1169.41 c #Conflicts: 548000 | #Constraints: 16874
1166.23/1169.41 c #Conflicts: 549000 | #Constraints: 17874
1166.23/1169.41 c #Conflicts: 550000 | #Constraints: 18874
1166.23/1169.41 c #Conflicts: 551000 | #Constraints: 19874
1166.23/1169.41 c #Conflicts: 552000 | #Constraints: 20874
1166.23/1169.41 c #Conflicts: 553000 | #Constraints: 21874
1166.23/1169.41 c #Conflicts: 554000 | #Constraints: 22874
1166.23/1169.41 c #Conflicts: 555000 | #Constraints: 23874
1166.23/1169.41 c #Conflicts: 556000 | #Constraints: 24874
1166.23/1169.41 c #Conflicts: 557000 | #Constraints: 25874
1166.23/1169.41 c #Conflicts: 558000 | #Constraints: 26874
1166.23/1169.41 c #Conflicts: 559000 | #Constraints: 27874
1166.23/1169.41 c #Conflicts: 560000 | #Constraints: 28874
1166.23/1169.41 c #Conflicts: 561000 | #Constraints: 29874
1166.23/1169.41 c INPROCESSING
1166.23/1169.41 c GARBAGE COLLECT
1166.23/1169.41 c #Conflicts: 562000 | #Constraints: 16073
1166.23/1169.41 c #Conflicts: 563000 | #Constraints: 17073
1166.23/1169.41 c #Conflicts: 564000 | #Constraints: 18073
1166.23/1169.41 c #Conflicts: 565000 | #Constraints: 19073
1166.23/1169.41 c #Conflicts: 566000 | #Constraints: 20073
1166.23/1169.41 c #Conflicts: 567000 | #Constraints: 21073
1166.23/1169.41 c #Conflicts: 568000 | #Constraints: 22073
1166.23/1169.41 c #Conflicts: 569000 | #Constraints: 23073
1166.23/1169.41 c #Conflicts: 570000 | #Constraints: 24073
1166.23/1169.41 c #Conflicts: 571000 | #Constraints: 25073
1166.23/1169.41 c #Conflicts: 572000 | #Constraints: 26073
1166.23/1169.41 c #Conflicts: 573000 | #Constraints: 27073
1166.23/1169.41 c #Conflicts: 574000 | #Constraints: 28073
1166.23/1169.41 c #Conflicts: 575000 | #Constraints: 29073
1166.23/1169.41 c #Conflicts: 576000 | #Constraints: 30073
1166.23/1169.41 c INPROCESSING
1166.23/1169.41 c GARBAGE COLLECT
1166.23/1169.41 c #Conflicts: 577000 | #Constraints: 16077
1166.23/1169.41 c #Conflicts: 578000 | #Constraints: 17077
1166.23/1169.41 c #Conflicts: 579000 | #Constraints: 18077
1166.23/1169.41 c #Conflicts: 580000 | #Constraints: 19077
1166.23/1169.41 c #Conflicts: 581000 | #Constraints: 20077
1166.23/1169.41 c #Conflicts: 582000 | #Constraints: 21077
1166.23/1169.41 c #Conflicts: 583000 | #Constraints: 22077
1166.23/1169.41 c #Conflicts: 584000 | #Constraints: 23077
1166.23/1169.41 c #Conflicts: 585000 | #Constraints: 24077
1166.23/1169.41 c #Conflicts: 586000 | #Constraints: 25077
1166.23/1169.41 c #Conflicts: 587000 | #Constraints: 26077
1455.48/1459.59 c #Conflicts: 588000 | #Constraints: 27077
1455.48/1459.59 c #Conflicts: 589000 | #Constraints: 28077
1455.48/1459.59 c #Conflicts: 590000 | #Constraints: 29077
1455.48/1459.59 c #Conflicts: 591000 | #Constraints: 30077
1455.48/1459.59 c INPROCESSING
1455.48/1459.59 c GARBAGE COLLECT
1455.48/1459.59 c #Conflicts: 592000 | #Constraints: 15884
1455.48/1459.59 c #Conflicts: 593000 | #Constraints: 16884
1455.48/1459.59 c #Conflicts: 594000 | #Constraints: 17884
1455.48/1459.59 c #Conflicts: 595000 | #Constraints: 18884
1455.48/1459.59 c #Conflicts: 596000 | #Constraints: 19884
1455.48/1459.59 c #Conflicts: 597000 | #Constraints: 20884
1455.48/1459.59 c #Conflicts: 598000 | #Constraints: 21884
1455.48/1459.59 c #Conflicts: 599000 | #Constraints: 22884
1455.48/1459.59 c #Conflicts: 600000 | #Constraints: 23884
1455.48/1459.59 c #Conflicts: 601000 | #Constraints: 24884
1455.48/1459.59 c #Conflicts: 602000 | #Constraints: 25884
1455.48/1459.59 c #Conflicts: 603000 | #Constraints: 26884
1455.48/1459.59 c #Conflicts: 604000 | #Constraints: 27884
1455.48/1459.59 c #Conflicts: 605000 | #Constraints: 28884
1455.48/1459.59 c #Conflicts: 606000 | #Constraints: 29884
1455.48/1459.59 c #Conflicts: 607000 | #Constraints: 30884
1455.48/1459.59 c INPROCESSING
1455.48/1459.59 c GARBAGE COLLECT
1455.48/1459.59 c #Conflicts: 608000 | #Constraints: 16488
1455.48/1459.59 c #Conflicts: 609000 | #Constraints: 17488
1455.48/1459.59 c #Conflicts: 610000 | #Constraints: 18488
1455.48/1459.59 c #Conflicts: 611000 | #Constraints: 19488
1455.48/1459.59 c #Conflicts: 612000 | #Constraints: 20488
1455.48/1459.59 c #Conflicts: 613000 | #Constraints: 21488
1455.48/1459.59 c #Conflicts: 614000 | #Constraints: 22488
1455.48/1459.59 c #Conflicts: 615000 | #Constraints: 23488
1455.48/1459.59 c #Conflicts: 616000 | #Constraints: 24488
1455.48/1459.59 c #Conflicts: 617000 | #Constraints: 25488
1455.48/1459.59 c #Conflicts: 618000 | #Constraints: 26488
1455.48/1459.59 c #Conflicts: 619000 | #Constraints: 27488
1455.48/1459.59 c #Conflicts: 620000 | #Constraints: 28488
1455.48/1459.59 c #Conflicts: 621000 | #Constraints: 29488
1455.48/1459.59 c #Conflicts: 622000 | #Constraints: 30488
1455.48/1459.59 c #Conflicts: 623000 | #Constraints: 31488
1455.48/1459.59 c INPROCESSING
1455.48/1459.59 c GARBAGE COLLECT
1455.48/1459.59 c #Conflicts: 624000 | #Constraints: 16880
1455.48/1459.59 c #Conflicts: 625000 | #Constraints: 17880
1455.48/1459.59 c #Conflicts: 626000 | #Constraints: 18880
1455.48/1459.59 c #Conflicts: 627000 | #Constraints: 19880
1455.48/1459.59 c #Conflicts: 628000 | #Constraints: 20880
1455.48/1459.59 c #Conflicts: 629000 | #Constraints: 21880
1455.48/1459.59 c #Conflicts: 630000 | #Constraints: 22880
1455.48/1459.59 c #Conflicts: 631000 | #Constraints: 23880
1455.48/1459.59 c #Conflicts: 632000 | #Constraints: 24880
1455.48/1459.59 c #Conflicts: 633000 | #Constraints: 25880
1455.48/1459.59 c #Conflicts: 634000 | #Constraints: 26880
1455.48/1459.59 c #Conflicts: 635000 | #Constraints: 27880
1455.48/1459.59 c #Conflicts: 636000 | #Constraints: 28880
1455.48/1459.59 c #Conflicts: 637000 | #Constraints: 29880
1455.48/1459.59 c #Conflicts: 638000 | #Constraints: 30880
1455.48/1459.59 c #Conflicts: 639000 | #Constraints: 31880
1455.48/1459.59 c INPROCESSING
1455.48/1459.59 c GARBAGE COLLECT
1455.48/1459.59 c #Conflicts: 640000 | #Constraints: 17077
1455.48/1459.59 c #Conflicts: 641000 | #Constraints: 18077
1455.48/1459.59 c #Conflicts: 642000 | #Constraints: 19077
1455.48/1459.59 c #Conflicts: 643000 | #Constraints: 20077
1455.48/1459.59 c #Conflicts: 644000 | #Constraints: 21077
1455.48/1459.59 c #Conflicts: 645000 | #Constraints: 22077
1455.48/1459.59 c #Conflicts: 646000 | #Constraints: 23077
1455.48/1459.59 c #Conflicts: 647000 | #Constraints: 24077
1455.48/1459.59 c #Conflicts: 648000 | #Constraints: 25077
1455.48/1459.59 c #Conflicts: 649000 | #Constraints: 26077
1455.48/1459.59 c #Conflicts: 650000 | #Constraints: 27077
1455.48/1459.59 c #Conflicts: 651000 | #Constraints: 28077
1455.48/1459.59 c #Conflicts: 652000 | #Constraints: 29077
1455.48/1459.59 c #Conflicts: 653000 | #Constraints: 30077
1455.48/1459.59 c #Conflicts: 654000 | #Constraints: 31077
1455.48/1459.59 c #Conflicts: 655000 | #Constraints: 32077
1455.48/1459.59 c INPROCESSING
1455.48/1459.59 c GARBAGE COLLECT
1455.48/1459.59 c #Conflicts: 656000 | #Constraints: 17075
1455.48/1459.59 c #Conflicts: 657000 | #Constraints: 18075
1455.48/1459.59 c #Conflicts: 658000 | #Constraints: 19075
1455.48/1459.59 c #Conflicts: 659000 | #Constraints: 20075
1455.48/1459.59 c #Conflicts: 660000 | #Constraints: 21075
1455.48/1459.59 c #Conflicts: 661000 | #Constraints: 22075
1455.48/1459.59 c #Conflicts: 662000 | #Constraints: 23075
1455.48/1459.59 c #Conflicts: 663000 | #Constraints: 24075
1774.41/1779.30 c #Conflicts: 664000 | #Constraints: 25075
1774.41/1779.30 c #Conflicts: 665000 | #Constraints: 26075
1774.41/1779.30 c #Conflicts: 666000 | #Constraints: 27075
1774.41/1779.30 c #Conflicts: 667000 | #Constraints: 28075
1774.41/1779.30 c #Conflicts: 668000 | #Constraints: 29075
1774.41/1779.30 c #Conflicts: 669000 | #Constraints: 30075
1774.41/1779.30 c #Conflicts: 670000 | #Constraints: 31075
1774.41/1779.30 c #Conflicts: 671000 | #Constraints: 32075
1774.41/1779.30 c INPROCESSING
1774.41/1779.30 c GARBAGE COLLECT
1774.41/1779.30 c #Conflicts: 672000 | #Constraints: 16870
1774.41/1779.30 c #Conflicts: 673000 | #Constraints: 17870
1774.41/1779.30 c #Conflicts: 674000 | #Constraints: 18870
1774.41/1779.30 c #Conflicts: 675000 | #Constraints: 19870
1774.41/1779.30 c #Conflicts: 676000 | #Constraints: 20870
1774.41/1779.30 c #Conflicts: 677000 | #Constraints: 21870
1774.41/1779.30 c #Conflicts: 678000 | #Constraints: 22870
1774.41/1779.30 c #Conflicts: 679000 | #Constraints: 23870
1774.41/1779.30 c #Conflicts: 680000 | #Constraints: 24870
1774.41/1779.30 c #Conflicts: 681000 | #Constraints: 25870
1774.41/1779.30 c #Conflicts: 682000 | #Constraints: 26870
1774.41/1779.30 c #Conflicts: 683000 | #Constraints: 27870
1774.41/1779.30 c #Conflicts: 684000 | #Constraints: 28870
1774.41/1779.30 c #Conflicts: 685000 | #Constraints: 29870
1774.41/1779.30 c #Conflicts: 686000 | #Constraints: 30870
1774.41/1779.30 c #Conflicts: 687000 | #Constraints: 31870
1774.41/1779.30 c #Conflicts: 688000 | #Constraints: 32870
1774.41/1779.30 c INPROCESSING
1774.41/1779.30 c GARBAGE COLLECT
1774.41/1779.30 c #Conflicts: 689000 | #Constraints: 17476
1774.41/1779.30 c #Conflicts: 690000 | #Constraints: 18476
1774.41/1779.30 c #Conflicts: 691000 | #Constraints: 19476
1774.41/1779.30 c #Conflicts: 692000 | #Constraints: 20476
1774.41/1779.30 c #Conflicts: 693000 | #Constraints: 21476
1774.41/1779.30 c #Conflicts: 694000 | #Constraints: 22476
1774.41/1779.30 c #Conflicts: 695000 | #Constraints: 23476
1774.41/1779.30 c #Conflicts: 696000 | #Constraints: 24476
1774.41/1779.30 c #Conflicts: 697000 | #Constraints: 25476
1774.41/1779.30 c #Conflicts: 698000 | #Constraints: 26476
1774.41/1779.30 c #Conflicts: 699000 | #Constraints: 27476
1774.41/1779.30 c #Conflicts: 700000 | #Constraints: 28476
1774.41/1779.30 c #Conflicts: 701000 | #Constraints: 29476
1774.41/1779.30 c #Conflicts: 702000 | #Constraints: 30476
1774.41/1779.30 c #Conflicts: 703000 | #Constraints: 31476
1774.41/1779.30 c #Conflicts: 704000 | #Constraints: 32476
1774.41/1779.30 c #Conflicts: 705000 | #Constraints: 33476
1774.41/1779.30 c INPROCESSING
1774.41/1779.30 c GARBAGE COLLECT
1774.41/1779.30 c #Conflicts: 706000 | #Constraints: 17878
1774.41/1779.30 c #Conflicts: 707000 | #Constraints: 18878
1774.41/1779.30 c #Conflicts: 708000 | #Constraints: 19878
1774.41/1779.30 c #Conflicts: 709000 | #Constraints: 20878
1774.41/1779.30 c #Conflicts: 710000 | #Constraints: 21878
1774.41/1779.30 c #Conflicts: 711000 | #Constraints: 22878
1774.41/1779.30 c #Conflicts: 712000 | #Constraints: 23878
1774.41/1779.30 c #Conflicts: 713000 | #Constraints: 24878
1774.41/1779.30 c #Conflicts: 714000 | #Constraints: 25878
1774.41/1779.30 c #Conflicts: 715000 | #Constraints: 26878
1774.41/1779.30 c #Conflicts: 716000 | #Constraints: 27878
1774.41/1779.30 c #Conflicts: 717000 | #Constraints: 28878
1774.41/1779.30 c #Conflicts: 718000 | #Constraints: 29878
1774.41/1779.30 c #Conflicts: 719000 | #Constraints: 30878
1774.41/1779.30 c #Conflicts: 720000 | #Constraints: 31878
1774.41/1779.30 c #Conflicts: 721000 | #Constraints: 32878
1774.41/1779.30 c #Conflicts: 722000 | #Constraints: 33878
1774.41/1779.30 c INPROCESSING
1774.41/1779.30 c GARBAGE COLLECT
1774.41/1779.30 c #Conflicts: 723000 | #Constraints: 18079
1774.41/1779.30 c #Conflicts: 724000 | #Constraints: 19079
1774.41/1779.30 c #Conflicts: 725000 | #Constraints: 20079
1774.41/1779.30 c #Conflicts: 726000 | #Constraints: 21079
1774.41/1779.30 c #Conflicts: 727000 | #Constraints: 22079
1774.41/1779.30 c #Conflicts: 728000 | #Constraints: 23079
1774.41/1779.30 c #Conflicts: 729000 | #Constraints: 24079
1774.41/1779.30 c #Conflicts: 730000 | #Constraints: 25079
1774.41/1779.30 c #Conflicts: 731000 | #Constraints: 26079
1774.41/1779.30 c #Conflicts: 732000 | #Constraints: 27079
1774.41/1779.30 c #Conflicts: 733000 | #Constraints: 28079
1774.41/1779.30 c #Conflicts: 734000 | #Constraints: 29079
1774.41/1779.30 c #Conflicts: 735000 | #Constraints: 30079
1774.41/1779.30 c #Conflicts: 736000 | #Constraints: 31079
1774.41/1779.30 c #Conflicts: 737000 | #Constraints: 32079
1774.41/1779.30 c #Conflicts: 738000 | #Constraints: 33079
1774.41/1779.30 c #Conflicts: 739000 | #Constraints: 34079
2101.62/2107.41 c INPROCESSING
2101.62/2107.41 c GARBAGE COLLECT
2101.62/2107.41 c #Conflicts: 740000 | #Constraints: 18078
2101.62/2107.41 c #Conflicts: 741000 | #Constraints: 19078
2101.62/2107.41 c #Conflicts: 742000 | #Constraints: 20078
2101.62/2107.41 c #Conflicts: 743000 | #Constraints: 21078
2101.62/2107.41 c #Conflicts: 744000 | #Constraints: 22078
2101.62/2107.41 c #Conflicts: 745000 | #Constraints: 23078
2101.62/2107.41 c #Conflicts: 746000 | #Constraints: 24078
2101.62/2107.41 c #Conflicts: 747000 | #Constraints: 25078
2101.62/2107.41 c #Conflicts: 748000 | #Constraints: 26078
2101.62/2107.41 c #Conflicts: 749000 | #Constraints: 27078
2101.62/2107.41 c #Conflicts: 750000 | #Constraints: 28078
2101.62/2107.41 c #Conflicts: 751000 | #Constraints: 29078
2101.62/2107.41 c #Conflicts: 752000 | #Constraints: 30078
2101.62/2107.41 c #Conflicts: 753000 | #Constraints: 31078
2101.62/2107.41 c #Conflicts: 754000 | #Constraints: 32078
2101.62/2107.41 c #Conflicts: 755000 | #Constraints: 33078
2101.62/2107.41 c #Conflicts: 756000 | #Constraints: 34078
2101.62/2107.41 c INPROCESSING
2101.62/2107.41 c GARBAGE COLLECT
2101.62/2107.41 c #Conflicts: 757000 | #Constraints: 17879
2101.62/2107.41 c #Conflicts: 758000 | #Constraints: 18879
2101.62/2107.41 c #Conflicts: 759000 | #Constraints: 19879
2101.62/2107.41 c #Conflicts: 760000 | #Constraints: 20879
2101.62/2107.41 c #Conflicts: 761000 | #Constraints: 21879
2101.62/2107.41 c #Conflicts: 762000 | #Constraints: 22879
2101.62/2107.41 c #Conflicts: 763000 | #Constraints: 23879
2101.62/2107.41 c #Conflicts: 764000 | #Constraints: 24879
2101.62/2107.41 c #Conflicts: 765000 | #Constraints: 25879
2101.62/2107.41 c #Conflicts: 766000 | #Constraints: 26879
2101.62/2107.41 c #Conflicts: 767000 | #Constraints: 27879
2101.62/2107.41 c #Conflicts: 768000 | #Constraints: 28879
2101.62/2107.41 c #Conflicts: 769000 | #Constraints: 29879
2101.62/2107.41 c #Conflicts: 770000 | #Constraints: 30879
2101.62/2107.41 c #Conflicts: 771000 | #Constraints: 31879
2101.62/2107.41 c #Conflicts: 772000 | #Constraints: 32879
2101.62/2107.41 c #Conflicts: 773000 | #Constraints: 33879
2101.62/2107.41 c #Conflicts: 774000 | #Constraints: 34879
2101.62/2107.41 c INPROCESSING
2101.62/2107.41 c GARBAGE COLLECT
2101.62/2107.41 c #Conflicts: 775000 | #Constraints: 18483
2101.62/2107.41 c #Conflicts: 776000 | #Constraints: 19483
2101.62/2107.41 c #Conflicts: 777000 | #Constraints: 20483
2101.62/2107.41 c #Conflicts: 778000 | #Constraints: 21483
2101.62/2107.41 c #Conflicts: 779000 | #Constraints: 22483
2101.62/2107.41 c #Conflicts: 780000 | #Constraints: 23483
2101.62/2107.41 c #Conflicts: 781000 | #Constraints: 24483
2101.62/2107.41 c #Conflicts: 782000 | #Constraints: 25483
2101.62/2107.41 c #Conflicts: 783000 | #Constraints: 26483
2101.62/2107.41 c #Conflicts: 784000 | #Constraints: 27483
2101.62/2107.41 c #Conflicts: 785000 | #Constraints: 28483
2101.62/2107.41 c #Conflicts: 786000 | #Constraints: 29483
2101.62/2107.41 c #Conflicts: 787000 | #Constraints: 30483
2101.62/2107.41 c #Conflicts: 788000 | #Constraints: 31483
2101.62/2107.41 c #Conflicts: 789000 | #Constraints: 32483
2101.62/2107.41 c #Conflicts: 790000 | #Constraints: 33483
2101.62/2107.41 c #Conflicts: 791000 | #Constraints: 34483
2101.62/2107.41 c #Conflicts: 792000 | #Constraints: 35483
2101.62/2107.41 c INPROCESSING
2101.62/2107.41 c GARBAGE COLLECT
2101.62/2107.41 c #Conflicts: 793000 | #Constraints: 18876
2101.62/2107.41 c #Conflicts: 794000 | #Constraints: 19876
2101.62/2107.41 c #Conflicts: 795000 | #Constraints: 20876
2101.62/2107.41 c #Conflicts: 796000 | #Constraints: 21876
2101.62/2107.41 c #Conflicts: 797000 | #Constraints: 22876
2101.62/2107.41 c #Conflicts: 798000 | #Constraints: 23876
2101.62/2107.41 c #Conflicts: 799000 | #Constraints: 24876
2101.62/2107.41 c #Conflicts: 800000 | #Constraints: 25876
2101.62/2107.41 c #Conflicts: 801000 | #Constraints: 26876
2101.62/2107.41 c #Conflicts: 802000 | #Constraints: 27876
2101.62/2107.41 c #Conflicts: 803000 | #Constraints: 28876
2101.62/2107.41 c #Conflicts: 804000 | #Constraints: 29876
2101.62/2107.41 c #Conflicts: 805000 | #Constraints: 30876
2101.62/2107.41 c #Conflicts: 806000 | #Constraints: 31876
2101.62/2107.41 c #Conflicts: 807000 | #Constraints: 32876
2101.62/2107.41 c #Conflicts: 808000 | #Constraints: 33876
2101.62/2107.41 c #Conflicts: 809000 | #Constraints: 34876
2101.62/2107.41 c #Conflicts: 810000 | #Constraints: 35876
2101.62/2107.41 c INPROCESSING
2101.62/2107.41 c GARBAGE COLLECT
2101.62/2107.41 c #Conflicts: 811000 | #Constraints: 19081
2101.62/2107.41 c #Conflicts: 812000 | #Constraints: 20081
2101.62/2107.41 c #Conflicts: 813000 | #Constraints: 21081
2101.62/2107.41 c #Conflicts: 814000 | #Constraints: 22081
2492.85/2499.77 c #Conflicts: 815000 | #Constraints: 23081
2492.85/2499.77 c #Conflicts: 816000 | #Constraints: 24081
2492.85/2499.77 c #Conflicts: 817000 | #Constraints: 25081
2492.85/2499.77 c #Conflicts: 818000 | #Constraints: 26081
2492.85/2499.77 c #Conflicts: 819000 | #Constraints: 27081
2492.85/2499.77 c #Conflicts: 820000 | #Constraints: 28081
2492.85/2499.77 c #Conflicts: 821000 | #Constraints: 29081
2492.85/2499.77 c #Conflicts: 822000 | #Constraints: 30081
2492.85/2499.77 c #Conflicts: 823000 | #Constraints: 31081
2492.85/2499.77 c #Conflicts: 824000 | #Constraints: 32081
2492.85/2499.77 c #Conflicts: 825000 | #Constraints: 33081
2492.85/2499.77 c #Conflicts: 826000 | #Constraints: 34081
2492.85/2499.77 c #Conflicts: 827000 | #Constraints: 35081
2492.85/2499.77 c #Conflicts: 828000 | #Constraints: 36081
2492.85/2499.77 c INPROCESSING
2492.85/2499.77 c GARBAGE COLLECT
2492.85/2499.77 c #Conflicts: 829000 | #Constraints: 19080
2492.85/2499.77 c #Conflicts: 830000 | #Constraints: 20080
2492.85/2499.77 c #Conflicts: 831000 | #Constraints: 21080
2492.85/2499.77 c #Conflicts: 832000 | #Constraints: 22080
2492.85/2499.77 c #Conflicts: 833000 | #Constraints: 23080
2492.85/2499.77 c #Conflicts: 834000 | #Constraints: 24080
2492.85/2499.77 c #Conflicts: 835000 | #Constraints: 25080
2492.85/2499.77 c #Conflicts: 836000 | #Constraints: 26080
2492.85/2499.77 c #Conflicts: 837000 | #Constraints: 27080
2492.85/2499.77 c #Conflicts: 838000 | #Constraints: 28080
2492.85/2499.77 c #Conflicts: 839000 | #Constraints: 29080
2492.85/2499.77 c #Conflicts: 840000 | #Constraints: 30080
2492.85/2499.77 c #Conflicts: 841000 | #Constraints: 31080
2492.85/2499.77 c #Conflicts: 842000 | #Constraints: 32080
2492.85/2499.77 c #Conflicts: 843000 | #Constraints: 33080
2492.85/2499.77 c #Conflicts: 844000 | #Constraints: 34080
2492.85/2499.77 c #Conflicts: 845000 | #Constraints: 35080
2492.85/2499.77 c #Conflicts: 846000 | #Constraints: 36080
2492.85/2499.77 c INPROCESSING
2492.85/2499.77 c GARBAGE COLLECT
2492.85/2499.77 c #Conflicts: 847000 | #Constraints: 18882
2492.85/2499.77 c #Conflicts: 848000 | #Constraints: 19882
2492.85/2499.77 c #Conflicts: 849000 | #Constraints: 20882
2492.85/2499.77 c #Conflicts: 850000 | #Constraints: 21882
2492.85/2499.77 c #Conflicts: 851000 | #Constraints: 22882
2492.85/2499.77 c #Conflicts: 852000 | #Constraints: 23882
2492.85/2499.77 c #Conflicts: 853000 | #Constraints: 24882
2492.85/2499.77 c #Conflicts: 854000 | #Constraints: 25882
2492.85/2499.77 c #Conflicts: 855000 | #Constraints: 26882
2492.85/2499.77 c #Conflicts: 856000 | #Constraints: 27882
2492.85/2499.77 c #Conflicts: 857000 | #Constraints: 28882
2492.85/2499.77 c #Conflicts: 858000 | #Constraints: 29882
2492.85/2499.77 c #Conflicts: 859000 | #Constraints: 30882
2492.85/2499.77 c #Conflicts: 860000 | #Constraints: 31882
2492.85/2499.77 c #Conflicts: 861000 | #Constraints: 32882
2492.85/2499.77 c #Conflicts: 862000 | #Constraints: 33882
2492.85/2499.77 c #Conflicts: 863000 | #Constraints: 34882
2492.85/2499.77 c #Conflicts: 864000 | #Constraints: 35882
2492.85/2499.77 c #Conflicts: 865000 | #Constraints: 36882
2492.85/2499.77 c INPROCESSING
2492.85/2499.77 c GARBAGE COLLECT
2492.85/2499.77 c #Conflicts: 866000 | #Constraints: 19484
2492.85/2499.77 c #Conflicts: 867000 | #Constraints: 20484
2492.85/2499.77 c #Conflicts: 868000 | #Constraints: 21484
2492.85/2499.77 c #Conflicts: 869000 | #Constraints: 22484
2492.85/2499.77 c #Conflicts: 870000 | #Constraints: 23484
2492.85/2499.77 c #Conflicts: 871000 | #Constraints: 24484
2492.85/2499.77 c #Conflicts: 872000 | #Constraints: 25484
2492.85/2499.77 c #Conflicts: 873000 | #Constraints: 26484
2492.85/2499.77 c #Conflicts: 874000 | #Constraints: 27484
2492.85/2499.77 c #Conflicts: 875000 | #Constraints: 28484
2492.85/2499.77 c #Conflicts: 876000 | #Constraints: 29484
2492.85/2499.77 c #Conflicts: 877000 | #Constraints: 30484
2492.85/2499.77 c #Conflicts: 878000 | #Constraints: 31484
2492.85/2499.77 c #Conflicts: 879000 | #Constraints: 32484
2492.85/2499.77 c #Conflicts: 880000 | #Constraints: 33484
2492.85/2499.77 c #Conflicts: 881000 | #Constraints: 34484
2492.85/2499.77 c #Conflicts: 882000 | #Constraints: 35484
2492.85/2499.77 c #Conflicts: 883000 | #Constraints: 36484
2492.85/2499.77 c #Conflicts: 884000 | #Constraints: 37484
2492.85/2499.77 c INPROCESSING
2492.85/2499.77 c GARBAGE COLLECT
2492.85/2499.77 c #Conflicts: 885000 | #Constraints: 19882
2492.85/2499.77 c #Conflicts: 886000 | #Constraints: 20882
2492.85/2499.77 c #Conflicts: 887000 | #Constraints: 21882
2492.85/2499.77 c #Conflicts: 888000 | #Constraints: 22882
2492.85/2499.77 c #Conflicts: 889000 | #Constraints: 23882
2492.85/2499.77 c #Conflicts: 890000 | #Constraints: 24882
2492.85/2499.77 c #Conflicts: 891000 | #Constraints: 25882
3020.70/3029.07 c #Conflicts: 892000 | #Constraints: 26882
3020.70/3029.07 c #Conflicts: 893000 | #Constraints: 27882
3020.70/3029.07 c #Conflicts: 894000 | #Constraints: 28882
3020.70/3029.07 c #Conflicts: 895000 | #Constraints: 29882
3020.70/3029.07 c #Conflicts: 896000 | #Constraints: 30882
3020.70/3029.07 c #Conflicts: 897000 | #Constraints: 31882
3020.70/3029.07 c #Conflicts: 898000 | #Constraints: 32882
3020.70/3029.07 c #Conflicts: 899000 | #Constraints: 33882
3020.70/3029.07 c #Conflicts: 900000 | #Constraints: 34882
3020.70/3029.07 c #Conflicts: 901000 | #Constraints: 35882
3020.70/3029.07 c #Conflicts: 902000 | #Constraints: 36882
3020.70/3029.07 c #Conflicts: 903000 | #Constraints: 37882
3020.70/3029.07 c INPROCESSING
3020.70/3029.07 c GARBAGE COLLECT
3020.70/3029.07 c #Conflicts: 904000 | #Constraints: 20075
3020.70/3029.07 c #Conflicts: 905000 | #Constraints: 21075
3020.70/3029.07 c #Conflicts: 906000 | #Constraints: 22075
3020.70/3029.07 c #Conflicts: 907000 | #Constraints: 23075
3020.70/3029.07 c #Conflicts: 908000 | #Constraints: 24075
3020.70/3029.07 c #Conflicts: 909000 | #Constraints: 25075
3020.70/3029.07 c #Conflicts: 910000 | #Constraints: 26075
3020.70/3029.07 c #Conflicts: 911000 | #Constraints: 27075
3020.70/3029.07 c #Conflicts: 912000 | #Constraints: 28075
3020.70/3029.07 c #Conflicts: 913000 | #Constraints: 29075
3020.70/3029.07 c #Conflicts: 914000 | #Constraints: 30075
3020.70/3029.07 c #Conflicts: 915000 | #Constraints: 31075
3020.70/3029.07 c #Conflicts: 916000 | #Constraints: 32075
3020.70/3029.07 c #Conflicts: 917000 | #Constraints: 33075
3020.70/3029.07 c #Conflicts: 918000 | #Constraints: 34075
3020.70/3029.07 c #Conflicts: 919000 | #Constraints: 35075
3020.70/3029.07 c #Conflicts: 920000 | #Constraints: 36075
3020.70/3029.07 c #Conflicts: 921000 | #Constraints: 37075
3020.70/3029.07 c #Conflicts: 922000 | #Constraints: 38075
3020.70/3029.07 c INPROCESSING
3020.70/3029.07 c GARBAGE COLLECT
3020.70/3029.07 c #Conflicts: 923000 | #Constraints: 20075
3020.70/3029.07 c #Conflicts: 924000 | #Constraints: 21075
3020.70/3029.07 c #Conflicts: 925000 | #Constraints: 22075
3020.70/3029.07 c #Conflicts: 926000 | #Constraints: 23075
3020.70/3029.07 c #Conflicts: 927000 | #Constraints: 24075
3020.70/3029.07 c #Conflicts: 928000 | #Constraints: 25075
3020.70/3029.07 c #Conflicts: 929000 | #Constraints: 26075
3020.70/3029.07 c #Conflicts: 930000 | #Constraints: 27075
3020.70/3029.07 c #Conflicts: 931000 | #Constraints: 28075
3020.70/3029.07 c #Conflicts: 932000 | #Constraints: 29075
3020.70/3029.07 c #Conflicts: 933000 | #Constraints: 30075
3020.70/3029.07 c #Conflicts: 934000 | #Constraints: 31075
3020.70/3029.07 c #Conflicts: 935000 | #Constraints: 32075
3020.70/3029.07 c #Conflicts: 936000 | #Constraints: 33075
3020.70/3029.07 c #Conflicts: 937000 | #Constraints: 34075
3020.70/3029.07 c #Conflicts: 938000 | #Constraints: 35075
3020.70/3029.07 c #Conflicts: 939000 | #Constraints: 36075
3020.70/3029.07 c #Conflicts: 940000 | #Constraints: 37075
3020.70/3029.07 c #Conflicts: 941000 | #Constraints: 38075
3020.70/3029.07 c INPROCESSING
3020.70/3029.07 c GARBAGE COLLECT
3020.70/3029.07 c #Conflicts: 942000 | #Constraints: 19876
3020.70/3029.07 c #Conflicts: 943000 | #Constraints: 20876
3020.70/3029.07 c #Conflicts: 944000 | #Constraints: 21876
3020.70/3029.07 c #Conflicts: 945000 | #Constraints: 22876
3020.70/3029.07 c #Conflicts: 946000 | #Constraints: 23876
3020.70/3029.07 c #Conflicts: 947000 | #Constraints: 24876
3020.70/3029.07 c #Conflicts: 948000 | #Constraints: 25876
3020.70/3029.07 c #Conflicts: 949000 | #Constraints: 26876
3020.70/3029.07 c #Conflicts: 950000 | #Constraints: 27876
3020.70/3029.07 c #Conflicts: 951000 | #Constraints: 28876
3020.70/3029.07 c #Conflicts: 952000 | #Constraints: 29876
3020.70/3029.07 c #Conflicts: 953000 | #Constraints: 30876
3020.70/3029.07 c #Conflicts: 954000 | #Constraints: 31876
3020.70/3029.07 c #Conflicts: 955000 | #Constraints: 32876
3020.70/3029.07 c #Conflicts: 956000 | #Constraints: 33876
3020.70/3029.07 c #Conflicts: 957000 | #Constraints: 34876
3020.70/3029.07 c #Conflicts: 958000 | #Constraints: 35876
3020.70/3029.07 c #Conflicts: 959000 | #Constraints: 36876
3020.70/3029.07 c #Conflicts: 960000 | #Constraints: 37876
3020.70/3029.07 c #Conflicts: 961000 | #Constraints: 38876
3020.70/3029.07 c INPROCESSING
3020.70/3029.07 c GARBAGE COLLECT
3020.70/3029.07 c #Conflicts: 962000 | #Constraints: 20473
3020.70/3029.07 c #Conflicts: 963000 | #Constraints: 21473
3020.70/3029.07 c #Conflicts: 964000 | #Constraints: 22473
3020.70/3029.07 c #Conflicts: 965000 | #Constraints: 23473
3020.70/3029.07 c #Conflicts: 966000 | #Constraints: 24473
3020.70/3029.07 c #Conflicts: 967000 | #Constraints: 25473
3600.00/3609.90 c #Conflicts: 968000 | #Constraints: 26473
3600.00/3609.90 c #Conflicts: 969000 | #Constraints: 27473
3600.00/3609.90 c #Conflicts: 970000 | #Constraints: 28473
3600.00/3609.90 c #Conflicts: 971000 | #Constraints: 29473
3600.00/3609.90 c #Conflicts: 972000 | #Constraints: 30473
3600.00/3609.90 c #Conflicts: 973000 | #Constraints: 31473
3600.00/3609.90 c #Conflicts: 974000 | #Constraints: 32473
3600.00/3609.90 c #Conflicts: 975000 | #Constraints: 33473
3600.00/3609.90 c #Conflicts: 976000 | #Constraints: 34473
3600.00/3609.90 c #Conflicts: 977000 | #Constraints: 35473
3600.00/3609.90 c #Conflicts: 978000 | #Constraints: 36473
3600.00/3609.90 c #Conflicts: 979000 | #Constraints: 37473
3600.00/3609.90 c #Conflicts: 980000 | #Constraints: 38473
3600.00/3609.90 c #Conflicts: 981000 | #Constraints: 39473
3600.00/3609.90 c INPROCESSING
3600.00/3609.90 c GARBAGE COLLECT
3600.00/3609.90 c #Conflicts: 982000 | #Constraints: 20878
3600.00/3609.90 c #Conflicts: 983000 | #Constraints: 21878
3600.00/3609.90 c #Conflicts: 984000 | #Constraints: 22878
3600.00/3609.90 c #Conflicts: 985000 | #Constraints: 23878
3600.00/3609.90 c #Conflicts: 986000 | #Constraints: 24878
3600.00/3609.90 c #Conflicts: 987000 | #Constraints: 25878
3600.00/3609.90 c #Conflicts: 988000 | #Constraints: 26878
3600.00/3609.90 c #Conflicts: 989000 | #Constraints: 27878
3600.00/3609.90 c #Conflicts: 990000 | #Constraints: 28878
3600.00/3609.90 c #Conflicts: 991000 | #Constraints: 29878
3600.00/3609.90 c #Conflicts: 992000 | #Constraints: 30878
3600.00/3609.90 c #Conflicts: 993000 | #Constraints: 31878
3600.00/3609.90 c #Conflicts: 994000 | #Constraints: 32878
3600.00/3609.90 c #Conflicts: 995000 | #Constraints: 33878
3600.00/3609.90 c #Conflicts: 996000 | #Constraints: 34878
3600.00/3609.90 c #Conflicts: 997000 | #Constraints: 35878
3600.00/3609.90 c #Conflicts: 998000 | #Constraints: 36878
3600.00/3609.90 c #Conflicts: 999000 | #Constraints: 37878
3600.00/3609.90 c #Conflicts: 1000000 | #Constraints: 38878
3600.00/3609.90 c #Conflicts: 1001000 | #Constraints: 39878
3600.00/3609.90 c INPROCESSING
3600.00/3609.90 c GARBAGE COLLECT
3600.00/3609.90 c #Conflicts: 1002000 | #Constraints: 21078
3600.00/3609.90 c #Conflicts: 1003000 | #Constraints: 22078
3600.00/3609.90 c #Conflicts: 1004000 | #Constraints: 23078
3600.00/3609.90 c #Conflicts: 1005000 | #Constraints: 24078
3600.00/3609.90 c #Conflicts: 1006000 | #Constraints: 25078
3600.00/3609.90 c #Conflicts: 1007000 | #Constraints: 26078
3600.00/3609.90 c #Conflicts: 1008000 | #Constraints: 27078
3600.00/3609.90 c #Conflicts: 1009000 | #Constraints: 28078
3600.00/3609.90 c #Conflicts: 1010000 | #Constraints: 29078
3600.00/3609.90 c #Conflicts: 1011000 | #Constraints: 30078
3600.00/3609.90 c #Conflicts: 1012000 | #Constraints: 31078
3600.00/3609.90 c #Conflicts: 1013000 | #Constraints: 32078
3600.00/3609.90 c #Conflicts: 1014000 | #Constraints: 33078
3600.00/3609.90 c #Conflicts: 1015000 | #Constraints: 34078
3600.00/3609.90 c #Conflicts: 1016000 | #Constraints: 35078
3600.00/3609.90 c #Conflicts: 1017000 | #Constraints: 36078
3600.00/3609.90 c #Conflicts: 1018000 | #Constraints: 37078
3600.00/3609.90 c #Conflicts: 1019000 | #Constraints: 38078
3600.00/3609.90 c #Conflicts: 1020000 | #Constraints: 39078
3600.00/3609.90 c #Conflicts: 1021000 | #Constraints: 40078
3600.00/3609.90 c INPROCESSING
3600.00/3609.90 c GARBAGE COLLECT
3600.00/3609.90 c #Conflicts: 1022000 | #Constraints: 21078
3600.00/3609.90 c #Conflicts: 1023000 | #Constraints: 22078
3600.00/3609.90 c #Conflicts: 1024000 | #Constraints: 23078
3600.00/3609.90 c #Conflicts: 1025000 | #Constraints: 24078
3600.00/3609.90 c #Conflicts: 1026000 | #Constraints: 25078
3600.00/3609.90 c #Conflicts: 1027000 | #Constraints: 26078
3600.00/3609.90 c Program interrupted by user.
3600.00/3609.90 c cpu time 3593.38 s
3600.00/3609.90 c deterministic time 453375806664 4.53e+11
3600.00/3609.90 c optimization time 31.4843 s
3600.00/3609.90 c total solve time 3561.89 s
3600.00/3609.90 c core-guided solve time 3561.89 s
3600.00/3609.90 c propagation time 3154.98 s
3600.00/3609.90 c conflict analysis time 415.467 s
3600.00/3609.90 c propagations 50436476
3600.00/3609.90 c resolve steps 10230401
3600.00/3609.90 c decisions 3799854
3600.00/3609.90 c conflicts 1027993
3600.00/3609.90 c restarts 2046
3600.00/3609.90 c inprocessing phases 92
3600.00/3609.90 c input clauses 27
3600.00/3609.90 c input cardinalities 202
3600.00/3609.90 c input general constraints 20
3600.00/3609.90 c input average constraint length 27.95
3600.00/3609.90 c input average constraint degree 9.94
3600.00/3609.90 c learned clauses 119524
3600.00/3609.90 c learned cardinalities 200
3600.00/3609.90 c learned general constraints 908268
3600.00/3609.90 c learned average constraint length 168.32
3600.00/3609.90 c learned average constraint degree 1914109.08
3600.00/3609.90 c watched constraints 803121
3600.00/3609.90 c counting constraints 105167
3600.00/3609.90 c gcd simplifications 8858
3600.00/3609.90 c detected cardinalities 0
3600.00/3609.90 c weakened non-implied lits 29624011
3600.00/3609.90 c weakened non-implying lits 59099
3600.00/3609.90 c original variables 256
3600.00/3609.90 c clausal propagations 447435
3600.00/3609.90 c cardinality propagations 7393720
3600.00/3609.90 c watched propagations 3980519
3600.00/3609.90 c counting propagations 38140944
3600.00/3609.90 c watch lookups 54743913498
3600.00/3609.90 c watch backjump lookups 50877387736
3600.00/3609.90 c watch checks 209691330698
3600.00/3609.90 c propagation checks 136907286616
3600.00/3609.90 c constraint additions 1046387732
3600.00/3609.90 c trail pops 55264053
3600.00/3609.90 c formula constraints 181
3600.00/3609.90 c learned constraints 1027992
3600.00/3609.90 c bound constraints 18
3600.00/3609.90 c core-guided constraints 50
3600.00/3609.90 c encountered formula constraints 1682688
3600.00/3609.90 c encountered learned constraints 9284802
3600.00/3609.90 c encountered bound constraints 10398
3600.00/3609.90 c encountered core-guided constraints 280506
3600.00/3609.90 c LP total time 0 s
3600.00/3609.90 c LP solve time 0 s
3600.00/3609.90 c LP constraints added 0
3600.00/3609.90 c LP constraints removed 0
3600.00/3609.90 c LP pivots internal 0
3600.00/3609.90 c LP pivots root 0
3600.00/3609.90 c LP calls 0
3600.00/3609.90 c LP optimalities 0
3600.00/3609.90 c LP no pivot count 0
3600.00/3609.90 c LP infeasibilities 0
3600.00/3609.90 c LP valid Farkas constraints 0
3600.00/3609.90 c LP learned Farkas constraints 0
3600.00/3609.90 c LP basis resets 0
3600.00/3609.90 c LP cycling count 0
3600.00/3609.90 c LP singular count 0
3600.00/3609.90 c LP no primal count 0
3600.00/3609.90 c LP no farkas count 0
3600.00/3609.90 c LP other issue count 0
3600.00/3609.90 c LP Gomory cuts 0
3600.00/3609.90 c LP learned cuts 0
3600.00/3609.90 c LP deleted cuts 0
3600.00/3609.90 c LP encountered Gomory constraints 0
3600.00/3609.90 c LP encountered Farkas constraints 0
3600.00/3609.90 c LP encountered learned Farkas constraints 0
3600.00/3609.90 c CG auxiliary variables introduced 26
3600.00/3609.90 c CG solutions found 1
3600.00/3609.90 c CG cores constructed 17
3600.00/3609.90 c CG core cardinality constraints returned 14
3600.00/3609.90 c CG unit cores 0
3600.00/3609.90 c CG single cores 17
3600.00/3609.90 c CG blocks removed during cardinality reduction 0
3600.00/3609.90 c CG first core best 0
3600.00/3609.90 c CG decision core best 0
3600.00/3609.90 c CG core reduction tie 0
3600.00/3609.90 c CG core degree average 5.35
3600.00/3609.90 c CG core slack average 7.12
3600.00/3609.90 c CG exhausted 0
3600.00/3609.90 c CG exhaust time 2.63668 s
3600.00/3609.90 c CG trimmed 7
3600.00/3609.90 c CG trim time 0.000228 s
3600.00/3609.90 c CG minimized 0
3600.00/3609.90 c CG minimize time 0 s
3600.00/3609.90 c CG am1 prop time 0.000711 s
3600.00/3609.90 c CG # am1s reformulated 6
3600.00/3609.90 c CG lower bound derived from am1s 17
3600.00/3609.90 c CG # clausal cores 3
3600.00/3609.90 c CG # cardinality cores 14
3600.00/3609.90 c CG # pb cores 0
3600.00/3609.90 c CG # pb reforms 0
3600.00/3609.90 c CG # cores discarded because of pb reform 0
3600.00/3609.90 d LOWERBOUND 111
3600.00/3609.90 d NCORES 17
3600.00/3609.90 d NPBCORES 0
3600.00/3609.90 d NPBREFORM 0
3600.00/3609.90 d NTRIMMED 7
3600.00/3609.90 d NEXHAUSTED 0
3600.00/3609.90 d NAM1S 6
3600.00/3609.90 d AM1LB 17
3600.00/3609.90 o 115
3600.00/3609.90 s SATISFIABLE
3600.00/3609.90 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62650 MiB free)
memory of node 1: 64465 MiB (63959 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508454-1751509458/watcher-4508454-1751509458 -o /tmp/evaluation-result-4508454-1751509458/solver-4508454-1751509458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85268 --watchdog 3760 pb-oll-rs HOME/instance-4508454-1751509458.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85841, runsolver pid=85838
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129648976/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=20612 memory=6912 CPUtime=0.09 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 619 0 0 0 9 0 0 0 20 0 1 0 66623397 21106688 1728 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 5153 1728 1312 243 0 1402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20612 KiB
Current children cumulated memory: 6912 KiB
[startup+0.204791 s]*
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129648976/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=21144 memory=9952 CPUtime=0.19 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 848 0 0 0 18 1 0 0 20 0 1 0 66623397 21651456 2488 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 5286 2488 1312 243 0 1535 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21144 KiB
Current children cumulated memory: 9952 KiB
[startup+0.30464 s]*
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129648976/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=21276 memory=10080 CPUtime=0.29 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 883 0 0 0 28 1 0 0 20 0 1 0 66623397 21786624 2520 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 5319 2520 1312 243 0 1568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21276 KiB
Current children cumulated memory: 10080 KiB
[startup+0.700104 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129648220/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=21948 memory=10720 CPUtime=0.68 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 1053 0 0 0 66 2 0 0 20 0 1 0 66623397 22474752 2680 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 5487 2680 1312 243 0 1736 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21948 KiB
Current children cumulated memory: 10720 KiB
[startup+1.5001 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129646712/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=22896 memory=11616 CPUtime=1.48 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 1284 0 0 0 144 4 0 0 20 0 1 0 66623397 23445504 2904 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 5724 2904 1312 243 0 1973 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22896 KiB
Current children cumulated memory: 11616 KiB
[startup+3.1053 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129639060/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=24200 memory=13792 CPUtime=3.08 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 1830 0 0 0 302 6 0 0 20 0 1 0 66623397 24780800 3448 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 6050 3448 1312 243 0 2299 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 24200 KiB
Current children cumulated memory: 13792 KiB
[startup+6.3001 s]
/proc/loadavg: 4.09 4.08 4.01 5/266 85842
/proc/meminfo: memFree=129638136/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=27888 memory=15968 CPUtime=6.27 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 2354 0 0 0 617 10 0 0 20 0 1 0 66623397 28557312 3992 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 6972 3992 1312 243 0 3221 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 15968 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.08 4.01 5/266 85842
/proc/meminfo: memFree=129630076/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=29024 memory=18144 CPUtime=12.66 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 2923 0 0 0 1250 16 0 0 20 0 1 0 66623397 29720576 4536 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 7256 4536 1312 243 0 3505 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 29024 KiB
Current children cumulated memory: 18144 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.01 5/266 85842
/proc/meminfo: memFree=129623776/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=35288 memory=22684 CPUtime=25.42 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 3544 0 0 0 2518 24 0 0 20 0 1 0 66623397 36134912 5671 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 8822 5671 1312 243 0 5071 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 35288 KiB
Current children cumulated memory: 22684 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85843
/proc/meminfo: memFree=129597076/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=37912 memory=26140 CPUtime=50.96 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 4444 0 0 0 5052 44 0 0 20 0 1 0 66623397 38821888 6535 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 9478 6535 1312 243 0 5727 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 26140 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85846
/proc/meminfo: memFree=129545372/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=48004 memory=31768 CPUtime=102.01 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 5356 0 0 0 10127 74 0 0 20 0 1 0 66623397 49156096 7942 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 12001 7942 1312 243 0 8250 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 48004 KiB
Current children cumulated memory: 31768 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/265 85851
/proc/meminfo: memFree=129533120/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=51372 memory=39360 CPUtime=161.84 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 6082 0 0 0 16083 101 0 0 20 0 1 0 66623397 52604928 9840 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 12843 9840 1312 243 0 9092 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 51372 KiB
Current children cumulated memory: 39360 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/265 85853
/proc/meminfo: memFree=129530704/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=53952 memory=42048 CPUtime=221.68 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 6762 0 0 0 22051 117 0 0 20 0 1 0 66623397 55246848 10512 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 13488 10512 1312 243 0 9737 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 53952 KiB
Current children cumulated memory: 42048 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/265 85855
/proc/meminfo: memFree=129544276/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=67696 memory=46620 CPUtime=281.51 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 7415 0 0 0 28011 140 0 0 20 0 1 0 66623397 69320704 11655 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 16924 11655 1312 243 0 13173 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 67696 KiB
Current children cumulated memory: 46620 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/266 85858
/proc/meminfo: memFree=129523136/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=68428 memory=47360 CPUtime=341.35 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 7671 0 0 0 33970 165 0 0 20 0 1 0 66623397 70070272 11840 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 17107 11840 1312 243 0 13356 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 68428 KiB
Current children cumulated memory: 47360 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 85861
/proc/meminfo: memFree=129515104/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=69968 memory=51888 CPUtime=401.19 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 8075 0 0 0 39936 183 0 0 20 0 1 0 66623397 71647232 12972 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 17492 12972 1312 243 0 13741 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 69968 KiB
Current children cumulated memory: 51888 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.09 4.02 5/265 85864
/proc/meminfo: memFree=129517984/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=72468 memory=53552 CPUtime=461.03 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 8556 0 0 0 45905 198 0 0 20 0 1 0 66623397 74207232 13388 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 18117 13388 1312 243 0 14366 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 100952 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 85999
/proc/meminfo: memFree=129331832/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=118456 memory=100952 CPUtime=2914.28 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 15322 0 0 0 290846 582 0 0 20 0 1 0 66623397 121298944 25238 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 29614 25238 1312 243 0 25863 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 118456 KiB
Current children cumulated memory: 100952 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 86005
/proc/meminfo: memFree=129349744/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=120016 memory=101848 CPUtime=2974.12 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 15558 0 0 0 296824 588 0 0 20 0 1 0 66623397 122896384 25462 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 30004 25462 1312 243 0 26253 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 120016 KiB
Current children cumulated memory: 101848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/265 86007
/proc/meminfo: memFree=129349336/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=120016 memory=101848 CPUtime=3033.95 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 15561 0 0 0 302795 600 0 0 20 0 1 0 66623397 122896384 25462 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 30004 25462 1312 243 0 26253 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 120016 KiB
Current children cumulated memory: 101848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 86010
/proc/meminfo: memFree=129341556/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=121264 memory=102616 CPUtime=3093.79 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 15752 0 0 0 308772 607 0 0 20 0 1 0 66623397 124174336 25654 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 30316 25654 1312 243 0 26565 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 121264 KiB
Current children cumulated memory: 102616 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 86015
/proc/meminfo: memFree=129341916/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=124116 memory=104280 CPUtime=3153.63 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 16158 0 0 0 314750 613 0 0 20 0 1 0 66623397 127094784 26070 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 31029 26070 1312 243 0 27278 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 124116 KiB
Current children cumulated memory: 104280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 86017
/proc/meminfo: memFree=129340244/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=126716 memory=109144 CPUtime=3213.46 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 16533 0 0 0 320726 620 0 0 20 0 1 0 66623397 129757184 27286 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 31679 27286 1312 243 0 27928 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 126716 KiB
Current children cumulated memory: 109144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 86018
/proc/meminfo: memFree=129323664/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=128536 memory=112380 CPUtime=3273.3 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 16855 0 0 0 326705 625 0 0 20 0 1 0 66623397 131620864 28095 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32134 28095 1312 243 0 28383 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 128536 KiB
Current children cumulated memory: 112380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 86020
/proc/meminfo: memFree=129319680/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=113148 CPUtime=3333.13 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 332680 633 0 0 20 0 1 0 66623397 132952064 28287 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28287 1312 243 0 28708 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 113148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 86022
/proc/meminfo: memFree=129319036/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=113148 CPUtime=3392.96 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 338656 640 0 0 20 0 1 0 66623397 132952064 28287 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28287 1312 243 0 28708 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 113148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.15 4.11 5/263 86025
/proc/meminfo: memFree=129316128/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=113148 CPUtime=3452.8 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 344633 647 0 0 20 0 1 0 66623397 132952064 28287 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28287 1312 243 0 28708 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 113148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/263 86027
/proc/meminfo: memFree=129314984/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=113148 CPUtime=3512.64 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 350610 654 0 0 20 0 1 0 66623397 132952064 28287 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28287 1312 243 0 28708 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 113148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 86034
/proc/meminfo: memFree=129314812/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=115068 CPUtime=3572.47 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 356589 658 0 0 20 0 1 0 66623397 132952064 28767 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28767 1312 243 0 28708 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 115068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129459576/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=115068 CPUtime=3600 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 359337 663 0 0 20 0 1 0 66623397 132952064 28767 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28767 1312 243 0 28708 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 115068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 85841 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.38 s, system=6.63286 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129459576/131250000 swapFree=33010160/33010684
[pid=85841] ppid=85838 vsize=129836 memory=115068 CPUtime=3600 cores=1,3
/proc/85841/stat : 85841 (pb-oll-rs) R 85838 85841 85256 0 -1 4194304 17054 0 0 0 359337 663 0 0 20 0 1 0 66623397 132952064 28767 18446744073709551615 4218880 5211445 140729166387136 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 25546752 140729166391708 140729166391785 140729166391785 140729166397387 0
/proc/85841/statm: 32459 28767 1312 243 0 28708 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 129836 KiB
Current children cumulated memory: 115068 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.01
CPU user time (s): 3593.38
CPU system time (s): 6.63286
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 129836
Max. memory (cumulated for all children) (KiB): 115068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.38
system time used= 6.63286
maximum resident set size= 115452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17070
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= 112
involuntary context switches= 20818
# summary of solver processes directly reported to runsolver:
# pid: 85841
# total CPU time (s): 3600.01
# total CPU user time (s): 3593.38
# total CPU system time (s): 6.63286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56021 second user time and 16.1577 second system time
The end
Begin job on nodeC016 at 2025-07-03 04:24:18
IDJOB=4508454
IDBENCH=158424
IDSOLVER=3345
FILE ID=nodeC016/4508454-1751509458
RUNJOBID= nodeC016-1751505842-85268
SLURM_JOB_ID= 9598598
Free space on /tmp= 432888 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_16x16_009.opb.metafix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508454-1751509458/watcher-4508454-1751509458 -o /tmp/evaluation-result-4508454-1751509458/solver-4508454-1751509458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85268 --watchdog 3760 pb-oll-rs HOME/instance-4508454-1751509458.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6cf95a79097c212a609c1b13f8969201
RANDOM SEED=2107038135
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.676
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.943
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.738
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.656
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129648720 kB
MemAvailable: 129704940 kB
Buffers: 2144 kB
Cached: 825040 kB
SwapCached: 28 kB
Active: 737436 kB
Inactive: 205256 kB
Active(anon): 128268 kB
Inactive(anon): 5288 kB
Active(file): 609168 kB
Inactive(file): 199968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9504 kB
Writeback: 0 kB
AnonPages: 118680 kB
Mapped: 108052 kB
Shmem: 18044 kB
KReclaimable: 172648 kB
Slab: 264832 kB
SReclaimable: 172648 kB
SUnreclaim: 92184 kB
KernelStack: 4304 kB
PageTables: 3288 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 451732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC016 at 2025-07-03 05:24:29