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