(1,29) (2,30) (3,8) (4,10) (5,18) (6,23) (7,22) (9,24) (11,16) (12,15) (13,25) (14,20) (17,26) (19,28) (21,27) 
nodes: 46380  conflicts: 23  modelTime: 987  solveTime: 260262  totalTime: 261307  modelSize: 72268  readTime: 58 size: 15