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