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