(1,25) (2,18) (3,17) (5,20) (6,23) (7,28) (8,22) (9,26) (10,21) (11,19) (12,29) (13,30) (14,16) (15,27) 
nodes: 2911  conflicts: 38  modelTime: 687  solveTime: 5056  totalTime: 5749  modelSize: 41293  readTime: 6 size: 14