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