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