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