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