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