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