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