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