(1,17) (2,25) (3,24) (4,21) (5,14) (6,30) (7,13) (8,27) (9,23) (10,26) (11,20) (12,19) (15,16) (18,29) (22,28) 
nodes: 17280  conflicts: 7  modelTime: 956  solveTime: 96676  totalTime: 98058  modelSize: 72266  readTime: 426 size: 15