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