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