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