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