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