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