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