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