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