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