(1,2) (3,17) (4,25) (5,21) (6,27) (7,11) (8,9) (10,14) (12,29) (13,23) (16,22) (18,19) (20,26) (28,30) 
nodes: 15904  conflicts: 67  modelTime: 943  solveTime: 43793  totalTime: 44747  modelSize: 72262  readTime: 11 size: 14