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