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