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