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