(1,30) (2,20) (3,22) (4,21) (5,17) (6,28) (7,18) (9,27) (10,23) (11,25) (12,26) (13,16) (14,19) 
nodes: 1460  conflicts: 60  modelTime: 659  solveTime: 1482  totalTime: 2147  modelSize: 41292  readTime: 6 size: 13