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