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