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