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