(1,17) (2,28) (3,8) (4,5) (6,13) (7,22) (9,11) (10,19) (12,21) (14,27) (15,18) (16,24) (20,29) (23,26) (25,30) 
nodes: 41972  conflicts: 61  modelTime: 1714  solveTime: 161341  totalTime: 163086  modelSize: 72267  readTime: 31 size: 15