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