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