(1,30) (2,22) (3,17) (4,28) (5,29) (6,27) (7,20) (8,24) (9,23) (10,25) (11,19) (12,21) (14,26) (15,18) 
nodes: 3213  conflicts: 25  modelTime: 655  solveTime: 5157  totalTime: 5818  modelSize: 41293  readTime: 6 size: 14