(3,26) (4,30) (5,17) (6,23) (8,24) (10,21) (11,18) (12,28) (13,29) (14,22) (15,16) 
nodes: 1044  conflicts: 64  modelTime: 660  solveTime: 774  totalTime: 1441  modelSize: 41293  readTime: 7 size: 11