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