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