(1,23) (2,16) (3,17) (4,21) (5,28) (6,20) (7,11) (8,14) (9,12) (10,27) (13,26) (15,18) (19,22) (24,25) (29,30) 
nodes: 221134  conflicts: 37  modelTime: 985  solveTime: 914160  totalTime: 915156  modelSize: 72266  readTime: 11 size: 15