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