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