(1,2) (3,29) (4,24) (5,10) (6,15) (7,30) (8,28) (9,18) (11,22) (12,17) (13,14) (16,19) (20,27) (21,26) (23,25) 
nodes: 41318  conflicts: 6  modelTime: 925  solveTime: 335005  totalTime: 335937  modelSize: 72338  readTime: 7 size: 15