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