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