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