(1,2) (3,9) (4,17) (5,7) (6,16) (8,11) (10,27) (12,14) (13,15) (18,30) (20,23) (21,26) (24,28) (25,29) 
nodes: 10100  conflicts: 76  modelTime: 937  solveTime: 37482  totalTime: 38430  modelSize: 72262  readTime: 11 size: 14