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