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