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