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