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