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