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