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