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