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