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