(1,29) (2,27) (3,15) (4,24) (5,17) (6,9) (7,28) (8,20) (10,13) (11,16) (12,18) (14,26) (19,25) (21,23) (22,30) 
nodes: 47101  conflicts: 44  modelTime: 1700  solveTime: 236273  totalTime: 237992  modelSize: 72262  readTime: 19 size: 15