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