(1,29) (2,5) (3,18) (4,27) (6,28) (8,15) (9,13) (10,30) (11,26) (12,24) (14,17) (16,22) (20,21) (23,25) 
nodes: 165622  conflicts: 47  modelTime: 928  solveTime: 387846  totalTime: 388802  modelSize: 72266  readTime: 28 size: 14