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