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