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