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