(1,25) (2,19) (3,28) (5,18) (6,20) (7,23) (8,16) (9,27) (10,22) (11,21) (12,30) (14,26) (15,29) 
nodes: 890  conflicts: 36  modelTime: 662  solveTime: 1196  totalTime: 1864  modelSize: 41293  readTime: 6 size: 13