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