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