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