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