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