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