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