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