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