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