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