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