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