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