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