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