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