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