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