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