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