(1,25) (2,17) (4,22) (5,30) (6,20) (7,16) (8,19) (9,28) (10,23) (11,26) (12,29) (13,21) (14,18) (15,27) 
nodes: 4835  conflicts: 40  modelTime: 658  solveTime: 6624  totalTime: 7288  modelSize: 41293  readTime: 6 size: 14