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