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