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