(1,30) (2,17) (4,22) (5,21) (6,18) (7,29) (8,26) (9,24) (10,27) (12,20) (13,28) (14,23) (15,16) 
nodes: 3100  conflicts: 38  modelTime: 658  solveTime: 5080  totalTime: 5744  modelSize: 41293  readTime: 6 size: 13