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