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