(1,19) (2,10) (3,11) (4,26) (5,21) (6,13) (7,16) (8,29) (9,17) (12,30) (14,20) (15,25) (18,22) (23,28) (24,27) 
nodes: 28461  conflicts: 5  modelTime: 1688  solveTime: 199980  totalTime: 201682  modelSize: 72338  readTime: 14 size: 15