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