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