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