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