(1,17) (2,15) (3,27) (4,7) (5,9) (6,23) (8,20) (10,18) (11,22) (12,26) (13,29) (14,28) (16,24) (19,21) (25,30) 
nodes: 56343  conflicts: 6  modelTime: 1671  solveTime: 314224  totalTime: 315909  modelSize: 72264  readTime: 14 size: 15