(3,20) (4,25) (5,27) (6,26) (7,24) (8,19) (9,28) (10,30) (12,29) (13,17) (14,21) (15,23) 
nodes: 2281  conflicts: 44  modelTime: 686  solveTime: 3552  totalTime: 4245  modelSize: 41298  readTime: 7 size: 12