(1,20) (2,19) (3,12) (4,28) (5,6) (7,26) (8,13) (9,22) (10,29) (11,21) (14,15) (16,17) (18,27) (23,24) (25,30) 
nodes: 60806  conflicts: 46  modelTime: 1724  solveTime: 327203  totalTime: 328946  modelSize: 72270  readTime: 19 size: 15