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