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