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