(1,21) (2,28) (3,24) (4,19) (5,17) (6,30) (8,23) (9,26) (12,27) (13,22) (14,18) 
nodes: 984  conflicts: 64  modelTime: 722  solveTime: 1361  totalTime: 2091  modelSize: 41293  readTime: 8 size: 11