(1,12) (2,20) (3,10) (4,23) (5,17) (6,28) (7,22) (8,27) (9,16) (11,14) (13,29) (15,30) (18,26) (19,24) (21,25) 
nodes: 594077  conflicts: 43  modelTime: 971  solveTime: 3114207  totalTime: 3115188  modelSize: 72264  readTime: 10 size: 15