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