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