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