(1,3) (2,4) (5,19) (6,10) (7,24) (8,15) (9,18) (11,16) (14,27) (17,20) (21,30) (23,29) (25,28) 
nodes: 16093  conflicts: 81  modelTime: 1613  solveTime: 60659  totalTime: 62284  modelSize: 72263  readTime: 11 size: 13