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