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