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