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