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