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