(1,24) (2,21) (3,12) (4,30) (5,20) (6,9) (7,17) (8,28) (10,22) (11,15) (13,14) (16,25) (18,26) (19,23) (27,29) 
nodes: 136208  conflicts: 46  modelTime: 989  solveTime: 414818  totalTime: 415818  modelSize: 72263  readTime: 11 size: 15