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