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