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