(1,23) (2,5) (3,27) (4,26) (6,9) (7,25) (8,16) (10,20) (11,12) (13,30) (14,24) (15,19) (17,28) (18,22) (21,29) 
nodes: 148486  conflicts: 41  modelTime: 973  solveTime: 592353  totalTime: 593337  modelSize: 72269  readTime: 11 size: 15