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