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