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