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