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