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