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