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