(1,30) (2,8) (3,18) (4,7) (6,29) (9,13) (10,22) (11,20) (12,17) (14,19) (15,26) (21,24) (23,27) (25,28) 
nodes: 10154  conflicts: 57  modelTime: 1710  solveTime: 33458  totalTime: 35188  modelSize: 72263  readTime: 20 size: 14