(1,19) (3,27) (4,30) (5,17) (6,21) (7,16) (8,22) (9,29) (10,25) (12,18) (13,24) (14,23) 
nodes: 1289  conflicts: 66  modelTime: 668  solveTime: 1127  totalTime: 1802  modelSize: 41293  readTime: 7 size: 12