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