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