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