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