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