(1,3) (2,26) (4,15) (5,14) (6,11) (7,16) (8,12) (9,23) (10,21) (13,30) (17,19) (18,28) (22,29) (25,27) 
nodes: 29864  conflicts: 44  modelTime: 1512  solveTime: 126506  totalTime: 128040  modelSize: 72265  readTime: 22 size: 14