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