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