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