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