(1,9) (2,12) (3,30) (4,29) (5,8) (6,23) (7,20) (10,15) (11,26) (13,28) (14,18) (16,24) (17,22) (19,27) (21,25) 
nodes: 1297509  conflicts: 40  modelTime: 963  solveTime: 4776366  totalTime: 4777340  modelSize: 72269  readTime: 11 size: 15