(1,30) (2,27) (3,20) (4,22) (5,28) (6,19) (7,21) (8,17) (9,23) (10,16) (11,25) (13,24) (14,18) 
nodes: 4722  conflicts: 38  modelTime: 662  solveTime: 12516  totalTime: 13184  modelSize: 41298  readTime: 6 size: 13