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