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