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