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