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