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