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