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