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