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