(1,17) (3,30) (4,19) (5,26) (6,22) (7,24) (8,20) (9,18) (10,27) (11,28) (12,16) (13,29) (14,21) (15,25) 
nodes: 1532  conflicts: 39  modelTime: 669  solveTime: 2455  totalTime: 3131  modelSize: 41293  readTime: 6 size: 14