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