(1,24) (2,5) (3,25) (6,30) (7,26) (8,29) (9,18) (10,20) (11,22) (12,14) (13,21) (15,19) (16,17) (23,28) 
nodes: 69647  conflicts: 45  modelTime: 1594  solveTime: 285110  totalTime: 286715  modelSize: 72268  readTime: 11 size: 14