(1,21) (2,23) (3,12) (4,9) (6,10) (7,30) (8,17) (11,19) (13,16) (14,29) (15,18) (20,24) (25,26) 
nodes: 58865  conflicts: 50  modelTime: 1441  solveTime: 246341  totalTime: 247802  modelSize: 72275  readTime: 20 size: 13