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