(1,25) (2,19) (3,24) (4,20) (6,23) (7,27) (8,16) (9,22) (11,18) (13,17) (14,28) (15,30) 
nodes: 823  conflicts: 62  modelTime: 658  solveTime: 1023  totalTime: 1688  modelSize: 41293  readTime: 7 size: 12