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