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