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