(1,30) (2,24) (3,26) (4,21) (6,27) (7,23) (8,17) (11,18) (12,19) (13,25) (14,22) (15,29) 
nodes: 686  conflicts: 49  modelTime: 660  solveTime: 938  totalTime: 1604  modelSize: 41293  readTime: 6 size: 12