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