(1,8) (2,20) (3,12) (4,22) (5,15) (6,18) (7,26) (9,29) (10,17) (11,21) (13,27) (14,28) (16,23) (19,24) (25,30) 
nodes: 40437  conflicts: 66  modelTime: 940  solveTime: 162262  totalTime: 163237  modelSize: 72266  readTime: 35 size: 15