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