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