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