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