(1,23) (2,16) (3,30) (4,15) (5,20) (6,19) (7,22) (8,28) (9,10) (11,13) (12,24) (14,25) (17,29) (18,27) (21,26) 
nodes: 19029  conflicts: 36  modelTime: 1229  solveTime: 108483  totalTime: 109732  modelSize: 72265  readTime: 19 size: 15