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