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