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