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