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