(1,11) (2,5) (3,15) (6,16) (7,27) (8,14) (9,22) (10,21) (12,19) (18,29) (20,30) (23,26) (24,25) 
nodes: 286  conflicts: 99  modelTime: 978  solveTime: 3487  totalTime: 4477  modelSize: 72262  readTime: 12 size: 13