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