(1,6) (2,4) (3,17) (5,10) (7,26) (8,18) (9,21) (11,30) (13,27) (14,25) (15,16) (19,29) (22,24) (23,28) 
nodes: 52352  conflicts: 58  modelTime: 1713  solveTime: 203154  totalTime: 204887  modelSize: 72274  readTime: 20 size: 14