(1,4) (2,20) (6,29) (7,8) (9,25) (10,15) (12,16) (13,30) (14,26) (17,19) (18,24) (21,27) (22,23) 
nodes: 15692  conflicts: 59  modelTime: 1708  solveTime: 60379  totalTime: 62108  modelSize: 72262  readTime: 21 size: 13