(1,25) (2,4) (5,30) (6,9) (7,8) (10,17) (11,19) (12,23) (13,29) (14,21) (15,26) (18,22) (20,28) (24,27) 
nodes: 104871  conflicts: 56  modelTime: 1710  solveTime: 434300  totalTime: 436125  modelSize: 72269  readTime: 115 size: 14