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