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