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