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