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