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