(1,8) (2,29) (3,19) (4,16) (5,30) (7,11) (9,20) (10,13) (12,22) (14,28) (15,26) (17,21) (18,25) (24,27) 
nodes: 53601  conflicts: 58  modelTime: 1719  solveTime: 192674  totalTime: 194413  modelSize: 72265  readTime: 20 size: 14