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