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