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