(1,15) (2,26) (3,16) (4,19) (5,12) (6,11) (7,28) (8,18) (9,21) (13,29) (17,24) (22,23) (27,30) 
nodes: 1597  conflicts: 96  modelTime: 933  solveTime: 4641  totalTime: 5586  modelSize: 72262  readTime: 12 size: 13