(1,27) (2,18) (3,24) (4,16) (5,28) (6,15) (7,9) (8,26) (10,25) (11,21) (12,14) (13,22) (17,23) (19,30) (20,29) 
nodes: 38295  conflicts: 32  modelTime: 1693  solveTime: 147894  totalTime: 149606  modelSize: 72262  readTime: 19 size: 15