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