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