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