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