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