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