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