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