(1,10) (2,19) (3,17) (4,28) (6,22) (7,16) (8,21) (9,18) (11,30) (12,26) (13,25) (14,23) (15,24) (27,29) 
nodes: 10798  conflicts: 60  modelTime: 1716  solveTime: 39381  totalTime: 41117  modelSize: 72266  readTime: 20 size: 14