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