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