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