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