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