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