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