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