(1,24) (2,19) (3,12) (4,28) (5,9) (7,8) (10,16) (11,18) (13,29) (14,15) (17,22) (21,23) (25,26) (27,30) 
nodes: 73619  conflicts: 58  modelTime: 978  solveTime: 254975  totalTime: 255964  modelSize: 72266  readTime: 11 size: 14