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