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