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