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