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