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