(1,30) (3,29) (4,19) (5,23) (6,20) (7,17) (8,18) (9,28) (11,25) (12,27) (13,26) (14,24) (15,21) 
nodes: 859  conflicts: 37  modelTime: 1193  solveTime: 1532  totalTime: 2735  modelSize: 41293  readTime: 10 size: 13