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