(1,26) (2,28) (3,27) (4,20) (6,17) (7,29) (8,21) (9,24) (10,30) (11,23) (12,25) (13,19) (15,18) 
nodes: 1304  conflicts: 39  modelTime: 661  solveTime: 2177  totalTime: 2844  modelSize: 41298  readTime: 6 size: 13