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