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