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