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