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