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