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