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