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