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