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