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