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