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