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