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