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