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