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