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