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