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