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