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