(1,30) (2,28) (3,19) (4,18) (6,20) (7,23) (8,25) (9,27) (10,24) (11,22) (12,16) (14,17) (15,29) 
nodes: 3734  conflicts: 39  modelTime: 657  solveTime: 4460  totalTime: 5124  modelSize: 41293  readTime: 7 size: 13