(1,16) (2,18) (3,5) (4,24) (7,13) (8,23) (9,14) (10,25) (12,20) (17,19) (21,28) (26,29) (27,30) 
nodes: 8485  conflicts: 88  modelTime: 970  solveTime: 28615  totalTime: 29597  modelSize: 72266  readTime: 12 size: 13