(1,22) (2,17) (3,19) (4,25) (6,27) (7,24) (8,20) (9,23) (10,30) (11,16) (12,18) (13,21) (14,29) 
nodes: 2170  conflicts: 38  modelTime: 658  solveTime: 2716  totalTime: 3381  modelSize: 41293  readTime: 7 size: 13