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