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