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