(1,28) (2,13) (3,9) (4,20) (5,17) (6,30) (7,21) (8,19) (10,18) (11,16) (12,24) (14,29) (15,23) (25,27) 
nodes: 1263  conflicts: 27  modelTime: 1733  solveTime: 7099  totalTime: 8852  modelSize: 72262  readTime: 20 size: 14