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