(1,15) (2,10) (3,22) (5,25) (6,30) (7,27) (8,21) (9,14) (11,24) (12,13) (16,18) (17,26) (19,23) (20,29) 
nodes: 1165  conflicts: 58  modelTime: 1716  solveTime: 6726  totalTime: 8462  modelSize: 72265  readTime: 20 size: 14