(1,18) (3,23) (5,20) (6,30) (7,25) (8,27) (9,28) (10,16) (11,29) (12,24) (13,19) (14,21) (15,22) 
nodes: 893  conflicts: 45  modelTime: 658  solveTime: 1332  totalTime: 1997  modelSize: 41293  readTime: 6 size: 13