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