0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.21/0.25 c [STEP] preprocessing with Papilo
0.30/0.35 c [STEP] solving with SCIP
299.26/300.42 c [STEP] preprocessing done, loading into solver
299.26/300.44 c [STEP] solving
299.26/300.44 c #variables 7311 #constraints 7573
299.26/300.44 c SMALL=int, LARGE=long long
299.26/300.44 d SCIPUB 4626453
299.26/300.44 c bounds - >= -85 @ 299.182
299.26/300.44 c stratification level: 4599936
531.41/533.21 c #Conflicts: 1000 | #Constraints: 8573
531.41/533.21 c #Conflicts: 2000 | #Constraints: 9573
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 3000 | #Constraints: 6776
531.41/533.21 c #Conflicts: 4000 | #Constraints: 7776
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 5000 | #Constraints: 7189
531.41/533.21 c #Conflicts: 6000 | #Constraints: 8189
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 7000 | #Constraints: 7190
531.41/533.21 c #Conflicts: 8000 | #Constraints: 8190
531.41/533.21 c #Conflicts: 9000 | #Constraints: 9190
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 10000 | #Constraints: 7932
531.41/533.21 c #Conflicts: 11000 | #Constraints: 8932
531.41/533.21 c #Conflicts: 12000 | #Constraints: 9932
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 13000 | #Constraints: 8372
531.41/533.21 c #Conflicts: 14000 | #Constraints: 9372
531.41/533.21 c #Conflicts: 15000 | #Constraints: 10372
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 16000 | #Constraints: 8633
531.41/533.21 c #Conflicts: 17000 | #Constraints: 9633
531.41/533.21 c #Conflicts: 18000 | #Constraints: 10633
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 19000 | #Constraints: 8654
531.41/533.21 c #Conflicts: 20000 | #Constraints: 9654
531.41/533.21 c #Conflicts: 21000 | #Constraints: 10654
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 22000 | #Constraints: 8478
531.41/533.21 c #Conflicts: 23000 | #Constraints: 9478
531.41/533.21 c #Conflicts: 24000 | #Constraints: 10478
531.41/533.21 c #Conflicts: 25000 | #Constraints: 11478
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 26000 | #Constraints: 9090
531.41/533.21 c #Conflicts: 27000 | #Constraints: 10090
531.41/533.21 c #Conflicts: 28000 | #Constraints: 11090
531.41/533.21 c #Conflicts: 29000 | #Constraints: 12090
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 30000 | #Constraints: 9556
531.41/533.21 c #Conflicts: 31000 | #Constraints: 10556
531.41/533.21 c #Conflicts: 32000 | #Constraints: 11556
531.41/533.21 c #Conflicts: 33000 | #Constraints: 12556
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 34000 | #Constraints: 9700
531.41/533.21 c #Conflicts: 35000 | #Constraints: 10700
531.41/533.21 c #Conflicts: 36000 | #Constraints: 11700
531.41/533.21 c #Conflicts: 37000 | #Constraints: 12700
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 38000 | #Constraints: 9754
531.41/533.21 c #Conflicts: 39000 | #Constraints: 10754
531.41/533.21 c #Conflicts: 40000 | #Constraints: 11754
531.41/533.21 c #Conflicts: 41000 | #Constraints: 12754
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 42000 | #Constraints: 9556
531.41/533.21 c #Conflicts: 43000 | #Constraints: 10556
531.41/533.21 c #Conflicts: 44000 | #Constraints: 11556
531.41/533.21 c #Conflicts: 45000 | #Constraints: 12556
531.41/533.21 c #Conflicts: 46000 | #Constraints: 13556
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 47000 | #Constraints: 10161
531.41/533.21 c #Conflicts: 48000 | #Constraints: 11161
531.41/533.21 c #Conflicts: 49000 | #Constraints: 12161
531.41/533.21 c #Conflicts: 50000 | #Constraints: 13161
531.41/533.21 c #Conflicts: 51000 | #Constraints: 14161
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 52000 | #Constraints: 10566
531.41/533.21 c #Conflicts: 53000 | #Constraints: 11566
531.41/533.21 c #Conflicts: 54000 | #Constraints: 12566
531.41/533.21 c #Conflicts: 55000 | #Constraints: 13566
531.41/533.21 c #Conflicts: 56000 | #Constraints: 14566
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 57000 | #Constraints: 10714
531.41/533.21 c #Conflicts: 58000 | #Constraints: 11714
531.41/533.21 c #Conflicts: 59000 | #Constraints: 12714
531.41/533.21 c #Conflicts: 60000 | #Constraints: 13714
531.41/533.21 c #Conflicts: 61000 | #Constraints: 14714
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 62000 | #Constraints: 10702
531.41/533.21 c #Conflicts: 63000 | #Constraints: 11702
531.41/533.21 c #Conflicts: 64000 | #Constraints: 12702
531.41/533.21 c #Conflicts: 65000 | #Constraints: 13702
531.41/533.21 c #Conflicts: 66000 | #Constraints: 14702
531.41/533.21 c INPROCESSING
531.41/533.21 c GARBAGE COLLECT
531.41/533.21 c #Conflicts: 67000 | #Constraints: 10566
531.41/533.21 c #Conflicts: 68000 | #Constraints: 11566
842.45/845.05 c #Conflicts: 69000 | #Constraints: 12566
842.45/845.05 c #Conflicts: 70000 | #Constraints: 13566
842.45/845.05 c #Conflicts: 71000 | #Constraints: 14566
842.45/845.05 c #Conflicts: 72000 | #Constraints: 15566
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 73000 | #Constraints: 11170
842.45/845.05 c #Conflicts: 74000 | #Constraints: 12170
842.45/845.05 c #Conflicts: 75000 | #Constraints: 13170
842.45/845.05 c #Conflicts: 76000 | #Constraints: 14170
842.45/845.05 c #Conflicts: 77000 | #Constraints: 15170
842.45/845.05 c #Conflicts: 78000 | #Constraints: 16170
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 79000 | #Constraints: 11572
842.45/845.05 c #Conflicts: 80000 | #Constraints: 12572
842.45/845.05 c #Conflicts: 81000 | #Constraints: 13572
842.45/845.05 c #Conflicts: 82000 | #Constraints: 14572
842.45/845.05 c #Conflicts: 83000 | #Constraints: 15572
842.45/845.05 c #Conflicts: 84000 | #Constraints: 16572
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 85000 | #Constraints: 11810
842.45/845.05 c #Conflicts: 86000 | #Constraints: 12810
842.45/845.05 c #Conflicts: 87000 | #Constraints: 13810
842.45/845.05 c #Conflicts: 88000 | #Constraints: 14810
842.45/845.05 c #Conflicts: 89000 | #Constraints: 15810
842.45/845.05 c #Conflicts: 90000 | #Constraints: 16810
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 91000 | #Constraints: 11861
842.45/845.05 c #Conflicts: 92000 | #Constraints: 12861
842.45/845.05 c #Conflicts: 93000 | #Constraints: 13861
842.45/845.05 c #Conflicts: 94000 | #Constraints: 14861
842.45/845.05 c #Conflicts: 95000 | #Constraints: 15861
842.45/845.05 c #Conflicts: 96000 | #Constraints: 16861
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 97000 | #Constraints: 11577
842.45/845.05 c #Conflicts: 98000 | #Constraints: 12577
842.45/845.05 c #Conflicts: 99000 | #Constraints: 13577
842.45/845.05 c #Conflicts: 100000 | #Constraints: 14577
842.45/845.05 c #Conflicts: 101000 | #Constraints: 15577
842.45/845.05 c #Conflicts: 102000 | #Constraints: 16577
842.45/845.05 c #Conflicts: 103000 | #Constraints: 17577
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 104000 | #Constraints: 12102
842.45/845.05 c #Conflicts: 105000 | #Constraints: 13102
842.45/845.05 c #Conflicts: 106000 | #Constraints: 14102
842.45/845.05 c #Conflicts: 107000 | #Constraints: 15102
842.45/845.05 c #Conflicts: 108000 | #Constraints: 16102
842.45/845.05 c #Conflicts: 109000 | #Constraints: 17102
842.45/845.05 c #Conflicts: 110000 | #Constraints: 18102
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 111000 | #Constraints: 12414
842.45/845.05 c #Conflicts: 112000 | #Constraints: 13414
842.45/845.05 c #Conflicts: 113000 | #Constraints: 14414
842.45/845.05 c #Conflicts: 114000 | #Constraints: 15414
842.45/845.05 c #Conflicts: 115000 | #Constraints: 16414
842.45/845.05 c #Conflicts: 116000 | #Constraints: 17414
842.45/845.05 c #Conflicts: 117000 | #Constraints: 18414
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 118000 | #Constraints: 12613
842.45/845.05 c #Conflicts: 119000 | #Constraints: 13613
842.45/845.05 c #Conflicts: 120000 | #Constraints: 14613
842.45/845.05 c #Conflicts: 121000 | #Constraints: 15613
842.45/845.05 c #Conflicts: 122000 | #Constraints: 16613
842.45/845.05 c #Conflicts: 123000 | #Constraints: 17613
842.45/845.05 c #Conflicts: 124000 | #Constraints: 18613
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 125000 | #Constraints: 12766
842.45/845.05 c #Conflicts: 126000 | #Constraints: 13766
842.45/845.05 c #Conflicts: 127000 | #Constraints: 14766
842.45/845.05 c #Conflicts: 128000 | #Constraints: 15766
842.45/845.05 c #Conflicts: 129000 | #Constraints: 16766
842.45/845.05 c #Conflicts: 130000 | #Constraints: 17766
842.45/845.05 c #Conflicts: 131000 | #Constraints: 18766
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 132000 | #Constraints: 12475
842.45/845.05 c #Conflicts: 133000 | #Constraints: 13475
842.45/845.05 c #Conflicts: 134000 | #Constraints: 14475
842.45/845.05 c #Conflicts: 135000 | #Constraints: 15475
842.45/845.05 c #Conflicts: 136000 | #Constraints: 16475
842.45/845.05 c #Conflicts: 137000 | #Constraints: 17475
842.45/845.05 c #Conflicts: 138000 | #Constraints: 18475
842.45/845.05 c #Conflicts: 139000 | #Constraints: 19475
842.45/845.05 c INPROCESSING
842.45/845.05 c GARBAGE COLLECT
842.45/845.05 c #Conflicts: 140000 | #Constraints: 13059
1198.92/1202.49 c #Conflicts: 141000 | #Constraints: 14059
1198.92/1202.49 c #Conflicts: 142000 | #Constraints: 15059
1198.92/1202.49 c #Conflicts: 143000 | #Constraints: 16059
1198.92/1202.49 c #Conflicts: 144000 | #Constraints: 17059
1198.92/1202.49 c #Conflicts: 145000 | #Constraints: 18059
1198.92/1202.49 c #Conflicts: 146000 | #Constraints: 19059
1198.92/1202.49 c #Conflicts: 147000 | #Constraints: 20059
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 148000 | #Constraints: 13557
1198.92/1202.49 c #Conflicts: 149000 | #Constraints: 14557
1198.92/1202.49 c #Conflicts: 150000 | #Constraints: 15557
1198.92/1202.49 c #Conflicts: 151000 | #Constraints: 16557
1198.92/1202.49 c #Conflicts: 152000 | #Constraints: 17557
1198.92/1202.49 c #Conflicts: 153000 | #Constraints: 18557
1198.92/1202.49 c #Conflicts: 154000 | #Constraints: 19557
1198.92/1202.49 c #Conflicts: 155000 | #Constraints: 20557
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 156000 | #Constraints: 13859
1198.92/1202.49 c #Conflicts: 157000 | #Constraints: 14859
1198.92/1202.49 c #Conflicts: 158000 | #Constraints: 15859
1198.92/1202.49 c #Conflicts: 159000 | #Constraints: 16859
1198.92/1202.49 c #Conflicts: 160000 | #Constraints: 17859
1198.92/1202.49 c #Conflicts: 161000 | #Constraints: 18859
1198.92/1202.49 c #Conflicts: 162000 | #Constraints: 19859
1198.92/1202.49 c #Conflicts: 163000 | #Constraints: 20859
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 164000 | #Constraints: 13900
1198.92/1202.49 c #Conflicts: 165000 | #Constraints: 14900
1198.92/1202.49 c #Conflicts: 166000 | #Constraints: 15900
1198.92/1202.49 c #Conflicts: 167000 | #Constraints: 16900
1198.92/1202.49 c #Conflicts: 168000 | #Constraints: 17900
1198.92/1202.49 c #Conflicts: 169000 | #Constraints: 18900
1198.92/1202.49 c #Conflicts: 170000 | #Constraints: 19900
1198.92/1202.49 c #Conflicts: 171000 | #Constraints: 20900
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 172000 | #Constraints: 13724
1198.92/1202.49 c #Conflicts: 173000 | #Constraints: 14724
1198.92/1202.49 c #Conflicts: 174000 | #Constraints: 15724
1198.92/1202.49 c #Conflicts: 175000 | #Constraints: 16724
1198.92/1202.49 c #Conflicts: 176000 | #Constraints: 17724
1198.92/1202.49 c #Conflicts: 177000 | #Constraints: 18724
1198.92/1202.49 c #Conflicts: 178000 | #Constraints: 19724
1198.92/1202.49 c #Conflicts: 179000 | #Constraints: 20724
1198.92/1202.49 c #Conflicts: 180000 | #Constraints: 21724
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 181000 | #Constraints: 14341
1198.92/1202.49 c #Conflicts: 182000 | #Constraints: 15341
1198.92/1202.49 c #Conflicts: 183000 | #Constraints: 16341
1198.92/1202.49 c #Conflicts: 184000 | #Constraints: 17341
1198.92/1202.49 c #Conflicts: 185000 | #Constraints: 18341
1198.92/1202.49 c #Conflicts: 186000 | #Constraints: 19341
1198.92/1202.49 c #Conflicts: 187000 | #Constraints: 20341
1198.92/1202.49 c #Conflicts: 188000 | #Constraints: 21341
1198.92/1202.49 c #Conflicts: 189000 | #Constraints: 22341
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 190000 | #Constraints: 14748
1198.92/1202.49 c #Conflicts: 191000 | #Constraints: 15748
1198.92/1202.49 c #Conflicts: 192000 | #Constraints: 16748
1198.92/1202.49 c #Conflicts: 193000 | #Constraints: 17748
1198.92/1202.49 c #Conflicts: 194000 | #Constraints: 18748
1198.92/1202.49 c #Conflicts: 195000 | #Constraints: 19748
1198.92/1202.49 c #Conflicts: 196000 | #Constraints: 20748
1198.92/1202.49 c #Conflicts: 197000 | #Constraints: 21748
1198.92/1202.49 c #Conflicts: 198000 | #Constraints: 22748
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 199000 | #Constraints: 14985
1198.92/1202.49 c #Conflicts: 200000 | #Constraints: 15985
1198.92/1202.49 c #Conflicts: 201000 | #Constraints: 16985
1198.92/1202.49 c #Conflicts: 202000 | #Constraints: 17985
1198.92/1202.49 c #Conflicts: 203000 | #Constraints: 18985
1198.92/1202.49 c #Conflicts: 204000 | #Constraints: 19985
1198.92/1202.49 c #Conflicts: 205000 | #Constraints: 20985
1198.92/1202.49 c #Conflicts: 206000 | #Constraints: 21985
1198.92/1202.49 c #Conflicts: 207000 | #Constraints: 22985
1198.92/1202.49 c INPROCESSING
1198.92/1202.49 c GARBAGE COLLECT
1198.92/1202.49 c #Conflicts: 208000 | #Constraints: 15039
1198.92/1202.49 c #Conflicts: 209000 | #Constraints: 16039
1198.92/1202.49 c #Conflicts: 210000 | #Constraints: 17039
1198.92/1202.49 c #Conflicts: 211000 | #Constraints: 18039
1198.92/1202.49 c #Conflicts: 212000 | #Constraints: 19039
1198.92/1202.49 c #Conflicts: 213000 | #Constraints: 20039
1621.35/1626.02 c #Conflicts: 214000 | #Constraints: 21039
1621.35/1626.02 c #Conflicts: 215000 | #Constraints: 22039
1621.35/1626.02 c #Conflicts: 216000 | #Constraints: 23039
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 217000 | #Constraints: 14745
1621.35/1626.02 c #Conflicts: 218000 | #Constraints: 15745
1621.35/1626.02 c #Conflicts: 219000 | #Constraints: 16745
1621.35/1626.02 c #Conflicts: 220000 | #Constraints: 17745
1621.35/1626.02 c #Conflicts: 221000 | #Constraints: 18745
1621.35/1626.02 c #Conflicts: 222000 | #Constraints: 19745
1621.35/1626.02 c #Conflicts: 223000 | #Constraints: 20745
1621.35/1626.02 c #Conflicts: 224000 | #Constraints: 21745
1621.35/1626.02 c #Conflicts: 225000 | #Constraints: 22745
1621.35/1626.02 c #Conflicts: 226000 | #Constraints: 23745
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 227000 | #Constraints: 15338
1621.35/1626.02 c #Conflicts: 228000 | #Constraints: 16338
1621.35/1626.02 c #Conflicts: 229000 | #Constraints: 17338
1621.35/1626.02 c #Conflicts: 230000 | #Constraints: 18338
1621.35/1626.02 c #Conflicts: 231000 | #Constraints: 19338
1621.35/1626.02 c #Conflicts: 232000 | #Constraints: 20338
1621.35/1626.02 c #Conflicts: 233000 | #Constraints: 21338
1621.35/1626.02 c #Conflicts: 234000 | #Constraints: 22338
1621.35/1626.02 c #Conflicts: 235000 | #Constraints: 23338
1621.35/1626.02 c #Conflicts: 236000 | #Constraints: 24338
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 237000 | #Constraints: 15788
1621.35/1626.02 c #Conflicts: 238000 | #Constraints: 16788
1621.35/1626.02 c #Conflicts: 239000 | #Constraints: 17788
1621.35/1626.02 c #Conflicts: 240000 | #Constraints: 18788
1621.35/1626.02 c #Conflicts: 241000 | #Constraints: 19788
1621.35/1626.02 c #Conflicts: 242000 | #Constraints: 20788
1621.35/1626.02 c #Conflicts: 243000 | #Constraints: 21788
1621.35/1626.02 c #Conflicts: 244000 | #Constraints: 22788
1621.35/1626.02 c #Conflicts: 245000 | #Constraints: 23788
1621.35/1626.02 c #Conflicts: 246000 | #Constraints: 24788
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 247000 | #Constraints: 15898
1621.35/1626.02 c #Conflicts: 248000 | #Constraints: 16898
1621.35/1626.02 c #Conflicts: 249000 | #Constraints: 17898
1621.35/1626.02 c #Conflicts: 250000 | #Constraints: 18898
1621.35/1626.02 c #Conflicts: 251000 | #Constraints: 19898
1621.35/1626.02 c #Conflicts: 252000 | #Constraints: 20898
1621.35/1626.02 c #Conflicts: 253000 | #Constraints: 21898
1621.35/1626.02 c #Conflicts: 254000 | #Constraints: 22898
1621.35/1626.02 c #Conflicts: 255000 | #Constraints: 23898
1621.35/1626.02 c #Conflicts: 256000 | #Constraints: 24898
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 257000 | #Constraints: 15875
1621.35/1626.02 c #Conflicts: 258000 | #Constraints: 16875
1621.35/1626.02 c #Conflicts: 259000 | #Constraints: 17875
1621.35/1626.02 c #Conflicts: 260000 | #Constraints: 18875
1621.35/1626.02 c #Conflicts: 261000 | #Constraints: 19875
1621.35/1626.02 c #Conflicts: 262000 | #Constraints: 20875
1621.35/1626.02 c #Conflicts: 263000 | #Constraints: 21875
1621.35/1626.02 c #Conflicts: 264000 | #Constraints: 22875
1621.35/1626.02 c #Conflicts: 265000 | #Constraints: 23875
1621.35/1626.02 c #Conflicts: 266000 | #Constraints: 24875
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 267000 | #Constraints: 15807
1621.35/1626.02 c #Conflicts: 268000 | #Constraints: 16807
1621.35/1626.02 c #Conflicts: 269000 | #Constraints: 17807
1621.35/1626.02 c #Conflicts: 270000 | #Constraints: 18807
1621.35/1626.02 c #Conflicts: 271000 | #Constraints: 19807
1621.35/1626.02 c #Conflicts: 272000 | #Constraints: 20807
1621.35/1626.02 c #Conflicts: 273000 | #Constraints: 21807
1621.35/1626.02 c #Conflicts: 274000 | #Constraints: 22807
1621.35/1626.02 c #Conflicts: 275000 | #Constraints: 23807
1621.35/1626.02 c #Conflicts: 276000 | #Constraints: 24807
1621.35/1626.02 c #Conflicts: 277000 | #Constraints: 25807
1621.35/1626.02 c INPROCESSING
1621.35/1626.02 c GARBAGE COLLECT
1621.35/1626.02 c #Conflicts: 278000 | #Constraints: 16455
1621.35/1626.02 c #Conflicts: 279000 | #Constraints: 17455
1621.35/1626.02 c #Conflicts: 280000 | #Constraints: 18455
1621.35/1626.02 c #Conflicts: 281000 | #Constraints: 19455
1621.35/1626.02 c #Conflicts: 282000 | #Constraints: 20455
1621.35/1626.02 c #Conflicts: 283000 | #Constraints: 21455
1621.35/1626.02 c #Conflicts: 284000 | #Constraints: 22455
1621.35/1626.02 c #Conflicts: 285000 | #Constraints: 23455
1621.35/1626.02 c #Conflicts: 286000 | #Constraints: 24455
1621.35/1626.02 c #Conflicts: 287000 | #Constraints: 25455
1621.35/1626.02 c #Conflicts: 288000 | #Constraints: 26455
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 289000 | #Constraints: 16723
2015.65/2021.40 c #Conflicts: 290000 | #Constraints: 17723
2015.65/2021.40 c #Conflicts: 291000 | #Constraints: 18723
2015.65/2021.40 c #Conflicts: 292000 | #Constraints: 19723
2015.65/2021.40 c #Conflicts: 293000 | #Constraints: 20723
2015.65/2021.40 c #Conflicts: 294000 | #Constraints: 21723
2015.65/2021.40 c #Conflicts: 295000 | #Constraints: 22723
2015.65/2021.40 c #Conflicts: 296000 | #Constraints: 23723
2015.65/2021.40 c #Conflicts: 297000 | #Constraints: 24723
2015.65/2021.40 c #Conflicts: 298000 | #Constraints: 25723
2015.65/2021.40 c #Conflicts: 299000 | #Constraints: 26723
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 300000 | #Constraints: 16940
2015.65/2021.40 c #Conflicts: 301000 | #Constraints: 17940
2015.65/2021.40 c #Conflicts: 302000 | #Constraints: 18940
2015.65/2021.40 c #Conflicts: 303000 | #Constraints: 19940
2015.65/2021.40 c #Conflicts: 304000 | #Constraints: 20940
2015.65/2021.40 c #Conflicts: 305000 | #Constraints: 21940
2015.65/2021.40 c #Conflicts: 306000 | #Constraints: 22940
2015.65/2021.40 c #Conflicts: 307000 | #Constraints: 23940
2015.65/2021.40 c #Conflicts: 308000 | #Constraints: 24940
2015.65/2021.40 c #Conflicts: 309000 | #Constraints: 25940
2015.65/2021.40 c #Conflicts: 310000 | #Constraints: 26940
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 311000 | #Constraints: 16823
2015.65/2021.40 c #Conflicts: 312000 | #Constraints: 17823
2015.65/2021.40 c #Conflicts: 313000 | #Constraints: 18823
2015.65/2021.40 c #Conflicts: 314000 | #Constraints: 19823
2015.65/2021.40 c #Conflicts: 315000 | #Constraints: 20823
2015.65/2021.40 c #Conflicts: 316000 | #Constraints: 21823
2015.65/2021.40 c #Conflicts: 317000 | #Constraints: 22823
2015.65/2021.40 c #Conflicts: 318000 | #Constraints: 23823
2015.65/2021.40 c #Conflicts: 319000 | #Constraints: 24823
2015.65/2021.40 c #Conflicts: 320000 | #Constraints: 25823
2015.65/2021.40 c #Conflicts: 321000 | #Constraints: 26823
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 322000 | #Constraints: 16746
2015.65/2021.40 c #Conflicts: 323000 | #Constraints: 17746
2015.65/2021.40 c #Conflicts: 324000 | #Constraints: 18746
2015.65/2021.40 c #Conflicts: 325000 | #Constraints: 19746
2015.65/2021.40 c #Conflicts: 326000 | #Constraints: 20746
2015.65/2021.40 c #Conflicts: 327000 | #Constraints: 21746
2015.65/2021.40 c #Conflicts: 328000 | #Constraints: 22746
2015.65/2021.40 c #Conflicts: 329000 | #Constraints: 23746
2015.65/2021.40 c #Conflicts: 330000 | #Constraints: 24746
2015.65/2021.40 c #Conflicts: 331000 | #Constraints: 25746
2015.65/2021.40 c #Conflicts: 332000 | #Constraints: 26746
2015.65/2021.40 c #Conflicts: 333000 | #Constraints: 27746
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 334000 | #Constraints: 17396
2015.65/2021.40 c #Conflicts: 335000 | #Constraints: 18396
2015.65/2021.40 c #Conflicts: 336000 | #Constraints: 19396
2015.65/2021.40 c #Conflicts: 337000 | #Constraints: 20396
2015.65/2021.40 c #Conflicts: 338000 | #Constraints: 21396
2015.65/2021.40 c #Conflicts: 339000 | #Constraints: 22396
2015.65/2021.40 c #Conflicts: 340000 | #Constraints: 23396
2015.65/2021.40 c #Conflicts: 341000 | #Constraints: 24396
2015.65/2021.40 c #Conflicts: 342000 | #Constraints: 25396
2015.65/2021.40 c #Conflicts: 343000 | #Constraints: 26396
2015.65/2021.40 c #Conflicts: 344000 | #Constraints: 27396
2015.65/2021.40 c #Conflicts: 345000 | #Constraints: 28396
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 346000 | #Constraints: 17790
2015.65/2021.40 c #Conflicts: 347000 | #Constraints: 18790
2015.65/2021.40 c #Conflicts: 348000 | #Constraints: 19790
2015.65/2021.40 c #Conflicts: 349000 | #Constraints: 20790
2015.65/2021.40 c #Conflicts: 350000 | #Constraints: 21790
2015.65/2021.40 c #Conflicts: 351000 | #Constraints: 22790
2015.65/2021.40 c #Conflicts: 352000 | #Constraints: 23790
2015.65/2021.40 c #Conflicts: 353000 | #Constraints: 24790
2015.65/2021.40 c #Conflicts: 354000 | #Constraints: 25790
2015.65/2021.40 c #Conflicts: 355000 | #Constraints: 26790
2015.65/2021.40 c #Conflicts: 356000 | #Constraints: 27790
2015.65/2021.40 c #Conflicts: 357000 | #Constraints: 28790
2015.65/2021.40 c INPROCESSING
2015.65/2021.40 c GARBAGE COLLECT
2015.65/2021.40 c #Conflicts: 358000 | #Constraints: 17887
2015.65/2021.40 c #Conflicts: 359000 | #Constraints: 18887
2015.65/2021.40 c #Conflicts: 360000 | #Constraints: 19887
2015.65/2021.40 c #Conflicts: 361000 | #Constraints: 20887
2015.65/2021.40 c #Conflicts: 362000 | #Constraints: 21887
2412.75/2419.65 c #Conflicts: 363000 | #Constraints: 22887
2412.75/2419.65 c #Conflicts: 364000 | #Constraints: 23887
2412.75/2419.65 c #Conflicts: 365000 | #Constraints: 24887
2412.75/2419.65 c #Conflicts: 366000 | #Constraints: 25887
2412.75/2419.65 c #Conflicts: 367000 | #Constraints: 26887
2412.75/2419.65 c #Conflicts: 368000 | #Constraints: 27887
2412.75/2419.65 c #Conflicts: 369000 | #Constraints: 28887
2412.75/2419.65 c INPROCESSING
2412.75/2419.65 c GARBAGE COLLECT
2412.75/2419.65 c #Conflicts: 370000 | #Constraints: 17895
2412.75/2419.65 c #Conflicts: 371000 | #Constraints: 18895
2412.75/2419.65 c #Conflicts: 372000 | #Constraints: 19895
2412.75/2419.65 c #Conflicts: 373000 | #Constraints: 20895
2412.75/2419.65 c #Conflicts: 374000 | #Constraints: 21895
2412.75/2419.65 c #Conflicts: 375000 | #Constraints: 22895
2412.75/2419.65 c #Conflicts: 376000 | #Constraints: 23895
2412.75/2419.65 c #Conflicts: 377000 | #Constraints: 24895
2412.75/2419.65 c #Conflicts: 378000 | #Constraints: 25895
2412.75/2419.65 c #Conflicts: 379000 | #Constraints: 26895
2412.75/2419.65 c #Conflicts: 380000 | #Constraints: 27895
2412.75/2419.65 c #Conflicts: 381000 | #Constraints: 28895
2412.75/2419.65 c INPROCESSING
2412.75/2419.65 c GARBAGE COLLECT
2412.75/2419.65 c #Conflicts: 382000 | #Constraints: 17668
2412.75/2419.65 c #Conflicts: 383000 | #Constraints: 18668
2412.75/2419.65 c #Conflicts: 384000 | #Constraints: 19668
2412.75/2419.65 c #Conflicts: 385000 | #Constraints: 20668
2412.75/2419.65 c #Conflicts: 386000 | #Constraints: 21668
2412.75/2419.65 c #Conflicts: 387000 | #Constraints: 22668
2412.75/2419.65 c #Conflicts: 388000 | #Constraints: 23668
2412.75/2419.65 c #Conflicts: 389000 | #Constraints: 24668
2412.75/2419.65 c #Conflicts: 390000 | #Constraints: 25668
2412.75/2419.65 c #Conflicts: 391000 | #Constraints: 26668
2412.75/2419.65 c #Conflicts: 392000 | #Constraints: 27668
2412.75/2419.65 c #Conflicts: 393000 | #Constraints: 28668
2412.75/2419.65 c #Conflicts: 394000 | #Constraints: 29668
2412.75/2419.65 c INPROCESSING
2412.75/2419.65 c GARBAGE COLLECT
2412.75/2419.65 c #Conflicts: 395000 | #Constraints: 18275
2412.75/2419.65 c #Conflicts: 396000 | #Constraints: 19275
2412.75/2419.65 c #Conflicts: 397000 | #Constraints: 20275
2412.75/2419.65 c #Conflicts: 398000 | #Constraints: 21275
2412.75/2419.65 c #Conflicts: 399000 | #Constraints: 22275
2412.75/2419.65 c #Conflicts: 400000 | #Constraints: 23275
2412.75/2419.65 c #Conflicts: 401000 | #Constraints: 24275
2412.75/2419.65 c #Conflicts: 402000 | #Constraints: 25275
2412.75/2419.65 c #Conflicts: 403000 | #Constraints: 26275
2412.75/2419.65 c #Conflicts: 404000 | #Constraints: 27275
2412.75/2419.65 c #Conflicts: 405000 | #Constraints: 28275
2412.75/2419.65 c #Conflicts: 406000 | #Constraints: 29275
2412.75/2419.65 c #Conflicts: 407000 | #Constraints: 30275
2412.75/2419.65 c INPROCESSING
2412.75/2419.65 c GARBAGE COLLECT
2412.75/2419.65 c #Conflicts: 408000 | #Constraints: 18709
2412.75/2419.65 c #Conflicts: 409000 | #Constraints: 19709
2412.75/2419.65 c #Conflicts: 410000 | #Constraints: 20709
2412.75/2419.65 c #Conflicts: 411000 | #Constraints: 21709
2412.75/2419.65 c #Conflicts: 412000 | #Constraints: 22709
2412.75/2419.65 c #Conflicts: 413000 | #Constraints: 23709
2412.75/2419.65 c #Conflicts: 414000 | #Constraints: 24709
2412.75/2419.65 c #Conflicts: 415000 | #Constraints: 25709
2412.75/2419.65 c #Conflicts: 416000 | #Constraints: 26709
2412.75/2419.65 c #Conflicts: 417000 | #Constraints: 27709
2412.75/2419.65 c #Conflicts: 418000 | #Constraints: 28709
2412.75/2419.65 c #Conflicts: 419000 | #Constraints: 29709
2412.75/2419.65 c #Conflicts: 420000 | #Constraints: 30709
2412.75/2419.65 c INPROCESSING
2412.75/2419.65 c GARBAGE COLLECT
2412.75/2419.65 c #Conflicts: 421000 | #Constraints: 18856
2412.75/2419.65 c #Conflicts: 422000 | #Constraints: 19856
2412.75/2419.65 c #Conflicts: 423000 | #Constraints: 20856
2412.75/2419.65 c #Conflicts: 424000 | #Constraints: 21856
2412.75/2419.65 c #Conflicts: 425000 | #Constraints: 22856
2412.75/2419.65 c #Conflicts: 426000 | #Constraints: 23856
2412.75/2419.65 c #Conflicts: 427000 | #Constraints: 24856
2412.75/2419.65 c #Conflicts: 428000 | #Constraints: 25856
2412.75/2419.65 c #Conflicts: 429000 | #Constraints: 26856
2412.75/2419.65 c #Conflicts: 430000 | #Constraints: 27856
2412.75/2419.65 c #Conflicts: 431000 | #Constraints: 28856
2412.75/2419.65 c #Conflicts: 432000 | #Constraints: 29856
2412.75/2419.65 c #Conflicts: 433000 | #Constraints: 30856
2412.75/2419.65 c INPROCESSING
2412.75/2419.65 c GARBAGE COLLECT
2412.75/2419.65 c #Conflicts: 434000 | #Constraints: 18801
2412.75/2419.65 c #Conflicts: 435000 | #Constraints: 19801
2412.75/2419.65 c #Conflicts: 436000 | #Constraints: 20801
2412.75/2419.65 c #Conflicts: 437000 | #Constraints: 21801
2797.68/2805.61 c #Conflicts: 438000 | #Constraints: 22801
2797.68/2805.61 c #Conflicts: 439000 | #Constraints: 23801
2797.68/2805.61 c #Conflicts: 440000 | #Constraints: 24801
2797.68/2805.61 c #Conflicts: 441000 | #Constraints: 25801
2797.68/2805.61 c #Conflicts: 442000 | #Constraints: 26801
2797.68/2805.61 c #Conflicts: 443000 | #Constraints: 27801
2797.68/2805.61 c #Conflicts: 444000 | #Constraints: 28801
2797.68/2805.61 c #Conflicts: 445000 | #Constraints: 29801
2797.68/2805.61 c #Conflicts: 446000 | #Constraints: 30801
2797.68/2805.61 c INPROCESSING
2797.68/2805.61 c GARBAGE COLLECT
2797.68/2805.61 c #Conflicts: 447000 | #Constraints: 18654
2797.68/2805.61 c #Conflicts: 448000 | #Constraints: 19654
2797.68/2805.61 c #Conflicts: 449000 | #Constraints: 20654
2797.68/2805.61 c #Conflicts: 450000 | #Constraints: 21654
2797.68/2805.61 c #Conflicts: 451000 | #Constraints: 22654
2797.68/2805.61 c #Conflicts: 452000 | #Constraints: 23654
2797.68/2805.61 c #Conflicts: 453000 | #Constraints: 24654
2797.68/2805.61 c #Conflicts: 454000 | #Constraints: 25654
2797.68/2805.61 c #Conflicts: 455000 | #Constraints: 26654
2797.68/2805.61 c #Conflicts: 456000 | #Constraints: 27654
2797.68/2805.61 c #Conflicts: 457000 | #Constraints: 28654
2797.68/2805.61 c #Conflicts: 458000 | #Constraints: 29654
2797.68/2805.61 c #Conflicts: 459000 | #Constraints: 30654
2797.68/2805.61 c #Conflicts: 460000 | #Constraints: 31654
2797.68/2805.61 c INPROCESSING
2797.68/2805.61 c GARBAGE COLLECT
2797.68/2805.61 c #Conflicts: 461000 | #Constraints: 19403
2797.68/2805.61 c #Conflicts: 462000 | #Constraints: 20403
2797.68/2805.61 c #Conflicts: 463000 | #Constraints: 21403
2797.68/2805.61 c #Conflicts: 464000 | #Constraints: 22403
2797.68/2805.61 c #Conflicts: 465000 | #Constraints: 23403
2797.68/2805.61 c #Conflicts: 466000 | #Constraints: 24403
2797.68/2805.61 c #Conflicts: 467000 | #Constraints: 25403
2797.68/2805.61 c #Conflicts: 468000 | #Constraints: 26403
2797.68/2805.61 c #Conflicts: 469000 | #Constraints: 27403
2797.68/2805.61 c #Conflicts: 470000 | #Constraints: 28403
2797.68/2805.61 c #Conflicts: 471000 | #Constraints: 29403
2797.68/2805.61 c #Conflicts: 472000 | #Constraints: 30403
2797.68/2805.61 c #Conflicts: 473000 | #Constraints: 31403
2797.68/2805.61 c #Conflicts: 474000 | #Constraints: 32403
2797.68/2805.61 c INPROCESSING
2797.68/2805.61 c GARBAGE COLLECT
2797.68/2805.61 c #Conflicts: 475000 | #Constraints: 19863
2797.68/2805.61 c #Conflicts: 476000 | #Constraints: 20863
2797.68/2805.61 c #Conflicts: 477000 | #Constraints: 21863
2797.68/2805.61 c #Conflicts: 478000 | #Constraints: 22863
2797.68/2805.61 c #Conflicts: 479000 | #Constraints: 23863
2797.68/2805.61 c #Conflicts: 480000 | #Constraints: 24863
2797.68/2805.61 c #Conflicts: 481000 | #Constraints: 25863
2797.68/2805.61 c #Conflicts: 482000 | #Constraints: 26863
2797.68/2805.61 c #Conflicts: 483000 | #Constraints: 27863
2797.68/2805.61 c #Conflicts: 484000 | #Constraints: 28863
2797.68/2805.61 c #Conflicts: 485000 | #Constraints: 29863
2797.68/2805.61 c #Conflicts: 486000 | #Constraints: 30863
2797.68/2805.61 c #Conflicts: 487000 | #Constraints: 31863
2797.68/2805.61 c #Conflicts: 488000 | #Constraints: 32863
2797.68/2805.61 c INPROCESSING
2797.68/2805.61 c GARBAGE COLLECT
2797.68/2805.61 c #Conflicts: 489000 | #Constraints: 20008
2797.68/2805.61 c #Conflicts: 490000 | #Constraints: 21008
2797.68/2805.61 c #Conflicts: 491000 | #Constraints: 22008
2797.68/2805.61 c #Conflicts: 492000 | #Constraints: 23008
2797.68/2805.61 c #Conflicts: 493000 | #Constraints: 24008
2797.68/2805.61 c #Conflicts: 494000 | #Constraints: 25008
2797.68/2805.61 c #Conflicts: 495000 | #Constraints: 26008
2797.68/2805.61 c #Conflicts: 496000 | #Constraints: 27008
2797.68/2805.61 c #Conflicts: 497000 | #Constraints: 28008
2797.68/2805.61 c #Conflicts: 498000 | #Constraints: 29008
2797.68/2805.61 c #Conflicts: 499000 | #Constraints: 30008
2797.68/2805.61 c #Conflicts: 500000 | #Constraints: 31008
2797.68/2805.61 c #Conflicts: 501000 | #Constraints: 32008
2797.68/2805.61 c #Conflicts: 502000 | #Constraints: 33008
2797.68/2805.61 c INPROCESSING
2797.68/2805.61 c GARBAGE COLLECT
2797.68/2805.61 c #Conflicts: 503000 | #Constraints: 19906
2797.68/2805.61 c #Conflicts: 504000 | #Constraints: 20906
2797.68/2805.61 c #Conflicts: 505000 | #Constraints: 21906
2797.68/2805.61 c #Conflicts: 506000 | #Constraints: 22906
2797.68/2805.61 c #Conflicts: 507000 | #Constraints: 23906
2797.68/2805.61 c #Conflicts: 508000 | #Constraints: 24906
2797.68/2805.61 c #Conflicts: 509000 | #Constraints: 25906
2797.68/2805.61 c #Conflicts: 510000 | #Constraints: 26906
2797.68/2805.61 c #Conflicts: 511000 | #Constraints: 27906
2797.68/2805.61 c #Conflicts: 512000 | #Constraints: 28906
2797.68/2805.61 c #Conflicts: 513000 | #Constraints: 29906
3236.28/3245.48 c #Conflicts: 514000 | #Constraints: 30906
3236.28/3245.48 c #Conflicts: 515000 | #Constraints: 31906
3236.28/3245.48 c #Conflicts: 516000 | #Constraints: 32906
3236.28/3245.48 c INPROCESSING
3236.28/3245.48 c GARBAGE COLLECT
3236.28/3245.48 c #Conflicts: 517000 | #Constraints: 19676
3236.28/3245.48 c #Conflicts: 518000 | #Constraints: 20676
3236.28/3245.48 c #Conflicts: 519000 | #Constraints: 21676
3236.28/3245.48 c #Conflicts: 520000 | #Constraints: 22676
3236.28/3245.48 c #Conflicts: 521000 | #Constraints: 23676
3236.28/3245.48 c #Conflicts: 522000 | #Constraints: 24676
3236.28/3245.48 c #Conflicts: 523000 | #Constraints: 25676
3236.28/3245.48 c #Conflicts: 524000 | #Constraints: 26676
3236.28/3245.48 c #Conflicts: 525000 | #Constraints: 27676
3236.28/3245.48 c #Conflicts: 526000 | #Constraints: 28676
3236.28/3245.48 c #Conflicts: 527000 | #Constraints: 29676
3236.28/3245.48 c #Conflicts: 528000 | #Constraints: 30676
3236.28/3245.48 c #Conflicts: 529000 | #Constraints: 31676
3236.28/3245.48 c #Conflicts: 530000 | #Constraints: 32676
3236.28/3245.48 c #Conflicts: 531000 | #Constraints: 33676
3236.28/3245.48 c INPROCESSING
3236.28/3245.48 c GARBAGE COLLECT
3236.28/3245.48 c #Conflicts: 532000 | #Constraints: 20269
3236.28/3245.48 c #Conflicts: 533000 | #Constraints: 21269
3236.28/3245.48 c #Conflicts: 534000 | #Constraints: 22269
3236.28/3245.48 c #Conflicts: 535000 | #Constraints: 23269
3236.28/3245.48 c #Conflicts: 536000 | #Constraints: 24269
3236.28/3245.48 c #Conflicts: 537000 | #Constraints: 25269
3236.28/3245.48 c #Conflicts: 538000 | #Constraints: 26269
3236.28/3245.48 c #Conflicts: 539000 | #Constraints: 27269
3236.28/3245.48 c #Conflicts: 540000 | #Constraints: 28269
3236.28/3245.48 c #Conflicts: 541000 | #Constraints: 29269
3236.28/3245.48 c #Conflicts: 542000 | #Constraints: 30269
3236.28/3245.48 c #Conflicts: 543000 | #Constraints: 31269
3236.28/3245.48 c #Conflicts: 544000 | #Constraints: 32269
3236.28/3245.48 c #Conflicts: 545000 | #Constraints: 33269
3236.28/3245.48 c #Conflicts: 546000 | #Constraints: 34269
3236.28/3245.48 c INPROCESSING
3236.28/3245.48 c GARBAGE COLLECT
3236.28/3245.48 c #Conflicts: 547000 | #Constraints: 20622
3236.28/3245.48 c #Conflicts: 548000 | #Constraints: 21622
3236.28/3245.48 c #Conflicts: 549000 | #Constraints: 22622
3236.28/3245.48 c #Conflicts: 550000 | #Constraints: 23622
3236.28/3245.48 c #Conflicts: 551000 | #Constraints: 24622
3236.28/3245.48 c #Conflicts: 552000 | #Constraints: 25622
3236.28/3245.48 c #Conflicts: 553000 | #Constraints: 26622
3236.28/3245.48 c #Conflicts: 554000 | #Constraints: 27622
3236.28/3245.48 c #Conflicts: 555000 | #Constraints: 28622
3236.28/3245.48 c #Conflicts: 556000 | #Constraints: 29622
3236.28/3245.48 c #Conflicts: 557000 | #Constraints: 30622
3236.28/3245.48 c #Conflicts: 558000 | #Constraints: 31622
3236.28/3245.48 c #Conflicts: 559000 | #Constraints: 32622
3236.28/3245.48 c #Conflicts: 560000 | #Constraints: 33622
3236.28/3245.48 c #Conflicts: 561000 | #Constraints: 34622
3236.28/3245.48 c INPROCESSING
3236.28/3245.48 c GARBAGE COLLECT
3236.28/3245.48 c #Conflicts: 562000 | #Constraints: 20834
3236.28/3245.48 c #Conflicts: 563000 | #Constraints: 21834
3236.28/3245.48 c #Conflicts: 564000 | #Constraints: 22834
3236.28/3245.48 c #Conflicts: 565000 | #Constraints: 23834
3236.28/3245.48 c #Conflicts: 566000 | #Constraints: 24834
3236.28/3245.48 c #Conflicts: 567000 | #Constraints: 25834
3236.28/3245.48 c #Conflicts: 568000 | #Constraints: 26834
3236.28/3245.48 c #Conflicts: 569000 | #Constraints: 27834
3236.28/3245.48 c #Conflicts: 570000 | #Constraints: 28834
3236.28/3245.48 c #Conflicts: 571000 | #Constraints: 29834
3236.28/3245.48 c #Conflicts: 572000 | #Constraints: 30834
3236.28/3245.48 c #Conflicts: 573000 | #Constraints: 31834
3236.28/3245.48 c #Conflicts: 574000 | #Constraints: 32834
3236.28/3245.48 c #Conflicts: 575000 | #Constraints: 33834
3236.28/3245.48 c #Conflicts: 576000 | #Constraints: 34834
3236.28/3245.48 c INPROCESSING
3236.28/3245.48 c GARBAGE COLLECT
3236.28/3245.48 c #Conflicts: 577000 | #Constraints: 20875
3236.28/3245.48 c #Conflicts: 578000 | #Constraints: 21875
3236.28/3245.48 c #Conflicts: 579000 | #Constraints: 22875
3236.28/3245.48 c #Conflicts: 580000 | #Constraints: 23875
3236.28/3245.48 c #Conflicts: 581000 | #Constraints: 24875
3236.28/3245.48 c #Conflicts: 582000 | #Constraints: 25875
3236.28/3245.48 c #Conflicts: 583000 | #Constraints: 26875
3236.28/3245.48 c #Conflicts: 584000 | #Constraints: 27875
3236.28/3245.48 c #Conflicts: 585000 | #Constraints: 28875
3236.28/3245.48 c #Conflicts: 586000 | #Constraints: 29875
3236.28/3245.48 c #Conflicts: 587000 | #Constraints: 30875
3236.28/3245.48 c #Conflicts: 588000 | #Constraints: 31875
3600.05/3610.20 c #Conflicts: 589000 | #Constraints: 32875
3600.05/3610.20 c #Conflicts: 590000 | #Constraints: 33875
3600.05/3610.20 c #Conflicts: 591000 | #Constraints: 34875
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 592000 | #Constraints: 20730
3600.05/3610.20 c #Conflicts: 593000 | #Constraints: 21730
3600.05/3610.20 c #Conflicts: 594000 | #Constraints: 22730
3600.05/3610.20 c #Conflicts: 595000 | #Constraints: 23730
3600.05/3610.20 c #Conflicts: 596000 | #Constraints: 24730
3600.05/3610.20 c #Conflicts: 597000 | #Constraints: 25730
3600.05/3610.20 c #Conflicts: 598000 | #Constraints: 26730
3600.05/3610.20 c #Conflicts: 599000 | #Constraints: 27730
3600.05/3610.20 c #Conflicts: 600000 | #Constraints: 28730
3600.05/3610.20 c #Conflicts: 601000 | #Constraints: 29730
3600.05/3610.20 c #Conflicts: 602000 | #Constraints: 30730
3600.05/3610.20 c #Conflicts: 603000 | #Constraints: 31730
3600.05/3610.20 c #Conflicts: 604000 | #Constraints: 32730
3600.05/3610.20 c #Conflicts: 605000 | #Constraints: 33730
3600.05/3610.20 c #Conflicts: 606000 | #Constraints: 34730
3600.05/3610.20 c #Conflicts: 607000 | #Constraints: 35730
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 608000 | #Constraints: 21391
3600.05/3610.20 c #Conflicts: 609000 | #Constraints: 22391
3600.05/3610.20 c #Conflicts: 610000 | #Constraints: 23391
3600.05/3610.20 c #Conflicts: 611000 | #Constraints: 24391
3600.05/3610.20 c #Conflicts: 612000 | #Constraints: 25391
3600.05/3610.20 c #Conflicts: 613000 | #Constraints: 26391
3600.05/3610.20 c #Conflicts: 614000 | #Constraints: 27391
3600.05/3610.20 c #Conflicts: 615000 | #Constraints: 28391
3600.05/3610.20 c #Conflicts: 616000 | #Constraints: 29391
3600.05/3610.20 c #Conflicts: 617000 | #Constraints: 30391
3600.05/3610.20 c #Conflicts: 618000 | #Constraints: 31391
3600.05/3610.20 c #Conflicts: 619000 | #Constraints: 32391
3600.05/3610.20 c #Conflicts: 620000 | #Constraints: 33391
3600.05/3610.20 c #Conflicts: 621000 | #Constraints: 34391
3600.05/3610.20 c #Conflicts: 622000 | #Constraints: 35391
3600.05/3610.20 c #Conflicts: 623000 | #Constraints: 36391
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 624000 | #Constraints: 21729
3600.05/3610.20 c #Conflicts: 625000 | #Constraints: 22729
3600.05/3610.20 c #Conflicts: 626000 | #Constraints: 23729
3600.05/3610.20 c #Conflicts: 627000 | #Constraints: 24729
3600.05/3610.20 c #Conflicts: 628000 | #Constraints: 25729
3600.05/3610.20 c #Conflicts: 629000 | #Constraints: 26729
3600.05/3610.20 c #Conflicts: 630000 | #Constraints: 27729
3600.05/3610.20 c #Conflicts: 631000 | #Constraints: 28729
3600.05/3610.20 c #Conflicts: 632000 | #Constraints: 29729
3600.05/3610.20 c #Conflicts: 633000 | #Constraints: 30729
3600.05/3610.20 c #Conflicts: 634000 | #Constraints: 31729
3600.05/3610.20 c #Conflicts: 635000 | #Constraints: 32729
3600.05/3610.20 c #Conflicts: 636000 | #Constraints: 33729
3600.05/3610.20 c #Conflicts: 637000 | #Constraints: 34729
3600.05/3610.20 c #Conflicts: 638000 | #Constraints: 35729
3600.05/3610.20 c #Conflicts: 639000 | #Constraints: 36729
3600.05/3610.20 c INPROCESSING
3600.05/3610.20 c GARBAGE COLLECT
3600.05/3610.20 c #Conflicts: 640000 | #Constraints: 21955
3600.05/3610.20 c #Conflicts: 641000 | #Constraints: 22955
3600.05/3610.20 c #Conflicts: 642000 | #Constraints: 23955
3600.05/3610.20 c #Conflicts: 643000 | #Constraints: 24955
3600.05/3610.20 c #Conflicts: 644000 | #Constraints: 25955
3600.05/3610.20 c #Conflicts: 645000 | #Constraints: 26955
3600.05/3610.20 c #Conflicts: 646000 | #Constraints: 27955
3600.05/3610.20 c #Conflicts: 647000 | #Constraints: 28955
3600.05/3610.20 c #Conflicts: 648000 | #Constraints: 29955
3600.05/3610.20 c #Conflicts: 649000 | #Constraints: 30955
3600.05/3610.20 c Program interrupted by user.
3600.05/3610.20 c cpu time 3594.98 s
3600.05/3610.20 c deterministic time 305830288949 3.06e+11
3600.05/3610.20 c optimization time 58.6195 s
3600.05/3610.20 c total solve time 3237.18 s
3600.05/3610.20 c core-guided solve time 3237.18 s
3600.05/3610.20 c propagation time 1591.67 s
3600.05/3610.20 c conflict analysis time 1654.99 s
3600.05/3610.20 c propagations 577949678
3600.05/3610.20 c resolve steps 51779932
3600.05/3610.20 c decisions 1923830
3600.05/3610.20 c conflicts 649422
3600.05/3610.20 c restarts 1402
3600.05/3610.20 c inprocessing phases 71
3600.05/3610.20 c input clauses 3741
3600.05/3610.20 c input cardinalities 7
3600.05/3610.20 c input general constraints 3826
3600.05/3610.20 c input average constraint length 10.52
3600.05/3610.20 c input average constraint degree 20320422.86
3600.05/3610.20 c learned clauses 384817
3600.05/3610.20 c learned cardinalities 478
3600.05/3610.20 c learned general constraints 264126
3600.05/3610.20 c learned average constraint length 1270.51
3600.05/3610.20 c learned average constraint degree 194288730.70
3600.05/3610.20 c watched constraints 191806
3600.05/3610.20 c counting constraints 76146
3600.05/3610.20 c gcd simplifications 56277
3600.05/3610.20 c detected cardinalities 50
3600.05/3610.20 c weakened non-implied lits 244100983
3600.05/3610.20 c weakened non-implying lits 1319119
3600.05/3610.20 c original variables 14620
3600.05/3610.20 c clausal propagations 481059246
3600.05/3610.20 c cardinality propagations 3276815
3600.05/3610.20 c watched propagations 5421808
3600.05/3610.20 c counting propagations 87294254
3600.05/3610.20 c watch lookups 38851399129
3600.05/3610.20 c watch backjump lookups 36579487403
3600.05/3610.20 c watch checks 180473977600
3600.05/3610.20 c propagation checks 43998049461
3600.05/3610.20 c constraint additions 4766984216
3600.05/3610.20 c trail pops 580517631
3600.05/3610.20 c formula constraints 7573
3600.05/3610.20 c learned constraints 649421
3600.05/3610.20 c bound constraints 1
3600.05/3610.20 c core-guided constraints 0
3600.05/3610.20 c encountered formula constraints 43240138
3600.05/3610.20 c encountered learned constraints 9151476
3600.05/3610.20 c encountered bound constraints 37740
3600.05/3610.20 c encountered core-guided constraints 0
3600.05/3610.20 c LP total time 0 s
3600.05/3610.20 c LP solve time 0 s
3600.05/3610.20 c LP constraints added 0
3600.05/3610.20 c LP constraints removed 0
3600.05/3610.20 c LP pivots internal 0
3600.05/3610.20 c LP pivots root 0
3600.05/3610.20 c LP calls 0
3600.05/3610.20 c LP optimalities 0
3600.05/3610.20 c LP no pivot count 0
3600.05/3610.20 c LP infeasibilities 0
3600.05/3610.20 c LP valid Farkas constraints 0
3600.05/3610.20 c LP learned Farkas constraints 0
3600.05/3610.20 c LP basis resets 0
3600.05/3610.20 c LP cycling count 0
3600.05/3610.20 c LP singular count 0
3600.05/3610.20 c LP no primal count 0
3600.05/3610.20 c LP no farkas count 0
3600.05/3610.20 c LP other issue count 0
3600.05/3610.20 c LP Gomory cuts 0
3600.05/3610.20 c LP learned cuts 0
3600.05/3610.20 c LP deleted cuts 0
3600.05/3610.20 c LP encountered Gomory constraints 0
3600.05/3610.20 c LP encountered Farkas constraints 0
3600.05/3610.20 c LP encountered learned Farkas constraints 0
3600.05/3610.20 c CG auxiliary variables introduced 0
3600.05/3610.20 c CG solutions found 0
3600.05/3610.20 c CG cores constructed 0
3600.05/3610.20 c CG core cardinality constraints returned 0
3600.05/3610.20 c CG unit cores 0
3600.05/3610.20 c CG single cores 0
3600.05/3610.20 c CG blocks removed during cardinality reduction 0
3600.05/3610.20 c CG first core best 0
3600.05/3610.20 c CG decision core best 0
3600.05/3610.20 c CG core reduction tie 0
3600.05/3610.20 c CG core degree average 0.00
3600.05/3610.20 c CG core slack average 0.00
3600.05/3610.20 c CG exhausted 0
3600.05/3610.20 c CG exhaust time 0 s
3600.05/3610.20 c CG trimmed 0
3600.05/3610.20 c CG trim time 0 s
3600.05/3610.20 c CG minimized 0
3600.05/3610.20 c CG minimize time 0 s
3600.05/3610.20 c CG am1 prop time 4.5e-05 s
3600.05/3610.20 c CG # am1s reformulated 0
3600.05/3610.20 c CG lower bound derived from am1s 0
3600.05/3610.20 c CG # clausal cores 0
3600.05/3610.20 c CG # cardinality cores 0
3600.05/3610.20 c CG # pb cores 0
3600.05/3610.20 c CG # pb reforms 0
3600.05/3610.20 c CG # cores discarded because of pb reform 0
3600.05/3610.20 d LOWERBOUND 0
3600.05/3610.20 d NCORES 0
3600.05/3610.20 d NPBCORES 0
3600.05/3610.20 d NPBREFORM 0
3600.05/3610.20 d NTRIMMED 0
3600.05/3610.20 d NEXHAUSTED 0
3600.05/3610.20 d NAM1S 0
3600.05/3610.20 d AM1LB 0
3600.05/3610.20 c [Papilo Statistics]
3600.05/3610.20 c prepro time 0.0989237s
3600.05/3610.20 c # tsx applied 18190
3600.05/3610.20 c # tsx conflicts 0
3600.05/3610.20 c # bound changes 170
3600.05/3610.20 c # side changes 3570
3600.05/3610.20 c # coef changes 46410
3600.05/3610.20 c # rounds 3
3600.05/3610.20 c # deted vars 7310
3600.05/3610.20 c # deted constrs 14282
3600.05/3610.20 c # consecutive rounds of only bound changes 0
3600.05/3610.20 s UNKNOWN
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: 63794 MiB (62458 MiB free)
memory of node 1: 64507 MiB (62335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529152-1752260202/watcher-4529152-1752260202 -o /tmp/evaluation-result-4529152-1752260202/solver-4529152-1752260202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116148 --watchdog 3760 mixed-bag HOME/instance-4529152-1752260202.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117159, runsolver pid=117156
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.15 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127785600/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=85480 memory=14144 CPUtime=0.09 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 2679 0 0 0 8 1 0 0 20 0 1 0 141699142 87531520 3536 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 21370 3536 2144 2834 0 4122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85480 KiB
Current children cumulated memory: 14144 KiB
[startup+0.213247 s]*
/proc/loadavg: 4.15 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127783836/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=88156 memory=17228 CPUtime=0.21 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 3458 0 0 0 20 1 0 0 20 0 1 0 141699142 90271744 4307 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 22039 4307 2144 2834 0 4791 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 88156 KiB
Current children cumulated memory: 17228 KiB
[startup+0.313298 s]*
/proc/loadavg: 4.15 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127767960/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=113232 memory=34388 CPUtime=0.3 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 8209 0 0 0 28 2 0 0 20 0 1 0 141699142 115949568 8597 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 28308 8597 2336 2834 0 10513 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113232 KiB
Current children cumulated memory: 34388 KiB
[startup+0.700314 s]
/proc/loadavg: 4.15 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127727924/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=162280 memory=88620 CPUtime=0.67 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 21978 0 0 0 62 5 0 0 20 0 1 0 141699142 166174720 22155 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 40570 22155 4064 2834 0 22775 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 162280 KiB
Current children cumulated memory: 88620 KiB
[startup+1.50029 s]
/proc/loadavg: 4.15 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127712048/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=222380 memory=133920 CPUtime=1.48 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 34244 0 0 0 140 8 0 0 20 0 1 0 141699142 227717120 33480 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 55595 33480 4256 2834 0 37800 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 222380 KiB
Current children cumulated memory: 133920 KiB
[startup+3.11276 s]
/proc/loadavg: 4.13 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127671076/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=223168 memory=135200 CPUtime=3.08 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 34550 0 0 0 300 8 0 0 20 0 1 0 141699142 228524032 33800 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 55792 33800 4256 2834 0 37997 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 223168 KiB
Current children cumulated memory: 135200 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.10 4.07 5/251 117160
/proc/meminfo: memFree=127656964/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=226796 memory=138272 CPUtime=6.26 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 35274 0 0 0 618 8 0 0 20 0 1 0 141699142 232239104 34568 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 56699 34568 4288 2834 0 38904 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 226796 KiB
Current children cumulated memory: 138272 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.09 4.07 5/251 117160
/proc/meminfo: memFree=127616516/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=241328 memory=150304 CPUtime=12.65 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 38411 0 0 0 1256 9 0 0 20 0 1 0 141699142 247119872 37576 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 60332 37576 4288 2834 0 42537 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 241328 KiB
Current children cumulated memory: 150304 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.07 5/251 117161
/proc/meminfo: memFree=127584776/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=261188 memory=166816 CPUtime=25.41 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 42801 0 0 0 2531 10 0 0 20 0 1 0 141699142 267456512 41704 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 65297 41704 4288 2834 0 47502 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 261188 KiB
Current children cumulated memory: 166816 KiB
[startup+51.1129 s]
/proc/loadavg: 4.06 4.08 4.07 5/251 117161
/proc/meminfo: memFree=127504240/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=295652 memory=200608 CPUtime=50.93 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 51280 0 0 0 5082 11 0 0 20 0 1 0 141699142 302747648 50152 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 73913 50152 4288 2834 0 56118 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 295652 KiB
Current children cumulated memory: 200608 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 4.20 4.11 5/250 117208
/proc/meminfo: memFree=127561136/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=320480 memory=224032 CPUtime=101.96 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 57134 0 0 0 10184 12 0 0 20 0 1 0 141699142 328171520 56008 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 80120 56008 4288 2834 0 62325 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 320480 KiB
Current children cumulated memory: 224032 KiB
[startup+162.3 s]
/proc/loadavg: 4.48 4.26 4.14 5/250 117254
/proc/meminfo: memFree=125350704/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=320480 memory=224160 CPUtime=161.73 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 57202 0 0 0 16161 12 0 0 20 0 1 0 141699142 328171520 56040 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 80120 56040 4288 2834 0 62325 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 320480 KiB
Current children cumulated memory: 224160 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.24 4.14 5/251 117257
/proc/meminfo: memFree=125287032/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=320480 memory=224288 CPUtime=221.48 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 57211 0 0 0 22136 12 0 0 20 0 1 0 141699142 328171520 56072 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 80120 56072 4288 2834 0 62325 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 320480 KiB
Current children cumulated memory: 224288 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.12 5/251 117272
/proc/meminfo: memFree=124077772/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=320480 memory=224288 CPUtime=281.23 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 57213 0 0 0 28111 12 0 0 20 0 1 0 141699142 328171520 56072 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 80120 56072 4288 2834 0 62325 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 320480 KiB
Current children cumulated memory: 224288 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.18 4.12 5/251 117319
/proc/meminfo: memFree=110359912/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=337384 memory=252564 CPUtime=341.04 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 59789 0 0 0 34071 33 0 0 20 0 1 0 141699142 345481216 63141 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 84346 63141 4448 2834 0 66551 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 337384 KiB
Current children cumulated memory: 252564 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/252 117324
/proc/meminfo: memFree=106646132/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=337384 memory=262740 CPUtime=400.84 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 59810 0 0 0 40035 49 0 0 20 0 1 0 141699142 345481216 65685 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 84346 65685 4448 2834 0 66551 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 337384 KiB
Current children cumulated memory: 262740 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/252 117329
/proc/meminfo: memFree=105485984/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=368204 memory=282324 CPUtime=460.67 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 60351 0 0 0 46003 64 0 0 20 0 1 0 141699142 377040896 70581 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 92051 70581 4448 2834 0 74256 0
Current children cumulated CPU time: 460.67 s
################
# More data... #
################
Current children cumulated memory: 349064 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/250 117626
/proc/meminfo: memFree=100634004/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=418292 memory=349064 CPUtime=2854.23 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 60819 0 0 0 285019 404 0 0 20 0 1 0 141699142 428331008 87266 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 104573 87266 4448 2834 0 86778 0
Current children cumulated CPU time: 2854.23 s
Current children cumulated vsize: 418292 KiB
Current children cumulated memory: 349064 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.15 4.12 6/249 117630
/proc/meminfo: memFree=100446116/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=359304 CPUtime=2914.06 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61357 0 0 0 290994 412 0 0 20 0 1 0 141699142 511672320 89826 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 89826 4448 2834 0 107125 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 359304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/250 117635
/proc/meminfo: memFree=99847776/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=359304 CPUtime=2973.9 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61357 0 0 0 296968 422 0 0 20 0 1 0 141699142 511672320 89826 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 89826 4448 2834 0 107125 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 359304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/250 117637
/proc/meminfo: memFree=99411012/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=359304 CPUtime=3033.74 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61357 0 0 0 302943 431 0 0 20 0 1 0 141699142 511672320 89826 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 89826 4448 2834 0 107125 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 359304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/250 117639
/proc/meminfo: memFree=98954348/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=359304 CPUtime=3093.57 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61357 0 0 0 308917 440 0 0 20 0 1 0 141699142 511672320 89826 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 89826 4448 2834 0 107125 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 359304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.57 4.26 4.15 5/250 117641
/proc/meminfo: memFree=98510136/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=359304 CPUtime=3153.41 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61357 0 0 0 314892 449 0 0 20 0 1 0 141699142 511672320 89826 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 89826 4448 2834 0 107125 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 359304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.31 4.18 5/250 117643
/proc/meminfo: memFree=98009172/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=359304 CPUtime=3213.24 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61357 0 0 0 320867 457 0 0 20 0 1 0 141699142 511672320 89826 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 89826 4448 2834 0 107125 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 359304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.28 4.18 5/249 117645
/proc/meminfo: memFree=96480824/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=367496 CPUtime=3273.07 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61361 0 0 0 326841 466 0 0 20 0 1 0 141699142 511672320 91874 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 91874 4448 2834 0 107125 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 367496 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.24 4.17 5/250 117649
/proc/meminfo: memFree=94342320/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=367496 CPUtime=3332.91 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61361 0 0 0 332819 472 0 0 20 0 1 0 141699142 511672320 91874 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 91874 4448 2834 0 107125 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 367496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/250 117651
/proc/meminfo: memFree=93106216/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=367496 CPUtime=3392.74 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61361 0 0 0 338794 480 0 0 20 0 1 0 141699142 511672320 91874 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 91874 4448 2834 0 107125 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 367496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/250 117653
/proc/meminfo: memFree=92361260/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=369544 CPUtime=3452.57 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61362 0 0 0 344770 487 0 0 20 0 1 0 141699142 511672320 92386 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 92386 4448 2834 0 107125 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 369544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/250 117657
/proc/meminfo: memFree=91344484/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=369544 CPUtime=3512.41 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61362 0 0 0 350745 496 0 0 20 0 1 0 141699142 511672320 92386 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 92386 4448 2834 0 107125 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 369544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.16 5/250 117661
/proc/meminfo: memFree=90506364/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=369544 CPUtime=3572.24 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61362 0 0 0 356720 504 0 0 20 0 1 0 141699142 511672320 92386 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 92386 4448 2834 0 107125 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 369544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.40 4.22 4.18 5/253 117673
/proc/meminfo: memFree=97228944/131382112 swapFree=33009904/33010684
[pid=117159] ppid=117156 vsize=499680 memory=369544 CPUtime=3600.05 cores=4,6
/proc/117159/stat : 117159 (mixed-bag) R 117156 117159 116137 0 -1 4194304 61362 0 0 0 359498 507 0 0 20 0 1 0 141699142 511672320 92386 18446744073709551615 4235264 15840557 140720435346512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 35598336 140720435354010 140720435354087 140720435354087 140720435359691 0
/proc/117159/statm: 124920 92386 4448 2834 0 107125 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 499680 KiB
Current children cumulated memory: 369544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 117159 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.99 s, system=5.07768 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.07
CPU user time (s): 3594.99
CPU system time (s): 5.07768
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 499680
Max. memory (cumulated for all children) (KiB): 369544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.99
system time used= 5.07768
maximum resident set size= 370568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61390
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= 140
involuntary context switches= 1122
# summary of solver processes directly reported to runsolver:
# pid: 117159
# total CPU time (s): 3600.07
# total CPU user time (s): 3594.99
# total CPU system time (s): 5.07768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3325 second user time and 36.9941 second system time
The end
Begin job on nodeC001 at 2025-07-11 20:56:42
IDJOB=4529152
IDBENCH=155626
IDSOLVER=3386
FILE ID=nodeC001/4529152-1752260202
RUNJOBID= nodeC001-1752256268-116148
SLURM_JOB_ID= 9682596
Free space on /tmp= 432456 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_7.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529152-1752260202/watcher-4529152-1752260202 -o /tmp/evaluation-result-4529152-1752260202/solver-4529152-1752260202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116148 --watchdog 3760 mixed-bag HOME/instance-4529152-1752260202.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f09254b7fcacaa5196265d97bb7e429a
RANDOM SEED=1338252457
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.311
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.658
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.238
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.403
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127788396 kB
MemAvailable: 129452420 kB
Buffers: 1668 kB
Cached: 2445572 kB
SwapCached: 128 kB
Active: 816556 kB
Inactive: 2144016 kB
Active(anon): 503288 kB
Inactive(anon): 27832 kB
Active(file): 313268 kB
Inactive(file): 2116184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49196 kB
Writeback: 0 kB
AnonPages: 515788 kB
Mapped: 139432 kB
Shmem: 17776 kB
KReclaimable: 148016 kB
Slab: 236196 kB
SReclaimable: 148016 kB
SUnreclaim: 88180 kB
KernelStack: 4064 kB
PageTables: 4328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 930904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC001 at 2025-07-11 21:56:53