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