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