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