(1,30) (2,16) (3,21) (4,17) (5,19) (6,25) (7,26) (8,18) (10,22) (11,28) (12,29) (14,20) (15,24) 
nodes: 2688  conflicts: 38  modelTime: 658  solveTime: 3150  totalTime: 3815  modelSize: 41293  readTime: 7 size: 13