(3,22) (4,27) (6,24) (8,29) (9,19) (10,25) (11,26) (12,21) (13,16) (14,30) (15,17) 
nodes: 2630  conflicts: 67  modelTime: 658  solveTime: 4132  totalTime: 4797  modelSize: 41293  readTime: 7 size: 11