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