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