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