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