(1,17) (2,7) (3,23) (4,18) (5,8) (6,19) (9,13) (10,29) (11,26) (12,15) (14,22) (16,25) (20,28) (21,27) (24,30) 
nodes: 134019  conflicts: 58  modelTime: 1613  solveTime: 451355  totalTime: 452979  modelSize: 72266  readTime: 11 size: 15