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