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