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