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