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