(2,22) (5,25) (6,20) (7,19) (8,29) (10,18) (11,21) (13,26) (14,24) (15,23) 
nodes: 994  conflicts: 94  modelTime: 668  solveTime: 1241  totalTime: 1917  modelSize: 41293  readTime: 8 size: 10