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