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