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