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