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