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