(1,28) (2,21) (3,13) (4,30) (5,29) (6,26) (7,10) (8,11) (9,18) (12,20) (14,15) (16,25) (17,22) (19,27) (23,24) 
nodes: 45152  conflicts: 16  modelTime: 1713  solveTime: 226971  totalTime: 228702  modelSize: 72285  readTime: 18 size: 15