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