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