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