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