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