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