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