(1,15) (2,12) (3,19) (4,18) (5,7) (8,20) (9,30) (10,28) (11,13) (14,21) (17,25) (22,27) (23,26) (24,29) 
nodes: 5612  conflicts: 65  modelTime: 997  solveTime: 13153  totalTime: 14163  modelSize: 72263  readTime: 13 size: 14