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