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