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